作者：?胡凯编者注：原标题为《智能合约系列2：智能合约工程 SCE：Smart Contract Engineering》 合约是经济社会运行的基石之一。合约确定了多方交易的时间、期限、地点和内容等，使得合约参与的多方可以在信任或不信任的条件下执行合约协议，保证交易活动的正常和有序运行。合约通常在法律上是具有...
知识:智能合约
...的痛点进行了分析，此次解读将针对解决方案中特有的“基于区块链的四大智能管理平台”进行逐一解读。“四大智能管理平台”实现了工地建设的施工人员更安全、生产成本更低、监管效率更高、工地环境更合规的“四大目标”。</blockquote>3.象链科技基于区块链解决方案的“四大智能管理平台”3.1 工...
知识:链上,智能合约,区块链技术,合约
...项安全性原则，以及一些基本权衡。尽管区块链行业的发展日趋成熟，但是智能合约的开发仍是一个相对较新的领域。因此，为了应对新的漏洞和安全危机，以及满足开发新的最佳实践的需要，我们应该不断完善安全性方面的问题。学习最佳实践只是智能合约开发者在安全性方面踏出的第一步。智能合...
知识:合约,智能合约,以太坊,区块
...让数据信息不被“锁在”一个牢笼中，分布式存储则更加会保障数据安全。智能合约保障双方权益在重大项目的款项结清方面，一直是一个难题。人们对于庞大浩瀚的项目，一般会有定金一期、定金二期、定金三期……结清尾款的概念，也就是说工程做一段，甲方才会结算一部分的款项。但是这样也就...
知识:智能合约,区块链,区块链技术,区块链的
...已建立在区块链上，旨在创建公共区块链平台。 Cortex允许使用AI算法来支持智能合约，这意味着它也可以使用Cortex将AI添加到其智能合约中。 此外，Cortex还创建了一种鼓励集体协作的激励机制，该机制允许任何人进行自定义（如有错误）并优化Cortex中的模型。 他们在为平台做出贡献时将获得一定的回...
知识:智能合约,在区块链,链上,以太坊
尽管区块链行业的发展日趋成熟，但是智能合约的开发仍是一个相对较新的领域。因此，为了应对新的漏洞和安全危机，以及满足开发新的最佳实践的需要，ALOKEX不断完善安全性方面的问题。学习最佳实践只是ALOKEX智能合约开发者在安全性方面踏出的第一步。智能合约编程需要一种不同于传统的工程思...
知识:合约,智能合约,区块,区块链
Filecoin主网一周年庆典上胡安发言：Filecoin将发布虚拟机，实现智能合约功能。达到每秒万亿次交易处理能力，打造全球互联网建设工程！生态应用大爆发即将到来！Filecoin作为包括区块链在内的互联网存储基础工程，在过去的一年中已经初步建立了健壮的分布式网络，安全、高效、低廉、实用等特点正...
知识:智能合约,链上,区块链,区块链项目
...别和加密货币。 Auctus的使命是增强退休储蓄者的能力，并提供使用以太坊智能合约和智能交易咨询做出明智决策所需的信息。Auctus平台是一个基于全球智能合约的退休和基于目标的储蓄平台，具有针对传统债券和股权投资（也包括加密投资）的专门投资组合管理服务。该平台向用户提供所有退休储蓄...
知识:智能合约,以太坊,区块链,基于区块链的
Patract Labs面向波卡生态的平行链智能合约 (Parachain contract) 提供解决方案，旗下宣布成立Patract Hub 作为波卡合约开发者中心。Patract Hub的项目由波卡议会审核，并由财政资助，面向波卡生态的合约开发者提供免费的开发工具和服务，将作为非营利性社区组织运作。参与波卡生态有两种选择，一个是通过拍...
知识:合约,智能合约,类似于以太坊,以太坊平台
...需第三方参与即可交换资产。Oracle提供的外部数据可在满足预定条件时触发智能合约的执行。激励（通过奖励）ChainLink网络上的参与者，以向智能合约提供对外部数据源的访问。如果用户希望访问脱链数据，则可以向ChainLink的网络提交请求合同。这些合同将使请求合同与适当的预言相匹配。这些合同包...
知识:智能合约,加密货币,区块链,市值
...云南创新研究院白晓敏，周楚涵本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法的工程实践，模型驱动工程（MDE）旨在提高程序规范中的抽象级别，从而提高程序规范中的抽象级别，通过使用可执行模型转换来增加程序开...
知识:合约,智能合约,模型,智能合约验证
...x Savings依赖Curve.fi协议作为基础设施，我们还实现了Curve.fi的模拟器，因为在智能合约的世界中，被当作基础设施使用的合约会是产品中的短板。我们刚开始将Curve视为黑盒，之后经过分析研究能够完全理解Curve.fi的数学模型、理解它实现时的每一个工程决策，甚至每一行代码的逻辑。这两个月中，我们...
知识:以太坊,智能合约,加密货币,区块链
...块链术语和词典。基本上，区块链定义、工作流程、去中心化、共识协议、智能合约等都是一开始的事情。在这个过程中，相对还是轻松的。当然掌握了上述基本知识还不够，我们还需要学习区块链技术的开发语言。（这才是正菜）目前，区块链技术从1.0(以比特币为代表)发展到2.0(以以太坊为代表)。在...
知识:智能合约,以太坊,工程师,比特币
本书写作的目的就是从零开始、由浅入深地介绍Solidity这一最热门的智能合约编程语言，一站式的为读者提供进行Solidity编程所需要的所有信息。Solidity不仅仅是一门新的编程语言，而且是全新的开发范式的转变（ParadigmShift）：使用Solidity来开发智能合约要采用新的方法论，新的开发流程，遵从新的准则...
知识:智能合约,软件,以太坊,编程语言
...RIF（RSK基础架构框架）开发团队宣布，Makerdao项目的DAI稳定币现在可以通过智能合约协议RSK获得。 根据软件工程师的说法，RIF开发人员利用RSK-Ethereum令牌桥，个人现在可以在众多分散应用程序（dapps）中使用基于以太坊的稳定币。在过去七个月中，由比特币（BTC）支持的智能合约协议RSK一直在稳步向分...
知识:比特币,以太坊,智能合约,基于以太坊的