A library that provides an embeddable, persistent key-value store for fast storage.

Record and Replay Framework

Zero-knowledge proof acceleration with GPUs for C++ and Rust

A family of header-only, very fast and memory-friendly hashmap and btree containers.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

MIRACL Core

C++ elliptic curve library

Fast, High-Rate Single-Server PIR via FHE Composition