logos-co
/
nomos-pocs
mirror of https://github.com/logos-co/nomos-pocs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
nomos-pocs/proof_of_leadership/risc0
History
David Rusu 7e19f8bce9 pol: lottery evaluation looks correct 2024-07-25 16:27:59 +04:00
..
proof_statements pol: lottery evaluation looks correct 2024-07-25 16:27:59 +04:00
prover pol: risc0 implementation of the PoL zk statemetn 2024-07-25 02:19:03 +04:00
risc0_proofs pol: risc0 implementation of the PoL zk statemetn 2024-07-25 02:19:03 +04:00
.gitignore pol: risc0 implementation of the PoL zk statemetn 2024-07-25 02:19:03 +04:00
Cargo.toml pol: risc0 implementation of the PoL zk statemetn 2024-07-25 02:19:03 +04:00