@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://a16zcrypto.com/posts/article/formal-verification-of-pectra-system-contracts-with-halmos/
Pectra 升级内部的智能合约使用 #halmos 进行 #formalVerify 形式化证明审计
Pectra 升级内部的智能合约使用 #halmos 进行 #formalVerify 形式化证明审计
https://research.2077.xyz/the-hitchhikers-guide-to-dark-pools-in-defi-part-one
介绍了 Renegade 暗池的设计方案
介绍了 Renegade 暗池的设计方案
https://www.paradigm.xyz/2025/01/ethereum-acceleration-1
paradigm 认为 #ethereum 应该在技术层面上进一步增加执行速度,并给了几个关注的方案
paradigm 认为 #ethereum 应该在技术层面上进一步增加执行速度,并给了几个关注的方案