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.