🧵 În ultimele luni, am publicat o serie de postări pe blog care explorează provocările tehnice și ideile care modelează dovezile zero-knowledge, criptografia și securitatea. Acest subiect rotunjește cele mai recente, de la găsirea de bug-uri folosind AI până la SNARK-uri 👇 post-cuantice
Am descoperit recent o problemă subtilă, dar importantă, de soliditate în Halo2, pe care am numit-o bug-ul de coliziune a interogărilor. Afectează anumite circuite edge-case și a fost prezent în versiuni utilizate pe scară largă, inclusiv implementarea principală Zcash și fork-ul PSE. 👇🏼
