The headless browser for AI agents and web scraping

AI engine for smart contract audit

Primers for Specialist AI Smart Contract Auditors

A CLI tool to fit your codebase into a single LLM prompt offering fine grained compression control and AI powered compression strategies.

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Extracting the semantics of Noir to Lean for formal verification

CLI tool for static analysis of Noir, inspired by Cargo Clippy and Cargo Check.

Coinbase MPC Library

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 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. Tailored to Rust.

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.