北京航空航天大学分布式实验室 北航云南创新研究院 白晓敏,段张博在智能合约的形式化验证过程中,总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而,未来使用智能合约的必然不会全都是会编写模型的人员,因此,我们在智能合约和模型检测技术原理的基...
知识:合约,智能合约,智能合约模型,模型
我们很高兴地宣布,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,技术,智能合约,以太坊,开发