A curated list of awesome ORA ecosystem.

Anonymous. Uncensored. Sovereign.

Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

The Deep Sea

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

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

A place to learn ZK with Jupyter

Hyperbridge is a hyper-scalable, interoperability coprocessor.

The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡

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

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.

The first Zero-Knowledge Attestation Protocol leveraging zk-SNARKs on Mina Protocol

Write ups on Mathematical Cryptography

Rust crypto library for data privacy tools

Circuit components definition library for zkLLVM circuit compiler

Universal matching / routing protocol using ZKP.

Orochi Network monorepo of its full-node client