您是否在重新思考Web3的執行方式？Anoma如何在沒有虛擬機的情況下運作。

大多數區塊鏈依賴於虛擬機 (VMs)，例如 EVM、WASM 或 MoveVM 來逐步執行合約邏輯。但這些虛擬機並不是爲了隱私、協調或意圖驅動的價值流而構建的。

沒有虛擬機。沒有字節碼。沒有燃氣綁定邏輯。

這是它的工作原理：

🔹 資源中心化執行:
Anoma中的資源具有類型、狀態和約束。資源機器使用形式邏輯而非逐步指令來驗證狀態轉換。這意味着沒有燃料、沒有棧溢出，也沒有模糊行爲的空間。

🔹 ZK 和隱私設計：
因爲執行不是基於指令的，Anoma 可以輕鬆集成零知識證明、加密狀態轉移和多方匹配。它從一開始就針對隱私和意圖協調進行了優化。

🔹 形式上可驗證：
每條執行路徑都可以在數學上證明是正確的。錯誤和經濟漏洞在被利用之前就可以被檢測到。它在設計上是安全的，而不僅僅是盡力而爲。

🔹 使用Juvix的開發工具：
Anoma推出Juvix，這是一種將Haskell/OCaml風格與ZK邏輯相結合的函數式語言。開發者編寫高層規則以實現價值流，而不是編寫低層代碼以執行操作。

Anoma還通過三層架構解構了傳統的dApp模型：
1.意圖層：用戶描述他們想要什麼，而不是如何實現它
2.求解者網路：分布式代理在協議之間協調以實現這些目標。
3.靈活結算：在任何鏈上完成結果：以太坊、Solana、比特幣或您自己的鏈。

Anoma不僅僅是另一條區塊鏈
這是一種協調操作系統，旨在實現多鏈未來，應用程序默認是基於意圖驅動、尊重隱私和與鏈無關的。

這是加密貨幣的下一層。