揭开基于移动的智能合约：与 Revela 深入探讨

3 月 15 日星期五，Verichains 在 2024 年柏林 Nullcon 大会上登台展示了 Revela，这是我们突破性的反编译工具，它揭示了基于 Move 的智能合约的内部工作原理。这次重要的网路安全会议为我们提供了向该领域领先专家介绍这项开创性开源工具的平台。

我们的演讲由Verichains联合创始人Nguyen Anh Quynh博士主讲，概述了基于Move的智能合约，并对Revela进行了全面的探索，展示了Verichains对其未来发展路线图的愿景。以下是我们上周在柏林 Nullcon 展会上演讲的主要亮点的概述。

归纳为基于行动的智能合约

基于行动的智慧合约由于强调安全功能（例如强静态类型和内建形式验证）而受到关注。尽管取得了这些进步，部署合约的透明度仍然是一个挑战。

Move 字节码具有独特的特征，这增加了分析基于 Move 的智能合约的复杂性，例如：

• 基于堆叠的虚拟机器：透过将资料推入和拉出到堆叠上进行操作来进行操作。

• 3 位址码中间表示：使用清晰的格式，每个指令有三个运算元（资料来源）。

• 模组级资讯保留：储存模组名称、结构定义和依赖项等重要细节，以便更好地理解。

• 函数级详细资讯：包括函数名称、参数和返回资料类型以及字节码中的局部变数资料类型。

• 已知分支目标：确保跳转目的地的静态知识，简化程式码分析。

为什么是雷维拉？揭示透明度的必要性

传统上，区块链中的常见做法是仅以低阶字节码形式部署程式码，而不附带原始程式码。这种透明度的缺乏为恶意行为者在不被发现的情况下插入恶意程式码创造了肥沃的土壤。此外，如果没有原始程式码，社群就无法有效地审计或审查合同，从而阻碍了识别和解决安全问题的协作努力。一些突出问题是：

• 隐藏后门：​​恶意行为者可以在智慧合约中嵌入难以在字节码层级侦测到的恶意后门。

• 安全审核：审核字节码是否有漏洞是一项复杂且费力的任务。

• 验证挑战：如果无法存取原始程式码，验证智慧合约的正确性和可信性将变得更加困难。

Revela 成为游戏规则的改变者，正面面对这项挑战。这个创新工具透过将 Move 字节码反编译回其原始原始码来解决这个问题，然后可以将其直接输入到 Move 编译器中。 Revela 具有独立验证和分析程式码的能力，建立了行业标准，为学习和基准测试开发营造安全、开放和可信赖的环境。

Move 对 Revela 设计的影响

Move 的独特功能极大地影响了 Revela 的设计，使其能够有效地从智慧合约字节码中恢复原始程式码。透过利用 Move 的优势，Revela 提高了区块链生态系统内的安全性和理解性。下面的比较表显示了传统反编译器与 Revela 方法在处理 Move 字节码时遇到的挑战。

透过利用 Move 的固有优势，Revela 在从智慧合约字节码恢复原始程式码的能力方面取得了重大进展。这项突破为增强区块链生态系统的安全性和更深入的理解铺平了道路。

展望未来：Revela 的未来

Verichains 致力于不断增强和完善 Revela，确保其与不断发展的 Move 语言及其最新功能保持一致。 Revela 的未来版本将引入更复杂的功能来进行彻底的程式码分析，使用户能够更深入地了解智慧合约作业。此外，开发团队的目标是扩展 Revela 的兼容性，以涵盖Aptos和Sui以外的其他基于 Move 的区块链，从而扩大其实用性和影响力。

Nguyen 博士在 Nullcon Berlin 2024 上对 Revela 进行了现场演示，展示了其功能并获得了观众的热烈反响。与会者有机会亲眼目睹 Revela 如何从线上交易中反编译 Move 字节码，切实掌握其功能。这次现场展示强调了 Revela 在区块链安全领域的潜在影响。

Verichains 出席 2024 年柏林 Nullcon 大会，标志著在提高 Move 生态系统透明度方面的一个重要里程碑。透过 Revela，Verichains 为开发人员、安全研究人员和使用者提供了强大的工具来揭示智慧合约的复杂性。随著 Revela 的不断发展，它有望增强安全性、培养信任，并为基于 Move 的区块链打造更安全的未来奠定基础。

回顾社交

领英

Revela于上周五在Nullcon Berlin 2024成功亮相！我们非常高兴地向 200 多位与会者介绍了这款突破性的反编译工具。

我们的共同创办人 Nguyen Anh Quynh 博士不仅展示了该工具的功能，还分享了对其令人兴奋的未来路线图的见解。随著 Revela 的不断发展，它具有增强安全性、促进信任并为基于 Move 的区块链更安全的未来铺平道路的巨大潜力。

亲自查看 Revela：

https://revela.verichains.io/

如果您错过了演讲，请不要担心，请继续关注 Nguyen 博士在我们即将发布的部落格上的演讲！

推特

Revela 上周五在@nullcon Berlin 成功亮相！我们非常高兴地向 200 多位与会者介绍了这款突破性的反编译工具。

亲自查看 Revela：

https://revela.verichains.io/

请继续关注 Nguyen 博士在我们即将发布的部落格上的演讲！