木星链 木星链
Ctrl+D收藏木星链
首页 > 莱特币 > 正文

AVA:【虚拟机专栏】一文了解ava智能合约- 链上JVM-ODAILY

作者:

时间:1900/1/1 0:00:00

——导读——

前文,我们介绍了对虚拟机的历史、特点、发展以及Solidity和EVM进行详细介绍。Solidity和EVM的出现为区块链的应用场景打开了新的大门,但是合约开发者使用Solidity进行智能合约的开发,不可避免地存在着新语言的学习成本问题。

那么,是否有这样一位老朋友,能让「合约开发者」和「区块链」快速打成一片呢?

众所周知,Java是一种被广泛使用的、面向对象的编程语言,具有“一次编写,处处执行”的跨平台特性。于是,我们将Java请到了我们的区块链平台,自研了一套可以执行Java智能合约的执行引擎HVM。将Java智能合约引入区块链,主要有以下目的:

*降低智能合约开发的成本,让合约开发者能专注于合约逻辑本身而不是语法细节。

*为开发者提供熟悉的、适合区块链场景的工具类和方法,避免重复“造轮子”。

*解决传统智能合约与账本交互模式单一的问题,提供多种更方便、更灵活的账本交互的数据结构和方法,更好地满足业务场景的需要。

本文将主要讲解如何让Java编写的智能合约运行在区块链上,不会涉及大量JVM细节。从Java合约使用、虚拟机适配、账本交互机制三个方面进行介绍。

许正宇:已有90家虚拟资产相关企业有意落户香港:7月30日消息,香港财经事务及库务局局长许正宇近日在陪同香港特首李家超出访东盟三国,接受媒体采访时提到,自去年10月发表《有关虚拟资产在港发展的政策宣言》,已有90家与虚拟资产相关的内地及海外企业表示有意落户香港。他表示深信政府今年年中为虚拟资产服务提供者订立完善的发牌制度,有助确保市场稳健有序发展,并保障投资者利益。[2023/7/30 16:07:30]

——Java智能合约的使用——

从合约开发者的角度来看,Java智能合约的使用流程通常包括以下三个步骤:合约开发、合约部署、合约调用。

▲Java合约开发

相比传统智能合约,Java智能合约的开发和使用更为简单方便,主要体现在:

1)项目搭建快:开发者只需要在本地IDE中新建Java项目,引入合约开发依赖包,便可以开发合约。完成编码后,将代码打包成合约Jar文件即可用于部署上链。

2)工具方法多:开发者可以使用JDK中的类和方法,避免重复”造轮子“的麻烦。

3)学习成本低:Java语言使用广泛,大部分开发者只需要了解合约开发依赖包的接口,便能熟练使用Java智能合约。

慢雾:共享Apple ID导致资产被盗核心问题是应用没有和设备码绑定:5月19日消息,慢雾首席信息安全官23pds发推表示,针对共享Apple ID导致资产被盗现象,核心问题是应用没有和设备码绑定,目前99%的钱包、交易App等都都存在此类问题,没有绑定就导致数据被拖走或被恶意同步到其他设备导致被运行,攻击者在配合其他手法如社工、爆破等获取的密码,导致资产被盗。23pds提醒用户不要使用共享Apple ID等,同时小心相册截图被上传出现资产损失。[2023/5/19 15:13:08]

▲Java合约部署

对于Java智能合约的部署,开发者通过一笔交易将合约Jar包上传到链上,区块链会对合约进行初始化,生成一个唯一的合约地址,并通过交易回执将合约地址给开发者。

▲Java合约调用

开发者可以通过指定合约地址,并输入合约方法名和参数,构造并发送一笔合约调用交易。区块链平台收到交易以后,获取一个JVM实例,将合约地址对应的合约Jar中的类文件加载JVM中,创建一个合约类的实例并调用指定方法,得到执行结果并通过交易回执返回给开发者。

Hamster将推出面向开发者的空投自动化工具:金色财经报道,据Hamster Network在社交媒体上发文表示,Hamster将推出面向开发者的空投自动化工具。[2023/4/17 14:07:35]

——HVM详解——

▲JVM接入区块链

要实现一个Java智能合约执行引擎,一定绕不开将JVM接入区块链的问题。目前大部分区块链系统使用Golang开发,而大部分开源的JVM通常是C++编写。如果想要快速地将JVM接入到区块链系统中,可以通过CGO将Golang和C++打通。但考虑到在区块链系统中对JVM内部优化的需要,HVM选择了通过Golang实现了JVM。虽然自己实现JVM会引入大量的开发成本,但是极大地方便了后续针对区块链场景进行性能优化和功能拓展工作的开展。

