ZeroOS: A Universal Modular Library OS for zkVMs

Re-usable components and snippets for building with AGW

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

Implementation of FALCON and its variants for Ethereum

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

Prove your self

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

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

React component library for onchain applications - See README for modern alternatives

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