Cedric's repositories
000
ARCs
Aleo Request for Comments (ARCs)
Language:JavaScriptApache-2.0000
gevulot
Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
Language:RustApache-2.0000
hello_world
hello world!!!!!
Language:Rust000
learning-zkp
articles, codes and tools all about zero-knowledge proofs
000
Language:RustApache-2.0000
Language:RustApache-2.0000
sdk
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Language:RustGPL-3.0000
snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language:RustApache-2.0000
venus-cluster
sealing cluster for venus
zkBank
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
Language:Go000