Solidity_Solidity相关新闻_Solidity动态

以太坊 Pectra 系统合约形式化验证工具 Halmos

以太坊的Pectra硬分叉引入了使用汇编语言编写的链上系统合约，以提高Gas效率。然而，汇编语言的低级特性带来了安全隐患。为确保合约的安全性和正确性，研究者使用Halmos工具进行形式化验证。该过程包括将EIP规范转化为Solidity测试断言，并验证编译后的字节码。Halmos的应用不仅提高了验证效率，还在代码重构中发现了潜在错误，增强了系统的可靠性。

Daejun Park01月31日 09:42

Movement的公链新解：“将 Move 引入 EVM”如何重塑以太坊与 Move？

LFG Labs推出基于Move语言的以太坊L2，旨在将Move系智能合约的安全性和高性能与EVM系的流动性和用户群结合。Movement SDK提供了模块化的MoveVM虚拟机、编译器和自定义适配器，解决了Move生态系统的破碎化问题。M1和M2公链架构集成了以太坊虚拟机，允许开发者在M2上启动并引入EVM系的DApp。M2使用零知识证明提高隐私和安全性，同时支持EVM和Move语言编写的智能合约。顶级VC机构已开始布局，为新的场景用例和生态增长奠定基础。

LFG Labs2024-06-07 07:28

律师抢码农饭碗？Ava Labs创始人预言AI如何重塑智能合约

Ava Labs创始人Emin Gün Sirer认为，使用人工智能帮助编码智能合约可以让普通人也能轻松编写，这将带来数十亿新的区块链用户。目前，Avalanche公司正在开发一种新型虚拟机，支持使用自然语言编程，但仍需解决法律和技术问题。Chainlink BUILD计划中的Council框架可以将英语指令转换为可执行代码，未来仍需改进。律师也可能成为智能合约编写者，普通用户也可以定义基本交易。总的来说，这种新的智能合约方法充满希望。

Andrew Singer2024-05-11 08:02

Initia：一个好的模块化 EVM 该是什么样？

Initia是一条模块化L1公链，可以部署多个交织的Rollups，具有跨链互操作性和选择不同虚拟机的特点。它兼容Solidity智能合约和Cosmos/IBC，简化资产转移和开发体验。目标是成为构建高速、灵活、可互操作的应用链的最简方式。投资需谨慎，本文不构成投资建议。

@initiaFDN2024-05-09 09:18

Placeholder：Move 超越 Solidity，时不我待

自以太坊推出以来，EVM是最受欢迎的区块链操作系统，但开发人员不喜欢使用其原生语言Solidity。为了增加链上应用程序数量，需要更多开发人员和更好的基础设施。Facebook开发的Move语言和新兴网络生态系统承诺提高安全性和可扩展性，比Solidity更容易交付应用程序。Movement Labs推出的新功能包括M2公共Move VM、Movement SDK和去中心化共享排序器，允许开发人员在以太坊上运行Move应用程序，并与Aptos和Sui Move兼容。尽管EVM标准仍然占主导地位，但它将被构建在更高级的抽象层之上，类似于计算机发展的历史。Aptos、Sui和Movement带来的东西使我们更接近构建更强大系统的愿景。

MarsBit2024-04-27 02:24

深入解析MUD引擎的存储架构

MUD引擎解决了游戏开发中的难题，通过泛型事件机制实现自动同步状态。它能接受任意类型数组并返回紧凑打包字节，无需自定义getter、event和reducer。通过代码生成，MUD能为您生成具有类型信息的读写库，每次写入操作都会自动同步。经过OpenZeppelin的审计，稳定版2.0.0即将发布。

alvarius2024-03-16 05:58