Iată discursul nostru de la Google ZK Summit de săptămâna trecută: Criptografie de mare viteză / @OmerShlomovits H/t Mauro pentru înregistrare, Google pentru găzduire.

exact acum un an m-am alăturat @Ingo_zk. În acest timp, am lucrat la multe proiecte. Dar două sunt speciale: gheța-snark și gheța-halo2. Când am aflat prima dată despre ZK, încercam să înțeleg ce este R1CS, cum funcționează Groth16, cum să scriu circuite Circom. Astăzi sunt autorul celui mai rapid Groth16 Prover și cel mai rapid (cred) Halo2 Prover. icicle-snark este o nouă implementare groth16 folosind ICICLE și scrisă în Rust. Este de 160 de ori mai rapid decât SNARKJS și de 30 de ori mai rapid decât Rapidsnark pe 5090. icicle-halo2 este o bifurcație a @ezklxyz-halo2 cu integrare ICICLE care oferă un boost de până la 25x folosind nuclee de evaluare a porților. În general, a fost un an distractiv de învățare, construcție și expediere.

Cum am ajuns matematician? (poveste lungă) Când eram copil, tata mi-a spus "familia noastră nu este bună la matematică" și eu, preferând fotbalul și întâlnirile decât orice implică munca creierului, am acceptat acest lucru ca pe un adevăr. Ca student am studiat biologie și informatică, pentru a intra în neuroștiințe (am ajuns să mă căsătoresc cu fiica unuia dintre stimații mei profesori. Dar asta este o poveste diferită). Mi-am dat seama că îmi plac foarte mult cursurile de matematică și urăsc orice aplicat - fie că este vorba de programare sau laboratoare de biologie. De fapt, în fiecare deschidere de semestru mergeam la decanul de licență de la acea vreme (Prof. @noamnisan, acum consilier la StarkWare) pentru a negocia înlocuirea cursurilor de programare cu mai multă matematică (motiv pentru care nu știu programare până în ziua de azi; chiar dacă Intro to C++ a fost primul curs pe care l-am predat ca profesor asistent. Dar și asta este o poveste diferită.) Apoi, ca student absolvent, am vrut să intru în Machine Learning, dar râvnitul profesor (Tali Tishby, RIP) avea deja un gazzilion de studenți. Eram la un curs despre complexitatea computațională predat de un postdoctorand, când a fost înlocuit pentru o prelegere de un anume Avi Wigderson. Nu știam nimic despre el la acea vreme (poza lui a apărut pe afișe, deoarece tocmai a primit Premiul Nevanlinna, dar ca tânăr absolvent prost nu știam ce înseamnă asta). Avi a vorbit despre modul în care unii oameni încearcă acum să demonstreze oficial că este imposibil să rezolve conjectura P vs. NP. Și am fost hipnotizat de asta. Așa că i-am spus: Vreau să studiez asta ca pe proiectul meu de masterat. A început o perioadă de curtare. Avi nu era sigur că sunt potrivit pentru el (notele mele la matematică erau ok, dar nu am fost niciodată genul de elev cu nota A). Așa că mi-a scăpat o carte despre complexitatea demonstrației, spunând: Citește-o și rezumă-mi. Am citit acea carte de 3 ori din scoarță în scoarță și nu am înțeles un cuvânt dincolo de capitolul introductiv (astăzi știu că este mai probabil vina autorului, nu a propriei mele prostii. Dar asta este o altă poveste). Câteva săptămâni mai târziu, încă neînțelegând un cuvânt despre subiect, Avi a cerut să explice o lucrare recentă despre "gradul și dimensiunea probelor de calcul polinomial". Am stat în casa lui, i-am explicat. La un moment dat a întrebat: "De ce nu poate fi aplicat acest lucru sistemului de verificare a rezoluției?" (Rezoluția este cel mai important și de bază sistem de demonstrare a calculului propozițional). M-am uitat la ochi, m-am gândit puțin și am spus "Oh, dar se poate, iată cum" și am aplicat aceeași metodă de demonstrație la Resolution. Avi a fost foarte entuziasmat. Am spus "hai să trimitem un e-mail autorilor lucrării anterioare", gândindu-mă că dacă înțeleg aceste lucruri, nu pot fi mai mult decât demne de e-mail. Avi a insistat să o scriem ca o lucrare. La fiecare câteva zile încercam să-l conving să renunțe și să trimită un e-mail, dar era de neclintit și l-am ascultat. Bine că am făcut-o. A ajuns să fie cea mai citată și neputincioasă lucrare a mea înainte de cele STARK/SNARK. După acea lucrare, au apărut alte câteva. Cu fiecare, eram sigur că este doar o observație demnă de e-mail, nu Deep Math. Am văzut toate celelalte hârtii, care erau atât de greu de înțeles și, prin comparație, propriile mele lucruri erau atât de clare și simple. Mi-a luat mulți ani să-mi dau seama că așa progresează matematica. Petreci mult timp internalizând niște concepte teoretice și apoi într-o zi "le vezi". Și apoi vi se pare clar și simplu. Dar este clar și simplu doar pentru tine. Pentru alții, este complicat. Astăzi, când trebuie să mă uit înapoi la unele dintre lucrările mele anterioare, mă trezesc strâmbându-mă, scărpinându-mă în cap și spunând "la naiba, asta e o chestie serioasă, cum au venit cu asta?" :-) După acele descoperiri inițiale în matematică, Avi mi-a oferit să nu fac doar un masterat, ci de fapt un doctorat, așa că am ajuns informatician teoretic (care este un fel de matematician). SFÂRŞIT.