https://a16zcrypto.com/posts/article/formal-verification-of-pectra-system-contracts-with-halmos/
Pectra 升级内部的智能合约使用 #halmos 进行 #formalVerify 形式化证明审计
Pectra 升级内部的智能合约使用 #halmos 进行 #formalVerify 形式化证明审计
a16z crypto
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.
