aggstam
|
eb2342d424
|
script/research/streamlet_rust: Block signature encoding modified
|
2022-03-09 15:22:44 +02:00 |
|
narodnik
|
1a901f50de
|
improve halo2.sage doc
|
2022-02-26 20:58:21 +01:00 |
|
aggstam
|
32daa3cf3e
|
script/research/streamlet_rust: Moved tx confirmation to block finalization
|
2022-02-24 21:48:04 +02:00 |
|
aggstam
|
747538eaca
|
script/research/streamlet_rust/node.rs: Moved proving keys generation to Node constructor.
|
2022-02-23 18:18:41 +02:00 |
|
aggstam
|
5396dae4bb
|
script/research/streamlet_rust: Block transactions changed from String to tx::Transaction.
Additional modifications:
script/research/streamlet_rust: fixed epoch calculation
Added macros at:
crypto::{note::EncryptedNote, proof::Proof, MintRevealedValues, SpendRevealedValues},
tx::{Transaction, TransactionClearInput, TransactionInput, TransactionOutput}
|
2022-02-23 00:05:10 +02:00 |
|
mohab
|
0ec4502a9a
|
[research/ouroboros] fixed evironment epoch/slot synchrony for one epoch only
|
2022-02-21 12:48:08 +02:00 |
|
mohab
|
50d3673bb0
|
[research/ouroboros] made TrustedBeacon centralized in the environment, with single instance
|
2022-02-21 12:48:08 +02:00 |
|
mohab
|
112f93389a
|
[research/ouroboros] dynamic staking
|
2022-02-21 12:48:07 +02:00 |
|
aggstam
|
9b26549e46
|
script/research/streamlet_rust: keypairs and signatures added
Modifications:
- fixed folder Cargo.toml dependencies and workspace structure.
- added PartialEq macro to Blockchain and Vote structures.
- added nodes keypair functionality using crypto::keypair.
- added signatures impl using crypto::schnorr.
|
2022-02-16 21:39:55 +02:00 |
|
mohab
|
79328821b4
|
[research/ouroboros] finished input endorser, but out of synchrony still
|
2022-02-14 14:21:34 +02:00 |
|
mohab
|
6c197642b7
|
[research/ourobors] add support for delayed endorsing]
|
2022-02-14 14:21:34 +02:00 |
|
mohab
|
d3b1dcebb3
|
[research/ouroboros] added Input endorser
|
2022-02-14 14:21:33 +02:00 |
|
mohab
|
237b71353d
|
[research/ouroboros] Z blockchain printing
|
2022-02-14 14:21:33 +02:00 |
|
mohab
|
223951cfe5
|
[research/ouroboros] basic non-forkable blockchain
|
2022-02-14 14:21:33 +02:00 |
|
aggstam
|
61d166f14b
|
script/research: Added streamlet rust folder.
Folder contains the rust implementation of the structures required for the consensus protocol.
Protocol simulation is presented in lib.rs unit test.
|
2022-02-13 21:57:31 +02:00 |
|
mohab
|
4eee40e873
|
[research/ourobors] fixed bugs in vrf, blockchain
|
2022-02-11 19:22:03 +02:00 |
|
mohab
|
4545cf2a1c
|
[research/ouroboros] finished basic simulation
|
2022-02-11 13:42:31 +02:00 |
|
mohab
|
405cf940c2
|
[research/ouroboros] implemented leader selection with vrf
|
2022-02-09 23:03:20 +02:00 |
|
mohab
|
7b8eb7d16d
|
[Ouroboros] implemented basic blockchain script/research/PoS-blockchain/ouroboros
|
2022-02-06 14:44:51 +02:00 |
|
aggstam
|
59ac25a54e
|
finalization logic added
|
2022-01-30 22:59:11 +02:00 |
|
mohab
|
78f2f3be13
|
separate ouroboros from streamlet
|
2022-01-30 21:29:06 +02:00 |
|
mohab
|
0b24171d26
|
update protocol with vrf
|
2022-01-29 19:38:45 +02:00 |
|
mohab
|
3bf1cc4a59
|
added VRF(Verifiable Random Function)
|
2022-01-29 13:34:22 +02:00 |
|
mohab
|
e4e5237c2b
|
added proposed block broadcast missing signature
|
2022-01-27 20:44:51 +02:00 |
|
aggstam
|
7f1a2f4b14
|
section 3.4 added
|
2022-01-26 22:50:16 +02:00 |
|
aggstam
|
ba8085ac74
|
moved models to single files for reusability
|
2022-01-17 16:02:24 +02:00 |
|
aggstam
|
f3078e1c1b
|
section 3.3 added
|
2022-01-15 19:37:39 +02:00 |
|
aggstam
|
564e63dfaa
|
section 2 added
|
2022-01-15 15:06:06 +02:00 |
|
aggstam
|
4ba9bf4c3d
|
Missing comment added
|
2022-01-14 17:09:56 +02:00 |
|
aggstam
|
4f3dd6bd64
|
3.2 section added and garbage removed
|
2022-01-14 17:07:26 +02:00 |
|
aggstam
|
a3fe19f0d1
|
initial testing
|
2022-01-11 15:12:01 +02:00 |
|
parazyd
|
6bed13eac2
|
script/research: plonk_kate copy constraints.
|
2021-11-25 12:38:24 +01:00 |
|
parazyd
|
1670b793ec
|
script/research: plonk_kate polynomial interpolation.
|
2021-11-25 10:08:08 +01:00 |
|
parazyd
|
a2c7114f01
|
script/research: Add PLONK trusted setup and circuit definition.
|
2021-11-24 19:47:08 +01:00 |
|
narodnik
|
b7f5dea18b
|
make sure first accumulator value is an actual generator of the group
|
2021-11-03 12:04:48 +01:00 |
|
narodnik
|
f179869946
|
rsa accumulator example
|
2021-11-03 12:04:48 +01:00 |
|
narodnik
|
6b690b9e2c
|
halo2 lookup argument
|
2021-09-24 20:26:12 +02:00 |
|
narodnik
|
587a99a257
|
fix bug in halo2 sage script
|
2021-09-24 13:11:53 +02:00 |
|
narodnik
|
e3394c2dc5
|
bulletproof polynomial commitment open verification: show use_g() batched version of scheme
|
2021-09-22 18:04:45 +02:00 |
|
narodnik
|
28b7f876b0
|
bulletproofs polynomial commitment: verifier do fast computation of b. comment showing math behind it.
|
2021-09-22 16:21:56 +02:00 |
|
narodnik
|
399bc75929
|
add verification code to bulletproofs halo2 polynomial commitment scheme
|
2021-09-22 10:25:33 +02:00 |
|
narodnik
|
5a29389066
|
full halo2 polynomial opening proof
|
2021-09-21 14:25:17 +02:00 |
|
narodnik
|
251c2d89ee
|
add verification equation to bulletproofs
|
2021-09-20 20:06:35 +02:00 |
|
narodnik
|
7fbc9071fe
|
add explainer comment showing computation for G values
|
2021-09-20 15:55:57 +02:00 |
|
narodnik
|
46c7fe98af
|
bltprf: recompute final G value using a scalar binary counting structure
|
2021-09-20 15:39:27 +02:00 |
|
narodnik
|
fca033d9de
|
bulletproofs proof generator
|
2021-09-19 12:38:29 +02:00 |
|
narodnik
|
88047a5bed
|
mark bulletproofs todo as completed
|
2021-09-19 11:40:59 +02:00 |
|
narodnik
|
5902185def
|
singe round of bulletproofs compression proof algorithm
|
2021-09-19 11:30:52 +02:00 |
|
narodnik
|
c1e0127a86
|
bltprf/naive.sage: s/A_0/A
|
2021-09-17 12:48:08 +02:00 |
|
narodnik
|
2108f1f96b
|
bulletproofs compression trick (single round) for aggregated commitment
|
2021-09-17 12:31:23 +02:00 |
|