succinctlabs / sp1-tee
☆17Updated last month
Alternatives and similar repositories for sp1-tee:
Users that are interested in sp1-tee are comparing it to the libraries listed below
- Rust implementation of KZG point evaluation☆33Updated 2 weeks ago
- client side proving☆28Updated last month
- Axiom smart contracts☆26Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 5 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 7 months ago
- ☆31Updated last year
- RLN on KZG☆20Updated last year
- ☆18Updated 3 weeks ago
- Web Proofs using zk-SXG☆27Updated 5 months ago
- ☆33Updated last year
- Verifying Cairo Programs in SP1☆14Updated 6 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆17Updated 2 years ago
- Zig EVM☆32Updated 4 months ago
- Breathe air☆23Updated 11 months ago
- A monorepo of reusable crates for zero-knowledge technologies.☆13Updated this week
- ☆50Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Base64 encoding for Aztec's noir language☆16Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- ☆40Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Binius circuits web demos☆14Updated 4 months ago
- Delve into low-level RISC Zero machine☆27Updated last year
- ☆31Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 10 months ago
- Groth16 verifier in EVM☆21Updated last year
- Circuits for Pluto's `web-prover`☆21Updated last week
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- An API compatible port of the Stone prover.☆19Updated 6 months ago