概要
ZK-STARK（零知識的可伸縮性透明知識論證）是一種密碼證明技術，使用戶可以與第三方共享經過驗證的資料或執行計算，而無需將資料或計算透露給第三方，以公開可驗證的方式提供零知識證明，用更簡單的術語來說，零知識證明可以證明某件事是正確的，而不必透露它的確切證據，例如，ZK-STARK允許Alice使用零知識密碼證明來驗證Bob的銀行資訊，而不是向Alice透露機密資訊，
在創建ZK-STARK之前，ZK-SNARK用于創建ZK證明系統，但要求一個或多個受信任方初始設定ZK證明系統，這會引入那些受信任方的漏洞，從而損害整個系統的隱私，ZK-STARK通過消除對可信設定的需求來改進此技術，
使用STARK的擴展優勢
STARK改善了無許可區塊鏈的兩個問題：可伸縮性和隱私性，STARK技術的先驅StarkWare Industries當前對ZK-STARK的研究首先關注可伸縮性，然后關注隱私，
STARK通過允許開發人員將計算和存盤移出鏈來提高可伸縮性，鏈外服務將能夠生成STARK證明，以證明鏈外計算的完整性，然后將這些證明放回鏈上，供任何感興趣的一方驗證計算，使用STARK將大量計算作業移出鏈下，可以使現有的區塊鏈基礎設施成倍地擴展，同時不信任地保持計算完整性，
ZK-SNARK和ZK-STARK之間的區別
- ZK-SNARK需要一個受信任的設定階段，而ZK-STARK使用公開可驗證的隨機性來創建不可信任的可驗證計算系統，
- 與ZK-SNARK相比，ZK-STARK在計算速度和大小方面更具可伸縮性，
- ZK-SNARK由于使用了加密技術，因此很容易受到量子計算機的攻擊，ZK-STARK目前具有量子抗性，
資源資源
- ZK-STARKs白皮書
- libSTARK -ZK-STARK系統的C ++庫
- StarkWare Industries網站-開拓ZK-STARK的領先研究人員
- StarkWare Industries博客
- Vitalik關于ZK-STARK的系列-第1部分，第2部分，第3部分
- STARK在Web3 Summit 2018上的演講-Eli Ben-Sasson和Avihu Levy展示了Stark vs.Snark和Bulletproofs
- ZK-STARKS上的Adam Luciano- STARK白皮書的簡單分類以及與SNARK的區別
- 零知識FM-為開發人員和希望了解ZK技術的人們制作的播客
轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/197296.html
標籤：python
上一篇：「go-micro」學習筆記1——Micro 與 Go-Micro
下一篇：Go實作md2億次加密