zksecurity / zkBankLinks
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
☆162Updated 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☆215Updated 11 months ago
- A curated list of awesome security resources for ZK.☆86Updated 3 weeks ago
- Cryptography Educational Foundations☆314Updated last week
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆78Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆216Updated last month
- A static analyzer and linter for the Circom zero-knowledge DSL☆250Updated last year
- Collection of security reviews of ZK Protocols☆230Updated 6 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆239Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆81Updated 6 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆202Updated 3 months ago
- ☆199Updated last year
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆104Updated 2 weeks ago
- Multi-party computation libraries written in Rust 🦀☆261Updated this week
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 8 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆299Updated 2 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 6 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆153Updated last week
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 6 months ago
- Noname: a programming language to write zkapps☆216Updated last week
- Introductory lecture notes on programmable cryptography☆103Updated 2 weeks ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- My notes related to Cryptography & Zero-Knowledge.☆46Updated 2 months ago
- A repo for our research papers☆230Updated 2 weeks ago
- A testing & development environment for Circom.☆112Updated 2 weeks ago
- A curated list of zero-knowledge folding schemes☆299Updated 10 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆28Updated 11 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆115Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆210Updated last year
- Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.☆405Updated this week