voltrevo / summon
A language for building arithmetic circuits based on TypeScript
☆14Updated last month
Related projects ⓘ
Alternatives and complementary repositories for summon
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- Provides tools for testing circom circuits.☆56Updated 4 months ago
- Poseidon hash function implemented in Solidity☆40Updated 3 months ago
- Zero-Knowledge University☆29Updated 3 months ago
- OS for next iteration of the world computer☆45Updated last year
- barretenburg in rust (here we go)☆97Updated 10 months ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆79Updated last week
- My personal notebook for various zk-related topics☆48Updated 6 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- Export Circom verifier to Cairo☆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
- Email verification circuit in halo2☆62Updated 4 months ago
- A monorepo of reusable Circom circuits.☆21Updated 3 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- Honk Verifier in Solidity☆49Updated last month
- BFV implementation in Python☆23Updated 3 months ago
- ZK Email in Noir☆48Updated this week
- group signatures implemented with zkSNARKs☆83Updated 2 years ago
- Zero-Knowledge dApp Boilerplate☆23Updated last year
- ☆60Updated 3 months ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- ZK proofs for image authenticity☆29Updated 3 weeks ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- keccak256 hash implementation in Circom☆77Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- ☆31Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year