dmfxyz's Projects
Aesthetically Pleasing Ethereum Statements
Practical tutorials of Certora Prover
registry contract with no time to argue
Tests against mainnet DMAP
Config files for my GitHub profile.
Bubki for Ukraine πΊπ¦
Open Zeppelin's Ethernaut Puzzles
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
A book on all things Foundry
Reference code for the Docker tutorial published in the Foundry Book
token factory
Exploration of visualization OHLC data with GA{D,S}Fs
Hdmap as in Harberger dmap
actually minimal JSON alternative
sqlite file of locked values in the dmap
we try to make a tiny p2p client spec, maybe for sigchain gossip thing, maybe for simple blockchain thing
Playing around with the classic MNIST dataset in pytorch. Starts from raw image byte data.
CREATE(EXTCODECOPY(target), args)
simple multisig for EVM
Merkle Proof Generator and Validator in Solidity
Contains example code for issues with parsing `\` in the node ebnf module
Simple Crypto Fight Night Escrow
OpenZeppelin Contracts is a library for secure smart contract development.
A collection of things I've read, things I'm reading, and things I want to read. Also contains some annotated papers.