“当区块链中接入JVM后,还需要做些什么让JVM成为区块链中的Java合约执行引擎呢?”

▲虚拟机安全适配

Cathie Wood:SBF无法控制BTC,BTC是透明和去中心化的:12月12日消息,Ark Invest首席执行官Cathie Wood在发推表示,比特币在当前市场环境下表现依旧坚韧且“没有暂停心跳”,她还表示:“难怪SBF不喜欢比特币,因为比特币透明且去中心化,SBF无法控制比特币。”

数据显示,尽管FTX引发加密市场动荡,但长期持有者持有的BTC供应量仍保持不变,活跃比特币持有者数量11月也上涨了18%,创下2021年以来最大的正增长。[2022/12/12 21:38:43]

前文中提到,我们在区块链的Java合约引擎中支持用户使用JDK中的类和方法。考虑到区块链上的合约执行引擎需要满足执行环境的隔离以及执行结果的确定性,我们需要对JDK和JVM进行安全适配。其中包括以下几点:

1)禁用”不安全”类和方法:在智能合约引擎中,可能引起执行结果不一致的方法是”不安全“的。比如Java中生成的随机数方法,其执行结果是不确定的,区块链中的Java合约引擎会禁用这些”不安全”的类和方法。

2)隔离合约的执行环境:区块链平台中的Java智能合约需要一个隔离的执行环境,即Java智能合约无法像普通的Java程序使用线程、网络、访问系统时间等功能。此外,我们在JDK中实现了一部分与区块链相关的方法,部分方法不允许被Java合约调用。因此,我们在HVM内部实现了方法调用过滤器,拦截不被允许的方法调用。

NFT收藏家Cooper Turley推出1000万美元的Web3音乐基金:金色财经消息,加密货币影响者Cooper Turley宣布Web3音乐基金Coop Records完成1000万美元新一轮融资,该基金的创始人Cooper Turley仅透露有几位著名的Web3创始人和投资人参投,Turley本人就是以为Web3音乐领域的收藏家,也是Royal、Audius 和 Catalog 等十几个音乐 NFT 平台的天使投资人。

Coop Records表示,将采用所有权概念并将其应用于Web3音乐开发,未来艺术家可以在不将歌曲出售给唱片公司的情况下,通过以代币化形式出售其音乐创作的所有权。(Coindesk)[2022/9/9 13:18:15]

3)确定逻辑执行顺序:同EVM一样,我们在HVM内部实现了一套Gas机制,对合约执行进行代价计算。指令执行的不同,会引起不同节点计算的Gas值不同。在原始的JDK中,部分方法在两次调用时,虽然其结果一致,其逻辑执行的代码路径不同。以使用单例模式的类为例,首次调用这个类的实例方法时,需要创建这个类的实例;之后调用其方法时,不再需要创建实例。这种逻辑的差异,会导致新启动的节点与其他节点的执行的Gas值不一致。因此,我们需要对JDK中这类逻辑进行适配,保证逻辑执行顺序始终一致。

▲账本交互机制

将JVM接入区块链,还需要保证合约与账本数据交互的功能。EVM中存在账本交互的指令,但是在JVM规范中不存在用于账本交互的指令,所以我们需要提供一套账本数据交互机制,让Java智能合约能够操作区块链上的账本数据。

实现账本交互机制可以有两种方案:

1)在JVM中实现一套账本交互的自定义指令集。同时提供一种Java合约的编译器或插件,在合约字节码中生成专用于区块链中账本交互的自定义指令。

2)在JDK中实现一套读写账本数据的工具类和方法,在合约执行过程中,由合约执行引擎来调用这些方法,负责合约持久化字段的读写操作。

HVM在实现的过程中,选择了第二种方案。在合约执行的过程中,如果使用到合约的持久化字段,合约执行引擎会调用账本读取的方法从账本中获取其数据。对于账本写入操作,执行引擎会先进行缓存,待合约执行结束后,扫描合约中有数据更新的持久化字段,将字段更新的数据统一刷入到账本中。

