Beginner, advanced, expert level Rust training material

Get your documents ready for gen AI

A framework for smart contract verification in Coq

maintainer: codex

ZK Circuit Fuzzer (IEEE S&P'26)

K semantics for Solana

Pashov Audit Group Skills

zkVMs vulnerabilities

An LLM-based fuzzing framework for C compilers testing.

Zigtur's audit reports for private clients

A deterministic EVM bytecode obfuscator written in Rust

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

OpenAI Frontier Evals

Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)

A 5-20x faster experimental Homebrew alternative

A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an auto-auditor.

Symbolic Execution Benchmarks for Ethereum Smart Contracts

Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs

Solana Virtual Machine bytecode processor for IDA Pro

Semgrep rules for smart contracts based on DeFi exploits

Analyze Rust crates without touching compiler internals

document shares

awesome-zkml repository

Open-source AI hackers to find and fix your app’s vulnerabilities.

Specula: A framework for finding deep bugs in system code using TLA+