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