Ewasm 是以太坊2.0时代用于替换evm虚拟机的一个新的虚拟机实现,它汲取了webAssembly 的优势,将其应用到以太坊2.0虚拟机的实现,可以方便开发者利用多种语言实现智能合约并且运行在以太坊平台
本文详细介绍了Solana虚拟机(SVM)及其基础的rBPF虚拟机,包括其工作原理、系统调用、程序执行流程等。通过对rBPF虚拟机的分析,文章探讨了如何通过独特的指令集架构(ISA)与安全机制,确保Solana程序的高效和安全执行。本指南为对Solana和eBPF感兴趣的开发者提供了深入的技术背景资料和实践指南。
本文深入探讨了Solana程序的开发生命周期,从Rust代码编写到在Solana运行时执行的整个过程。文章详细介绍了Solana的编译管线,Solana字节码格式(SBF),运行时的BPF虚拟机以及涉及的安全机制。通过将Solana的方法与更熟悉的EVM模型进行比较,以帮助读者建立直觉,从而更好的了解Solana的底层技术。
本文详细介绍了Solana的rBPF虚拟机,包括其架构、工作原理以及如何通过Agave验证器执行Solana程序。文章还探讨了Berkeley Packet Filter (BPF) 和Extended Berkeley Packet Filter (eBPF) 的背景,以及Solana虚拟机的指令集架构 (ISA)。
本文详细介绍了 Solana 的 SVM(Solana Virtual Machine)及其应用,探讨了 SVM 的定义、架构、交易处理及 API 的具体实现。文中涵盖了 SVM 的多种潜在使用场景,包括链下服务、轻客户端、状态通道和 Rollups 等,并提供了一些代码示例和 API 细节,对开发人员如何利用 SVM 进行项目构建提供了实用的指导。
本文介绍了Move语言的二进制格式和汇编语言,强调了智能合约审计人员需要了解此类低级编程的必要性。文章详细讨论了Move虚拟机模型、主要的类型规则以及Move的验证器,提供了实例和工具来简化Move汇编的编写过程。最后,文中展示了如何在Move沙箱中部署和测试模块,包括添加逻辑炸弹后门的示例。
本文提出了一项激进的想法,即用 RISC-V 替代 EVM 作为智能合约的虚拟机语言,旨在提高以太坊执行层的效率和简洁性,解决主要扩展瓶颈。现有的EVM合约和新的RISC-V合约可以互相兼容,开发者仍然可以使用Solidity和Vyper编写智能合约。
本文探讨了区块链虚拟机(VM)和零知识虚拟机(zkVM)的最新发展,涵盖了WasmVM、MoveVM和Solana VM等多种VM的特性和应用,并深入研究了zkVM在增强隐私、安全性和可扩展性方面的作用。文章还展望了Wasm VM的潜力、VM用例的增加以及zk市场的未来发展。
本文将对比 zkEVM 和 zkVM 在技术上的差异,并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。
本文是零知识虚拟机(zkVM)安全系列的第一篇文章,主要介绍了zkVM的基本概念、工作原理及其在可验证计算中的作用。文章还简要介绍了zkEVM及其在区块链中的应用,并概述了该系列后续文章的主题,旨在为零知识领域的研究人员和zkVM开发者提供有用的安全指导。
该安全公告 CWA-2023-002 描述了 CosmWasm 中的一个栈溢出漏洞,攻击者可以通过构造恶意合约利用 Wasm 导入和导出之间的递归循环,导致虚拟机崩溃。已发布补丁以修复此问题,建议相关项目升级其 wasmvm 依赖。
本文分析了多种虚拟机/指令集架构(VM/ISA)在以太坊长期发展中的优劣势,包括EVM、RISC-V、MIPS、WASM、eBPF、CairoVM、Valida和PetraVM,并从设计简洁性、执行性能、生态系统、工具、智能合约开发体验以及ZK友好性等方面进行评估,最终作者倾向于通过 WASM 进入自定义 RISC-V 扩展的优化路径。
本文探讨了EVM(以太坊虚拟机)的未来发展方向,提出了三种潜在的EVM升级方案:一是优先考虑快速执行和标准工具链,但牺牲ZK证明速度;二是优先考虑快速ZK证明,但牺牲执行速度和标准工具链;三是采用两步法,即先使用区块链友好的VM,再使用ZK-VM,但也会牺牲标准工具链。并分析了每种方案的优缺点,以及对以太坊未来发展的影响,最后建议以太坊社区深入研究这些方案。
本文介绍了Fault Dispute Game (FDG) 的机制,这是一种通过迭代二分执行轨迹来验证根声明有效性的争议解决游戏。参与者通过提出声明来缩小执行轨迹,直至争议点为单个状态转换。游戏依靠虚拟机(VM)来验证声明的有效性,并最终通过对声明的争议情况来确定胜者。文章还涉及了参与者、移动类型、游戏时钟和最终的解决方案等关键概念。
本文介绍了Move语言的诞生背景,它旨在解决Solidity等现有编程语言在资产安全方面的不足。Move通过在语言设计、虚拟机和验证工具三个层面进行创新,例如引入Resource类型、Module系统和所有权系统,从而提高了数字资产的安全性。目前Move主要应用于Aptos、Sui和Starcoin等L1链项目,未来有望在DeFi、SocialFi和GameFi等领域得到更广泛的应用。