for nøyaktig ett år siden begynte jeg @Ingo_zk. I løpet av den tiden har jeg jobbet med mange prosjekter. Men to er spesielle: istapp-snark og istapp-halo2. Da jeg først lærte om ZK, prøvde jeg å forstå hva som er R1cs, hvordan Groth16 fungerer, hvordan man skriver circom-kretser. I dag er jeg forfatter av den raskeste Groth16 Prover og raskeste (antar jeg) Halo2 Prover. icicle-snark er en ny groth16-implementering som bruker ICICLE og er skrevet i Rust. Det er 160 ganger raskere enn Snarkjs og 30 ganger raskere enn RapidSnark på 5090. icicle-halo2 er en forgrening av @ezklxyz-halo2 med ICICLE-integrasjon som gir opptil 25x bevisforsterkning ved bruk av gateevalueringskjerner. Totalt sett har det vært et morsomt år med læring, bygging og frakt.

Hvordan endte jeg opp som matematiker? (lang historie) Som barn sa faren min til meg "familien vår er ikke god i matte", og jeg, som foretrakk fotball og dating fremfor alt som involverte hjernearbeid, aksepterte dette som sannhet. Som bachelor studerte jeg biologi og data, for å gå inn i nevrovitenskap (jeg endte opp med å gifte meg med datteren til en av mine anerkjente professorer. Men det er en annen historie). Jeg innså at jeg virkelig likte mattekursene, og hatet alt som ble brukt - det være seg programmering eller biologilaboratorier. Faktisk gikk jeg hver semesteråpning til dekanen for lavere grad på den tiden (prof. @noamnisan, nå rådgiver for StarkWare) for å forhandle om å erstatte programmeringskurs med mer matematikk (det er grunnen til at jeg ikke kan programmering før i dag; selv om Intro til C++ var det første kurset jeg underviste som assisterende professor. Men det er også en annen historie.) Så, som hovedfagsstudent, ønsket jeg å gå inn i maskinlæring, men den ettertraktede professoren (Tali Tishby, RIP), hadde allerede en gazzilion-student. Jeg satt på et kurs om beregningskompleksitet undervist av en postdoktor, da han ble erstattet for en forelesning av en Avi Wigderson. Jeg visste ingenting om ham på den tiden (bildet hans dukket opp på plakater, siden han nettopp mottok Nevanlinna-prisen, men som en dum ung doktorgradsstudent visste jeg ikke hva det betyr). Avi snakket om hvordan noen folk nå prøver å formelt bevise at det er umulig å avgjøre P vs. NP-formodningen. Og jeg ble fascinert av dette. Så jeg sa til ham: Jeg vil studere dette som mitt MSc.-prosjekt. En periode med kurtisering startet. Avi var ikke sikker på om jeg passet godt for ham (mattekarakterene mine var ok, men jeg var aldri den rette A-studenttypen). Så han slapp en bok om beviskompleksitet på meg, og sa: Les og oppsummer den for meg. Jeg leste den boken 3 ganger fra perm til perm og forsto ikke et ord utover introkapittelet (i dag vet jeg at det mer sannsynlig er forfatterens feil, ikke min egen dumhet. Men det er en annen historie). Noen uker senere, fortsatt uten å forstå et ord om emnet, ba Avi om å forklare en nylig artikkel om "grad og størrelse av polynomiske kalkulusbevis". Vi satt hjemme hos ham, forklarte jeg. På et tidspunkt spurte han: «Hvorfor kan ikke dette brukes på løsningsbevissystemet?» (Oppløsning er det viktigste og mest grunnleggende utsagnsregningsbevissystemet). Jeg myste, tenkte litt og sa "Å, men det kan, her er hvordan", og brukte den samme bevismetoden på Resolution. Avi ble veldig begeistret. Jeg sa "la oss sende en e-post til forfatterne av den forrige artikkelen", og tenkte at hvis jeg forstår disse tingene, kan det egentlig ikke være mer enn e-postverdig. Avi insisterte på at vi skrev det opp som et papir. Med noen dagers mellomrom prøvde jeg å overbevise ham om å droppe det og bare sende en e-post, men han var urokkelig, og jeg lyttet. Bra jeg gjorde det. Det endte opp som min mest siterte og impotante artikkel før STARK/SNARK-artiklene. Etter den artikkelen kom noen andre. Med hver av dem var jeg sikker på at det bare er en e-postverdig observasjon, ikke Deep Math. Jeg så alle disse andre papirene, som var så vanskelige å forstå, og til sammenligning var mine egne ting så klare og enkle. Det tok meg mange år å innse at det er slik matematikk utvikler seg. Du bruker mye tid på å internalisere noen teoretiske konsepter, og så en dag "ser du det". Og så virker det klart og enkelt for dere alle. Men det er klart og enkelt bare for deg. For andre er det komplisert. I dag, når jeg må gå og se tilbake på noen av mine tidligere papirer, tar jeg meg selv i å myse, klø meg i hodet og si "faen, det er noen alvorlige ting, hvordan kom de på dette?" :-) Etter de første matematiske gjennombruddene tilbød Avi at jeg ikke bare tar en MSc, men faktisk en doktorgrad, og det var slik jeg endte opp som teoretisk informatiker (som er en slags matematiker). SLUTTEN.

Tech er klar til å modernisere finans, men vi må modernisere lovene våre først. GENIUS Act var et stort skritt fremover, la oss holde momentumet i gang. Bred bruk av løsninger som ZK Proofs vil være en massiv opplåsing for forbrukerbeskyttelse.

