理解 zkSync 的零知識證明動物園類比

根據PANews報導，zkSync最近發布了一個教育插圖，利用動物園的類比來解釋零知識證明的概念。在動物園的類比中，電路對應於一係列邏輯閘約束（加法、減法、乘法、除法等），聚合了所有動物的能力。為了保證證明的可信度，在Layer2係統中引入了一種名為Zeek的特殊動物作為驗證者。