ZK-STARKs 時間線： ZK-STARK 白皮書於 2018 年發布（同時推出了一個稱為 FRI 的主要組件）。當時，我們已經看到基於橢圓曲線的 ZK-SNARKs 能夠解決區塊鏈的隱私問題，這似乎就是全世界所期盼的全部。 那麼，為何需要一個完全新的架構？ 當時我們最關注的是什麼？ ZK-STARKs 的主要優勢如下： • 透明性（STARK 中的 T）—— 這意味著無需像 SNARKs 那樣進行「有毒廢料」設置。這對於信任至關重要。 解釋一下——無需可信設置，因此即使由達斯·維達使用，透明的 ZK-STARKs 依然可信。 • 抗量子安全—— 回顧 2018 年，並沒有很多人談論量子威脅及其對橢圓曲線密碼學的破壞性影響。但 ZK-STARKs 具有抗量子安全性，實際上僅需存在一個安全的雜湊函數即可。 這在我們這個超智能時代變得至關重要，因為超智能對 RSA、DH、ECDSA、基於格的結構等標準難度假設構成了威脅。 • 無關域—— Zcash 的 ZK-SNARKs 需要非常特定的代數結構（有限域），而且必須是大型域。而 STARKs 則可以在所有有限域上運行，包括二進制域和小素數域，這對於高效計算時間更有利。 對於非數學家來說，這意味著更快的速度和更大的規模。例如，我們測試了 M31 域運算（由我們最新最強大的 STARK 證明者 S-two 使用）的速度，比我們第一代證明者所使用的 256 位域運算快了 100 倍（！）。 • 可擴展性—— 由於它們可以在任何域上運行，且無需可信設置，因此即使我們不斷擴大所處理的計算規模，也無需更改鏈上驗證器的任何部分。 總結——透明性、抗量子安全性、效率與可擴展性是 ZK-STARKs 在 2018 年為世界帶來的巨大優勢。到目前為止，它們已成為安全 ZK 規模與隱私的黃金標準。 結束