IoTeX联手Certik 剑指区块链智能合约安全性发展

IoTeX联手Certik—剑指区块链智能合约安全性发展

区块链具有去中心化与匿名性的特点,这些特点将改变人们的互动方式,甚至改变世界。然而,区块链光明的前景仍被恶意攻击的阴霾所笼罩。就在不久之前,包括Coinrail在内的交易所就遭受了黑客攻击,数个区块链项目(如BeautyChian)的智能合约也未能幸免。区块链未来的发展疑虑陡生,黑客攻击的威胁挥之不去。面对这种情况,我们又能做些什么?

我们认为主动应对,先发制人是解决上述问题的关键。主动应对即主动从他人的错误中吸取经验,积极采取应对措施,而先发制人则是预测尚未发生的可能攻击并预先布置防御手段。对于IoTeX团队而言,作为致力于以隐私保护为核心的区块链物联网技术的研发倡导者,保护用户通证与数据的安全无疑是重中之重——这也是IoTeX联手Certik的首要原因。Certik为智能合约与区块链生态系统提供专业的验证平台。

Certik如何验证区块链平台与智能合约?

Certik由来自耶鲁大学、哥伦比亚大学的顶尖验证专家与曾任职于Google、Facebook、FreeWheel的资深软件工程师掌舵,为区块链与智能合约提供专业验证平台。与传统验证方式不同,Certik采用数学手段验证区块链生态系统与智能合约的抵御黑客攻击效能或有无程序漏洞。Certik拥有包括分层分解、可嵌入式验证引擎、可由机器操作的验证对象、通过验证的应用程序库、智能标签在内的诸多关键性能。

IoTeX与Certik的合作目标

IoTeX程序团队广邀密码学与分布式领域博士,编写无程序漏洞的智能合约,而Certik的验证能为IoTeX再增加一层安全保障,确保包括区块链项目与智能合约不受黑客攻击影响,并且不存在程序漏洞。IOTX通证合约已通过Certik验证,IoTeX也将继续与Certik及其他优质项目一起保障区块链与智能合约的安全。

IoTeX与Certik未来合作展望

以智能合约的形式取得保护隐私的算力是区块链与社区安全领域的重大挑战,这种智能合约可进一步自动通过验证。轻量级隐私保护领域的创新引领者IoTeX与智能合约专业验证平台Certik的合作将让我们朝着高安全性高度隐私的智能合约迈进。IoTeX期待与Certik及其他生态系统成员的合作,砥砺前行,合作共进,运用密码学与分布式系统技术构建繁荣稳定的区块链生态系统。