Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Scheduling infrastructure for absolutely everyone.

Rust source code for the FrodoPIR Private Information Retrieval scheme.

Minimal Merkle Tree implementations

A performant, 100% open-source, contributor-friendly zkVM.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)

Eddy255 elliptic curve parameters and implementation (embedding Ed25519)

Zora drops contracts (powers create.zora.co)

Real world Ethereum

P256 signature verification solidity contract

High-speed zkSNARKs

A Rust library for building R1CS gadgets

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

A PoC repo for a HyperNova impl

A collection of comparison-benchmarks for Nova & related Proving systems

silly little cairo experiment

Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.

A simple demonstration of a proposed L2 gateway specification

A curated list of resources on zkECDSA

Elliptic Curve Fast Fourier Transform built on @arkworks-rs

A Rust library for polynomial commitments