首个可扩展的安全审计协议，旨在发现以太坊智能合约中的漏洞。