mirror of
https://github.com/arnaucube/testudo.git
synced 2026-01-12 08:41:29 +01:00
arnaucube
de4463136f
- remove unused self for SumcheckVerificationCircuit gadget (verifiy_sumcheck) - make some modules & methods pub to be used from outside of the repo - small typos fixes
Testudo
Testudo is a linear-time prover SNARK with a small and universal trusted setup. For a deep dive, please refer to this blog post.
In the current stage, the repository contains:
- a modified version of Spartan using arkworks with the sumchecks verified using Groth16
- a fast version of the PST commitment scheme with a square-root trusted setup
- support for an arkworks wrapper around the fast blst library with GPU integration repo
Building testudo
Testudo is available with stable Rust.
Run cargo build or cargo test to build, respectively test the repository.
To run the current benchmarks on BLS12-377:
cargo bench --bench testudo --all-features release -- --nocapture
Join us!
If you want to contribute, reach out to the Discord server of cryptonet.