Programming Rust: Fast, Safe Systems Development 2nd Edition

A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.

advanced compilers

A curated list of zkVM, zero-knowledge virtual machine

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Known attacks on Elliptic Curve Cryptography

😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..)

Checklist for security audit of ZKP projects by @positivesecurity

Interactive formal verification tool for Yul programs

Source code for "Building Cryptographic Proofs from Hash Functions"

Course Webpage of COMP130014 Compiler Principles and Techniques @ Fudan University

Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University

Rust allocator using jemalloc as a backend

A Rust CPU profiler implemented with the help of backtrace-rs

A cargo subcommand, that runs valgrind and displays its output in a helpful manner.

Heap profiling and ad hoc profiling for Rust programs.

Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.

A curated list of amazing Fully Homomorphic Encryption (FHE) resources created by the team at Zama.

a collection of EVM tracing information for easy reference

STARK book

A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.

Fully Homomorphic Encryption library in Rust

A Fully Homomorphic Encryption (FHE) library for bridging the gap between theory and practice with a focus on performance and accuracy.

My swiss army knife for reversing EVM bytecodes (super experimental)

elliptic curve construction tool

Making client-side proving on mobile simple.