STARKs 與 SNARKs 以及量子威脅 眾所周知，STARKs 是後量子安全的，但 SNARKs 會被量子電腦破解。為什麼？ 我這裡指的是橢圓曲線 SNARKs，這是你們大多數人熟悉的類型（如 Groth16）。 SNARK 使用一個 "證明密鑰" 來允許證明者回答某個問題。這個密鑰的創建方式是通過重複多次某個數學操作。 一個好的類比是，你從一個魔術方塊開始，並進行某個操作（比如，扭動一側 + 在手中旋轉方塊）。然後，你重複這個操作很多次，數以百萬億計的次數。你進行這些操作的確切次數——這就是秘密。然後，你將這個搞亂的魔術方塊展示給全世界。 現在，如果你能看著這個方塊並回答為了達到當前狀態進行了多少次操作，你就破解了 SNARK。 一種方法是拿一個魔術方塊開始隨意操作，計算你進行操作的次數，直到達到公開的配置。但這需要很多時間（數以百萬億計的步驟）。 啊哈，但量子電腦是一種非常聰明的電腦，可以看著方塊並吐出這個數字：例如 112,302,305,166 次。憑藉這個答案，SNARK 就被破解了。 好吧，那 STARK 呢？ 在這種情況下，要破解 STARK，你必須 "破解一個哈希"。 哈希的工作方式大致如下：你拿一個魔術方塊，進行其中一個操作。然後你把圖案寫在紙上，折起來，剪碎，將方塊的方格以瘋狂的方式排列，並將它們放在一個新的魔術方塊上。然後你在魔術方塊上再進行一次操作，然後再次回到紙上。如此反覆。 重要的一點是：在 SNARK 的情況下，你只進行一種操作（數學上稱為 "群操作"），而在 STARK 中，你混合了大量非常不同的操作，這些操作缺乏連接和結構。 而這種混合，許多事物的混合，正是讓計算機（無論是經典的還是量子計算機）感到困惑的原因，並拯救了局面。 結束。