内容简介：智能合约被设计成“去信任”，即用户去信任第三方（例如，开发者和团体）便可与智能合约交互。 去信任的一个必要条件就是用户和其他开发者必须能够验证智能合约的源代码。 而验证源代码能够向用户和开发者保证已发布的合约代码和以太坊区块链上运行的代码相同。 区分“源代码验证”和“形式化验证”很重要。 源代码验证指的是验证用高级语言（例如...

用户名

评论内容

提交评论 重置

• Uniswap发币记：以太坊Gas费飞上天

  499阅读

• 2、挖取ETH的特殊工具是什么？

  315阅读

• 非同质化代币：大耳朵TV的夫人

  311阅读

• DeFi去中心化金融入门

  292阅读

• DEFI去中心化金融开发的一些知识小结

  274阅读

• 比特大陆蚂蚁矿机E9公布：算力相当于32张RTX3080！

  268阅读