前言

前言

圖片描述

一級標題

前言

二級標題

圖片描述

一級標題

一級標題

一級標題

從更廣義的角度來說，上述的過程我們可以理解為，由於驗證者（Layer 1 節點）計算能力有限，所以將這部分的計算代理給了證明者（Layer 2 節點）來執行，證明者完成了這個任務，需要返回結果給驗證者。從這個角度來說，我們可以說，零知識證明算法使得保障正確性的“計算代理”得以實現。從宏觀上這種計算代理的例子可以表現為zkRollup 這種形式的應用，具體到零知識算法當中，這種計算代理的思想也有各種應用。

一級標題

Code Switching

一級標題

一級標題

為什麼需要計算代理

一級標題

一級標題

一級標題

這一節介紹Orion 當中使用的Code Switching 技巧。 Orion 和FOAKS 都使用了Brakedown 作為多項式承諾方案，而Code Switching 是在Orion 當中命名的有證明者代替驗證者執行驗證計算的過程。

在FOAKS 當中同樣使用類似的技巧完成計算代理，值得一提的是，FOAKS 由於使用了Fiat-Shamir heuristic 技巧實現了非交互式證明。想要了解更多，讀者可以參考《如何將交互式證明改造為非交互式？ Fiat-Shamir Heuristic！ 》。所以FOAKS 的挑戰生成和Orion 所使用的Code Switching 方法不同，電路當中也需要加入新的等式：

結語

結語

參考文獻

參考文獻

1.Orion： Xie, Tiancheng, Yupeng Zhang, and Dawn Song. "Orion: Zero knowledge proof with linear prover time." Advances in Cryptology–CRYPTO 2022: 42 nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15 – 18, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.