sec-bit / mle-pcs
A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
☆12Updated last week
Related projects ⓘ
Alternatives and complementary repositories for mle-pcs
- ☆30Updated last month
- ☆34Updated this week
- A curated list of awesome things related to learning Circle STARK.☆20Updated last month
- 👽 Small exercises to get you used to ZK fundamentals!☆27Updated this week
- Email verification circuit in halo2☆63Updated 4 months ago
- ☆24Updated 3 weeks ago
- Benchmarks of popular zkVMs including Jolt☆56Updated 7 months ago
- Provides tools for testing circom circuits.☆56Updated 4 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆99Updated this week
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- Honk Verifier in Solidity☆49Updated last month
- My notes related to Cryptography & Zero-Knowledge.☆40Updated 9 months ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Zero-Knowledge University☆31Updated 3 months ago
- ☆94Updated 3 months ago
- ☆37Updated 10 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated last week
- Step by step implementation of KZG☆19Updated last month
- Zero Knowledge Proof for RSA☆52Updated last year
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆54Updated this week
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- A circuit to verify the voice recovery process.☆49Updated last year
- Poseidon hash function implemented in Solidity☆41Updated 3 months ago
- customizable halo2 circuits batcher☆30Updated this week
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year