(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

web3 projects source code flowchart diagrams

The papers and books I've read or am about to read.

Dapp learning project for developers at all stages. Becoming and cultivating sovereign individuals. Nonprofit organization.

🧪 A platform for testing, benchmarking, and simulating distributed and p2p systems at scale.

A cryptographically verifiable code review system for the cargo (Rust) package manager.

An alternative libp2p implementation in Rust

A library that provides an embeddable, persistent key-value store for fast storage.

Helium Improvement Proposals

https://learnp2p.org

Decentralized Package Network

Technical specifications for the libp2p networking stack

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Rust 语言术语中英文对照表——English-Chinese Glossary of the Rust Programming Language

Applied offensive security with Rust - https://kerkour.com/black-hat-rust

Config files for my GitHub profile.

A fork of CometBFT

Solidity Compiler for Solana and Polkadot

Starcoin - A Move smart contract blockchain network that scales by layering

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

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

A Vesting Contract for the Solana Blockchain

A curated list of Solana NFT protocols, repos & community tools

A high performance caching library for Java

A basic blockchain implementation in Rust for educational purposes only

Ethereum Virtual Machine implementation

Pure Rust implementation of Ethereum Virtual Machine

Rust 死灵书简体中文翻译

阿里巴巴 MySQL binlog 增量订阅&消费组件

The Rust Reference