相比指令的方法,使用Java方法来实现账本数据交互的功能虽然会有更多的指令开销,但是能够为用户提供更友好地方式操作持久化字段。以Map为例,我们在Java智能合约中为Map提供了除Get和Put以外的方法,允许用户使用迭代器等方法方便地操作Map。考虑到读写Map的复杂场景,维护一个可靠的迭代器逻辑较为复杂。而以指令的方式操作账本数据,那么势必要实现一套复杂的账本交互指令集。显然工具类和方法更适合完成这些复杂的逻辑操作,并更容易支持合约数据结构功能的拓展。

通过这种方案,用户在编写Java智能合约时,能够选用功能强大的数据结构类操作账本。这些数据结构类,将账本交互的Java方法进行封装,使用户无法感知,并尽可能实现JDK中的接口。如HVMMap、HVMList等数据结构,分别实现了JDK中的Map和List接口,使用起来与JDK提供的其他Map、List几乎一致。

▲虚拟机对比分析

除了HVM合约以外,常见的合约还有EVM的Solidity合约、Fabric的Chaincode等等。

EVM提供了沙盒化的、完全隔离的合约执行环境。Solidity从设计初就作为智能合约语言来考虑,其在账本操作上有较大优势。

Fabric的Chaincode支持多种语言编写。Chaincode运行在一个受保护的Docker容器中,在接收到客户端发送的调用请求后,会在容器中模拟执行出对账本的读写集并返回给客户端,最后由客户端再次发起将模拟交易产生读写集写入账本的请求。

HVM相比与其他的执行引擎,主要以下特性:

*HVM合约是在安全的封闭式沙箱环境执行,安全性高

*执行引擎内嵌于平台,无网络依赖

*HVM提供完整的合约生命周期管理机制,只需通过sdk、api调用就可进行合约的升级

*提供丰富的内置功能,例如日志输出、密码套件、多样化调用合约

除了Java语言JDK本身提供的功能外,HVM提供多种基于区块链账本数据操作的数据结构

——小结——

本文首先从开发者的角度,介绍Java智能合约的开发及使用流程,再讲解了在区块链中接入JVM的技术方案,探讨了对JDK的代码改造以及账本交互机制的实现。HVM始终向着更好的性能和更友好的使用体验目标摸索前进。与此同时,行业内的合约执行引擎正处于百花齐放的状态,接下来我们还会对支持Rust等语言编写智能合约的FVM以及支持区块链上SQL执行的KVSQL进行详细介绍,敬请期待!

对于虚拟机感兴趣的小伙伴,可以添加小助手桔子加入技术交流群,欢迎您和我们共享观点,共论区块链的无限未来~

作者简介

卢益铭、姚兵

趣链科技基础平台部区块链虚拟机研究小组

参考文献

Java虚拟机规范.

标签:AVA区块链JDKMAPAvalanche区块链最大局MAPS

莱特币热门资讯
稳定币:【Deribit期权市场播报】0830——提前布局-ODAILY

收录于话题#每日期权播报 播报数据由Greeks.live格致数据实验室DataLab和Deribit官网提供.

1900/1/1 0:00:00
KSM:Kusama的第6次插槽拍卖正式开始-ODAILY

加入PolkaWorld社区,共建Web3.0! 刚刚,作为Kusama理事会成员之一,PolkaWorld参与投票通过了Motion346,开启了Kusama第六次拍卖开启.

1900/1/1 0:00:00
以太坊:Vitalik Buterin探讨更加公平的交易方案-ODAILY

文章作者:VitalikButerin文章翻译:Blockunicorn原标题:《Alternativestosellingatbelow-market-clearingpricesforach.

1900/1/1 0:00:00
区块链:下一个颠覆的领域:区块链如何影响审计行业?(中)-ODAILY

链集市·让区块链落地更简单 《区块链行业观察》专栏·第37篇作者丨NajouaElommal,RiadhManita图片丨来源于网络编者注:原报告来自NajouaElommal、RiadhMan.

1900/1/1 0:00:00
以太坊:以太坊L2:新的历史性机遇-ODAILY

在昨天的文章中,我给大家介绍了以太坊的第二层扩展的几个项目,这几个项目到目前为止都还没有发bi。社区有很多人猜测它们会发bi,所以有不少人是冲着它们未来会空投代币去尝试的.

1900/1/1 0:00:00
EFI:黑暗的八月:各类安全事件回顾-ODAILY

#前言#8月份以来,各链上频频遭遇闪电贷攻击等黑客攻击事件,其中更是发生了被称为年度最大黑客事件的跨链协议PolyNetwork被攻击事件.

1900/1/1 0:00:00