Fast and simple benchmarking for Rust projects

A curated list of multi party computation resources and links.

🤖 Just a command runner

Noir is a domain specific language for zero knowledge proofs

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

A modular stack for zkVMs, with a focus on productivity, security and performance.

The Nexus zkVM: The zero-knowledge virtual machine

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. (contact: @porcuquine)

A Decentralized Operating System for ZK Applications

A STARK-based VM focused on code reuse, performance, and modularity

A toolkit for polynomial IOPs (PIOPs)

Nova: High-speed recursive arguments from folding schemes

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

zkSnark circuit compiler

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

PROST! a Protocol Buffers implementation for the Rust Language

A Rust compiler front-end for IDEs

Rayon: A data parallelism library for Rust

📦✨ your favorite rust -> wasm workflow tool!

A point of coordination for all things Rust and WebAssembly

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

Rust implementation of the Ethereum Virtual Machine.

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

🌀 A log file highlighter

Collect libraries and packages about blockchain/cryptography in Rust

A STARK prover and verifier for arbitrary computations

The best way of working with Protocol Buffers.

Actor framework for Rust.

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.