每個人都同意 ZK-STARKs 是構建區塊鏈的頂級技術。這並不總是如此，現在達成共識是件好事。 目前尚未達成共識，但我預測將會如此：如果你的鏈依賴於 ZK 技術，那麼你的程式語言和虛擬機應該是 ZK 優化的。 用 ZK 友好的語言（例如 Cairo）編寫的程式可以被 ZK 基礎的虛擬機順利處理。 如果它是用不針對 ZK 優化的程式語言（比如 Solidity）編寫的，那麼在 zkVM 能處理之前，你需要經過幾個變通方法。 這些變通方法意味著 (1) 你會失去準確性和效率，(2) 你甚至可能面臨錯誤的風險。 你需要合適的工具來處理 ZK。