přesně před rokem jsem se připojil k @Ingo_zk. Za tu dobu jsem pracoval na mnoha projektech. Ale dva jsou speciální: rampouch-snark a rampouch-halo2. Když jsem se poprvé dozvěděl o ZK, snažil jsem se pochopit, co je R1cs, jak funguje Groth16, jak psát circomové obvody. Dnes jsem autorem nejrychlejšího Groth16 Proveru a nejrychlejšího (myslím) Halo2 Prover. icicle-snark je nová implementace groth16 používající ICICLE a napsaná v Rustu. Je 160x rychlejší než SnarkJS a 30x rychlejší než RapidSnark na 5090. ICICCLE-HALO2 je fork @ezklxyz-Halo2 s integrací ICICLE, která poskytuje až 25x důkazní podporu pomocí vyhodnocovacích jader hradla. Celkově to byl zábavný rok učení, stavění a odesílání.

Jak jsem se dostal k matematikovi? (dlouhý příběh) Jako dítěti mi táta řekl, že "naše rodina není dobrá v matematice" a já, který jsem dával přednost fotbalu a randění před čímkoliv, co zahrnuje mozkovou práci, jsem to přijal jako pravdu. Jako vysokoškolák jsem studoval biologii a informatiku, abych se dostal na neurovědy (nakonec jsem se oženil s dcerou jednoho z mých vážených profesorů. Ale to je jiný příběh). Uvědomil jsem si, že mám opravdu rád kurzy matematiky a nenávidím vše, co se používá - ať už to bylo programování nebo biologické laboratoře. Ve skutečnosti jsem při každém otevření semestru chodil za tehdejším děkanem bakalářského studia (prof. @noamnisan, nyní poradcem StarkWare), abych vyjednal nahrazení programovacích kurzů více matematikou (což je důvod, proč dodnes neumím programovat; i když Úvod do C++ byl první kurz, který jsem učil jako odborný asistent. Ale i to je jiný příběh.) Pak, jako postgraduální studentka, jsem se chtěla věnovat strojovému učení, ale vytoužená profesorka (Tali Tishby, RIP) už měla studenty. Seděl jsem na kurzu o výpočetní složitosti, který vyučoval postdoktorand, když ho na jednu přednášku nahradil jistý Avi Wigderson. V té době jsem o něm nic nevěděl (jeho fotografie se objevila na plakátech, protože právě obdržel Nevanlinnovu cenu, ale jako hloupý mladý postgraduální student jsem nevěděl, co to znamená). Avi mluvil o tom, jak se někteří lidé nyní snaží formálně dokázat, že je nemožné vyřešit dohady P vs. NP. A to mě uchvátilo. Tak jsem mu řekl: Chci to studovat jako svůj magisterský projekt. Začalo období námluv. Avi si nebyl jistý, jestli se k němu hodím (moje známky z matematiky byly v pořádku, ale nikdy jsem nebyl jedničkářský typ). Tak na mě hodil knihu o složitosti důkazů se slovy: Přečtěte si to a shrňte mi to. Přečetl jsem tu knihu asi třikrát od začátku do konce a nerozuměl jsem ani slovo kromě úvodní kapitoly (dnes vím, že je to spíše chyba autora, ne moje vlastní hloupost. Ale to je jiný příběh). O několik týdnů později, stále ještě nerozuměl ani slovu o tomto tématu, požádal Avi, aby vysvětlil svůj nedávný článek na téma "stupeň a velikost důkazů polynomiálního počtu". Seděli jsme u něj doma, vysvětlovala jsem mu. V určitém okamžiku se zeptal: "Proč to nemůže být aplikováno na systém důkazů rozlišení?" (Rozlišení je nejdůležitější a nejzákladnější systém důkazu výrokového počtu). Přimhouřil jsem oči, trochu se zamyslel a řekl "Aha, ale může, tady je návod", a použil jsem stejnou metodu důkazu na Resolution. Avi byl velmi nadšený. Řekl jsem "pošleme e-mail autorům předchozího článku" a myslel jsem si, že když tomu rozumím, nemůže to být víc než hodné e-mailu. Avi trval na tom, abychom to napsali jako papír. Každých pár dní jsem se ho snažil přesvědčit, aby toho nechal a prostě poslal e-mail, ale byl neoblomný a já jsem ho poslouchal. Dobře, že jsem to udělal. Skončil jako můj nejcitovanější a nejrelevantnější článek před těmi STORKovými/SNARK. Po tomto článku přišlo několik dalších. U každého z nich jsem si byl jistý, že je to pouze postřeh hodný e-mailu, nikoli hluboká matematika. Viděla jsem všechny ty ostatní noviny, kterým bylo tak těžké porozumět, a ve srovnání s tím byly moje vlastní věci tak jasné a jednoduché. Trvalo mi mnoho let, než jsem si uvědomil, že matematika se vyvíjí takto. Strávíte spoustu času internalizací některých teoretických konceptů a pak to jednoho dne "uvidíte". A pak se vám to zdá jasné a prosté. Ale je to jasné a jednoduché pouze pro vás. Pro jiné je to složité. Dnes, když se musím jít podívat zpět na některé ze svých dřívějších článků, přistihnu se, že mžourám, škrábu se na hlavě a říkám si "sakra, to je nějaká vážná věc, jak na to přišli?" :-) Po těchto počátečních matematických průlomech mi Avi nabídl, že nedělám jen magisterský titul, ale dokonce doktorát, a tak jsem skončil jako teoretický počítačový vědec (což je druh matematika). KONEC.

Tech je připraven modernizovat finance, ale nejprve musíme modernizovat naše zákony. Zákon GENIUS byl obrovským krokem vpřed, pojďme pokračovat v tomto trendu. Široké přijetí řešení, jako je ZK Proofs, by bylo masivním odemknutím pro ochranu spotřebitele.

