VeriSol
-
智能合约的形式化验证：从技术细节到亲身体会的深度剖析
在过去的几年里，我从一名普通的区块链交易者，逐步成长为关注合约安全的技术爱好者。每当看到因合约漏洞导致的巨额资产损失，我都会在心里默默提醒自己：智能合约的形式化验证，绝不是可有可无…
在过去的几年里，我从一名普通的区块链交易者，逐步成长为关注合约安全的技术爱好者。每当看到因合约漏洞导致的巨额资产损失，我都会在心里默默提醒自己：智能合约的形式化验证，绝不是可有可无…
邮件：admin@paipaipay.cn
