EVM

BuildBear沙盒现在支持Sourcify，提升了合约验证能力。Sourcify专注于对开放源代码的去中心化合约进行验证，并与现有工具有显著差异，强调完整的元数据哈希匹配。本文提供了如何使用Sourcify插件进行合约验证的快速入门指南，并总结了BuildBear平台的特点。

EVM 变 RISC-V？聊聊 RISC-V 的前世今生和 Web3 领域的应用

EVM是第一个为开发者提供智能合约功能的软件，并且已经成长为一个蓬勃发展的生态系统，其极具价值的开发者网络效应超越了以太坊区块链本身。事实上，一些使用 EVM 的知名区块链有自己的代币经济和共识机制，完全独立于 ETH 代币和 ETH 挖矿。其他 EVM 链上的创新、基础设施和用户增长能够被以太坊区块链无缝地使用，反之亦然。

本文深入探讨了Solidity库的工作原理，详细介绍了如何使用delegatecall()调用库函数，以及如何创建和发布一个Solidity库。文章还讨论了库与智能合约的关键区别，并提供了多个代码示例来演示库的使用方法。

本文介绍了Solidity中的位移操作及其应用，包括数据类型的转换、特定位的提取和设置。同时，文章还深入探讨了在YUL汇编中进行存储读取和写入时如何应用位移和掩码技术。

Satin Exchange集成了LI.FI的插件，用户现在可以在Satin Exchange内部进行跨链桥接和资产交换，支持15+ EVM兼容链和Layer-2网络。LI.FI作为一个桥和DEX聚合器，通过智能路由帮助用户找到最佳路径，在不同链上转移资产。

MagicFox集成了LI.FI的跨链互换功能，允许用户在17个EVM兼容链和Layer-2网络之间无缝转移资产。MagicFox是一个多链DEX和收益优化器，采用Solidly ve(3,3)模型，旨在提供低滑点的交易和收益优化。LI.FI则是一个桥和DEX聚合器，通过智能路由为用户提供最佳跨链资产转移路径。

以太坊虚拟机（EVM）是智能合约执行的“心脏”，其设计体现了 Web3 对安全性、确定性与去中心化计算的极致追求。它通过栈式模型、内存分区、Gas 管控与调用帧机制，支撑了整个智能合约生态。

本文深入探讨了以太坊社区关于 Layer 2 扩展方案的辩论，主要对比了 Optimistic Rollups (OR) 和 Zero-Knowledge Rollups (ZK) 两种方案。文章从成本、EVM 兼容性、可信可见性、桥接速度、最终确定时间、安全假设和硬件要求等多个维度进行了全面分析，总结了各自的优缺点，并指出开发者应根据项目需求权衡各种因素。

探讨了 MoveVM 如何通过其独特特性以及通过 Movement Labs 整合到以太坊生态系统中，为区块链安全、效率和互操作性设立新标准。

本文介绍了零知识虚拟机（ZK-VM）的工作原理，通过“Proof of Meow”的例子，解释了如何证明程序的正确执行。文章将程序编译成字节码，然后在虚拟机中执行，生成执行跟踪。Prover验证执行跟踪的正确性，Verifier验证Prover生成的证明。

Monad Labs 宣布完成由 Dragonfly Capital 领投的 1900 万美元种子轮融资，旨在通过从根本上优化 EVM 来帮助去中心化扩展。Monad 正在构建一个新型 EVM 等效的 Layer-1 区块链，通过共识和执行方面的基础性改进，实现每秒 10,000 笔交易的高吞吐量，同时保持对现有以太坊智能合约和基础设施的支持。

Datachain 获得了 Interchain Foundation 的资助，用于改进 IBC-Solidity 的功能，该实现连接了世界上一些使用最广泛的区块链。

文章介绍了如何将Vyper智能合约编程语言与JupyterLab和Google Colab笔记本连接，使用户能够直接从笔记本中与智能合约交互并部署新合约。通过浏览器钱包进行地址和支付，解决了私钥在不安全环境中暴露的问题。