succinctlabs / sp1-teeLinks
β21Updated this week
Alternatives and similar repositories for sp1-tee
Users that are interested in sp1-tee are comparing it to the libraries listed below
Sorting:
- β31Updated last year
- Behold the almighty πΏtotemπΏβ18Updated 9 months ago
- Based on https://eprint.iacr.org/2022/1510β26Updated 8 months ago
- Breathe airβ24Updated last year
- Rust implementation of KZG point evaluationβ33Updated 3 weeks ago
- Axiom smart contractsβ26Updated last year
- β33Updated last year
- Base64 encoding for Aztec's noir languageβ16Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.β31Updated last year
- Groth16 verifier in EVMβ21Updated last year
- Using folding schemes for a provable bitcoin light clientβ34Updated last year
- β35Updated last month
- client side provingβ31Updated 3 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rsβ35Updated this week
- Noir library to verify JWT tokens, and prove claims.β28Updated 2 months ago
- Verify a chain of x509 certificates in halo2β31Updated last year
- β50Updated last year
- A monorepo of reusable crates for zero-knowledge technologies.β14Updated last week
- RLN on KZGβ20Updated last year
- Infinitely Compressible Governance using Recursive SNARKsβ31Updated 2 years ago
- β17Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.β29Updated last year
- A Solidity implementation of Halo2's Pasta curvesβ49Updated 2 years ago
- In-browser ECDSA aggregation using Nova over secp/secqβ33Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKSβ22Updated 3 months ago
- an introduction to noir, with simple examplesβ44Updated last year
- β40Updated 7 months ago
- β28Updated 3 years ago
- Circuits for Pluto's `web-prover`β21Updated last month
- β40Updated 2 years ago