The extensible chat client.

Anonymous. Uncensored. Sovereign.

Flexible BFT consensus engine in Rust

Rust High Performance, published by Packt

AI-generated course exploring algebraic foundations of LLMs through interactive Pluto notebooks

Formally Verified Arguments of Knowledge in Lean

ream: an Ethereum Lean client written in Rust

The Mina Rust node is an implementation in Rust of the Mina Protocol

Cyclotomic rings over STARK-friendly fields

no-std implementation of the Ajtai commitment scheme

Thread-safe file locking library in Go

Composable proof transcripts for public-coin arguments of knowledge

distributed sequencer with zk consensus

Fair&Comprehensive zkVM benchmarks

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

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

A performant and modular zkVM framework built for customization and extensibility.

A SNARK using towers of binary fields, implemented in Rust .

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Nitro goes vroom and fixes everything

An advanced fork of Nova (contact:@huitseeker)

Super-fast Merklized Embedded Key-Value Store for blockchain nodes

A hardware acceleration library for compute intensive cryptography 🧊

A snapshot testing library for rust

Include halo2 example circuits

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.