395 skills found · Page 1 of 14
matter-labs / Awesome Zero Knowledge ProofsA curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
spaceandtimefdn / BlitzarZero-knowledge proof acceleration with GPUs for C++ and Rust
WTFAcademy / WTF Zk零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
inference-labs-inc / Zkml BlueprintsMathematical formulations and circuit designs for zero-knowledge proofs.
noir-lang / NoirNoir is a domain specific language for zero knowledge proofs
sec-bit / Learning Zkparticles, codes and tools all about zero-knowledge proofs
0xProject / OpenZKPOpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
Consensys / Gnark Cryptognark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
sdiehl / BulletproofsBulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
lauraevz6y70 / Gnark Cryptognark-crypto-cmd — Interactive CLI for Consensys gnark-crypto library featuring elliptic curve cryptography (BN254, BLS12-381, BLS24, BW6), zero-knowledge proof primitives, FFT/KZG/MiMC/EdDSA operations, Go code generation, benchmarks, and BibTeX citation export
zkVerify / ZkVerifyzkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
sCrypt-Inc / Awesome Zero Knowledge ProofsA curated list of awesome Zero-Knowledge Proofs (ZKP) resources.
NilFoundation / ZkLLVMZero-Knowledge Proof Systems Circuit Compiler
circify / Circ(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Sunscreen-tech / SunscreenA compiler for fully homomorphic encryption and zero knowledge proofs
yetanotherco / Aligned LayerAligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
Quillhash / Zero Knowledge MasteryThis repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
scipr-lab / DizkJava library for distributed zero knowledge proof systems
enricobottazzi / ZKverseIntroduction to Zero Knowledge Proof
xlab-si / EmmyLibrary for zero-knowledge proof based applications (like anonymous credentials)
