168 skills found · Page 1 of 6
ProvableHQ / Leo🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
ProvableHQ / SnarkOSA Decentralized Operating System for ZK Applications
WTFAcademy / WTF Zk零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
iden3 / SnarkjszkSNARK implementation in JavaScript & WASM
scipr-lab / LibsnarkC++ library for zkSNARKs
Zokrates / ZoKratesA toolbox for zkSNARKs on Ethereum
iden3 / CircomzkSnark circuit compiler
ziesha-network / BazukaRust implementation of Ziesha protocol
microsoft / SpartanSpartan: High-speed zkSNARKs without trusted setup
ProvableHQ / SDKJavascript & Typescript SDK for Zero-Knowledge Application Development
sdiehl / BulletproofsBulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
iden3 / Circom OldCircuit compiler for zkSNARKs
o1-labs / Proof SystemsThe proof systems used by Mina
howardwu / Libsnark TutorialA zkSNARK tutorial and development environment
howardwu / Awesome Aleo🏎️ A curated list of Aleo & Leo code and resources 🏎️
ProvableHQ / Workshop📜 A Starter Guide to Build ZK Applications 📜
arkworks-rs / Groth16A Rust implementation of the Groth16 zkSNARK
Loopring / ProtocolsA zkRollup DEX & Payment Protocol
ProvableHQ / Leo Docs Source📄 Documentation for Leo 🦁
arkworks-rs / MarlinA Rust library for the Marlin preprocessing zkSNARK
