Stars
🦆(WIP) Bindings to Duktape in the browser using WebAssembly
A collection of practical security-focused guides and checklists for smart contract development
Covid-19 spread simulator with human mobility and intervention modeling.
Get up to speed on Maximum Extractable Value
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
formal verification of multicollateral dai in the K framework
K Semantics of the Ethereum Virtual Machine (EVM)
Contains all the components necessary to run a DC finals (attack-defense CTF) game from OOO.
A curated list of awesome Ethereum security references
Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
Simple, intentionally-limited versions of web3 protocols & apps.
🕶 Design fun and insightful CTF challenges
A sorted and updated list of security wargame sites.
Modern, opinionated, and gas optimized building blocks for smart contract development.
🕶 A high-level overview of the EVM security ecosystem
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!
Actively maintained LPMUD driver (LPC interpreter, MudOS fork)
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
An open source, self-hosted implementation of the Tailscale control server
Define infrastructure resources using programming constructs and provision them using Azure ARM templates
A collection of postmortems. Sorry for the delay in merging PRs!
Etherpad: A modern really-real-time collaborative document editor.