INK跨链协议形式化验证完成 代码已通过安全团队CertiK测评
7月11日消息，墨链（INK）发布推特表示，近日，区块链安全团队CertiK完成对Ink跨链协议智能合约的形式化验证和系统检测，并发布代码审核报告。CertiK得出结论：认证Ink跨链协议智能合约中的代码完全通过安全测评，具备抵抗黑客攻击的能力。
打赏
INK跨链协议形式化验证完成 代码已通过安全团队CertiK测评INK跨链协议形式化验证完成 代码已通过安全团队CertiK测评
7月11日消息，墨链（INK）发布推特表示，近日，区块链安全团队CertiK完成对Ink跨链协议智能合约的形式化验证和系统检测，并发布代码审核报告。CertiK得出结论：认证Ink跨链协议智能合约中的代码完全通过安全测评，具备抵抗黑客攻击的能力。 打赏 旧金山技术公司Totient与唯链合作 允许用户对唯链进行网络分析7月11日消息，唯链（VeChain）昨日在其推特宣布：与旧金山的技术公司Totient建立合作伙伴关系，通过Totient 资本和Totient实验室，Totient将作为VeChain加密猫开发商拍卖海龟版加密猫 所得将用于海龟保护工作据mongabay消息，加密猫（CryptoKitties）的开发商Axiom Zen正在拍卖一只名为Honu的海龟版加密猫，拍卖所得将用于加勒比海的海龟保护工作，此举旨在通过利用加更多> 同类墙布商圈
更多> 最新资讯
|