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