Stars
A memory safe implementation of sudo and su.
The official Rust SDK for the Model Context Protocol
Transaction fuzzer on steroids for the Ethereum Protocol
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
A tool to extract Interface Description Language (IDL) from Solana programs
Implementation of the constraint system of Linea, specified in the linea-specification repo.
Formally Verified Arguments of Knowledge in Lean
Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
A tool for USB device pass-through using the vfio-user protocol.
A native gRPC client & server implementation with async/await support.
An index of chains which serves as the source of truth for who’s in the Superchain Ecosystem
The enum Either with variants Left and Right is a general purpose sum type with two cases.
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
A pqSNARK with lightweight proofs, powered by the Whir PCS.
A minimal Tensor Processing Unit (TPU) inspired by Google's TPUv1.
A zero-knowledge Lean4 compiler and kernel
A study group learning about Ethereum and building protocol wiki
Stress Testing ZK Systems Through Maximum Pain
Access large language models from the command-line