SNARKs 與 STARKs，去除神秘主義。 SNARK 需要可信設置：一次性的儀式，用於生成秘密隨機性「有毒廢料」，之後必須銷毀。若有一份副本倖存，證明便可能被偽造。 第一代大型 ZK rollup，如 zkSync Era、Scroll、Polygon zkEVM，全部採用基於 SNARK 的證明。每一個都運行了你需要信任的設置儀式。多方儀式能降低風險（「只要有一名參與者誠實就安全」）。但信任假設從未消失。 STARK 則無需儀式。沒有有毒廢料，無需銷毀，無需信任。 安全性僅依賴於抗碰撞的哈希函數，這正是你的錢包已依賴的基礎元件。而且由於沒有橢圓曲線配對參與其中，STARK 有潛力抵抗量子計算。 SNARK 在第一代勝出的真正原因：證明更小，在以太坊上驗證成本更低。 Miden 的賭注：驗證最終會移至你的設備上，在那裡證明大小幾乎無關緊要，但信任假設至關重要。 問任何 ZK 系統的一個問題：這個證明需要你信任什麼？如果答案包含儀式，那你信任的是人，而非數學。 @0xMiden VM 基於 STARK。你只信任哈希函數。這就是全部清單。