智能合约语言(eDSL)—— wasmtime实现合约引擎补充

1、链上下文

        由于我们是应用到区块链中,所以我们需要把链的环境传递给wasmtime,这样wasmtime在运行合约的时候,就可以获取到链上数据;我们运行合约当时的环境,打包成一个变量context,传递给wasmtime。context的结果如下:

pub struct Context {pub(crate) func_name: String, //调用函数名称pub(crate) state: String,//合约状态pub(crate) param: String,//调用函数的参数pub(crate) invoker: Address, //调用者地址pub(crate) owner: Address,//合约拥有者地址pub(crate) self_address: Address,//合约地址pub(crate) event: Vec<String>,//合约产生的事件pub(crate) self_balance: u64,//合约余额pub(crate) output_data: String,//合约返回数据pub(crate) metadata: Metadata,//链数据,例如高度、时间等pub(crate) gas: bool, //是否启动gaspub(crate) gas_counter: u64,//gas计数pub(crate) gas_limit: u64,//gas限制pub(crate) gas_outof: bool,//gas是否超了}

        我们可以看到,都是当前交易和链的情况,例如调用函数,调用者地址,链高度,时间等这些都是当前链的情况,还有一部分数据其实正好相反,是合约产生的,要反馈给链或者用户,例如合约产生的事件,调用函数产生的返回值。

        那我们是在什么时候,传递给wasmtime呢?

 let mut store = Store::new(&engine, context);

        就是在创建store,我们将我们context存入store中,存入的这些数据,我们后续还会继续用到

2、死循环

        如果有人编写了一个死循环的合约,然后不小心调用了,怎么办?

        我们在创建wasmtime的时候,可以创建一个监控线程,如果wasmtime执行时间超过了我们设定的时间,就会停止wasmitme,然后返回错误。

let engine = Engine::new(Config::new().epoch_interruption(true))?;std::thread::spawn(move || {std::thread::sleep(std::time::Duration::from_secs(1));engine_clone.increment_epoch();});

        这里,我们将每次运行的时间设置为1s,超过这个时间,就会报错。

3、合约的存储格式

        如果合约编译完之后,直接存储使用,效率还是差一点;我们可以提前(AOT)编译WebAssembly模块。

​
pub fn precompile_module(&self, bytes: &[u8]) -> Result<Vec<u8>>​

        存储之前,使用此方法会输出是一个编译过的模块。当我们再次使用的时候,需要调用如下函数解码,

​
pub unsafe fn deserialize( engine: &Engine, bytes: impl AsRef<[u8]> ) -> Result<Module>​

        运行现在字节码,性能会极大的提高。

4、添加linker

        给wasmtime提供一系列的链环境接口,与之前合约部分,链接口是一一对应的,同样的模块鱼函数;例如获取,合约的拥有者,

 

