解密零知識證明和zk-STARKs

在加密貨幣中，匿名性非常重要。這對可替代性有幫助——這是任何嚴肅貨幣的必備條件。大多數持有加密資產的人並不太喜歡他們的財務事務暴露在外。在區塊鏈的隱私技術中，零知識證明和zk-STARKs似乎特別出衆。

zk-SNARK意味着零知識證明簡潔非交互式知識論證。聽起來挺復雜的。zk-STARK？那是零知識可擴展透明知識論證。Zcash使用zk-SNARKs。JP摩根大通在一些項目中也使用它們。它們現在幾乎無處不在。zk-STARKs是新來的家夥，據說解決了舊協議的問題。

洞穴故事

1990年，一位名叫Jean-Jacques Quisquater的密碼學家講述了一個關於阿裏巴巴洞穴的故事，以解釋零知識證明。人們喜歡反復講述這個故事。

想象一個圓形的洞穴。一個入口。裏面有一扇魔法門。需要一個密碼才能打開那扇門。

愛麗絲想向鮑勃證明她知道這個密碼。但是她不會直接告訴他。絕對不可能。

鮑勃在外面等待。愛麗絲進去。走了路徑1。

後來，鮑勃出現並大喊：“出來，路徑2！”

如果愛麗絲知道祕密詞，她就會打開魔法門，出現在鮑勃要求的地方。魔法。

這樣做幾次。不是僅僅靠運氣。

這個小故事展示了零知識證明的含義。證明你知道某件事情，而不泄露它實際上是什麼。

零知識證明近距離觀察

Zcash 在規模上開創了零知識證明。Monero 的隱私處理方式不同——通過環籤名進行煙霧和鏡子遊戲。但零知識證明？它們完全改變了遊戲規則。加密交易仍然可以被驗證。令人震驚。網路驗證者不需要所有的細節。只需要證明。不過奇怪的是，Zcash 的隱私功能甚至默認是關閉的。你必須自己打開這個開關。

零知識證明允許某人證明某事的真實性而不透露額外的信息。你有一個證明者和一個驗證者。一些證據被保密。整個要點？更少的數據共享。少得多。

"簡潔"部分意味着這些證明檢查起來很快。"非交互式"意味着最小的來回交互。老派的零知識技術需要對話。而這些則不需要。

到2025年(顯然)，零知識證明在簡單操作中表現出色。快速證明。極小的證明大小。由於所有工具和以太坊的支持，它們在採用競賽中取得了勝利。

不過有一個問題。這些證明需要一個“可信設置”——預先建立的公共參數。這就像設定遊戲規則。問題是？參與創建這些參數的人不多。中心化風險。糟糕。

研究人員正在嘗試解決這個信任問題。設置階段很重要，因爲任何知道所使用的隨機值的人都可以僞造看起來有效的證明。這是有害的。

關於“論點”部分——零知識證明在沒有強大計算能力的情況下大多是安全的。這讓一些人對量子計算機感到緊張。未來在這方面看起來不確定。

"知識"意味着證明者實際上需要了解他們所證明的事物。不允許僞造。

這些證明驗證快速且佔用數據空間少。對隱私和擴展性都很好。不錯。

零知識證明-STARKs速成課程

zk-STARKs 作爲更酷、更快的替代方案出現。不需要信任的設置！這就是透明度的 "T "所代表的含義。

他們通過哈希函數碰撞使用更簡單的對稱加密。這種方法放棄了零知識證明的復雜數學假設——無論如何，這些假設可能會受到量子攻擊的威脅。

一個大優勢？證明者和驗證者之間的通信保持不變，無論計算變得多復雜。使用零知識證明，更多的計算意味着更多的信息來回傳遞。總體數據更多。

2025年的研究表明，zk-STARKs的證明大小更大，但更好地處理更大的計算。它們似乎代表了這項技術的未來——可擴展、透明、抵抗量子攻擊。然而，zk-SNARKs今天仍然佔主導地位，因爲它們有成熟的基礎設施。

這兩項技術在隱私世界中正受到關注。在加密領域，它們可能會改變遊戲規則，甚至是革命性的。我們拭目以待。