Meaningful control of data in distributed systems.

An implementation of the HPKE hybrid encryption standard (RFC 9180)

Pure-Rust traits and utilities for constant-time cryptographic implementations.

Repository for sample controller. Complements sample-apiserver

A concise, beginner-friendly introduction to the core ideas of linear algebra.

Implementation of the Google Zero-Knowledge library for Identity Protocols.

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

Model Context Protocol Servers

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

Creusot helps you prove your code is correct in an automated fashion.

A powerful document AI question-answering tool that connects to your local Ollama models. Create, manage, and interact with RAG systems for all your document needs.

NVIDIA GPU metrics exporter for Prometheus leveraging DCGM

NVIDIA device plugin for Kubernetes

A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.

Symbolic programming for the next generation of numerical software

A Git-compatible VCS that is both simple and powerful

A snapshot testing library for rust

Educational blog posts for Rust beginners

Fixed-size decimal numbers implemented in pure Rust

A library for efficient similarity search and clustering of dense vectors.

Zero-copy deserialization framework for Rust

Compaction-Less Database Optimized for Efficiently Storing Recent Merkleized Blockchain State

WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023

Neqo, the Mozilla Firefox implementation of QUIC in Rust

A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use

Rust port of RIBLT library by yang1996

Go implementation of Rateless IBLTs.