智能合约代码

时间:2026年06月27日 02:43:35

CertiK:一款智能合约的代码审计平台

2018年7月19日 - CertiK是一款通过数学方法(形式化证明)验证智能合约漏洞的分布式应用,CertiK开发了一种基于层的方法,将待审计的代码按照逻辑上的层分解为...www.sohu.com