使智能合约安全

事实证明，某些智能合约与未锁定的豪宅一样不安全且对恶意入侵者开放。那么，如何确保你处理的是封闭的区块链呢？来自纽约CertiK基金会的一个可能的解决方案是一个区块链平台，该平台在批准交易之前会检查智能合约以获取安全审计的证据。

CertiK的首席运营官Daryl Hok对Decrypt表示：“验证链上安全性的能力将有助于防止恶意互动。”霍克说，安全审计对于DeFi和抵押合约尤其重要，后者每天处理价值数亿美元的交易。

CertiK周五宣布，其区块链测试网的公开测试版将于本周初发布。这是CertiK的区块链首次向公众开放，尽管它??已经通过了私营公司和美国军事研究部门DARPA的测试。

区块链利用了CertiK的“正式验证”平台，该公司表示已经获得了超过62.3亿美元的资产。它还从以太坊基金会和IBM那里获得了数百万美元的未公开资金。

它是如何工作的？ Hok说：“在发送加密货币以锁定抵押合约之前，用户可以在安全审核的链上检查证据。基于安全性的严格要求-智能合约可能不是经过“正式验证”的，而是得到了信誉良好的公司的第三方审核的-用户可以选择小批量发送金额。”

体验Web 3.0。

成为第一个获得Decrypt Member的人。一种建立在区块链上的新型账户。

抢先体验

新的区块链将建立在Cosmos之上，并且该公司的虚拟机与以太坊的虚拟机兼容，因此现有的以太坊智能合约可以在CertiK链上运行。

区块链也将在CertiKOS上运行，CertiKOS是由创立CertiK的耶鲁大学教授Zhong Shao开发的操作系统。

霍克说，他不知道区块链何时会移除测试版。这取决于何时发现和修复任何错误。大概还涉及安全审核。

—-

编译者/作者：不详

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。