🍫 Ny Snark Chocolate-episode 🍫 Solkrems FHE-fremtid Denne uken satte vi oss ned med @ravitals, grunnlegger av @SunscreenTech, for å snakke om veien til FHE-adopsjon i den virkelige verden. 🔐 Fortid, nåtid og fremtid for FHE 🏗️ Solkremens arkitektur og design 🛠️ Teknisk stabel og veikart ✨ Hva skiller solkrem fra andre 🤝 Samarbeid med Monad 🧲 Tips for å ansette innen deep tech Spotify: Apple Podcasts: YouTube: Snark Chocolate Club på Telegram:

Morgen! Vi jobber direkte med en dedikert kontoadministrator hos @AIatAMD som hjelper til med å spore programvareproblemer rapportert av kundene våre. Har du funnet en feil? Send inn et GitHub-problem, vi oppstrøms det og følger det til løsning. Selv om vi ikke kan garantere tidslinjer (noen rettelser kan kreve en fremtidig ROCm-utgivelse), er dette et stort skritt fremover fra det gamle @AMD. Vi vet hvor viktig det er for utviklere å føle seg hørt, og nå er de det. Det er en av de mange verdiøkningene vi tilbyr. ❤️

I dag, på @ethereum 10-årsjubileum, lanserer vi EigenDA V2 med 100 MB/s gjennomstrømning, noe som gjør den til den første datatilgjengelighetsløsningen som bryter den tresifrede barrieren. Når Ethereum går inn i sitt andre tiår, er vi stolte av å bidra til å skalere den neste bølgen av innovasjon. Få mer informasjon 🧵

Noen imponerende resultater inne!

Kom for varene, ble for teknologien!

Dragonfly investerte i PepperSec, Inc., utviklerne av Tornado Cash, i august 2020. Vi gjorde denne investeringen fordi vi tror på viktigheten av åpen kildekode-teknologi som bevarer personvernet. Før investeringen vår innhentet vi en ekstern juridisk uttalelse som bekreftet at Tornado Cash som bygget var i samsvar med loven, under veiledning gitt av FinCEN i 2019. Regjeringen har nå uttalt i åpen rett at de vurderer anklager mot Dragonfly for å ha investert i Tornado Cash-teamet i 2020. Etter råd fra advokater har vi avstått fra offentlige kommentarer. Men vi kan ikke lenger tie. Vi tror dypt på amerikanernes rett til personvern, og mangelen på det er fortsatt et av kryptos største uløste problemer. Vi står derfor ved vår investering. Vi opererte eller utøvde ingen kontroll over Tornado Cash, vi hadde ingen kontakt med noen ondsinnede brukere, vi oppfordret alltid porteføljeselskapene våre til å følge loven, og vi fastholder at Tornado Cash selv har en lovlig rett til å eksistere – et syn som forsterkes av Van Loon v. Finansdepartementet og OFACs påfølgende opphevelse av sanksjoner. Å belaste et venturefirma for et porteføljeselskaps påståtte uredelighet ville være enestående, spesielt under disse omstendighetene. I 2023 mottok vi en stevning fra DOJ og har samarbeidet fullt ut med regjeringens etterforskning av Tornado Cash, trygg på at vi alltid har overholdt loven. DOJ har gjort det klart at vi ikke selv er et mål for deres etterforskning. Som med alle investeringer, ga vi PepperSec de samme rådene og støtten som vi tilbyr alle porteføljeselskaper. Vi mener regjeringens uttalelse i retten i dag først og fremst var for å undergrave et forsvar av Tornado Cash – for å gjøre det vanskeligere for forsvaret å innkalle Tom til å vitne på tilhørerbenken. Etter all denne tiden – år senere – ville det være opprørende å reise anklager mot Dragonfly, i strid med fakta og loven, og ville indusere en nedkjølende effekt på alle investeringer i krypto og personvernbevarende teknologier i Amerika. Vi tror ikke DOJ faktisk ville komme med slike absurde og grunnløse anklager. Men hvis de gjør det, har vi til hensikt å forsvare oss kraftig.

Vi er glade for å kunngjøre at Ergodic, holdingselskapet til @class_lambda, har kjøpt en minoritets, men strategisk betydelig eierandel i @3miLabs. 3MI Labs er et forskningshus dedikert til å løse de mest komplekse utfordringene innen anvendt kryptografi. Denne investeringen markerer et sentralt øyeblikk i samarbeidet mellom begge selskapene. Vi har jobbet med @TomerAshur og teamet hans det siste året, og vi har blitt dypt imponert over deres kunnskap og praktiske ferdigheter. For eksempel, sammen med @class_lambda og @alignedlayer, identifiserte vi en betydelig sunnhetsfeil og en praktisk måte å utnytte den på i en av de mest populære zkVM-ene. Nå jobber vi sammen for å løse svært praktiske problemer som krever dyp teoretisk kompetanse. Vi er sikre på at du snart vil høre mer om samarbeidet vårt. 3MI Labs jobber med transformative prosjekter som vil omforme bransjen. Med @class_lambda, @3miLabs, @FuzzingLabs og @PolFinance_ setter vi sammen et team i verdensklasse som spesialiserer seg på ingeniørfag, hacking og teoretisk og anvendt matematikk. Velkommen til teamet, 3MI Labs!