Circom Circuits Library for Machine Learning

Building blocks of a Circle STARK verifier in Bitcoin script

A zero-knowledge Move language runtime environment.

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

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

Circuits library for matrix operations in circom

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

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.

Private authentic photo sharing using ZKP

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

Monorepo of Galxe Identity Protocol

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可监管的隐私交易系统

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

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