socathie / circomlib-ml
Circom Circuits Library for Machine Learning
☆170Updated 8 months ago
Alternatives and similar repositories for circomlib-ml:
Users that are interested in circomlib-ml are comparing it to the libraries listed below
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- ☆195Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆207Updated last year
- List of halo2-related resources☆191Updated last month
- DSL for Halo2 circuits☆187Updated 4 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆127Updated this week
- ☆150Updated last year
- Benchmark of multiple zk implementations.☆83Updated last year
- Include halo2 example circuits☆86Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated 3 months ago
- ☆96Updated 6 months ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated 2 months ago
- ☆131Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 11 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 2 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆169Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- educational python plonk implementation, based on vitalik's py_plonk☆204Updated 7 months ago
- Experimental folding schemes library☆226Updated this week
- A curated list of repos related to Circom☆96Updated 2 years ago
- A guild to build simple zk rollup☆50Updated 2 years ago
- ☆94Updated 6 months ago
- ☆83Updated last year
- A repo for our research papers☆224Updated last month
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- ☆212Updated last week
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆82Updated last year
- Verifying a 512-layer CNN w/ Nova☆160Updated last year
- ☆119Updated 3 months ago