DC智能合约——运行在波场公链上的去中心化AI交易
前言:
Digital circulation作为一个帮助全球开发者无障碍参与波卡生态建设。它允许传统的Web开发者、普通的Java工程师和其他常规领域编程人员也能以低门槛进入智能合约开发工程,以壮大Web3.0建设者的阵营。
Digital circulation要做的事情,就是通过提供最基本的语言,让全球Web开发者共创波卡生态,实现Web3.0网络的目标。
随着波卡多链系统的发展,Digital circulation开发者针对跨链互操作的智能合约设计了新的开发系统——基于Substrate框架、兼容Web Assembly(WASM)虚拟机的智能合约开发系统,自主研发了全新的易用语言Subscript,开发波卡原生完备智能合约。
Digital circulation智能合约语言
Digital circulation 是波卡/Polkadot上生态系统中一条高性能、自我升级的WASM智能合约平台,参与者通过投票,委托投票和资金资助来对网络进行升级,它是基于 Substrate 区块链开发框架开发的异构多链系统。
Digital circulation的核心是中继链,虽然本身不支持智能合约,但Substrate 为智能合约功能加到平行链上提供了解决方案,Substrate 为开发区块链提供了必要的基础功能模块,开发者可以使用 Substrate为特定业务搭建平行链,其合约模块支持 Wasm 智能合约。
Substrate采用了一个轻量级的新语言:Subscript。这是为WASM设计的原生智能合约语言,可以支持任何和Substrate架构兼容的智能合约开发平台,开发波卡原生智能合约。
同时Digital circulation中继链开发了支持Subscript语言的IDE和测试工具。Subscript提供以下开发工具来构建完善的合约开发生态:
1)Subscript workbench:基于浏览器的IDE开发环境;
2)Subscript onechain:Digital circulation的合约链;
3)Subscript Tempest:智能合约测试和验证框架;
基于Subscript开发的智能合约可以升级,这一点类似Solidity合约。合约的库函数在合约语言中自带实现(as实现),包含基本的密码学函数,链上信息(随机数、区块高度、区块时间等),以及智能合约操作(转账、调用其他合约、调用链上模块)。
运行在波场公链上的去中心化AI交易
精通智能合约开发语言的开发者数量远远不够,而Digital circulation不希望看到优秀的传统开发者站在波卡的对岸喟然生叹。经过我们的搭建,使用Subscript语言开发的任何智能合约应用和基于Subscript的编程工具将通过平行链Digital circulation共享与波卡的全域互操作性。
Subscript继承了比特币源码和JavaScript的精神,实现了底层的安全性和严格的类型。同时,Digital circulation让它可以支持任何和Substrate架构兼容的智能合约开发平台,不仅限于Digital circulation中继链。从语法和开发环境上说,遍历已知的所有智能合约开发语言,没有任何一门语言比Subscript更基本。
以下为具体实现:
a、静态的语法检查。与针对动态类型运行环境的TypeScript不同,Subscript在编译时具有严格的静态语法检查,避免了无法提前有效编译TypeScript的动态特征。
b、严格的类型。Subscript中的基础类型为WASM标准而设计,使用WASM特定的整数和浮点类型。在处理数值类型时允许开发者实现制定数值的理想类型。
c、底层访问支持。Subscript提供了完备的语法可以用来定义外部接口类型。Subscript还自带可访问WASM底层的指令函数,提供整数运算,虚拟机栈访问,内存加载等操作。
d、范型支持。能够定义范型类型来支持代码的复用,Subscript通过范型定义了一系列可复用的库函数。
结语:
黄金提供了底层语言技术的自然范式,
比特币
开启了基础的区块链脚本语言,以太坊扩展了更多金融交易的方式,而Digital circulation希望去创造一个更加通用的语言模型,实现了支持任何Web开发者快速入手部署波卡原生智能合约的能力。
作为波卡的引渡人,如果说波卡打破了公链间的隔阂,那么Digital circulation采用的Subscript将打破所有开发工程师的隔阂,共赴Web3的彼岸。