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

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

微软将成立智能合约安全专项工作组

2016-09-02 09:00:00
收藏

智能合约:区块链技术中的安全挑战与创新

智能合约的重要性与安全挑战

智能合约是与区块链技术和加密货币相关的热门概念之一。它们作为代码片段旨在以特定方式执行,然而近期发生的事件,如DAO合约漏洞,凸显了设计和编写安全代码的重要性。通过编程金钱和创建自我执行合约的能力,我们得以开发可能改变我们处理金钱方式的创新应用。

微软在区块链领域的新举措

微软组建了一个名为"Kinakuta"的全新研究团队,专注于区块链领域。微软业务发展和战略总监Marley Gray向CoinDesk透露,他们已拟定了一份包含35名程序员和组织的邀请名单。该名单涵盖了以太坊基金会的活跃成员、银行联盟R3CEV等机构。ConsenSys成员Andrew Keys也参与了潜在成员名单的制定工作,他负责ConsenSys的战略技术合作伙伴关系、业务发展和沟通事务。

以太坊社区的安全创新

在著名的DAO黑客事件之后,以太坊基金会和开发者社区积极寻求将"形式化验证"引入基于以太坊编程语言Solidity开发的去中心化应用中。形式化验证是一种验证计算机程序行为的流程。微软在此领域做出了重要贡献,发布了由哈佛研究人员和微软员工共同撰写的《智能合约形式化验证》白皮书。这些发现不仅适用于以太坊的智能合约,也适用于所有现有或将来的平台。

人才引进与未来发展

Christian Reitwiessner宣布开发者Yoichi Hirai将加入以太坊基金会,担任形式化验证工程师。这一举措进一步表明了以太坊社区对提升智能合约安全性的重视。

(注:原文末尾的社交媒体推广内容已按要求过滤)

展开阅读全文
更多新闻