Stars
A symbolic execution engine for EVM smart contract binaries.
Train your AI self, amplify you, bridge the world
The 2013 edition of the Source SDK
x86 PC emulator and x86-to-wasm JIT, running in the browser
🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
Novel implementation of a Trie data structure optimized for small, sparse maps
Marrying Rust and CMake - Easy Rust and C/C++ Integration!
Library for implementing an mmap API in a kernel or runtime
Type in Morse code by repeatedly slamming your laptop shut
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
LFI: Practical, Efficient, and Secure Software-based Sandboxing
A STARK-based VM focused on code reuse, performance, and modularity
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Overview of the formal verification projects in the Ethereum ecosystem.
Controlling diffusion-based image generation with just a few strokes
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
An open source flash player implementation