Xor0v0 / awesome-zero-knowledge-proofs-security
☆24Updated last month
Alternatives and similar repositories for awesome-zero-knowledge-proofs-security:
Users that are interested in awesome-zero-knowledge-proofs-security are comparing it to the libraries listed below
- Write-ups submitted by CTF participants☆35Updated last year
- A course on Halo2 in collaboration with Zircuit☆22Updated 3 months ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆13Updated 10 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- SMT 2023 Submission; license pending☆53Updated 5 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated last year
- Proof system backends for OpenVM.☆30Updated this week
- Workbook for Introduction to Programmable Cryptography☆34Updated 2 weeks ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆47Updated 3 weeks ago
- For practice to using halo2☆22Updated last year
- Frobenius sumcheck for vectorized boolean ops☆51Updated last week
- zero knowledge proof aggregator for general circuit☆72Updated 11 months ago
- ☆41Updated last year
- ☆47Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆23Updated 2 years ago
- A curated list of awesome things related to learning Circle STARK.☆29Updated last month
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆47Updated 3 months ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- A monorepo of reusable Circom circuits.☆25Updated last month
- Automated verification of uniqueness property for ZKP circuits☆41Updated 10 months ago
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆21Updated last week
- A lattice-based non-interactive folding scheme written in Rust☆71Updated last week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆39Updated last year
- ☆51Updated 2 months ago
- A curated list of awesome security resources for ZK.☆79Updated this week