eth-act / ereLinks
☆19Updated last week
Alternatives and similar repositories for ere
Users that are interested in ere are comparing it to the libraries listed below
Sorting:
- ☆30Updated 2 years ago
- zkEVM benchmarking☆27Updated this week
- ☆28Updated 3 years ago
- Benchmarking Polynomial Commitments☆49Updated 2 years ago
- Delve into low-level RISC Zero machine☆27Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- ☆45Updated 2 months ago
- Halo2 Merkle tree circuits☆32Updated 4 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Cryptographic protocols☆39Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- ☆17Updated 2 years ago
- A port of TinySMPC into Rust.☆23Updated last year
- ETHPrague☆31Updated last year
- snarkpack for arkwork☆21Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A Rust library for proof-carrying disclosures☆20Updated last year
- Client library for generating and using RLN ZK proofs☆32Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆33Updated 2 years ago
- ☆50Updated last year
- Batch ECDSA in circom☆34Updated 2 years ago
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- ☆26Updated last year
- Polynomial Expression Engine☆35Updated last year
- AWS Nitro enclave attestation verifier in Solidity, used by:☆17Updated 3 weeks ago