The Ethereum Request for Comment repository

A curated list of awesome Zero-Knowledge Proofs (ZKP) resources.

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations

This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems

CLI interface for Axiom Proving API

Celestia consensus node

Autonomous agents for everyone

A curated list of awesome Web3 resources, libraries, tools and more.

Solidity, the Smart Contract Programming Language

Web3/Solidity based wargame

SQL views for Dune

Onchain-focused SDK with ready-to-use templates, themes, and magical animated components ✨

Cosmos Hub

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

ZK-PIG is a ZK-EVM Prover Input generator responsible for generating the data inputs necessary for proving Ethereum Execution Layer (EL) blocks.

Experimental Next-gen Account

Golang utilities

A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.

Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.

Cryptography Educational Foundations

Commonware Library Primitives and Examples

Nevermined App Documentation

Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster

Part of the Linea stack responsible for extracting data from the execution of an EVM client in order to construct large matrices called execution traces.