thesnarkitecht / rembrandt
A free photo editor. No account, no subscription, no tracking. RAW, masks and on-device AI for macOS, Windows and Linux. Self-hostable.
thesnarkitecht / rembrandt
MinaProtocol / mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
a16z / jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
qntx / ovo
Agent behavior that compiles
aleo-labs-protocol / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
iden3 / snarkjs
zkSNARK implementation in JavaScript & WASM
Consensys-Incorporated / gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
iden3 / circom
zkSnark circuit compiler
darkrenaissance / darkfi
Anonymous. Uncensored. Sovereign.
aleo-labs-protocol / snarkVM
A zkVM for Decentralized Private Computations (DPC)
zkcrypto / bellman
zk-SNARK library.
semaphore-protocol / semaphore
A zero-knowledge protocol for anonymous interactions.
ProvableHQ / sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
o1-labs / o1js
TypeScript framework for zk-SNARKs and zkApps
Consensys-Incorporated / gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
aleo-labs-protocol / snarkOS
A Decentralized Operating System for ZK Applications
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup