Část 5 z "Od nulových znalostí k nulovým znalostem" je dostupná. Jak se kód vlastně stává dokazatelným? Co je to zkVM a proč je to důležité? 🧵

ZK důkazové systémy fungují s matematickými rovnicemi. Vývojáři píší kód. Překlenutí této mezery dříve vyžadovalo ruční psaní aritmetických obvodů. Mocné, ale dokázali to jen odborníci. zkVMs to změnily. Napište normální Rust, získejte korektury. Není potřeba žádná znalost obvodů.

Zamyslete se, jak se vývoj AI vyvíjel. Před TensorFlow jste museli psát nízkoúrovňový kód pro GPU. Pouze specialisté mohli vytvářet neuronové sítě. Rámce abstrahovaly složitost. Následovaly miliony vývojářů. zkVM dělají totéž bez jakýchkoli znalostí.

Ne všechny zkVM jsou stejné. Každý tým dělá architektonická rozhodnutí na základě toho, na co optimalizuje. Někteří kladou důraz na transparentnost. Někteří upřednostňují levné on-chain ověření. Někteří kladou důraz na prokázání rychlosti. Nemůžete optimalizovat na všechno. Kompromisy jsou nevyhnutelné.