Repository Index

Rust full node implementation of the Fuel v2 protocol.

• blockchain
• fuel

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

• blockchain
• fhe
• privacy

The quip network mining stack. This includes a coordinator and links all of the official quip network miners.

• cryptocurrency
• ising
• ising-model
• ising-spin-models

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

• rust
• solidity
• evm
• testing

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

• blockchain
• distributed-ledger-technology
• move
• smart-contracts

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

• blockchain
• distributed-systems
• ethereum
• p2p

A rust implementation of the Quip Protocol forked from Substrate

Minimal implementation of the Mimblewimble protocol.

• mimblewimble
• rust
• cryptocurrency
• cryptography

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

• programming-language
• zero-knowledge
• compiler
• zksnarks

A Decentralized Operating System for ZK Applications

• aleo
• blockchain
• cryptography
• zero-knowledge

The Stacks blockchain implementation

• bitcoin
• stacks
• crypto
• layer2

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

• blockchain
• privacy
• rust
• zkp

Rust implementation of the Ethereum Virtual Machine.

• ethereum
• evm
• revm
• rust

A toolbox for zkSNARKs on Ethereum

• zksnarks
• ethereum
• zero-knowledge
• snark

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

• blockchain
• contributor-friendly
• ethereum
• modular

Collection of Useful Bridge Building Tools 🏗️

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Virto toolset to build simple to use decentralized applications

• substrate
• blockchain

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal