ConcludeContract
Mempool of knowledge
Pinned Loading
Repositories
Showing 10 of 33 repositories
- circom-farm Public Forked from mixbytes/circom-farm
Educational repo for circom/zkSNARKs circuits development
- hello-zokrates Public archive
ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high level language to generating proofs of computation to verifying those proofs in Solidity
- 01-hello-world Public Forked from deadblackclover/01-hello-world
zkApps ("zero-knowledge apps") are Mina Protocol’s smart contracts powered by zero-knowledge proofs, specifically using zk-SNARKs
- move-contracts Public archive
Move, a next generation language for secure, sandboxed, and formally verified programming