形式化

首页 > 形式化

2021-01-28

以太坊基金会：ETH2.0存款合约字节码的审计和形式化验证已完成

“这是重要的里程碑，使项目可以更接近ETH 2.0主网的第0阶段。”来源于火星财经专栏作家梁雨山

2020-11-25

如何转移以太坊钱包｜普华集团凭借形式化智能合约技术获“院士推优计划”百强奖

近日，第三届中国工业设计展览会在武汉举行，普华集团凭借基于区块链技术创立的形式化智能合约技术，荣获“2019年一带一路创新设计榜院士推优计划百强奖”。据悉，形式化智能合约技术是由普华集团研发的智能合约可视化增强技术，它由可视化视图、模板与库、指令规则集、视图转化器、指令编译器等内容组成。（新浪财经）

2020-11-16

比特币怎么购物网站|以太坊2.0存款合约字节码完成形式化验证

以太坊基金会宣布ETH 2.0存款合约（deposit contract）字节码的审计和形式化验证（formal verification）已经由技术团队Runtime Verification完成。以太坊基金会表示，这是一个重要的里程碑，使得项目更接近ETH 2.0主网的第0阶段（Phase 0），但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈，可以在代码库提交相关问题。除此之外，以太坊基金会表示虽然ETH 2.0 的第2阶段核心原则已经被定义清楚，但其具体设计还是相对开放的，Quilt（ConsenSys 的研究团队）和eWASM （以太坊基金会的研究团队）在最近一年里已经花了非常多的精力研究，而新成立的TXRX （ConsenSys 的研究团队）会将一部分精力投入到第2阶段的研发中，最初的重点将会放在更好地了解跨分片交易的复杂性，以及研究和原型化将ETH 1.0集成到ETH 2.0的方法。（链闻）