智能合约

  • 如何使用Python为区块链编写智能合约-第一部分

    在2019年,智能合约无疑是计算机编程中的新范式转变。 本指南旨在成为创建在分散式区块链中部署和运行的计算机程序的入门途径。 一段历史…早在1950年代,在计算的早期,如果您想编写…

    资讯 2020年11月5日
  • 如何使用Python为区块链编写智能合约-第二部分

    在本系列教程中,我们将使用Smart Chain Arena中的SmartPy语言。 SmartPy提供了一个完整的集成开发环境,可以在线编写智能合约,对其进行测试,调试并将其部署…

    2020年11月5日
  • 如何使用Python为区块链编写智能合约-第三部分

    迄今为止编写的每种计算机语言都具有一组通用的逻辑结构。 尽管它们可能彼此不同,但它们都将允许程序员创建条件表达式和循环,以基于某些评估执行操作。 关于Python中的区块链智能合约…

    2020年11月5日
  • 智能合约编写之Solidity的基础特性

    如前篇介绍,目前大部分的联盟链平台,包括FISCO BCOS,都采用Solidity作为智能合约开发语言,因此熟悉并上手Solidity十分必要。 作为一门面向区块链平台设计的图灵…

    2020年11月5日
  • 关于solidity中数值的百分比和比例问题-第三节

    基本介绍 金融数学始于百分比。y的x百分比是多少?x的多少百分比是y?我们都知道答案:y的x百分比是x×y÷100,y是y×100÷x百分比。这是学校学的数学。 上面的公式是求解比…

    资讯 2020年11月5日
  • 通过Web3将智能合约(Solidity代码)连接到用户界面

    通过Web3将智能合约(Solidity代码)连接到用户界面。如果您也是那些仍在努力寻找一个可靠开发教程的初学者之一,那么对于您来说,这无疑是必读的文章。 两个必备组件 在我们深入…

    2020年11月5日
  • 区块链系统和智能合约的形式验证101

    区块链技术与智能合约的结合提供了诱人的前景:为具有严格安全要求的应用程序(如财务,安全消息传递等)启用分布式,可信任且可验证的计算平台。不幸的是,人们不必很难看出,区块链的实现道路…

    2020年11月5日
  • 区块链系统和智能合约的形式验证101:形式化要求

    在我们的四部分系列的第二部分中,我们将讨论对系统要求进行形式化的过程,以及如何使其适合于区块链系统和智能合约的形式验证的更大范围。 回想一下,正式验证就是要知道我们的系统实现(例如…

    2020年11月5日
  • 比特币的智能合约OP_PUSH_TX

    关于比特币脚本的一个常见误解是,其访问仅限于锁定脚本和相应的解锁脚本中提供的数据。因此其范围和能力受到极大限制。我们设计了一种算法来获取包含正在评估的脚本的当前事务。我们将其称为O…

    2020年11月5日
  • 比特币SV上的有状态智能合约

    比特币上的智能合约 与流行的看法相反,比特币自诞生以来就具有智能签约功能,具有一种称为脚本的基于堆栈的本地编程语言。每个比特币交易都由输入和输出组成。每个输出都使用指示合约义务的脚…

    2020年11月5日

联系我们

aliyinhang@gmail.com