Stars
A PIR framework for private blockchain state retrieval
Experiments coding privacy-preserving smart contracts in Aztec.
A Lean 4 implementation of the Ethereum consensus specification for the Fulu and Gloas forks.
Synthesis of Formally Verified Cryptographic Primitives
A verifier for automated and interactive proofs about transition systems.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
The seventh cohort of the Ethereum Protocol Fellowship
Fast and accurate AI powered file content types detection
🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem
Edge is a high level, strongly statically typed, multi-paradigm domain specific language for the Ethereum Virtual Machine (EVM) built in Rust.
Basic (very inefficient, uncompressed) implementation of https://ethereum-magicians.org/t/blob-space-segments-bss/27867
macOS System-wide Audio Equalizer & Volume Mixer 🎧
IronClaw is an Agent OS focused on privacy, security and extensibility
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Simple AI/LLM benchmarking tools.
Anthropic's original performance take-home, now open for you to try!
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
Experiments in visualizing Ethereum network upgrades
The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
A universal soundness calculator across hash-based zkEVMs and security regimes