自选
我的自选
查看全部
市值 价格 24h%
  • 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

确保智能合约的安全性

2019-11-24 16:30:49
收藏

智能合约的安全挑战与解决方案

事实证明,某些智能合约的安全程度如同未上锁的豪宅,极易受到恶意入侵者的攻击。那么,如何确保您所处理的区块链是安全可靠的呢?总部位于纽约的CertiK基金会提出了一种可能的解决方案:一个在批准交易前检查智能合约安全审计证据的区块链平台。

安全验证的重要性

CertiK首席运营官表示:"在链上验证安全性的能力将有助于防止恶意交互。"他强调,安全审计对于每天处理数亿美元交易的DeFi和质押合约尤为重要。

CertiK于上周五宣布,其区块链测试网的公开测试版将于本周初推出。这是CertiK区块链首次向公众开放。

技术优势与资金支持

该区块链利用了CertiK的"形式化验证"平台,据称已保护了超过62.3亿美元的资产。它还从以太坊基金会和IBM获得了数百万美元的资金支持,具体金额未披露。

工作原理

首席运营官解释道:"在发送加密货币进行质押合约之前,用户可以在链上检查安全审计的证据。根据安全严格程度——可能是智能合约未经过'形式化验证',但确实接受了知名公司的第三方审计——用户可以选择分批发送较小金额。"

技术架构

该新型区块链基于Cosmos构建,其虚拟机与以太坊兼容,因此现有的以太坊智能合约可以在CertiK链上运行。同时,该区块链将在CertiKOS操作系统上运行,该系统由耶鲁大学教授与哥伦比亚大学助理教授共同创立的CertiK开发。

未来发展

关于区块链何时结束测试阶段,首席运营官表示尚不确定,这将取决于何时发现并修复所有漏洞。可以推测,安全审计也将是这一过程的重要组成部分。

展开阅读全文
更多新闻