北京航空航天大学分布式实验室 北航云南创新研究院 白晓敏，段张博在智能合约的形式化验证过程中，总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而，未来使用智能合约的必然不会全都是会编写模型的人员，因此，我们在智能合约和模型检测技术原理的基...
知识:合约,智能合约,智能合约模型,模型
我们很高兴地宣布，Chainlink 2021 年夏季智能合约开发者训练营现已开放注册！ 为了帮助加速智能合约生态系统中持续的创新和采用浪潮，我们的开发者训练营将为全球的开发者提供动手指导的体验，以开始使用 Solidity 智能合约和 Chainlink 预言机进行构建，以创建下一代混合智能合同。今天注册我们的第...
知识:智能合约,预言机,合约,区块链技术
...验证是什么？而前不久，Algorand发布的 smart contract language 不是图灵完备的。智能合约开发语言图灵完备重不重要？突然，我发现不仅要对Solidity智能合约开发语言里函数有所了解，更需要了解整个智能合约开发语言生态全景。本文就智能合约语言作一个比较，除了Solidity外，还有很多其它不为我们所熟知...
知识:智能合约,Solidity,研究报告
作者：?胡凯编者注：原标题为《智能合约系列2：智能合约工程 SCE：Smart Contract Engineering》 合约是经济社会运行的基石之一。合约确定了多方交易的时间、期限、地点和内容等，使得合约参与的多方可以在信任或不信任的条件下执行合约协议，保证交易活动的正常和有序运行。合约通常在法律上是具有...
知识:智能合约
...术带入主流。 数字革命中最好的成果之一，即使不是最好的，也已经形成了智能合约的形式。你们当中那些还不知道的人，智能合约是一种自动执行的数字协议，其根据预定义的条件进行操作，任何人都无法更改。 为了进行任何更改，网络上的所有各方和利益相关者必须通过投票表明共识。 透明性，...
知识:智能合约,智能合约开发,比特币,区块链
...到开发者可以通过CCIP利用不同区块链的优势，并获得链下服务，打造下一代智能合约。下文是Sergey的演讲内容节选。CCIP基于Chainlink安全的共识机制，专注于解决跨链通信问题。Chainlink目前保障了超过750亿美元的价值，多年以来一直稳健运行。跨链不仅是通证转移，还包含消息传输，而这正是CCIP的独特...
知识:智能合约,跨链,链上,预言机
一文了解 Polkadot 生态中的智能合约：Polkadot 是基于 Substrate 区块链开发框架开发的异构多链系统，Substrate 为开发区块链提供了必要的基础功能模块Polkadot 是基于 Substrate 区块链开发框架开发的异构多链系统，Substrate 为开发区块链提供了必要的基础功能模块，开发者可以使用 Substrate 为特定业务搭建平行...
知识:智能合约,substrate,POLKADOT
... 火火酱 责编 | Carol 出品 | 区块链大本营（ID：blockchain_camp），原题《想开发智能合约？先 get 下这个适合所有人的模型驱动法！（文末有福利）》不得不说，开发智能合约真的是一个既复杂又昂贵的过程。与在Solidity中编写智能合约相反，将智能合约建模为图形状态机（graphical state machine）具有很多优势...
知识:智能合约,Solidity,技术指南
...ital circulation中继链开发了支持Subscript语言的IDE和测试工具。Subscript提供以下开发工具来构建完善的合约开发生态：1）Subscript workbench：基于浏览器的IDE开发环境;2）Subscript onechain：Digital circulation的合约链;3）Subscript Tempest：智能合约测试和验证框架;基于Subscript开发的智能合约可以升级，这一点类似Solidity...
知识:智能合约,合约,智能合约开发,链上
3月25日，区块链服务网络BSN第二次开发者大赛正式启动，大赛主题聚焦智能合约开发，参赛者可基于FISCOBCOS等多底层平台编写智能合约。为了对BSN第二次开发者大赛参赛选手提供针对性的智能合约开发指导，助力参赛者更好实现高质量的智能合约，FISCOBCOS开源社区巡回Meetup联合大赛相关单位，推出智能...
知识:Solidity,智能合约,BSN
...使用 Substrate 为特定业务搭建平行链。Polkadot 作为中继链，虽然本身不支持智能合约，但 Substrate 为智能合约功能加到平行链上提供了解决方案，其合约模块支持 Wasm 智能合约。智能合约语言 ink!Polkadot 生态中的智能合约平台以 Wasm 虚拟机为主，从 EVM 到 WebAssembly 是智能合约虚拟机发展的趋势，ETH 2.0 也...
知识:智能合约,区块链,区块链开发框架,区块链的
...使用 Substrate 为特定业务搭建平行链。Polkadot 作为中继链，虽然本身不支持智能合约，但 Substrate 为智能合约功能加到平行链上提供了解决方案，其合约模块支持 Wasm 智能合约。智能合约语言 ink!Polkadot 生态中的智能合约平台以 Wasm 虚拟机为主，从 EVM 到 WebAssembly 是智能合约虚拟机发展的趋势，ETH 2.0 也...
知识:智能合约,区块链,区块链开发框架,合约
自BCH在去年5月份升级之后，实现智能合约功能一直都是BCH发展的其中一个方向。BCH社区的开发者为了实现这一功能在不断努力。经历一年多的时间，BCH在智能合约、公链方面也取得了一定的成绩。 BCH经过升级，在OP-return容量扩大的基础上，BCH社区相继推出虫洞、SLP等代币方案实现了BCH区块链发行Token...
知识:合约,区块链,以太坊
...通过Substrate构建的区块链连接到Polkadot并成为其平行链。Polkadot本身并不支持智能合约，但会有平行链支持。通过使用Substrate FRAME中的contracts模块（for Wasm）或EVM模块，基于Substrate的区块链可以包含智能合约功能。contracts模块可以使用Wasm编译的合约，这些合约可以根据区块链的特定规则进行部署。为了促...
知识:智能合约,链上,合约,区块链
...5日，BSN第二次开发者大赛正式启动，本次大赛以“编写基于多种底层框架的智能合约”为主题，开发者可基于FISCO BCOS等主流底层框架，结合业务场景设计、开发并部署智能合约。为了让大家更好上手智能合约开发，区块链服务网络发展联盟与FISCO BCOS开源社区共同推出“7个课时速成智能合约全能型开发...
知识:solidity,技术,智能合约,以太坊,开发