@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
a day ago
Web3ReadList
Pectra.wtf: Resource directory for Pectra related items https://pectra.wtf/
https://a16zcrypto.com/posts/article/formal-verification-of-pectra-system-contracts-with-halmos/
Pectra 升级内部的智能合约使用 #halmos 进行 #formalVerify 形式化证明审计
a16z crypto
Formal verification of Pectra system contracts with Halmos
Formal verification of Pectra system contracts with Halmos
The challenges of assembly implementation in Pectra system contracts. Plus, an approach to formal verification using halmos.
halmos formalVerify
04:45 · Aug 7, 2024 · Wed
https://github.com/redtrama/awesome-halmos
#halmos #formalVerify 形式化证明资源
GitHub
GitHub - redtrama/awesome-halmos: List of Halmos resources.
GitHub - redtrama/awesome-halmos: List of Halmos resources.
List of Halmos resources. Contribute to redtrama/awesome-halmos development by creating an account on GitHub.
halmos formalVerify
10:39 · Mar 23, 2024 · Sat
https://a16zcrypto.com/posts/article/implementing-stateful-invariant-testing-with-halmos/
#halmos 使用
a16z crypto
Pro-tip: Implementing stateful invariant testing with Halmos
Pro-tip: Implementing stateful invariant testing with Halmos
How to implement stateful invariant testing using Halmos, a symbolic testing tool for EVM smart contracts.
halmos
04:25 · Jan 15, 2024 · Mon
https://vxtwitter.com/daejunpark/status/1744788041078829432
#formalVerify 工具 #halmos 使用案例
vxTwitter / fixvx - See original tweet for full quality
💖 82 🔁 18
Daejun Park (@daejunpark)
Daejun Park (@daejunpark)
My halmos usage #1

[This is the first post in my series on sharing applications of halmos.]

I enjoy reading highly gas-optimized code. There's something deeply satisfying about learning from and being inspired by the creative use or discovery of uncommon…
formalVerify halmos
 
 
Back to Top