ZeroOS: A Universal Modular Library OS for zkVMs

FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Ethereum consensus client in Rust

Study and implementation for the ETHEREUM ecosystem

Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography

Prove your self

A pqSNARK with lightweight proofs, powered by the Whir PCS.

the EVM, simplified

The Lens Protocol

connect any ai agents to solana protocols

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

DeFi SDK Makes Money Lego Work

Ink Documentation

How to run an Ink Node

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

Open source golang based explorer for the eth2 beacon chain

World Chain monorepo

Training a Neural Network to play snake, uses genetic algorithm for neuro-evolution

Frame profiler

Web3/Solidity based wargame

Vanta Network built on Bittensor

Tool suite for testing ethereum applications.

Automatic verification of LLVM optimizations

Build and explore on-chain with Python

HTTP Library for Solidity based on curl

calculate new mpt root without loading entire trie

The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies