🤖 Just a command runner

An idiomatic, lean, fast & safe pure Rust implementation of Git

Modern embedded framework, using Rust and async.

🐇 Fuzzing Rust code with American Fuzzy Lop

Meaningful control of data in distributed systems.

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

A lightweight Datalog engine in Rust

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

Compile-time reflection API for developing robust procedural macros (proof of concept)

A toolkit for polynomial IOPs (PIOPs)

A Trust-minimized Bitcoin Bridge

Performance and security acceleration for zkVMs.

Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758

Mozak RISC-V Virtual Machine

🪩 verify plonky3 proofs in plonky2