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.
arnaucube de4463136f make modules&methods pub, rm unused self in gadget 7 months ago
.cargo PST/SQRT + Benches (#35) 11 months ago
.github/workflows PST/SQRT + Benches (#35) 11 months ago
benches PST/SQRT + Benches (#35) 11 months ago
examples PST/SQRT + Benches (#35) 11 months ago
profiler PST/SQRT + Benches (#35) 11 months ago
src make modules&methods pub, rm unused self in gadget 7 months ago
.gitignore implement spartan verifier as a circuit and verify it with groth16 1 year ago
CODE_OF_CONDUCT.md Initial CODE_OF_CONDUCT.md commit 4 years ago
CONTRIBUTING.md initial commit 3 years ago
Cargo.toml PST/SQRT + Benches (#35) 11 months ago
LICENSE Updating LICENSE to template content 4 years ago
NOTICE.md Reduce the number of public APIs smaller and add more detailed documentation 3 years ago
README.md PST/SQRT + Benches (#35) 11 months ago
SECURITY.md Initial SECURITY.md commit 4 years ago
rustfmt.toml PST/SQRT + Benches (#35) 11 months ago

README.md

Testudo

Build and Test 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.