智能合约语言(eDSL)—— 如何使用wasmtime运行合约

2024-04-24 07:20

本文主要是介绍智能合约语言(eDSL)—— 如何使用wasmtime运行合约,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

     在我们使用高级语言生成了智能合约——WASM之后,接下来就是对智能合约——WASM的使用。首先,我们需要引入wasmtime库,使用wasmtime运行我们的合约。我们的Rust程序为:

use anyhow::Result;
use std::fs;
use wasmtime::*;fn main() -> Result<()> {let wasm_bytes = fs::read("./adder.wasm")?;let engine = Engine::default();let mut store = Store::new(&engine, ());let module = Module::new(&engine, wasm_bytes)?;let instance = Instance::new(&mut store, &module, &[])?;let add = instance.get_typed_func::<(u32, u32), u32>(&mut store, "add")?;let sum = add.call(&mut store, (1, 2))?;println!("Sum is {sum}");Ok(())
}
读取合约

首先,我们通过Rust标准库,将WASM程序的字节码读入了内存wasm_bytes中,此时wasm_bytes的类型是Vec<u8>。这是因为我们后续在使用Module::new解析WASM时,会要求参数满足AsRef<[u8]>,因此我们一般都是直接读入内存即可。

store

随后,我们创建了一个默认的Store类型变量。Store实际上是一个通用的wasm的概念,但是放在Rust的代码里讲,就直观很多。我们知道,Rust是一个非常强调所有权和生命周期的编程语言。在一个WASM程序运行的过程中,会有很多全局的状态。例如,WASM程序中的函数本身,其生命周期理应是全局的。用来托管这些全局状态的,就称为Store。

模块

一个WASM程序就是一个module。可以看到,这个变量创建的过程中,需要store作为参数。这是因为需要引擎提供加持,所以要从store中提取目前的引擎。创建Module类型的变量,就完成了之前提到的WASM语义阶段中的「解码」和「验证」两个阶段(wasm规范中提及)。所以module中是编译后的wasm模块。这些结构包含来自wasm二进制文件的编译后的可执行代码,这些代码在实例化后准备执行。

instance

当我们创建Instance类型的变量时,就是真正执行WASM程序的过程。创建这个变量,就会初始化WASM程序,形成一个WASM实例。也就是说,我们WASM程序从现在开始正式进入执行阶段。

调用函数(相当于用户调用合约)

接下来,我们使用了get_typed_function来获得我们在WASM程序中导出的"add"函数,然后使用call来调用这个函数。我们知道,Rust是强类型的语言,所以需要提供这个函数的类型信息。TypedFunction<(u32, u32), u32>就提示编译器,这个add函数接收两个u32类型的参数,返回一个u32类型的值。

这只是一个demo实例,简单的介绍了一下如何使用wasmtime。具体实现可以看下这里。

xwasm/wasm/src/vm.rs at main · XuHugo/xwasm · GitHub

这篇关于智能合约语言(eDSL)—— 如何使用wasmtime运行合约的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/931100

相关文章

GO语言短变量声明的实现示例

《GO语言短变量声明的实现示例》在Go语言中,短变量声明是一种简洁的变量声明方式,使用:=运算符,可以自动推断变量类型,下面就来具体介绍一下如何使用,感兴趣的可以了解一下... 目录基本语法功能特点与var的区别适用场景注意事项基本语法variableName := value功能特点1、自动类型推

GO语言中函数命名返回值的使用

《GO语言中函数命名返回值的使用》在Go语言中,函数可以为其返回值指定名称,这被称为命名返回值或命名返回参数,这种特性可以使代码更清晰,特别是在返回多个值时,感兴趣的可以了解一下... 目录基本语法函数命名返回特点代码示例命名特点基本语法func functionName(parameters) (nam

使用shardingsphere实现mysql数据库分片方式

《使用shardingsphere实现mysql数据库分片方式》本文介绍如何使用ShardingSphere-JDBC在SpringBoot中实现MySQL水平分库,涵盖分片策略、路由算法及零侵入配置... 目录一、ShardingSphere 简介1.1 对比1.2 核心概念1.3 Sharding-Sp

Java 正则表达式的使用实战案例

《Java正则表达式的使用实战案例》本文详细介绍了Java正则表达式的使用方法,涵盖语法细节、核心类方法、高级特性及实战案例,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要... 目录一、正则表达式语法详解1. 基础字符匹配2. 字符类([]定义)3. 量词(控制匹配次数)4. 边

Python Counter 函数使用案例

《PythonCounter函数使用案例》Counter是collections模块中的一个类,专门用于对可迭代对象中的元素进行计数,接下来通过本文给大家介绍PythonCounter函数使用案例... 目录一、Counter函数概述二、基本使用案例(一)列表元素计数(二)字符串字符计数(三)元组计数三、C

使用Spring Cache本地缓存示例代码

《使用SpringCache本地缓存示例代码》缓存是提高应用程序性能的重要手段,通过将频繁访问的数据存储在内存中,可以减少数据库访问次数,从而加速数据读取,:本文主要介绍使用SpringCac... 目录一、Spring Cache简介核心特点:二、基础配置1. 添加依赖2. 启用缓存3. 缓存配置方案方案

使用Python的requests库来发送HTTP请求的操作指南

《使用Python的requests库来发送HTTP请求的操作指南》使用Python的requests库发送HTTP请求是非常简单和直观的,requests库提供了丰富的API,可以发送各种类型的HT... 目录前言1. 安装 requests 库2. 发送 GET 请求3. 发送 POST 请求4. 发送

Nginx中配置使用非默认80端口进行服务的完整指南

《Nginx中配置使用非默认80端口进行服务的完整指南》在实际生产环境中,我们经常需要将Nginx配置在其他端口上运行,本文将详细介绍如何在Nginx中配置使用非默认端口进行服务,希望对大家有所帮助... 目录一、为什么需要使用非默认端口二、配置Nginx使用非默认端口的基本方法2.1 修改listen指令

Python WebSockets 库从基础到实战使用举例

《PythonWebSockets库从基础到实战使用举例》WebSocket是一种全双工、持久化的网络通信协议,适用于需要低延迟的应用,如实时聊天、股票行情推送、在线协作、多人游戏等,本文给大家介... 目录1. 引言2. 为什么使用 WebSocket?3. 安装 WebSockets 库4. 使用 We

python中的显式声明类型参数使用方式

《python中的显式声明类型参数使用方式》文章探讨了Python3.10+版本中类型注解的使用,指出FastAPI官方示例强调显式声明参数类型,通过|操作符替代Union/Optional,可提升代... 目录背景python函数显式声明的类型汇总基本类型集合类型Optional and Union(py