856 Commits

Author SHA1 Message Date
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
ghassmo
f6d80e36f8 clean up & remove unused files 2022-02-18 10:57:13 +04: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
parazyd
8da37aaa5e Remove old python zkas scripts. 2022-01-25 23:43:51 +01: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
lunar-mining
d001a140dc moved src/bin/ to /example and fixed errors 2022-01-09 15:46:01 +01:00
narodnik
ca8a3378ad script/run_network.sh 2021-12-22 10:04:29 +01:00
parazyd
5aeee9da42 Move VM helper scripts to script/ 2021-12-19 17:01:56 +01: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
aa877915aa add calculate root function 2021-10-30 18:32:03 +02:00
narodnik
fa4476eda1 add merkle_path to compiler and the calculate_root function 2021-10-30 18:04:29 +02:00
narodnik
a19c438cd6 migrate over zkas 2021-10-30 17:59:31 +02: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