Dom's repositories
presentation-ethprague-2023
"How I Audit", EthPrague 2023.
awesome-fuzzing-solidity
Example of using Woke fuzzer to verify sudokus
fuzz-template
Template files for Woke fuzz tests. See readme.md
huff-puzzles
These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
logicgroup.dev
@hacker-dom has been a Lead Auditor at CertiK, Trail of Bits and Ackee Blockchain, now in the form of an independent auditor.
logseq-public
My personal knowledge base!
nvim-lspconfig
Quickstart configs for Nvim LSP
panoptic-v1-core
Core Smart Contracts of Panoptic V1 — the DeFi options Protocol
provio-2019
Provio will be a step-by-step math proof checker
reference-resolving
Example of Slither failing to do resolution of references to identical objects across compilation units.
single-collateral-dai
Single-collateral Dai (Sai) rewritten in Solidity 0.8.20.
woke-counter
Example of fuzzing, deployment, forking... with Woke
woke-printer
Example showing woke printer
woke-pytypes-double-import
Repro repo for issue with pytype generation
woke-uniswap-v2
Tier 2 Fuzz tests of Uniswap V2.