 mohab metwally
|
7f3c89c07c
resolve lead example
|
3 tahun lalu |
|
mohab metwally
|
97aa221e73
[crypsinous] merge crypsinousintomaster
|
3 tahun lalu |
|
mohab metwally
|
f98137e306
merge crypsinous into master in crypsinousintomaster branch
|
3 tahun lalu |
|
mohab metwally
|
ff60218574
[crypsinous] missing reward value, set up reward=1, sigma=#slot*reward
|
3 tahun lalu |
|
mohab metwally
|
7488b9f484
[crypsinous zk/circuit/lead_contract] fix order of public inputs
|
4 tahun lalu |
|
mohab metwally
|
346cb9046b
[crypsinous zk/circuit/lead_contract] add nullifier prefix
|
4 tahun lalu |
|
mohab metwally
|
4ba9bbf284
[crypsinous:zk/lead_circuit] move public input coin_nonce2 to the end
|
4 tahun lalu |
|
mohab metwally
|
8a143e1ba9
[crypsinous:example/lead] fix sn PRF
|
4 tahun lalu |
|
mohab metwally
|
577b778f54
pruned lead proof abit, and replaced rho2 pedersen with poseidon
|
4 tahun lalu |
|
mohab metwally
|
b7bfad332a
miscel changes to the crypsinous sim
|
4 tahun lalu |
|
mohab metwally
|
031ce67a0f
fix lead example with new stakeholder api
|
4 tahun lalu |
|
mohab metwally
|
7eee509922
[WIP/crypsinous simulation] crypsinous simualtion still wip
|
4 tahun lalu |
|
mohab metwally
|
7e6c79fb4b
[consensus] extract eta from lead proof hash rather than transaction hash
|
4 tahun lalu |
|
mohab metwally
|
3436f22696
[consensus] append TransactionLeadProof to ourboros metadata
|
4 tahun lalu |
|
mohab metwally
|
45ff3f63d2
[crypsinous] misl
|
4 tahun lalu |
|
mohab metwally
|
a9abb7c7db
[crypsinous] move circuit creation to leadcoin
|
4 tahun lalu |
|
mohab metwally
|
93cdc7e1ff
[crypsinous] miscellaneous changes, and fixing typos, and bugs
|
4 tahun lalu |
|
mohab metwally
|
0c32d4d9d0
update lead example with changes
|
4 tahun lalu |
|
mohab metwally
|
663c67ce10
debugging lead circuit
|
4 tahun lalu |
|
mohab metwally
|
570a7b1eda
[src/blockchain/epoch] added epoch struct
|
4 tahun lalu |
|
aggstam
|
d5c96db14c
crypto/constants.rs: created commonly used MERKLE_DEPT constant
|
4 tahun lalu |
|
mohab metwally
|
a7b2eb575d
epoch's coins secret keys are dervied from each others
|
4 tahun lalu |
|
mohab metwally
|
f7b4c9af27
updated lead proof/example with halo2 api
|
4 tahun lalu |
|
parazyd
|
587f0b4b93
make fix and minor manual cleanups.
|
4 tahun lalu |
|
parazyd
|
d765387fd0
Update dependencies and reduce compilation time.
|
4 tahun lalu |
|
aggstam
|
698db2bd9d
example/lead.rs: removed duplicate dependencies
|
4 tahun lalu |
|
parazyd
|
f8c2ee5617
Port codebase to latest halo2 API.
|
4 tahun lalu |
|
Dastan-glitch
|
5b467f4cef
update Cargo.lock and fix formatting
|
4 tahun lalu |
|
mohab
|
8b9bdac46f
miscellaneous changes
|
4 tahun lalu |
|
mohab
|
683b96369d
[example/lead] provingkey is panking on leadcontract, fallback to previous example
|
4 tahun lalu |
