 Luther Blissett
|
cda5e46f1a
crypto: Clippy lints.
|
4 years ago |
|
Dastan-glitch
|
a50de65a78
Clippy lints
|
4 years ago |
|
mohab metwally
|
81f53cef5c
merge conflict
|
4 years ago |
|
mohab metwally
|
ff60218574
[crypsinous] missing reward value, set up reward=1, sigma=#slot*reward
|
4 years ago |
|
mohab metwally
|
bac2d1cd32
WIP tuning lead election
|
4 years ago |
|
mohab metwally
|
cc1c63eb24
[crypsinous: zk/circuit/lead_contract] add rho to public input
|
4 years ago |
|
mohab metwally
|
45707b2aaa
[crypsinous zk/circuit/lead_contract] add y in the public input instead of comparison output
|
4 years ago |
|
mohab metwally
|
7488b9f484
[crypsinous zk/circuit/lead_contract] fix order of public inputs
|
4 years ago |
|
mohab metwally
|
346cb9046b
[crypsinous zk/circuit/lead_contract] add nullifier prefix
|
4 years ago |
|
mohab metwally
|
4ba9bbf284
[crypsinous:zk/lead_circuit] move public input coin_nonce2 to the end
|
4 years ago |
|
mohab metwally
|
6f2cd5070d
[crypsinous:example/lead] update lessthan gadget in lead example with 254 bits
|
4 years ago |
|
parazyd
|
72e7319629
[crypsinous: example/lead] cherry picked less than gadget
|
4 years ago |
|
mohab metwally
|
8a143e1ba9
[crypsinous:example/lead] fix sn PRF
|
4 years ago |
|
mohab metwally
|
39c9f3871b
converted sn, and pk as PRF
|
4 years ago |
|
mohab metwally
|
577b778f54
pruned lead proof abit, and replaced rho2 pedersen with poseidon
|
4 years ago |
|
mohab metwally
|
a9abb7c7db
[crypsinous] move circuit creation to leadcoin
|
4 years ago |
|
mohab metwally
|
c857f34913
add y_mu, rho_mu random samples to the leadcoin
|
4 years ago |
|
mohab metwally
|
663c67ce10
debugging lead circuit
|
4 years ago |
|
parazyd
|
6215fc7bd6
zk: Port code to latest Halo2 API.
|
4 years ago |
|
parazyd
|
587f0b4b93
make fix and minor manual cleanups.
|
4 years ago |
|
parazyd
|
f8c2ee5617
Port codebase to latest halo2 API.
|
4 years ago |
|
Dastan-glitch
|
5b467f4cef
update Cargo.lock and fix formatting
|
4 years ago |
|
mohab
|
2ae2facf34
[crypto/leadcoin] lead coin with member public_input implemented
|
4 years ago |
|
mohab
|
b7bfed955e
[crypto/leadcoin] created lead coin for lead transaction
|
4 years ago |
