A16z izda Lattice Jolt, medtem ko Cardano širi postkvantne raziskave ZK

A16z crypto je predstavil Lattice Jolt, ki nadomešča Joltovo prejšnjo shemo polinomskih zavez na eliptičnih krivuljah s konstrukcijo na rešetkah, zasnovano za postkvantno varnost.

Ustanovitelj Cardana Charles Hoskinson se je neposredno odzval na objavo Justina Thalerja in zapisal, “Lol, adijo moj konec tedna. Dobro delo.” Njegova reakcija prihaja, ko Input Output Research nadaljuje delo na sorodnih kriptografskih primitivih v okviru raziskovalnega programa Cardano Vision, vzporedno z novo infrastrukturo za preverjanje dokazov ničelnega znanja na Cardano Layer 1.

Lattice Jolt nadomesti zavezo na eliptičnih krivuljah

Jolt je odprtokodni zkVM, zasnovan za dokazovanje izvajanja programov RISC-V. Preveritelj lahko preveri kompakten kriptografski dokaz namesto da ponavlja celoten izračun.

Prejšnja različica je uporabljala Dory, shemo polinomskih zavez, ki temelji na kriptografiji eliptičnih krivulj. Lattice Jolt jo nadomesti z Akita, shemo zavez na rešetkah, zgrajeno okoli predpostavke Module-SIS.

Akito so razvili raziskovalci LayerZero skupaj z raziskovalci s Carnegie Mellon University, University of Southern California in a16z crypto.

Po merilih a16z Lattice Jolt na CPU obdela več kot dva milijona 64 bitnih ciklov RISC-V na sekundo. Dokazovanje in preverjanje potekata približno dva do trikrat hitreje kot v prejšnji različici na krivuljah, medtem ko velikosti dokazov ostajajo pod 100 KB.

Njegov zaledni del za Apple Metal GPU preseže deset milijonov ciklov na sekundo na strojni opremi MacBook, medtem ko so bile zahteve pomnilnika za dokazovalnik zmanjšane na približno 200 bajtov na cikel.

Raziskave Cardana vključujejo SNARK dokaze na rešetkah

Input Output Research je že vključil kriptografijo na rešetkah v dolgoročnejši raziskovalni program ničelnega znanja za Cardano.

Delo zajema SNARK dokaze na rešetkah, zlagalne sheme in polinomske zaveze, pri čemer ga podpira Systematization of Knowledge, ki preučuje zlaganje na rešetkah in sorodne konstrukcije dokazov.

Polinomske zaveze so osrednje komponente mnogih sodobnih dokaznih sistemov. Akita na tej ravni uporablja konstrukcijo na rešetkah, medtem ko IOR preučuje podobne kriptografske primitive kot del svojih postkvantnih raziskav ZK.

Širši program Cardana zajema tudi rekurzivne dokaze in tehnike zlaganja, zasnovane za stiskanje večjih izračunov v jedrnate dokaze. IOR opisuje načrtovano arhitekturo ZK kot modularno, kar omogoča, da se kriptografske komponente razvijajo, ko postanejo na voljo nove konstrukcije.

Hoskinsonov odziv na izdajo Lattice Jolt dodaja neposredno povezavo s Cardanom k razvoju, ki že deluje v istem raziskovalnem področju.

Cardano gradi infrastrukturo za preverjanje ZK na Layer 1

Cardanovo delo na področju ničelnega znanja se seli tudi v infrastrukturno raven izvedbe.

V posodobitvi sredi leta 2026 je Input Output Research poročal o novi infrastrukturi za preverjanje ZK za Cardano Layer 1, vključno z orodji za dokaze Groth16 in delom, ki ocenjuje strošek preverjanja Halo2 na verigi.

Druga polovica leta 2026 vključuje nadaljnje delo na postkvantni varnosti, jedrnatih dokazih in ZK rollupih, skupaj z nadaljevanjem raziskav kriptografskih primitivov, potrebnih za njihovo podporo.

Lattice Jolt zdaj prikazuje shemo zavez na rešetkah znotraj delujočega visoko zmogljivega zkVM, z objavljenimi rezultati o velikosti dokazov, porabi pomnilnika in hitrosti dokazovanja. Cardanov lasten program napreduje skozi postkvantne raziskave in orodja za preverjanje na Layer 1, medtem ko Hoskinsonova reakcija novo izdajo Jolt postavlja neposredno na radar ustanovitelja Cardana.