隨著比特幣、區(qū)塊鏈、智能合約等概念的鋪開，越來越多的人關注到Web3領域的蓬勃發(fā)展。而在技術方面，也有許多開發(fā)者關注到支撐區(qū)塊鏈底層的密碼學協(xié)議。在這之中，零知識證明協(xié)議以其獨特的特性大放異彩，無論是在實現(xiàn)隱私保護，還是在實現(xiàn)Layer2性能擴容的zkrollup項目當中，都發(fā)揮著關鍵的作用。

零知識證明是一類算法的統(tǒng)稱，到目前為止，研究者發(fā)明了包括Plonk、Groth16、zkStark、Virgo、Orion、Foaks等等在內的許多種協(xié)議。不同的協(xié)議適用于不同的計算場景，復雜度和效率也各有不同，例如Foaks就以線性的證明時間和較小的證明長度為優(yōu)勢。

上述的每一種協(xié)議，協(xié)議目標是相同的，就是證明者（Prover）希望在不向驗證者（Verifier）透露任何關于自己的秘密的信息的情況下讓驗證者相信自己擁有秘密。sum-check protocol是很多協(xié)議的組件，最早在當中被提出。很多計算問題可以被轉化成sum-check protocol能處理的問題，從而生成證明。包括Foaks在內的不少協(xié)議的底層協(xié)議都基于sum-check protocol，在其上進行調整來實現(xiàn)。