🧵 Negli ultimi mesi, abbiamo pubblicato una serie di post sul blog che esplorano le sfide tecniche e le idee che danno forma alle prove a conoscenza zero, alla crittografia e alla sicurezza. Questo thread raccoglie le ultime novità, dalla ricerca di bug utilizzando l'intelligenza artificiale agli SNARK 👇 post-quantistici
Di recente abbiamo scoperto un problema di solidità sottile ma importante in Halo2, che abbiamo chiamato bug di collisione delle query. Colpisce alcuni circuiti limite ed era presente in versioni ampiamente utilizzate, tra cui l'implementazione principale di Zcash e il fork di PSE. 👇🏼