🦀 Small exercises to get you used to reading and writing Rust code!

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Educational blog posts for Rust beginners

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

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

⚓ Solana Program Framework

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

Collection of cryptographic hash functions written in pure Rust

A toolbox for zkSNARKs on Ethereum

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

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

Solidity Compiler for Solana, Polkadot and Stellar

A zkVM for Decentralized Private Computations (DPC)

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

The Halo2 zero-knowledge proving system

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Libraries for finite field, elliptic curve, and polynomial arithmetic

Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

A tool for analyzing the security and parameters of a solidity smart contract

A toolkit for polynomial IOPs (PIOPs)

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

STARK-based virtual machine

Jito Foundation MEV Solana Client

OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.

☠️ Common Security Exploits and Protections on Solana

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

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…

Curated list of awesome projects and resources related to Rust and computer security