Inter-Blockchain Communication Protocol (IBC) implementation in Golang.

Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

The Decentralized and Scaled Blockchain

TypeScript framework for zk-SNARKs and zkApps

Official Go implementation of the Ethereum protocol

Cairo is the first Turing-complete language for creating provable programs for general computation.

Interfaces for Relations and SNARKs for these relations

Papyrus is a StarkNet full node written in Rust.

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

A Starknet full node written in Rust

A STARK proof to sync a Bitcoin full node in an instant.

Starknet client implementation.

IBC Relayer in Rust

Starknet By Example

Smart Contract platform secured by Cosmos Hub

Collection of TypeScript packages that consume and interact with the Injective Chain

🌐 🔌 The MetaMask browser extension enables browsing Ethereum blockchain enabled websites

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

Inter-Blockchain Communication Protocol (IBC) implementation in Golang.

PoS application for the consensus portion of the Celestia network. Built using celestia-core (fork of CometBFT) and the cosmos-sdk

Client libraries for Tendermint/CometBFT in Rust!

The main repo for manta blockchain nodes.

The AMM Laboratory

The Ethereum Improvement Proposal repository