Web3ReadList - https://www.zellic.io/blog/formal-verification-weth使用 Z3 求解器对 WETH 合约进行形式化证明 #formalVerify

00:19 · Nov 20, 2022 · Sun

https://www.zellic.io/blog/formal-verification-weth
使用 Z3 求解器对 WETH 合约进行形式化证明 #formalVerify

Formally Verifying the World's Most Popular Smart Contract | Zellic — Research

Formally Verifying the World's Most Popular Smart Contract | Zellic — Research

Proving the safety of the Wrapped ETH smart contract, using the Z3 Theorem Prover

Powered by BroadcastChannel & Sepia