A terminal-based text editor written in Rust

Sync Storage server in Rust

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

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Pure Rust implementation of Ethereum Virtual Machine

Let's sudo by face recognition of Windows Hello on Windows Subsystem for Linux (WSL). It runs on both WSL 1 and WSL 2. This is a PAM module for Linux on WSL.

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

A zkVM for Decentralized Private Computations (DPC)

A pure-Rust implementation of Bulletproofs using Ristretto.

An Erlang VM implementation in Rust

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

GlareDB: A light and fast SQL database for analytics

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

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

mini http implemented on top of may

Spartan: High-speed zkSNARKs without trusted setup

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

Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

Utility library that helps to implement processes that replace themselves

Database for L2 orderbook

Multi-agent framework for design, simulation, and auditing.

A toolkit for polynomial IOPs (PIOPs)

🦕 Deno Version Manager - Easy way to manage multiple active deno versions.

Client libraries for Tendermint/CometBFT in Rust!

A blazing fast OP Stack rollup client written in Rust

🐳 🦀 rust interface for maneuvering docker containers

Aspiring vim-like text editor

Ethereum and EVM compatibility layer for Polkadot and Substrate.