Xiang Xie's repositories
artemis
A simple, modular, and fast framework for writing MEV bots in Rust.
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
Awesome-zkEVM
zkEVM materials
awesome-zkml
awesome-zkml repository
carbon-lang
Carbon language specification and documentation.
cargo-specification
The code is the spec
ciphercore
User-friendly secure computation engine based on secure multi-party computation
cpplinks
A categorized list of C++ resources.
eth2-book
A book about Ethereum
malachite
An arbitrary-precision arithmetic library for Rust.
merlin
Composable proof transcripts for public-coin arguments of knowledge
miri
An interpreter for Rust's mid-level intermediate representation
mpz
Multi-party computation libraries written in Rust 🦀
Nova
Nova: Recursive SNARKs without trusted setup
OP_QUESTION
A discussion forum where you can answer questions about bitcoin
proof-systems
The proof systems used by Mina
proof_of_custody
MPC implementation of proof of custody
proof_of_custody_material
PoC material
proof_of_custody_opt
MPC implementation of proof of custody
ssv
Secret-Shared-Validator(SSV) for ethereum staking
swanky
A suite of rust libraries for secure multi-party computation
veri-zexe
DPC with Universal Setup
web3privacy
Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-cases database & many more. Feel free to collaborate.
zero-to-production
Code for "Zero To Production In Rust", a book on API development using Rust.