Argomenti di tendenza
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Srinath Setty
Ricercatore Senior Principale presso Microsoft Research (@msftresearch)
Entusiasta di parlare di come Spartan, NeutronNova e BlindFold abilitano prove ZK veloci per compiti di dimostrazione lato client!
16 nov, 03:59
zkID e Spotlight del Relatore del Giorno sulla Prova Lato Client ✨
Srinath Setty @srinathtv di @microsoft research parlerà di:
Prova zero-knowledge lato client con Spartan e NeutronNova 🚀
Registrati qui ora per assicurarti il tuo posto!
3,81K
Presentiamo Vega, un sistema di prove ZK basato su folding per compiti di prova lato client (ad es., età superiore ai 18 anni, prova di umanità)!
Vega è veloce con ~200 ms di tempo di prova e 50 ms di tempo di verifica per una prova ZK di età basata su mDL end-to-end (incluso il binding del dispositivo)!
9,48K
Viaggio verso i provers zkSNARK più veloci:
Sum-check’92
➜ IP per circuiti a bassa profondità (GKR/CMT’12)
➜ SNARK per circuiti a bassa profondità (vSQL’17)
➜ SNARK per circuiti generali+lookups (Spartan’19)
➜ zkVM tramite lookups (Lasso+Jolt’23, Twist+Shout’25)
Sum-check alimenta anche il folding: Neo!
6 nov, 22:05
1/ Nuovo sondaggio: Sum-check è tutto ciò di cui hai bisogno.
Ho appena pubblicato un sondaggio sui principi di design dietro Jolt e SNARKs a prova rapida in generale. È probabilmente la prima volta che le idee fondamentali sono state scritte tutte in un unico posto.
3,27K
Principali
Ranking
Preferiti