不少人看了@zkSync新發(fā)的動(dòng)物園科普?qǐng)D文大呼懵圈，把動(dòng)物園比做電路circuit，把擁有特殊技能的動(dòng)物視為“邏輯門Gate”，把動(dòng)物們都開心的合影當(dāng)成“證明Proof”，這樣輸入電路的數(shù)據(jù)在不透露具體內(nèi)容的前提下，經(jīng)過(guò)一系列復(fù)雜計(jì)算，生成一個(gè)Proof，就完成一次零知識(shí)證明過(guò)程。來(lái)，我試著硬核科普一下：

動(dòng)物園對(duì)應(yīng)的是“電路”，電路其實(shí)是一系列邏輯門約束（加、減、乘、除等公式）的聚合，相當(dāng)于所有動(dòng)物們能力的一次集中表現(xiàn)，它也是構(gòu)成計(jì)算機(jī)的基本元素。因此傳入電路的“數(shù)據(jù)”一定可被套進(jìn)各種公式內(nèi)被執(zhí)行運(yùn)算。

在layer2 環(huán)境都是一些交易哈希值、賬戶、數(shù)據(jù)余額之類的數(shù)據(jù)，這些數(shù)據(jù)可以轉(zhuǎn)變成公式進(jìn)行計(jì)算，若不能公式化則需進(jìn)行其他編碼轉(zhuǎn)化讓其原始數(shù)據(jù)可以變成公式，這是電路執(zhí)行處理的前提。

各種動(dòng)物對(duì)應(yīng)電路里的邏輯門，在動(dòng)物園模式里，分別有：木箱——代表不公開顯示的數(shù)字，被稱之為“變量”；玻璃箱——代表公開顯示的數(shù)字，為“公開輸入”；石頭——代表無(wú)法移動(dòng)的數(shù)字，被視為“常數(shù)”；

斑馬具有比較兩個(gè)數(shù)是否“相等”的能力，結(jié)果相等斑馬就開心；鱷魚則表示“小于”，只有右邊的數(shù)小于左邊的數(shù)，鱷魚才會(huì)開心；蜘蛛代表更復(fù)雜的多選擇門，輸入0則返回一定是true，輸入1則返回是false；此外還可以讓河貍表示除法、松鼠指代百分比；毛毛蟲代表加法等等。不同的動(dòng)物代表不同的加減乘除運(yùn)算公式，動(dòng)物們開心或傷心代表公式運(yùn)算的結(jié)構(gòu)。

很多個(gè)動(dòng)物+不同種類的箱子組合起來(lái)就是一個(gè)電路，比如：要計(jì)算一個(gè)公式 2 x + 3 = Y，x代表木箱，Y代表石頭，2個(gè)木箱 和毛毛蟲、斑馬等前來(lái)工作，最后來(lái)驗(yàn)證該公式是否成立。注意，不用糾結(jié)為啥不同動(dòng)物具備不同能力，這就是電路元素工作基礎(chǔ)原理，是計(jì)算機(jī)執(zhí)行計(jì)算的基本規(guī)則。

一個(gè)復(fù)雜電路就是形形色色的動(dòng)物（邏輯門）和箱子（規(guī)則）共同構(gòu)建。

假設(shè)剛才輸入的公式2x+3 =Y成立了，相當(dāng)于斑馬 毛毛蟲等動(dòng)物都開心了，然后就會(huì)為該公式生成一個(gè)“Proof”，需要有一個(gè)角色能識(shí)別這個(gè)Proof是否準(zhǔn)確才行。因此，為了確保證明的可信性，動(dòng)物園管理員即電路的構(gòu)建者，模擬了一個(gè)特別的動(dòng)物叫Zeek，Zeek能看出其他動(dòng)物是否開心，在layer2系統(tǒng)中相當(dāng)于Verifier。

Zeek觀察動(dòng)物是否開心的過(guò)程其實(shí)就是Prover系統(tǒng)的驗(yàn)證過(guò)程，都開心了則驗(yàn)證通過(guò)，Proof證明才會(huì)真正通過(guò)上傳到主網(wǎng)，并最終確認(rèn)。當(dāng)然，動(dòng)物園成千上萬(wàn)的動(dòng)物，產(chǎn)生大量證明，Zeek不可能挨個(gè)看，因此Zeek也可以觀察千千萬(wàn)萬(wàn)個(gè)Zeek自己的分身狀態(tài)是否開心，這個(gè)過(guò)程就叫Recursive Proof 遞歸證明。

拍照的過(guò)程相當(dāng)于生成SNARK證明或KZG承諾的過(guò)程，而打印的底片則相當(dāng)于STARK\SNARK證明本身，動(dòng)物園的游客相當(dāng)于一個(gè)個(gè)進(jìn)入的Transaction交易，只有動(dòng)物開心合照才會(huì)完成并生成Proof證明，最終游客拿著照片出了動(dòng)物園留底證明才能被上鏈最終確定。

一個(gè)動(dòng)物園有很多動(dòng)物，不可能同時(shí)都開心并按照預(yù)定規(guī)則工作，有很多邏輯門，也難免會(huì)出現(xiàn)掉線等情況。這樣就會(huì)出現(xiàn)一些，擁堵卡頓以及報(bào)錯(cuò)的情況，因此會(huì)產(chǎn)生無(wú)效的狀態(tài)轉(zhuǎn)化，Under- Constrained，也就無(wú)法通過(guò)最終的驗(yàn)證。

以上。