Alan Lai
@wp__lai
Solidity developer & auditor
ID: 2576319330
19-06-2014 07:12:55
85 Tweet
136 Followers
1,1K Following
As smart contract security evolves, property-based fuzzing has become a go-to technique for developers and security engineers. To help the community define properties, we are releasing a set of 168 pre-built properties that can be used to guide Echidna. blog.trailofbits.com/2023/02/27/reu…
After two days of relentless hacking and countless cups of coffee later, it's finally a wrap for Paradigm CTF 2023. Result Rundown: - We tackled 14 of the 17 demanding challenges presented, and all cryptography and pwning questions were completed. The Solana question eluded us,
1/10 William Cheung Σ: says wait, but I can't. Can't wait. We are builting an Ethereum debugger with 1) true source-level stepping, 2) near-100% local/state variable inspection, and 3) on-the-fly Solidity expression eval at any step. Screenshots below; details in the thread.