automata-network / tee-builder
☆26Updated last year
Alternatives and similar repositories for tee-builder:
Users that are interested in tee-builder are comparing it to the libraries listed below
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- On-chain Ethereum light client built with SP1☆46Updated this week
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- Rust implementation of KZG point evaluation☆33Updated last week
- Benchmarking Polynomial Commitments☆49Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- ☆28Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Polynomial Expression Engine☆35Updated last year
- DPC with Universal Setup☆45Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- RLN circuits in Circom☆29Updated 9 months ago
- client side proving☆28Updated last month
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆41Updated this week
- ☆33Updated last year
- Honk Verifier in Solidity☆50Updated 6 months ago
- RLN on KZG☆20Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆28Updated 6 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated 2 years ago
- ☆17Updated 2 years ago
- A port of TinySMPC into Rust.☆22Updated last year
- wipppp☆17Updated 2 years ago
- Cryptographic protocols☆38Updated 2 years ago