franklynwang / EcneProject
Ecne: An engine for verifying the soundness of R1CS constraints
☆107Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for EcneProject
- Automated verification of uniqueness property for ZKP circuits☆70Updated 7 months ago
- ☆192Updated 11 months ago
- SMT 2023 Submission; license pending☆52Updated last month
- Circuits library for matrix operations in circom☆32Updated 4 months ago
- A curated list of repos related to Circom☆94Updated last year
- ☆117Updated last month
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆62Updated 4 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆98Updated 7 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆126Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆56Updated 6 months ago
- Include halo2 example circuits☆83Updated last year
- Playing with zero-knowledge proof languages☆104Updated last year
- Middleware to compile Circom circuits to Nova prover☆234Updated 8 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 7 months ago
- ☆130Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- ☆75Updated 2 weeks ago
- A repo for our research papers☆205Updated 3 weeks ago
- ☆60Updated last year
- ☆85Updated 3 months ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆236Updated last week
- PoC of Revm execution in SGX☆80Updated last year
- ☆93Updated 2 months ago
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated 10 months ago