Multiplayer at the speed of light

UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Nova: High-speed recursive zero-knowledge arguments from folding schemes

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

The home of all shared Rust resources for the Cosmos ecosystem.

A Rust implementation of the Groth16 zkSNARK

A compiler for fully homomorphic encryption and zero knowledge proofs

An example GraphQL server written in Rust

Experimental folding schemes library

Rust SDK for the core C2PA (Coalition for Content Provenance and Authenticity) specification

CosmWasm smart contract framework

Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.

An implementation of a DKG protocol for front-running protection on Anoma.

An observatory fork of SP1

Hardware and app data attestation using ZK

Mental poker library implementing Bayer-Groth 2012 shuffle proofs for multi-party card shuffling without a trusted dealer