395 skills found · Page 5 of 14
btq-ag / KeelungThe Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for Snarkjs, Circom, and PLONKish backends.
uhsr / ChainCryptoAutomationTechXA framework for building zero-knowledge proof circuits using a custom DSL optimized for elliptic curve arithmetic, enabling verifiable computation with minimal on-chain footprint via Groth16 proofs.
muellerberndt / Awesome Zk ProofsResources for learning zero knowledge proof systems
Koukyosyumei / MyZKPBuilding Zero Knowledge Proof from Scratch in Rust
SafeAILab / ZkDLzkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
emmaguo13 / Zk BlindJWT verification with zero knowledge proofs
jancarlsson / Snarkliba C++ template library for zero knowledge proofs
logannye / Space Efficient Zero Knowledge ProofsSublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and aggregate-only Fiat–Shamir. Supports eval/coeff bases, deterministic dev SRS, and pairing checks. Includes CLI prover/verifier and tests.
zkFHE / Circomlib FheExtensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
3lLobo / ZkAuth2FA with Zero-Knowledge proofs
uncomputable / Zkp WorkshopExplore the world of zero-knowledge proofs from first principles.
succinctlabs / VectorxImplementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
zkmove / Zkmove LiteA fast zero-knowledge proof friendly Move language runtime environment.
CharlesHoskinson / SevenlayerA Complete Guide to Zero-Knowledge Proof Systems
NuID / ZkCross-platform zero knowledge proofs
KevinSmall / Zk SNARKs ExplainerAn example of a zero-knowledge proof (a zk-SNARK) explained in comic format.
ziemen4 / ZkpoexZero-Knowledge Proof of Exploit
succinctlabs / Sp1 Contract CallGenerates zero-knowledge proofs of Ethereum smart contract execution.
vaultdb / ZksqlZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
finitology / Hardhat Circom StarterHardhat starter template to build zero knowledge proof applications using circom and snark.js
