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.
An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication.
Zk based fully secure and trustless multichain (WormholeSDK) file transfer system with Aptos-Sui-EVM.
UI for socathie/custom-dark-forest
Based on Zero knowledge architecture, client can perform all auth operations without sending password to the server
frontend for zkPhoto
Minimal spawn only version of DF as an exercise to implement ZKP
Use ZK Crypto Net Worth (KryptoAssetZ) to prove your assets are above a threshold without revealing your wallet addresses or on-chain activity. Try out the webapp here ⬇️
Password manager with AES-GCM encryption and Zero-knowledge proof authentication
Add a description, image, and links to the zero-knowledge-proof topic page so that developers can more easily learn about it.
To associate your repository with the zero-knowledge-proof topic, visit your repo's landing page and select "manage topics."