#Zksnarks
Showing 15 of 15 repositories tagged #zksnarks, ranked by stars
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
ιΆη₯θ―θ―ζε ₯ι¨ζη¨γComprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A toolbox for zkSNARKs on Ethereum
Rust implementation of Ziesha protocol
Spartan: High-speed zkSNARKs without trusted setup
Javascript & Typescript SDK for Zero-Knowledge Application Development
A zkRollup DEX & Payment Protocol
π Documentation for Leo π¦
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
π΄Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol
A curated collection of links for zero-knowledge proof cryptography used in blockchains
zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS framework, zkLocus turns geolocation into a Real-World-Asset (RWA). zkLocus's DeFi ecosystem is powered by its native $ZKL token.
Your Zero knowledge evidence protocol for encrypted decentralized storage and onchain verifiable ownership.