Stars
0xdecaf / zkrp
Forked from ing-bank/zkrpReusable library for creating and verifying zero-knowledge range proofs and set membership proofs.
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
ใไปฃ็ ้ๆณๅฝใLeetCode ๅท้ขๆป็ฅ๏ผ200้็ปๅ ธ้ข็ฎๅท้ข้กบๅบ๏ผๅ ฑ60wๅญ็่ฏฆ็ปๅพ่งฃ๏ผ่ง้ข้พ็นๅๆ๏ผ50ไฝๅผ ๆ็ปดๅฏผๅพ๏ผๆฏๆC++๏ผJava๏ผPython๏ผGo๏ผJavaScript็ญๅค่ฏญ่จ็ๆฌ๏ผไปๆญค็ฎๆณๅญฆไน ไธๅ่ฟท่ซ๏ผ๐ฅ๐ฅ ๆฅ็็๏ผไฝ ไผๅ็ฐ็ธ่งๆจๆ๏ผ๐
cryptonetlab / testudo
Forked from microsoft/SpartanTestudo: Spartan + Groth16
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.
Spartan: High-speed zkSNARKs without trusted setup
Tutorial for STARKs with supporting code in python
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
A curated list of ZK/FHE resources and links. ๐ Click below for the website version.
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
Substrate Open Runtime Module Library
๐ Awesome Tauri Apps, Plugins and Resources
A curated list of awesome things related to plonk proof system
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
Zero Knowledge Proofs and how they can be implemented in Quorum