Prover和Verifier之間的計算代理思想是零知識證明的核心內容之一,是調節證明者和驗證者工作量于復雜度之間取舍(trade-off)的工具。不同的零知識證明算法本質的不同在于不同程度的計算代理;高度的代理雖然會使驗證的計算容易,但是卻可能使得證明的復雜度高,從而導致證明耗時長,或是生成的證明大小較大;反之,低程度的代理會使得驗證者的開銷較大。
圖1: 零知識證明的計算代理程度影響
您已閱讀9%(194字),剩余91%(2050字)包含更多重要信息,訂閱以繼續探索完整內容,并享受更多專屬服務。