A16z rilascia Lattice Jolt mentre Cardano amplia la ricerca ZK post quantistica

A16z crypto ha introdotto Lattice Jolt, sostituendo il precedente sistema di impegni polinomiali su curva ellittica di Jolt con una costruzione basata su reticoli progettata per la sicurezza post quantistica.

Il fondatore di Cardano Charles Hoskinson ha risposto direttamente all’annuncio di Justin Thaler, scrivendo, “Lol, addio al mio fine settimana. Bel lavoro.” La sua reazione arriva mentre Input Output Research prosegue il lavoro su primitive crittografiche correlate attraverso il programma di ricerca Cardano Vision, insieme a una nuova infrastruttura per la verifica di prove a conoscenza zero su Cardano Layer 1.

Lattice Jolt sostituisce il suo schema di impegno su curva ellittica

Jolt è uno zkVM open source progettato per dimostrare l’esecuzione di programmi RISC-V. Un verificatore può controllare una prova crittografica compatta invece di ripetere l’intero calcolo.

La versione precedente utilizzava Dory, uno schema di impegno polinomiale basato sulla crittografia a curve ellittiche. Lattice Jolt lo sostituisce con Akita, uno schema di impegno basato su reticoli costruito attorno all’ipotesi Module-SIS.

Akita è stato sviluppato dai ricercatori di LayerZero insieme a ricercatori della Carnegie Mellon University, della University of Southern California e di a16z crypto.

Secondo i benchmark di a16z, Lattice Jolt elabora oltre due milioni di cicli RISC-V a 64 bit al secondo su una CPU. La generazione e la verifica delle prove sono circa da due a tre volte più veloci rispetto alla precedente versione basata su curve, mentre le dimensioni delle prove restano sotto i 100 KB.

Il backend GPU Apple Metal supera i dieci milioni di cicli al secondo sull’hardware MacBook, mentre i requisiti di memoria del prover sono stati ridotti a circa 200 byte per ciclo.

La ricerca su Cardano include SNARK basati su reticoli

Input Output Research aveva già incluso la crittografia basata su reticoli nel programma di ricerca a conoscenza zero di più lungo periodo di Cardano.

Il lavoro copre SNARK basati su reticoli, schemi di folding e impegni polinomiali, supportato da una Systematization of Knowledge che esamina il folding basato su reticoli e le relative costruzioni di prova.

Gli impegni polinomiali sono componenti fondamentali di molti sistemi di prova moderni. Akita applica a quel livello una costruzione basata su reticoli, mentre IOR sta studiando primitive crittografiche simili come parte della sua ricerca ZK post quantistica.

Il programma più ampio di Cardano copre anche prove ricorsive e tecniche di folding progettate per comprimere calcoli più grandi in prove succinte. IOR ha descritto l’architettura ZK prevista come modulare, consentendo ai componenti crittografici di evolvere man mano che diventano disponibili nuove costruzioni.

La risposta di Hoskinson al rilascio di Lattice Jolt aggiunge un collegamento diretto a Cardano a uno sviluppo che già opera nello stesso ambito di ricerca.

Cardano costruisce l’infrastruttura di verifica ZK su Layer 1

Il lavoro di Cardano a conoscenza zero si sta anche spostando verso un’infrastruttura a livello di implementazione.

Nel suo aggiornamento di metà 2026, Input Output Research ha riportato una nuova infrastruttura di verifica ZK per Cardano Layer 1, inclusi strumenti per prove Groth16 e lavori di valutazione del costo della verifica di Halo2 on chain.

La seconda metà del 2026 prevede ulteriore lavoro sulla sicurezza post quantistica, prove succinte e ZK rollup, insieme alla prosecuzione della ricerca sulle primitive crittografiche necessarie a supportarle.

Lattice Jolt dimostra ora un sistema di impegno basato su reticoli all’interno di uno zkVM funzionante ad alte prestazioni, con risultati pubblicati che coprono le dimensioni delle prove, uso di memoria e velocità di generazione delle prove. Il programma di Cardano sta avanzando grazie alla ricerca post quantistica e agli strumenti di verifica su Layer 1, mentre la reazione di Hoskinson pone il nuovo rilascio di Jolt direttamente sul radar del fondatore di Cardano.