Cryptography
什麼是 zkSNARK？它們是如何工作的？
從我對這個概念的短暫接觸來看，zkSNARKs似乎是一種零知識密碼學。
zkSNARKs 能為乙太坊帶來什麼？
我看過這樣的項目，但仍然無法掌握它對平台的適用性。
我不會詳細介紹加密貨幣的詳細資訊，因為我對此了解不多，並且需要正確解釋頁面和頁面。但是讓我們試試吧！！！
ZKSnarks 也稱為：零知識簡潔非互動式知識論證，是快速計算的零知識證明，允許您在不提供任何資訊甚至不需要證明者和驗證者之間的任何互動的情況下展示事物。
讓我們看一個例子。
- 假設 Bob 想向 Alex 證明他知道某個問題的答案。
- Bob 將從 TEE（信任執行環境）接收值 S 和 CRS。
- 如果 Bob 知道 Alex 要求的問題的解決方案，他將能夠證明幾個多項式函式之間的可分性。
- 如果他有正確的解決方案，則驗證者實現的配對減法運算的輸出為1，否則為0。
太……太難總結了，但它看起來像這樣：
- 任何數學問題都可以在電路上進行總結（例如編譯的 C 程式碼）。
- 該電路通過提取其多項式函式在二次算術程序（QAP）上進行轉換。
- 同時，可以看作是一個計算模型。
有了所有這些，我們就能夠建構 Snarks，讓我們無需獲取解決方案知識且無需證明者和驗證者之間的互動即可驗證證明。
這是所涉及的數學的視覺化表示：
為什麼這一切對乙太坊來說很有趣？
因為節點將能夠在****不知道任何資訊的情況下驗證一個塊的正確性（例如沒有雙重花費）。這就像密碼學家的夢想，在不知道任何資訊的情況下評估聲明。
這意味著所有地址、餘額和更多資訊都將被完全加密，但節點仍然可以在不知道任何資訊的情況下進行評估**（超級快，因為 snark 是簡潔的證明） 。**
Snarks 和乙太坊的問題在於，Snarks 在 Zcash 上工作，因為只有交易。在只支持交易的區塊鏈上實現這些 Snarks 更加簡單。但在乙太坊的案例中，涉及到 SmartContracts.. 實現 ZKSnarks 要困難得多（我不知道確切原因，但猜想 EVM 有問題）。
希望它有所幫助，如果它令人困惑，很抱歉，但很難解釋。
