iden3 / go-circuits
Circuits
☆22Updated 3 months ago
Alternatives and similar repositories for go-circuits:
Users that are interested in go-circuits are comparing it to the libraries listed below
- Solidity verifier for Plonk☆42Updated 8 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 7 months ago
- Go Bindings for the Solidity Compiler☆19Updated last week
- Plug-and-play fee market module for Cosmos SDK chains☆30Updated 2 weeks ago
- A Go implementation of cryptographic primitives for Verkle Trees☆33Updated 8 months ago
- ☆21Updated 2 years ago
- ☆17Updated 4 months ago
- go-rapidsnark☆20Updated 3 months ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Foundry project for the RLN☆17Updated last year
- Batch ECDSA in circom☆33Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Solidity source debugger built around EthereumJS☆23Updated 3 months ago
- IDEN3 smartcontracts☆95Updated this week
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆40Updated this week
- PoC implementation of polynomial commitment scheme based Range Proofs☆12Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆50Updated 9 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆51Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Hermez documentation☆9Updated 2 years ago
- ☆24Updated this week
- FHE in the Risc0 zkVM☆25Updated last year
- Simple zk roll-ups☆38Updated 2 years ago
- A generator of protobuf encoders compliant with ADR-27 (This is a fork of https://github.com/nutsfinance/solidity-protobuf)☆20Updated last year
- ☆21Updated this week
- ☆28Updated last year
- Cryptography libraries for ZKsync☆30Updated this week
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆66Updated 6 months ago