Farhad-Shabani's Stars
actix/actix-web
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
casey/just
🤖 Just a command runner
rust-lang/rust-analyzer
A Rust compiler front-end for IDEs
rayon-rs/rayon
Rayon: A data parallelism library for Rust
bufbuild/buf
The best way of working with Protocol Buffers.
actix/actix
Actor framework for Rust.
rustwasm/wasm-pack
📦✨ your favorite rust -> wasm workflow tool!
bensadeh/tailspin
🌀 A log file highlighter
AleoNet/snarkOS
A Decentralized Operating System for ZK Applications
tokio-rs/prost
PROST! a Protocol Buffers implementation for the Rust Language
paradigmxyz/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
rust-in-blockchain/awesome-blockchain-rust
Collect libraries and packages about blockchain/cryptography in Rust
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
bluealloy/revm
Rust implementation of the Ethereum Virtual Machine.
rustwasm/team
A point of coordination for all things Rust and WebAssembly
iden3/circom
zkSnark circuit compiler
succinctlabs/sp1
A performant, 100% open-source, contributor-friendly zkVM.
zama-ai/tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
facebook/winterfell
A STARK prover and verifier for arbitrary computations
0xPolygonZero/plonky2
microsoft/Nova
Nova: High-speed recursive arguments from folding schemes
nexus-xyz/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
a16z/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
cosmos/ibc-go
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
argumentcomputer/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
powdr-labs/powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
valida-xyz/valida
A STARK-based VM focused on code reuse, performance, and modularity
informalsystems/basecoin-rs
An example ABCI application making use of tendermint-rs and ibc-rs