arnaucube
/
testudo
mirror of https://github.com/arnaucube/testudo.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
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.
63 Commits
1 Branch
0 Tags
357 KiB
 
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
arnaucube de4463136f make modules&methods pub, rm unused self in gadget 2 years ago
.cargo PST/SQRT + Benches (#35) 2 years ago
.github/workflows PST/SQRT + Benches (#35) 2 years ago
benches PST/SQRT + Benches (#35) 2 years ago
examples PST/SQRT + Benches (#35) 2 years ago
profiler PST/SQRT + Benches (#35) 2 years ago
src make modules&methods pub, rm unused self in gadget 2 years ago
.gitignore implement spartan verifier as a circuit and verify it with groth16 3 years ago
CODE_OF_CONDUCT.md Initial CODE_OF_CONDUCT.md commit 5 years ago
CONTRIBUTING.md initial commit 5 years ago
Cargo.toml PST/SQRT + Benches (#35) 2 years ago
LICENSE Updating LICENSE to template content 5 years ago
NOTICE.md Reduce the number of public APIs smaller and add more detailed documentation 5 years ago
README.md PST/SQRT + Benches (#35) 2 years ago
SECURITY.md Initial SECURITY.md commit 5 years ago
rustfmt.toml PST/SQRT + Benches (#35) 2 years 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.