@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://blog.trailofbits.com/2024/06/17/finding-mispriced-opcodes-with-fuzzing/
使用 #fuzz 发现错误定价的 FuelVM opcode
使用 #fuzz 发现错误定价的 FuelVM opcode
https://www.auditwizard.io/blog/securing-smart-contracts-with-formal-verification-tools
介绍了常见的 #formalVerify 工具,并使用
介绍了常见的 #formalVerify 工具,并使用
kontrol
给出了示例https://substack.chainfeeds.xyz/p/preda-vm
分析常见的区块链并行方案,并提出 PREDA 方案
分析常见的区块链并行方案,并提出 PREDA 方案