🍫 Nová epizoda 🍫 seriálu Snark Chocolate Budoucnost opalovacího krému FHE Tento týden jsme si sedli s @ravitals, zakladatelem společnosti @SunscreenTech, abychom si popovídali o cestě k adopci FHE v reálném světě. 🔐 Minulost, současnost a budoucnost FHE 🏗️ Architektura a design opalovacího krému 🛠️ Technologický stack a plán ✨ Čím se opalovací krém odlišuje 🤝 Spolupráce s Monad 🧲 Tipy pro najímání zaměstnanců v oblasti deep tech Spotify: Apple Podcasty: Na YouTube: Snark Chocolate Club na Telegramu:

Ráno! Spolupracujeme přímo se specializovaným správcem účtu ve společnosti @AIatAMD který pomáhá sledovat problémy se softwarem nahlášené našimi zákazníky. Našli jste chybu? Založíme problém na GitHubu, my ho upstreamujeme a budeme ho sledovat až do vyřešení. I když nemůžeme zaručit časové osy (některé opravy mohou vyžadovat budoucí vydání ROCm), je to obrovský krok vpřed oproti starému @AMD. Víme, jak důležité je, aby se vývojáři cítili slyšet, a nyní tomu tak je. Je to jedna z mnoha přidaných hodnot, které nabízíme. ❤️

Dnes, u příležitosti 10. výročí @ethereum, uvádíme na trh EigenDA V2 s datovou propustností 100 MB/s, což z něj činí první řešení dostupnosti dat, které prolomilo TROJCIFERNOU bariéru. Ethereum vstupuje do druhé dekády své existence a jsme hrdí na to, že můžeme pomoci rozšířit jeho další vlnu inovací. Víc se uč 🧵

Některé působivé výsledky uvnitř!

Přišel jsem pro merch, zůstal jsem pro techniku!

Společnost Dragonfly investovala do společnosti PepperSec, Inc., vývojářů Tornado Cash, v srpnu 2020. Tuto investici jsme provedli, protože věříme v důležitost open-source technologie zachovávající soukromí. Před naší investicí jsme získali externí právní posudek, který potvrdil, že Tornado Cash tak, jak byl postaven, byl v souladu se zákonem podle pokynů FinCEN v roce 2019. Vláda nyní u veřejného soudu uvedla, že zvažuje obvinění proti společnosti Dragonfly za to, že v roce 2020 investovala do týmu Tornado Cash. Na radu právního zástupce jsme se zdrželi veřejných komentářů. Nemůžeme však již dále mlčet. Hluboce věříme v právo Američanů na soukromí a jeho nedostatek zůstává jedním z největších nevyřešených problémů kryptoměn. Za naší investicí si proto stojíme. Neprovozovali jsme ani nevykonávali žádnou kontrolu nad Tornado Cash, neměli jsme žádný kontakt s žádnými uživateli se zlými úmysly, vždy jsme povzbuzovali naše portfoliové společnosti, aby dodržovaly zákony, a trváme na tom, že Tornado Cash sama má zákonné právo na existenci – názor posílený Van Loon vs. Ministerstvo financí a následné zrušení sankcí ze strany OFAC. Obvinění rizikové firmy za údajné pochybení portfoliové společnosti by bylo bezprecedentní, zejména za těchto okolností. V roce 2023 jsme obdrželi předvolání ministerstva spravedlnosti a plně spolupracujeme s vládním vyšetřováním Tornado Cash s jistotou, že jsme vždy dodržovali zákony. Ministerstvo spravedlnosti dalo jasně najevo, že my sami nejsme cílem jejich vyšetřování. Jako u každé investice jsme společnosti PepperSec poskytli stejné poradenství a podporu, jakou nabízíme všem portfoliovým společnostem. Věříme, že dnešní prohlášení vlády u soudu bylo v první řadě podkopat obhajobu Tornado Cash – ztížit obhajobě předvolání Toma, aby svědčil na tribuně. Po celé té době – o několik let později – by vznesení obvinění proti Dragonfly bylo pobuřující, v rozporu s fakty a zákonem, a mělo by mrazivý účinek na všechny investice do kryptoměn a technologií chránících soukromí v Americe. Nevěříme, že by ministerstvo spravedlnosti skutečně vzneslo tak absurdní a nepodložená obvinění. Ale pokud tak učiní, máme v úmyslu se energicky bránit.

S potěšením oznamujeme, že Ergodic, holdingová společnost společnosti @class_lambda, získala menšinový, ale strategicky významný podíl ve společnosti @3miLabs. 3MI Labs je výzkumný dům, který se věnuje řešení nejsložitějších výzev v aplikované kryptografii. Tato investice představuje klíčový okamžik ve spolupráci mezi oběma společnostmi. S @TomerAshur a jeho týmem spolupracujeme již rok a jejich znalosti a praktické dovednosti na nás udělaly hluboký dojem. Společně s @class_lambda a @alignedlayer jsme například identifikovali významnou chybu v oblasti spolehlivosti a praktický způsob, jak ji zneužít v jednom z nejpopulárnějších zkVMs. Nyní společně pracujeme na řešení vysoce praktických problémů, které vyžadují hluboké teoretické znalosti. Jsme si jisti, že se o naší spolupráci brzy dozvíte více. Společnost 3MI Labs pracuje na transformačních projektech, které přetvoří průmysl. S @class_lambda, @3miLabs, @FuzzingLabs a @PolFinance_ sestavujeme tým světové třídy, který se specializuje na inženýrství, hackování a teoretickou a aplikovanou matematiku. Vítejte v týmu 3MI Labs!