信任但驗證,讓我們用 halmos 仔細檢查 solx 的說法 1. 快取記憶體儲存變數 我們可以使用 halmos 來跟蹤存儲訪問,例如 computeFactorial(5),我們確實可以看到 solc 在每次反覆運算時都會觸及存儲,但 solx 只寫入結果 (!)
@ZKsync 上的 EVM 等效性只是一個開始。 多年來,我們一直在默默地為@Ethereum所有人創造更美好的未來。 推出 ⚡️ solx — 強大的新 Solidity-to-EVM 編譯器 🧵
查看原文
本頁面內容由第三方提供。除非另有說明,OKX 不是所引用文章的作者,也不對此類材料主張任何版權。該內容僅供參考,並不代表 OKX 觀點,不作為任何形式的認可,也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下,此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章,瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險,其價值可能會產生較大波動。請根據自身財務狀況,仔細考慮交易或持有數字資產是否適合您。