兩種零知識證明 1⃣ 交互式零知識證明 ▰ 驗證者出題（挑戰） ▰ 證明者根據挑戰回 ▰ 多輪來回，驗證者確認證明有效 2⃣ 非交互式零知識證明 ▰ 證明者只需要生成一個文件（proof） ▰ 驗證者拿到它就能獨立驗證，不需要往返交互 ZK 證明的三個特性 ▰ 完整性-Completeness 如果命題是真的，證明一定能通過驗證 ▰ 可靠性-Soundness 如果命題是假的，沒人能造出假證明通過驗證 ▰ 零知識性- Zero Knowledge 驗證者無法從證明中推導出秘密的輸入 因為區塊鏈的屬性，實際應用中基本都是非交互式零知識證明。 非交互式零知識證明是用一次證明者的自我隨機挑戰來確定證明的真實性。 @brevis_zk 學習筆記 ～