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