StarkNet OS（Operating System） 主要由 Cairo 這個 StarkNet 的原生語言寫成，Cairo 就像 StarkNet 上的 Solidity，能夠用來撰寫（Cairo-based）智能合約，但同時也是一個零知識證明語言，可以用於構建 StarkNet 核心的作業系統和各種功能。 所有在 StarkNet 這條鏈上的邏輯都會被包含在 StarkNet OS 中，例如如何定義帳戶狀態、交易原理、合約執行，甚至是如何進行位元運算、雜湊運算和原生的簽章演算法等，都會定義在這裡。 概括來說，OS 需要在交易與合約接收 input 之後產出 output，並且將這個 output 更新在 StarkNet 這個 L2 的狀態（State）中。 那為什麼要使用零知識證明語言來撰寫 StarkNet OS 呢，而不是其他常見語言？ 相信大家都知道擴容的其中一個大方向就是「把繁雜的計算丟到 Off-Chain 並且只要在 On-Chain 做驗證即可」，而 StarkNet 作為 ZK-Rollups 一員，他會將 Cairo 撰寫的 ZK-STARK Pro...