智能合约的安全挑战与解决方案
事实证明,某些智能合约的安全程度如同未上锁的豪宅,极易受到恶意入侵者的攻击。那么,如何确保您所处理的区块链是安全可靠的呢?总部位于纽约的CertiK基金会提出了一种可能的解决方案:一个在批准交易前检查智能合约安全审计证据的区块链平台。
安全验证的重要性
CertiK首席运营官表示:"在链上验证安全性的能力将有助于防止恶意交互。"他强调,安全审计对于每天处理数亿美元交易的DeFi和质押合约尤为重要。
CertiK于上周五宣布,其区块链测试网的公开测试版将于本周初推出。这是CertiK区块链首次向公众开放。
技术优势与资金支持
该区块链利用了CertiK的"形式化验证"平台,据称已保护了超过62.3亿美元的资产。它还从以太坊基金会和IBM获得了数百万美元的资金支持,具体金额未披露。
工作原理
首席运营官解释道:"在发送加密货币进行质押合约之前,用户可以在链上检查安全审计的证据。根据安全严格程度——可能是智能合约未经过'形式化验证',但确实接受了知名公司的第三方审计——用户可以选择分批发送较小金额。"
技术架构
该新型区块链基于Cosmos构建,其虚拟机与以太坊兼容,因此现有的以太坊智能合约可以在CertiK链上运行。同时,该区块链将在CertiKOS操作系统上运行,该系统由耶鲁大学教授与哥伦比亚大学助理教授共同创立的CertiK开发。
未来发展
关于区块链何时结束测试阶段,首席运营官表示尚不确定,这将取决于何时发现并修复所有漏洞。可以推测,安全审计也将是这一过程的重要组成部分。