zksecurity / zkBankLinks
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
☆208Updated last year
Alternatives and similar repositories for zkBank
Users that are interested in zkBank are comparing it to the libraries listed below
Sorting:
- educational python plonk implementation, based on vitalik's py_plonk☆222Updated last year
- A curated list of awesome security resources for ZK.☆118Updated 3 months ago
- Cryptography Educational Foundations☆338Updated 2 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆301Updated 4 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆134Updated last year
- A repo for our research papers☆245Updated 8 months ago
- Noname: a programming language to write zkapps☆230Updated this week
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆91Updated last month
- Collection of security reviews of ZK Protocols☆239Updated last year
- Source code for "Building Cryptographic Proofs from Hash Functions"☆224Updated 2 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆151Updated last year
- List of halo2-related resources☆203Updated last year
- Introduction to various ZK languages☆89Updated 5 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Updated 2 years ago
- My work for Rareskills ZK Book.☆76Updated 2 years ago
- Interactive documentation on zero-knowledge proof systems and related primitives.☆172Updated 5 months ago
- ☆204Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆244Updated last year
- Tutorial for STARKs with supporting code in python☆235Updated 7 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆335Updated 10 months ago
- Accelerate Early Stage Programmable Cryptography Talents☆113Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆31Updated last year
- A performant and modular zkVM framework built for customization and extensibility.☆307Updated this week
- Ecne: An engine for verifying the soundness of R1CS constraints☆114Updated 3 years ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆79Updated this week
- Automated verification of uniqueness property for ZKP circuits☆93Updated last year
- A curated list of zero-knowledge folding schemes☆307Updated last year
- Exercises for Part 2 of the ZK-book☆33Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆211Updated this week