Questo è un traguardo cruciale per la verifica formale dei prover zk — un passo essenziale per stabilire fiducia e verificabilità nell'ecosistema ZK.

Questa versione è completamente open source, con sicurezza a 128 bit e prova i blocchi #ethereum in tempo reale.

Sono contento di vedere che Jordy Baylina sta chiedendo uno standard condiviso: sicurezza a 128 bit. Tuttavia, mi sento obbligato ad aggiungere: conta solo se è matematicamente verificabile, cioè senza fiducia! Un setup fidato, per me, è fondamentalmente sicurezza a 80 bit.

Un grande grazie a tutti coloro che hanno partecipato all'organizzazione di @EthCC — costantemente la migliore conferenza su Ethereum, anno dopo anno. 🙏💜

We're hosting our first ZisK community call. Session focused to devs working on real-time proving. What to expect: – Deep dive into ZisK architecture and constraint system – Live Q&A with @jbaylina – Hands-on examples of working with ZisK Register now :

Ho trascorso una splendida notte @EthCC con persone molto più intelligenti di me: l'architetto di @ethereum @drakefjustin e il ZKatooor @jbaylina (membro del gruppo white hat DAO di ethereum e, se non sbaglio, anche del hack di parity). Grazie @ekang426 per aver organizzato una cena fantastica!

Presso @ziskvm, stiamo ora dimostrando i blocchi di Ethereum in tempo reale — open source e in esecuzione su infrastrutture sempre più efficienti. È un traguardo precoce ma significativo. Unisciti a me oggi alle 13:00 @ EthCC, Redford Stage per saperne di più. #EthCC #ZK #Ethereum #zkVM @eth_proofs

Post incredibile che spiega i trucchi per ottenere la generazione di tracce RISC-V a 1,5 GHz.

Questo è ZisK, lo zkVM che vuole essere standard, con @jbaylina in prima linea

La leggenda di Ethereum @jbaylina ha gettato le basi per un mondo più sicuro e privato utilizzando la tecnologia zk. Noi di @Vocdoni ci siamo affidati ai suoi sviluppi fin dall'inizio per portare il voto digitale sicuro alle masse. Ora sta lanciando un nuovo capitolo con @ziskvm, buona fortuna Jordi!