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 lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust

A Rust based DNS client, server, and resolver

Eclipse zenoh for pico devices

MesaLock Linux: a memory-safe Linux distribution.

Novel implementation of a Trie data structure optimized for small, sparse maps

Lock, Stock, and Two Smoking MicroVMs. Create and manage the lifecycle of MicroVMs backed by containerd.

Hermit for Rust.

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

DisplayLink driver installer for Debian and Ubuntu based Linux distributions.

Self-Hosted Remote Dev Environment

Delightful JavaScript client for Polkadot & Substrate

A maliciously secure two-party computation engine which is embeddable and accessible

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

deprecated, use Verified-zkEVM repository instead

An async ORM for Rust (incubating)

background code checker

Maelstrom is a fast Rust, Go, and Python test runner that runs every test in its own container. Tests are either run locally or distributed to a clustered job runner.

A collection of different transport implementations and related tools focused primarily on web technologies.

Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

Main repository for the Linera protocol

Verifiable FHE with GKR

Source code of Ferrocene, safety-critical Rust toolchain

The universal zkvm empoering ethereum as the global settlement layer

Docker images for ZKP tools.