Spațiul de coworking Legea lui Murphy - este super liniștit și apoi când începi apelul, toți ceilalți o fac.

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.

"Logica acestui videoclip a fost testată și a ieșit negativ" (comentariu aleatoriu pe youtube mi-a plăcut.)

Din discuția actuală sbc a lui David Tse - o statistică frumoasă despre cât de mult btc este în prezent pe punți (de încredere)

Gigabrains, asamblați. @liameagen (@AlpenLabs) prezintă astăzi o cercetare în colaborare cu @rel_zeta_tech la SBC 25. Live la 4pm PT, nu rata.

Ce se întâmplă dacă adevărata barieră în calea adoptării în masă nu este scalabilitatea - ci absența totală a confidențialității? Co-fondatorul @aztecnetwork, Joe Andrews, ni s-a alăturat la NoirCon 2 pentru a urmări călătoria de șapte ani de la ambițiile timpurii DeFi până la construirea unui L2 complet descentralizat, care să păstreze confidențialitatea. În acest interviu, Joe împărtășește povestea originii Aztec, principiile de bază de proiectare din spatele confidențialității @NoirLang și programabile și modul în care rețeaua de testare a rețelei pune bazele aplicațiilor ZK din lumea reală - de la dovada pașaportului la atestatele open banking. Disponibil și pe YouTube:

TIL din @ronrothblum că puteți calcula toate n eq(x, i) Lagrange în n + ~\log_2{n} înmulțiri de câmp (și o inversare) spre deosebire de 2n👇

Aztec a livrat Adversarial Testnet săptămâna aceasta. Am testat rețeaua și am îndoit câteva balamale în acest proces. Dar ușa este deschisă. Acum este șansa ta de a păși. Începeți aici:

Sfat pentru studenții absolvenți: Dacă nu intrați în conflicte mărunte cu alți cercetători care lucrează la întrebări similare, o faceți greșit.

urmărind discuțiile de la atelierul de demonstrații de la Berkeley și fericit să văd că, de asemenea, în cercurile teoretice devine acceptat să spui zkzk ca însemnând că ai de fapt zk.