socathie / circomlib-matrix
Circuits library for matrix operations in circom
☆32Updated 7 months ago
Alternatives and similar repositories for circomlib-matrix:
Users that are interested in circomlib-matrix are comparing it to the libraries listed below
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- Poseidon hash function implemented in Solidity☆43Updated 5 months ago
- ☆36Updated last year
- My personal notebook for various zk-related topics☆47Updated last week
- PoC of Revm execution in SGX☆80Updated last year
- Provides tools for testing circom circuits.☆56Updated 6 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Email verification circuit in halo2☆66Updated 6 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated last year
- ☆2Updated 10 months ago
- ZK-based engine for self-sovereign SQL queries☆88Updated 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
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Zero Knowledge Proof for RSA☆54Updated last year
- A curated list of repos related to Circom☆95Updated 2 years ago
- Playing with zero-knowledge proof languages☆104Updated last year
- ☆34Updated last year
- A curated list of resources on zkECDSA☆37Updated last year
- ☆64Updated 5 months ago
- keccak256 hash implementation in Circom☆78Updated 2 years ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- ☆48Updated this week
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- ☆28Updated last year
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆80Updated last year