Pinned Repositories
evm-opcodes
A quick reference for EVM opcodes
forge-middleware
foundry + ethers
k-brainfuck-semantics
Formal semantics of the Brainfuck language in K
meta-jumpers
A collection of malicious smart contracts that jump into their own metadata
minisig
Gas-optimized EVM multisig
proxies.huff
Minimal Ethereum delegatecall proxies
quadratic-voting-dapp
runrun
Flexible Rust testing framework
solidity-interest-helper
An implementation of continuously compounding interest in Solidity.
tokemak-exploit
wolflo's Repositories
wolflo/meta-jumpers
A collection of malicious smart contracts that jump into their own metadata
wolflo/proxies.test.huff
wolflo/vim-huff
Vim syntax files for huff
wolflo/aoc.hs
wolflo/berkeley-coronavirusathon
wolflo/CryptoKicks
ERC-721 contract for Apprent.io CryptoKicks
wolflo/ctf-gas-puzzler
wolflo/diagrams
Diagrams to document the ongoing design- and development-process of the 121-platform.
wolflo/dss
Dai Stablecoin Simulation
wolflo/eth-collateral-manager
Free the capital!
wolflo/eth-tools
wolflo/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
wolflo/haskell99
wolflo/hevm-big-constructor
wolflo/huff
Repository for Huff - an EVM programming language
wolflo/k-dss
formal verification of multicollateral dai in the K framework
wolflo/k-sandy
wolflo/k-token
Formal specification of DSToken
wolflo/manticore
Symbolic execution tool
wolflo/mem-bug-hevm
wolflo/mem-bug-truffle
wolflo/meta-jumper04
wolflo/meta-jumper06
wolflo/minisig-scratch
wolflo/moloch
👹 Moloch whose mind is pure machinery! Moloch whose blood is running money!
wolflo/moloch-minion
👹 Moloch whose fingers are ten armies!
wolflo/symbolic-bytecode-proofs
wolflo/tla-scratch
wolflo/truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
wolflo/wc