讓我們來解釋一下 ZK: 📚 ZK 代表零知識,它解鎖了兩個超能力:隱私和擴展性。 ZK 對我來說意義重大,既是 ZK-STARKs 的共同發明者,也是兩個 ZK 項目的共同創始人:@Zcash(專注於隱私)和 @StarkWareLtd(專注於擴展性,現在也專注於隱私)
@Zcash @StarkWareLtd ZK 是如何運作的? 有兩種類型的實體:證明者和驗證者 證明者負責繁重的工作: - 註冊所有交易的數據 - 處理數據 - 更新系統的狀態(意味著所有交易後的餘額) - 生成狀態更新和證明
@Zcash @StarkWareLtd 一個典型的證明者聲明說:"我,證明者,已經從狀態 A 開始,處理了 1,000,000 筆交易,並基於這些,達到了狀態 B"。 這個證明是一系列可以檢查的數字和哈希,用以證明整個聲明的完整性。
@Zcash @StarkWareLtd 驗證者(通常位於鏈上)檢查證明,使用數學和密碼學來檢查聲明在被接受之前是否為真。 我們多年來證明的定理表明,驗證者總是接受真實的聲明,並且從不接受虛假的聲明。
@Zcash @StarkWareLtd 一個惡意的證明者如果想說服驗證者接受一個虛假的陳述,必須進行與在加密哈希函數中找到碰撞相似的工作,而這在我們的太陽冷卻之前是無法做到的。
@Zcash @StarkWareLtd 為什麼 ZK 對隱私有好處? 驗證者不會通過處理其證明的數據來檢查陳述的正確性。因此,數據可以在隱藏於驗證者的情況下被驗證為有效。
@Zcash @StarkWareLtd 為什麼 ZK 對擴展性有好處? 驗證者不需要重新執行證明者所做的計算。 證明者可以處理 100 萬筆交易,但驗證者不需要重複這些交易以驗證其正確性。檢查證明就足夠確保它們的有效性。
1.67K