1.Optimizing Gas Usage in Solidityblog | 2026-06-10 15:21 | hackenproof.com | Original ↗ | .md | #web3 | #ethereum | #solidity
2.ERC-4337 paymasters: better UX, hidden risksblog | 2025-12-02 12:00 | osec.io | Original ↗ | .md | #web3 | #vulnerability-research | #smart-contracts
3.A deep dive into Axiom’s Halo2 circuitsresearch | 2025-05-30 11:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #cryptography | #audit
4.Unleashing Medusa: Fast and scalable smart contract fuzzingblog | 2025-02-14 05:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #open-source | #smart-contracts
5.Solidity compilers: memory safetyblog | 2023-07-28 00:00 | osec.io | Original ↗ | .md | #memory-safety | #compiler | #solidity
6.HackenProof partners up with omchainblog | 2023-06-23 11:48 | hackenproof.com | Original ↗ | .md | #web3 | #partnership | #announcement
7.Ethereum Virtual Machine Internals – Part 2blog | 2023-05-25 00:00 | netspi.com | Original ↗ | .md | #smart-contracts | #blockchain | #ethereum
8.Ethereum Virtual Machine Internals – Part 1blog | 2023-04-20 00:00 | netspi.com | Original ↗ | .md | #web3 | #smart-contracts | #blockchain
9.Getting started with smart contract in Bug Bountyblog | 2022-04-05 14:12 | yeswehack.com | Original ↗ | .md | #bug-bounty | #web3 | #smart-contracts
10.Rattle – an Ethereum EVM binary analysis frameworkblog | 2018-09-06 06:30 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #binary-analysis
11.State Machine Testing with Echidnablog | 2018-05-03 10:50 | blog.trailofbits.com | Original ↗ | .md | #smart-contracts | #fuzzing | #ethereum
12.Echidna, a smart fuzzer for Ethereumblog | 2018-03-09 18:19 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #fuzzing