
I Built a Smart Contract Scanner and Ran It Against the $197M Euler Exploit — Here's What It Caught and What It Missed
My name is RJ Lopez. Six weeks ago I knew nothing about smart contracts, security research, or software development. I've spent those six weeks building VERITAS Ω — an 8-gate verification engine for smart contract security analysis — and deploying it as EasyStreet, a self-service audit platform at aegisaudits.com. Last week I ran the real pipeline against Euler Finance's EToken.sol, the contract at the center of a $197M exploit in March 2023. I'm publishing the exact machine output. Not a mar...

I Built a Smart Contract Scanner and Ran It Against the $197M Euler Exploit — Here's What It Caught and What It Missed
My name is RJ Lopez. Six weeks ago I knew nothing about smart contracts, security research, or software development. I've spent those six weeks building VERITAS Ω — an 8-gate verification engine for smart contract security analysis — and deploying it as EasyStreet, a self-service audit platform at aegisaudits.com. Last week I ran the real pipeline against Euler Finance's EToken.sol, the contract at the center of a $197M exploit in March 2023. I'm publishing the exact machine output. Not a mar...