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

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

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