揭開基於移動的智能合約：與 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 博士在我們即將發布的部落格上的演講！