Część 5 "Od 0 wiedzy do zerowej wiedzy" jest już dostępna. Jak kod staje się rzeczywiście możliwy do udowodnienia? Czym jest zkVM i dlaczego ma to znaczenie? 🧵

Systemy dowodów ZK działają na równaniach matematycznych. Programiści piszą kod. Zlikwidowanie tej luki wymagało kiedyś ręcznego pisania obwodów arytmetycznych. Potężne, ale tylko eksperci mogli to zrobić. zkVM-y to zmieniły. Piszesz normalny kod w Rust, otrzymujesz dowody. Nie potrzebujesz wiedzy o obwodach.

Pomyśl, jak rozwijał się rozwój AI. Przed TensorFlow musiałeś pisać niskopoziomowy kod GPU. Tylko specjaliści mogli budować sieci neuronowe. Frameworki zredukowały złożoność. Miliony programistów poszły za tym. zkVM robi to samo dla zero knowledge.

Nie wszystkie zkVM są takie same. Każdy zespół podejmuje decyzje architektoniczne w oparciu o to, na co optymalizuje. Niektóre priorytetują przejrzystość. Niektóre priorytetują tanie weryfikacje on-chain. Niektóre priorytetują szybkość dowodzenia. Nie można optymalizować wszystkiego. Kompromisy są nieuniknione.