Pinned Repositories
1-horse-store-s23-
ds-chief
approval voting to select who wears the hat by consensus
EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
foundry-invariants
foundry-toolkit
bits and pieces to fuzz with Foundry effectively
fuzzer-evaluation
Evaluating fuzzer effectiveness
halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
rareskills-blog-index
Index of Rareskill Blog posts.
sidekik-xyz.github.io
Public Website for Sidekik
unamewiki's Repositories
unamewiki/1-horse-store-s23-
unamewiki/ds-chief
approval voting to select who wears the hat by consensus
unamewiki/EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
unamewiki/foundry-invariants
unamewiki/foundry-toolkit
bits and pieces to fuzz with Foundry effectively
unamewiki/fuzzer-evaluation
Evaluating fuzzer effectiveness
unamewiki/halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
unamewiki/learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
unamewiki/rareskills-blog-index
Index of Rareskill Blog posts.
unamewiki/sidekik-xyz.github.io
Public Website for Sidekik
unamewiki/SmartContractHack_PoC
unamewiki/v2-periphery
🎚 Peripheral smart contracts for interacting with Uniswap V2