Circom Circuits Library for Machine Learning

Building blocks of a Circle STARK verifier in Bitcoin script

A zero-knowledge Move language runtime environment.

Building Zero Knowledge Proof from Scratch in Rust

zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA

A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.

Circuits library for matrix operations in circom

Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of number that is a universal-pattern-calculus-combinator. Axgob.js (in dagball project, lib dir) is incomplete newer version of this. A fork-editable multiverse of all possible lambdas.

A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.

Reference SSI Wallet App, built using OpenWallet Foundation Bifold

Private authentic photo sharing using ZKP

Monorepo of Galxe Identity Protocol

An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication.

Puzzles using ZKP

Efficient Dynamic Proof of Retrievability

A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies

Cryptography SecondBrain is a comprehensive open-source cryptography wiki, covering topics from basic algebra to advanced privacy-enhancing technologies (PET).

No description provided.

ZkpSharp is a .NET library for implementing Zero-Knowledge Proofs (ZKP). This library allows you to securely prove certain information (such as age or balance) without revealing the actual data. It uses cryptographic hashes and salts to ensure privacy and security.

One of the many cool implementations of a zkProofOfOwnership platform developed for the ETHDenver 2022 hackaton.

基于Hyperledger Fabric可监管的隐私交易系统

Solidity smart contracts to vote anonymously on a free-gas network (Besu) using zk-SNARK.

Privacy-Preserving method for Business Process Tracking on Blockchain

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

COMS 6998 (Fall 2025): Refinement-typed DSL for certified AIR constraints and lookups

Zk based fully secure and trustless multichain (WormholeSDK) file transfer system with Aptos-Sui-EVM.

Análise Causal Heterogênea para Subgrupos de Intervenção em Ansiedade

🔐 Collection Of Various Implementations Of Cryptographic Algorithms From Scratch In Various Languages

A curated list of awesome libraries, tools, frameworks, and resources for Zero-Knowledge Proofs (ZKPs) including zk-SNARKs, zk-STARKs, and other privacy-preserving cryptographic protocols.

Cryptography Notebook is a repository containing some of the cryptographic implementations I have done for learning purposes.