sec-bit / mle-pcs
A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
☆12Updated this week
Related projects ⓘ
Alternatives and complementary repositories for mle-pcs
- A curated list of awesome things related to learning Circle STARK.☆20Updated 3 weeks ago
- 👽 Small exercises to get you used to ZK fundamentals!☆27Updated 2 weeks ago
- ZKM Development Template/Framework☆16Updated last week
- Provides tools for testing circom circuits.☆56Updated 4 months ago
- Email verification circuit in halo2☆62Updated 4 months ago
- Honk Verifier in Solidity☆49Updated 3 weeks ago
- My notes related to Cryptography & Zero-Knowledge.☆40Updated 8 months ago
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆48Updated this week
- A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)☆40Updated this week
- Solidity implementation of Nova proving system verifier☆59Updated 7 months ago
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- ☆29Updated 2 weeks ago
- A monorepo of reusable Circom circuits.☆21Updated 3 months ago
- ☆46Updated 8 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- ☆93Updated 2 months ago
- ☆85Updated 3 months ago
- Benchmarks of popular zkVMs including Jolt☆56Updated 6 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Updated last month
- PoC of Revm execution in SGX☆81Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 10 months ago
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆55Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆93Updated this week
- Library and gadget to do regex string matches in halo2☆35Updated 3 months ago
- ☆37Updated 10 months ago
- ☆24Updated 2 weeks ago
- A Plonky3 implementation example of Fibonacci program☆22Updated last month
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A PoC repo for a HyperNova impl☆83Updated last year