https://www.auditwizard.io/blog/securing-smart-contracts-with-formal-verification-tools
介绍了常见的 #formalVerify 工具,并使用
介绍了常见的 #formalVerify 工具,并使用
kontrol 给出了示例👍2
https://dba.xyz/were-all-building-the-same-thing/
一篇讨论异步执行和惰性定序器的文章
一篇讨论异步执行和惰性定序器的文章
DBA
We're All Building the Same Thing - DBA
Thank you to Barnabé Monnot, Brendan Farmer, Data Always, Elijah Fox, Hasu, Josh Bowen, Justin Drake, Lily Johnson, Luca Donno, Mert Mumtaz, Mike Neuder, mteam, Patrick O’Grady, Sacha Yves Saint-Leger, Vishesh, Yuki Yuminaga, and Zano Sherwani for valuable…
👍4
👍2
https://blog.trailofbits.com/2024/06/17/finding-mispriced-opcodes-with-fuzzing/
使用 #fuzz 发现错误定价的 FuelVM opcode
使用 #fuzz 发现错误定价的 FuelVM opcode
The Trail of Bits Blog
Finding mispriced opcodes with fuzzing
Fuzzing—a testing technique that tries to find bugs by repeatedly executing test cases and mutating them—has traditionally been used to detect segmentation faults, buffer overflows, and other memory corruption vulnerabilities that are detectable through crashes.…
👍1🔥1