sec-bit / mle-pcs
A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
☆14Updated this week
Alternatives and similar repositories for mle-pcs:
Users that are interested in mle-pcs are comparing it to the libraries listed below
- A curated list of awesome things related to learning Circle STARK.☆26Updated 3 months ago
- ☆48Updated this week
- Provides tools for testing circom circuits.☆56Updated 6 months ago
- Email verification circuit in halo2☆66Updated 6 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆41Updated last week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆39Updated last week
- Circom interpreter to arithmetic circuit description☆50Updated 4 months ago
- Include halo2 example circuits☆86Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆71Updated 3 weeks ago
- Benchmarks of popular zkVMs including Jolt☆58Updated 8 months ago
- ZK Email in Noir☆57Updated this week
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated last month
- 👽 Small exercises to get you used to ZK fundamentals!☆28Updated last month
- Polynomials Identity Language☆68Updated 10 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- My notes related to Cryptography & Zero-Knowledge.☆39Updated 10 months ago
- My personal notebook for various zk-related topics☆47Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆101Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)☆77Updated this week
- ZKM Development Template/Framework☆23Updated this week
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆86Updated 2 weeks ago
- A curated list of repos related to Circom☆95Updated 2 years ago
- ☆87Updated 5 months ago
- PoC of Revm execution in SGX☆80Updated last year
- A monorepo of reusable Circom circuits.☆22Updated this week
- Benchmark of multiple zk implementations.☆83Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆95Updated 4 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆70Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated 3 months ago