namnc / circom-2-arithc
Circom interpreter to arithmetic circuit description
☆50Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for circom-2-arithc
- ☆60Updated 8 months ago
- ☆71Updated 3 months ago
- Solidity implementation of Nova proving system verifier☆59Updated 8 months ago
- ☆94Updated 3 months ago
- zero knowledge proof aggregator for general circuit☆71Updated 6 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- Tooling for creating collaborative SNARKs for Circom circuits.☆101Updated this week
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated last week
- ☆85Updated 3 months ago
- Email verification circuit in halo2☆63Updated 4 months ago
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- ☆86Updated 2 weeks ago
- Verifiable FHE with GKR☆25Updated last month
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆53Updated last week
- Verify a chain of x509 certificates in halo2☆32Updated 11 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- OS for next iteration of the world computer☆45Updated last year
- A PoC repo for a HyperNova impl☆82Updated last year
- ☆38Updated 3 weeks ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- Frobenius sumcheck for vectorized boolean ops☆38Updated 2 months ago
- ☆49Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆30Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- ☆46Updated 8 months ago
- ☆147Updated 8 months ago