Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

Collection of Key Encapsulation Mechanisms written in pure Rust

The open source coding agent.

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Minimal zkVM, targeting aggregation of hash-based signatures.

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

Async-friendly QUIC implementation in Rust

A simple aztec contract + test to get started.

SBPF virtual machine

Optimized C library for EC operations on curve secp256k1

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Cairo is the first Turing-complete language for creating provable programs for general computation.

A cross-platform GUI library for Rust, inspired by Elm

Graceful process restarts in Rust

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

Package bn256 implements a particular bilinear group.

Multilingual BLS12-381 signature library

EIP-4844 dev usage

Community Cryptography Specification Project

zk-SNARK library.

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

Commonware Library Primitives and Examples

Fiat-Shamir for the masses.

Firedancer is Jump Crypto's Solana validator software.

The SPL Token 2022 program and its clients