继CertiK主网正式上线后,DeepSEA编译器进行了两项重大更新,目前DeepSEA编译器的1.1版本已正式发布。 此次发布中的重大更新内容: 1. DeepSEA的WebAssembly后端现已完备支持所有的语言特性。 2. 现在DeepSEA的整个编译后端均可作为一个独立的库来使用在任何人的项目中。 你可以在Github发布页面下载可执行文件及使用案例: https://github.com/CertiKFoundation/deepsea/releases 对以太坊2.0 WebAssembly的完备支持 DeepSEA 1.0对于Ethereum 2.0 WebAssembly的支持仅限于不包含哈希操作的语言特性(也就是除了事件、数组、结构之外的操作)。 在这次的发布中,DeepSEA已将1.0未能支持的特性补齐。也就是说,目前DeepSEA已完备支持所有特性。 另外,CertiK还将以太坊环境接口(Ethereum Environment Interface)融合进了CVM中,这意味着DeepSEA的WebAssembly后端(以太坊2.0 eWasm)现在可以在CertiK上使用了。 在神荼测试网或者CertiK主网上部署一个DeepSEA WebAssembly合约,你只需要在使用 `certikcli deploy` 命令式加上 `--ewasm` 参数即可。 如果部署的合约中不包含任何的初始化代码,那么则需要再加上 `--runtime` 参数。 以下是一个在虚拟机中运行编译到DeepSEA以太坊2.0版本WebAssembly的多层智能合约的例子: 独立的编译器后端 1.1版本另一个重大改进是:DeepSEA编译器后端现已可以作为一个可以被用来制作其他任意语言编译器的库。 https://github.com/CertiKFoundation/deepsea/blob/master/DeepSEA language reference.pdf 在此,CertiK尝试加入了一个新的可以用于便携以太坊智能合约的编程语言OpenSC:https://github.com/certikfoundation/deepsea/tree/master/src/OpenSC这个语言最初是作为哥伦比亚大学编译器课程中的小组项目创作出来的。经过创作小组的学生成员许可后,CertiK将此语言发布。OpenSC是一个和DeepSEA完全不同的语言,但是测试表明它可以成功使用DeepSEA的后端。此案例是一个信号:通过使用DeepSEA编译器后端的情况下,编写区块链编程语言将不再是一个困难的过程。DeepSEA项目被专门设计用来编写可认证的正确代码,它同时为保护代码提供了有效的解决方案。CertiK相信,在智能合约编程语言这个底层技术支撑中,不同的安全实现方式,将会给我们的应用带来不同的安全保障。复制链接【https://certik.org/research/deepsea/】至浏览器即可查看DeepSEA最新信息。欢迎搜索微信【certikchina】关注CertiK官方微信公众号,点击公众号底部对话框,留言免费获取咨询及报价! —- 编译者/作者:CertiK中国社区 玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。 |
CertiK:DeepSEA编译器1.1版本,正式发布!
2020-11-10 CertiK中国社区 来源:区块链网络
LOADING...
相关阅读:
- 交易者为推出以太坊2.0做准备,金融机构为比特币投下黄金– eToro加密2020-11-10
- Chainlink的价格一直相当积极,指出它仍然在一个大的三角形形态内交易2020-11-10
- 11.10市场又在高位纠结了是高歌猛进还是歇歇?小歇133332020-11-10
- 大选后的BTC什么趋势走向2020-11-10
- 慕辰解币:11.10ETH行情走势以及见解2020-11-10