什麼是 Zk-SNARKS？

Zk-SNARKs 代表「零知識簡潔非互動式知識論證」。它是零知識密碼學的一種形式，可以證明擁有資訊（例如私鑰），而無需透露該訊息，也不需要證明者和驗證者之間的交互，從而確保用戶的隱私。

「零知識」是指一方（「證明者」）能夠向另一方（「驗證者」）證明秘密參數（「見證者」）的知識，而無需向驗證者或其他任何人透露見證者，除了見證者已驗證。

「簡潔」意味著零知識證明可以在幾毫秒內得到驗證，因為證明僅由幾百個位元組組成。 「非互動式」是指證明者只需向驗證者發送訊息。 「論證」是用來表示這些證明的術語，「知識」是指證明者擁有的秘密參數。

在區塊鏈中進行互動時，用戶可能必須證明滿足某些條件才能完成交易。例如，他們需要證明自己有足夠的資金來完成交易，但又不能透露錢包裡有多少錢的資訊。

當在區塊鏈中證明一個人的身份時，Zk-SNARK 也很有用。例如，如果B想要驗證A的身份，他們可以向A發送一條秘密訊息而不告訴他們訊息是什麼，並要求A使用他們的私鑰來解碼該訊息。然後 A 可以將訊息傳回 B，證明其身分。

Zk-SNARKs 僅在區塊鏈節點上記錄交易的證明，保護發送者、接收者的身份以及與交易相關的其他詳細資訊。 Zcash 是第一個廣泛使用的加密貨幣，它使用 zk-SNARK 來實現私密交易。