You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1.3 KiB
1.3 KiB
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.