Circom Circuits Library for Machine Learning

A zero-knowledge Move language runtime environment.

Circuits library for matrix operations in circom

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

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.

SSI Wallet App & SDK, built on the foundation of Hyperledger Aries Mobile Agent React Native (Bifold) project

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

Private authentic photo sharing using ZKP

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.

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

Puzzles using ZKP

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

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

Efficient Dynamic Proof of Retrievability

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

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

A decentralized OAuth / Metamask Login | Without server, files or API... Just 1kb of logic!

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

Elekton cross-platform decentralized application.

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