Starred repositories
Introductory lecture notes on programmable cryptography
Threshold HA CometBFT/Tendermint remote signer
E2E Testing Library for Celestia App, Celestia Node and the EVStack
CLI tool for downloading Celestia node snapshots
An extremely fast Python package and project manager, written in Rust.
Source code for "Building Cryptographic Proofs from Hash Functions"
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
The Cosmos SDK implementation of Hyperlane.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
Smart contracts for onchain verification of SP1.
The game-changing wallet for Ethereum and all EVM chains
The Mullvad VPN client app for desktop and mobile
This is a solidity implementation of IBC v2.
An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
Repository of docker images for the node software of Cosmos chains
Plug-and-play fee market module for Cosmos SDK chains