Mathematician/Cryptographer. Interested in arithmetic geometry, Hodge theory, complexity theory, succinct and verifiable computing, and functional programming.
Popular repositories Loading
-
halo2-scaffold
halo2-scaffold PublicForked from axiom-crypto/halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit. Additionally, there is a pure rust implementation of (batch) IPA and a circuit implementation of verifiying batch IPA proofs.
Rust 1
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