    linker.func_wrap("xq","get_owner",|mut caller: Caller<'_, Context>, ptr: i32| {charge_gas(&mut caller, GAS_ENV_FUNC_BASE);//let owner:&[u8] = caller.data_mut().owner.deref();let addr = caller.data_mut().owner; //let owner = &addr.0;let mem = match caller.get_export("memory") {Some(Extern::Memory(mem)) => mem,_ => anyhow::bail!("get_owner:failed to find memory"),};match mem.write(caller, ptr as usize, owner) {Ok(_) => (),Err(_) => anyhow::bail!("get_owner:MemoryAccessError"),};Ok(())},)?;

        我们可以看到闭包中参数,有一个Caller<'_, Context> context就是我们定义链上下文,这样用户在调用合约中的获取合约地址的接口,就会调用到wasmtime中linker中定义的get_owner,而get_owner中,又会从context中获取到context中的合约地址,返回将他作为返回值返回给用户,其实是写入内存中的,这样合约在运行的过程中,就可以获取到合约地址了。

其他接口也是类的,需要我们自己去完成。

https://github.com/XuHugo/xwasm/blob/main/wasm/src/vm.rs

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/830372.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【如何使用SSH密钥验证提升服务器安全性及操作效率】(优雅的连接到自己的linux服务器)

文章目录 一、理论基础&#xff08;不喜欢这部分的可直接看具体操作&#xff09;1.为什么要看本文&#xff08;为了zhuangbility&#xff09;2.为什么要用密钥验证&#xff08;更安全不易被攻破&#xff09;3.密码验证与密钥验证的区别 二、具体操作1.生成密钥对1.1抉择&#x…

计算机复试项目:SpringCloud实战高并发微服务架构设计

秒杀购物商城--环境搭建 秒杀购物商城基础服务组件--详细介绍 秒杀购物商城基础服务--权限中心 秒杀购物商城业务服务--收货地址 秒杀购物商城业务服务--秒杀活动服务 秒杀购物商城--购物车的功能设计及分析 秒杀购物商城基础服务-用户中心 秒杀购物商城业务服务--商品中…

Python 基于 OpenCV 视觉图像处理实战 之 OpenCV 简单人脸检测/识别实战案例 之九 简单进行嘴巴检测并添加特效的功能实现

Python 基于 OpenCV 视觉图像处理实战 之 OpenCV 简单人脸检测/识别实战案例 之九 简单进行嘴巴检测并添加特效的功能实现 目录 Python 基于 OpenCV 视觉图像处理实战 之 OpenCV 简单人脸检测/识别实战案例 之九 简单进行嘴巴检测并添加特效的功能实现 一、简单介绍 二、简单…

Visual Studio Installer 运行python 汉字

问题描述&#xff1a; Visual Studio Installer 在正常情况下运行python文件时时候&#xff0c; 不能编译中文注释&#xff0c;更不能输出中文。 解决方法&#xff1a; 在程序开头下面这一行即可。 #coding:GBK 原因及解释&#xff1a; #coding:GBK 是 Python 源文件中的一个…

ceph 1 pool(s) do not have an application enabled

查看 ceph 状态 cluster:id: 58f90b9a-155c-43cf-98af-54cb611fc8e0health: HEALTH_OKservices:mon: 3 daemons, quorum a,b,d (age 79m)ne>mgr: b(active, since 59m), standbys: ane>mds: 1/1 daemons up, 1 hot standbyne>osd: 6 osds: 6 up (since 79m), 6 in…

ArcGIS小技巧—模型构建器快速提取河网

上篇文章介绍的基于DEM的河网提取&#xff0c;需要使用多个工具&#xff0c;整体操作比较繁琐&#xff0c;在日常工作中&#xff0c;使用Arcgis提供的模型构建器可以帮助我们将多个工具整合在一起&#xff0c;在面对大量数据批量处理时&#xff0c;可以大大提高工作效率 利用模…

Python基本数据类型

描述 Python是一种高级编程语言&#xff0c;拥有丰富的数据类型用于表示不同类型的数据。基本数据类型可以分为数值型&#xff08;Numbers&#xff09;、字符串型&#xff08;Strings&#xff09;、布尔型&#xff08;Booleans&#xff09;、空值&#xff08;NoneType&#xff…

8、Flink 在 source 处生成水位线 和 在 source 之后生成水位线案例

1、AtSourceGenerateWatermark 注意&#xff1a;从 Flink 1.17开始&#xff0c;FLIP-27 源框架支持拆分级别的水印对齐。 import java.time.Duration;public class _02_AtSourceGenerateWatermark {public static void main(String[] args) throws Exception {StreamExecution…

摇杆控制电机

参考&#xff1a; 摇杆电位器控制步进电机正反转调速-Arduino中文社区 - Powered by Discuz! 一个基于树莓派和Python的无人机视觉跟踪系统_ 北漠苍狼的专栏(QQ:1746430162)-CSDN博客

数字化wms仓库管理软件,实现企业仓储信息共享与智慧运行-亿发

在经济飞速发展的今天&#xff0c;企业面临着客户需求多样化、质量和交期要求提高以及激烈的市场竞争等挑战。在这样的背景下&#xff0c;许多企业开始考虑采用数字化仓储WMS系统来解决这些问题。 数字化仓储WMS系统通过打造高效、规范的仓库管理体系&#xff0c;实现了对产品…

爱普生晶振在物联网LoRa通讯中的应用

LoRa 是LPWAN通信技术中的一种&#xff0c;是美国Semtech公司采用和推广的一种基于扩频技术的超远距离无线传输方案。这一方案改变了以往关于传输距离与功耗的折衷考虑方式&#xff0c;为用户提供一种简单的能实现远距离、长电池寿命、大容量的系统&#xff0c;进而扩展传感网络…

【Spring】2.Spring中Bean的生命周期管理及定义

在Spring框架中&#xff0c;Bean是一个被Spring IoC容器实例化、组装和管理的对象。Bean就是Spring应用中的对象&#xff0c;它们形成了Spring应用的骨干。Spring IoC容器负责创建Bean&#xff0c;配置Bean以及管理Bean的完整生命周期。 Bean的生命周期 实例化Bean&#xff1a…

神经网络高效训练:优化GPU受限环境下的大规模CSV数据处理指南

最近训练模型,需要加载wifi sci data 数据量特别大,直接干爆内存,训练也特别慢,快放弃了!随后冷静下来,然后靠着多年的经验,来进行层层优化,随诞生了这篇博客。 背景介绍 机器学习模型的训练通常需要大量的数据,尤其是对于深度神经网络模型。然而,当数据集非常庞大时…

网络之路29:三层链路聚合

正文共&#xff1a;1666 字 17 图&#xff0c;预估阅读时间&#xff1a;3 分钟 目录 网络之路第一章&#xff1a;Windows系统中的网络 0、序言 1、Windows系统中的网络1.1、桌面中的网卡1.2、命令行中的网卡1.3、路由表1.4、家用路由器 网络之路第二章&#xff1a;认识企业设备…

wow_iot模块说明

wow_iot模块说明 wow_iot模块主要用于系统关联与基础接口封装库的实现&#xff0c;以供其它库文件与可执行文件调用&#xff0c;主要涉及algorith算法模块、config配置模块、database数据库模块、plugin插件模块、encode编码模块、encrypt加密模块、hash哈希模块、protocol协议…

愚安科技安全工程师面经:

1自我介绍 2讲项目经历 3“”符号&#xff08;反单引号&#xff09;在PHP语言以及SQL语言中的作用分别是什么 4Java中的反射有什么作用 5Java反序列化的基本原理 6 SSRF漏洞有什么漏洞利用思路&#xff1f; 7 利用XSS漏洞可以达到什么效果&#xff1f;有哪些防御XSS漏洞的手段/…

新质生产力实践,我用chatgpt开发网站

是的&#xff0c;我用chatgpt开发了一个网站&#xff0c;很轻松。 我之前一点不懂前端&#xff0c;也没有网站开发的代码基础&#xff0c;纯正的0基础。 从0开始到最后成品上线&#xff0c;时间总计起来大致一共花了2-3周的时间。 初始想法我是想给我公司开发一个网站&#…

【弱监督语义分割】AllSpark:从transformer中的未标记特征重生标记特征,用于半监督语义分割

AllSpark: Reborn Labeled Features from Unlabeled in Transformer for Semi-Supervised Semantic Segmentation 摘要&#xff1a; 目前最先进的方法是用真实标签训练标注数据&#xff0c;用伪标签训练未标注数据。然而&#xff0c;这两个训练流程是分开的&#xff0c;这就使…

mybatis - XxxMapper.java接口中方法的参数 和 返回值类型,怎样在 XxxMapper.xml 中配置的问题

这个例子中的mybatis-config.xml文件&#xff0c;引用这个文件即可 实体类src/main/java/com.atguigu.pojo/Employee.java package com.atguigu.pojo;public class Employee {private Integer id;private String name;private String plone;public Integer getId() {return i…

Android数据恢复:如何在手机上恢复丢失的文件和照片

我们都有 我们错误地从手机中删除重要内容的时刻。确实如此 不一定是我们的错。其他人可以对您的手机数据执行此操作 有意或无意。这在某个时间点发生在我们所有人身上。 但是&#xff0c;今天市场上有各种各样的软件可以 帮助恢复已删除的文件。这些类型的软件被归类为数据恢复…