brevis-network / brevis-sdk
SDK for writing application circuits on Brevis
☆13Updated this week
Alternatives and similar repositories for brevis-sdk:
Users that are interested in brevis-sdk are comparing it to the libraries listed below
- Hyper-parallel ZK coprocessing.☆14Updated last week
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- High performance EraVM for zkSync.☆23Updated 2 weeks ago
- ☆23Updated last year
- zkEVM proof generator reference written in Javascript☆81Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated 11 months ago
- EraVM implementation☆20Updated 6 months ago
- revm/reth block proving on Valida☆16Updated last month
- ☆25Updated this week
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- ☆49Updated this week
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago
- Smart contracts for onchain verification of SP1.☆86Updated last month
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆96Updated 2 months ago
- ☆35Updated 2 weeks ago
- Bolt: permissionless proposer commitments on Ethereum☆91Updated this week
- ☆42Updated last year
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆58Updated 11 months ago
- ☆42Updated 11 months ago
- Email verification circuit in halo2☆68Updated 9 months ago
- Polynomials Identity Language☆68Updated last year
- ☆14Updated this week
- ☆21Updated 9 months ago
- Suite of tools for Monitoring OP Stack Chains 🔴 Offers real-time detection and Incident response capabilities ✨☆31Updated this week
- Client library for generating and using RLN ZK proofs☆30Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆49Updated 3 months ago
- Solidity verifier for Plonk☆41Updated 7 months ago