zksecurity / zkBankLinks
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
☆207Updated last year
Alternatives and similar repositories for zkBank
Users that are interested in zkBank are comparing it to the libraries listed below
Sorting:
- A curated list of awesome security resources for ZK.☆117Updated 2 months ago
- Collection of security reviews of ZK Protocols☆238Updated last year
- educational python plonk implementation, based on vitalik's py_plonk☆222Updated last year
- Cryptography Educational Foundations☆336Updated last month
- Source code for "Building Cryptographic Proofs from Hash Functions"☆223Updated last month
- Interactive documentation on zero-knowledge proof systems and related primitives.☆172Updated 5 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆261Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated last year
- Introduction to various ZK languages☆89Updated 4 months ago
- Noname: a programming language to write zkapps☆228Updated 2 weeks ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Updated 2 years ago
- A curated list of zkVM, zero-knowledge virtual machine☆298Updated 3 months ago
- List of halo2-related resources☆203Updated 11 months ago
- My work for Rareskills ZK Book.☆74Updated last year
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆90Updated 2 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆334Updated 9 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆91Updated 3 weeks ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆149Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆113Updated last year
- Tutorial for STARKs with supporting code in python☆235Updated 6 months ago
- This is the markdown for the ZK Book☆106Updated 2 weeks ago
- A repo for our research papers☆243Updated 7 months ago
- Exercises for Part 2 of the ZK-book☆32Updated last year
- ☆204Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- MoonMath Manual notes, exercise solution and extra comments.☆30Updated last year
- A curated list of zero-knowledge folding schemes☆306Updated last year
- Automated verification of uniqueness property for ZKP circuits☆92Updated last year
- A curated list of repos related to Circom☆104Updated 3 years ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆219Updated 2 years ago