-
Tweets17
-
Followers27
-
Following92
-
Likes110
📣 New paper out, and I'm co-first-author: 🔵 🔴 TruthTable: A Verifiable Query Engine 🔴🔵 🧾Paper: eprint.iacr.org/2026/1260 💻Main repo: github.com/arkworks-rs/tr… 💻ark-piop: github.com/alireza-shirza… Grateful to my collaborators @namboo_3, Spencer, @RyanMarcus , and @zkproofs
@minilek I mean, Berkeley is a public university. Its aims clearly have to be a mix of the two. If you want only the “elite of the elite”, then a private university is better for that. (Though of course private universities are even worse in that respect due to legacies etc)
@perrymetzger @ZaidJilani Sorry, but are you stupid. He literally used his money to buy a position in the government which he then used to e.g., (a) kill aid programs that killed hundreds of thousands of people, (b) kill essential programs that prevent deadly diseases in livestock and humans
the super secret project i've been working on the past year is out encryptedspaces.org
We are live with IOPFest! Currently @zkproofs on the Quest for Optimal IOPs! Join the live stream youtube.com/live/Kla_3rFN-…
@alinush @cryptodavidw Well usually one side isn’t also breaking all political norms, breaking laws left and right, and performing a fascist takeover. But also, that vilification does happen in Europe; see eg Hungary and the treatment of Orban and aides.
@recmo It’s correct in this recommendation. See, eg, Chicago Manual of Style
🔥🔥🔥 Get ready for #ZKProof 2026! Speaker: Anubhav Baweja from University of Pennsylvania Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more. For more details - link in the first comment.
@cryptodavidw You write much better at writing than AI. I enjoyed your perspective and style, rather than the generic word vomit that AI produces.
@zkDragon @MacMonet256 And then subsequently stream them back in, decrypting as you go. This allows you to essentially scale to huge circuits
@zkDragon @MacMonet256 How much memory does the ledger have? Scribe can scale down its internal buffer size (just have to toggle a constant). If you're trying to do streaming proving while attached to a more powerful device (e.g. laptop or phone), you can write out the streams in encrypted form
@zkDragon Also our work here: eprint.iacr.org/2025/1473
Honestly, the logic here is amateurish. Using standard crypto terminology and goals as “smoking guns” is insane.
The mystery of Satoshi Nakamoto, the pseudonymous inventor of Bitcoin, has remained unsolved for 17 years. Not anymore. Read my 18-month investigation to find out who Satoshi really is. nytimes.com/2026/04/08/bus…
Excited that our paper "Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs" will appear at S&P 2026. This is work with my students Eli, Martin, and Jess, and with colleagues @zkproofs and @claucece! Paper: eprint.iacr.org/2025/1420.pdf Code: github.com/eniac/coral
Alireza (Ali) Shirzad @alrshirzad
354 Followers 769 Following Current: Cryptographer, CIS Phd student at @Penn, Past: intern at @lagrangedev, MSc and BSc at Aryamehr (Sharif), always: (( Women, Life, Freedom 🕊️ ))
Cammykins @anniemarc
38 Followers 3K Following dreamy, messy, and mutuals only (but i follow back) ☁️
Bharath Namboothiry @namboo_3
4 Followers 17 Following Cryptography Ph.D. @ Upenn | Research Intern @ MSR
Nanajohm20 @nanajohm15
413 Followers 6K Following
Pratik Patil @pratikspatil024
488 Followers 682 Following Protocol Engineer @0xPolygon | CS @IIT_Bhilai 🇮🇳
Brother Shramee @shrameetweets
1K Followers 666 Following @_mistcash | Adventure, Cryptography and ⚽️ 🎒 🏸
Youssef | yelhousni.e... @YoussefElHousn3
914 Followers 369 Following Cryptographer @consensys @gnark_team @lineaBuild
Michele Orrù @mmaker
1K Followers 1K Following
Nico @nico_mnbl
3K Followers 717 Following 'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
mac monet @MacMonet256
20 Followers 90 Following Wanderer. Interested in tech, cryptography and the fringe.
Sā́mapriyaḣ ས�... @avzaagzonunaada
12K Followers 7K Following Onigaːhęhsráˀ Honatnoˀáːnhahwęh. I like languages. Дигоронау мин дзоретӕ. మాక్ వెల్లె పేన్క్ మంతఙ్. bɨ čʰus nɨ kə̄šur, magar kə̄šɨrʸ būlʸ čʰam seṭʰā pasand.
Sean Bowe @ebfull
9K Followers 323 Following Zcash developer and crypto researcher, Encrypted Money at Planetary Scale (https://t.co/Mx9wf4StDk)
Giacomo Fenzi @GiacomoFenzi
2K Followers 800 Following PhD student @EPFL, previously @ETH Interested in cryptography at large, post quantum and interactive proofs in particular. Interista alla Prisco.
Dev 🧪 @zkDragon
11K Followers 2K Following Building for a free world. Making @zcash win, with @valargroup Founder of @osmosiszone
Aditya Akella @adityaakella
3K Followers 397 Following Regents Chair in Computer Sciences, UT Austin. Computer Systems and Networking.
Theophilus Ige @TheOphige
339 Followers 4K Following ML Research + Blockchain Protocol + ZK =? DeAI 🦀
0xArektQ @AshiqAhamed_
154 Followers 997 Following Web3 Sec , Smart Contract Auditor , ZK + Noir explorer , Building a name in Code4rena / Sherlock , Stand with Programmable Privacy on @aztecnetwork
Perkʷunós @parjanyudu
1K Followers 36 Following Perkʷunós Skḗwḱikos Computational & Comparative Linguistics | Computer Science & Engineering
Alireza (Ali) Shirzad @alrshirzad
354 Followers 769 Following Current: Cryptographer, CIS Phd student at @Penn, Past: intern at @lagrangedev, MSc and BSc at Aryamehr (Sharif), always: (( Women, Life, Freedom 🕊️ ))
Arum Natzorkhang @ArumNatzorkhang
943 Followers 64 Following Hrugʰílowkos Gʰristóbʰoros, analyzing inscriptions and poetry.
Aslan Pahari @AslanPahariii
22K Followers 166 Following Views are my own. Follow ≠ Endorsement. Usually talking about anthropology, history, linguistics and other related stuff.
Youssef | yelhousni.e... @YoussefElHousn3
914 Followers 369 Following Cryptographer @consensys @gnark_team @lineaBuild
Mukunda Raghavan @raghman36
5K Followers 3K Following Do some podcast hosting on @brownpundits and @themerumedia, recovering attorney, Fin-tech exec, into philosophy, sanskrit, science, history and generally truth?
Arantxa Zapico 🧉 @arantxazapico
2K Followers 595 Following 🇦🇷 | Mathematician | Cryptographer | Researcher at @ethereumfndn
nephew jonathan (Vibe... @nephew_jonathan
1K Followers 2K Following 0.1x CEO @synapdeck. Wrote “Olivine Weathering”. Once made 5th-graders learn what an ur-text is. Date-me doc: https://t.co/m75qfE9LoX
Nico @nico_mnbl
3K Followers 717 Following 'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
Sebastian Nehrdich @SebastianNehrd2
7K Followers 2K Following 東北大学 助教 Assistant professor, Tohoku University. Also in charge of Dharmamitra in collaboration with BAIR, UC Berkeley. Research in ancient Asian languages.
Mehtaab Sawhney @mehtaab_sawhney
3K Followers 6 Following
Kev @kevaundray
3K Followers 204 Following Applied Research. Ethereum. prev: Aztec. Creator/Lead of the Noir programming language
Ravi Kiran S @vikataravi
2K Followers 518 Following Associate Prof, IIIT-H, India | Vision@BharatGen | iHub-Data | Alum: UW, IISc | Enjoy interdisciplinary problems involving multimedia | Meme fan | 🇮🇳
Vikram Chandra @typingvanara
5K Followers 945 Following I make stories and software. Books: Geek Sublime, Sacred Games, Love and Longing in Bombay, Red Earth and Pouring Rain.
henry 🌘 @hdevalence
16K Followers 2K Following ex-{mathematician, cryptographer, cypherpunk} // navigating the library of babel
Thomas Wier @thomas_wier
5K Followers 3K Following Linguist & Caucasologist • Prof @ Free Uni Tbilisi • Research lgs of the Caucasus, Native America • Author of 'Tonkawa Texts' • Weekly Georgian Etymologies
āṅgīrasaśreṣ�... @GhorAngirasa
23K Followers 485 Following If Veda is body, Siddhāntāgama is heart that pumps the blood of Paramārtha to it. Bhāradvāja who believes in Mūla-Śaiva-Siddhānta; Ārṣeyāmnāyābhimānī
Ola Wikander @OlaWikander
5K Followers 3K Following Philologian, author. Ugaritologist, Hebraist, Semitist, Exegete. Moonlighting IE-ist. PhD/Reader in Hebrew Bible/OT (Lundensis). Ordained in a rare religion.
चेदिराड... @Saatvata
17K Followers 10K Following स्खलितानि भविष्यन्ति ममैतानि क्षमस्व भोः। नात्र घोषयितव्यं मे यत्किञ्चिदवशिष्यते॥
Sameer | 8.5 hrs slee... @dxrsam_0
3K Followers 1K Following Linguistics, mythology, mathematics, etc. Hobbyist. द्विषो॑ नो विश्वतोमु॒खाति॑ ना॒वेव॑ पारय ।
Abhishek Avtans अ�... @avtansa
12K Followers 291 Following Lecturer (Indic language/s), Leiden University (Netherlands), KHS (Agra), JNU (Delhi), Hindi, Urdu, Linguistics, Lit, भाषा, भाषाविज्ञान, साहित्य 🇮🇳 🇳🇱 ✍️🚲
А. Z. Fоrеmаn: Se... @azforeman
13K Followers 1K Following Grad student. Linguist. Russian-American. Medievalist. Poet. Author. Translator. Phonological cosplayer. 1st Amendment stan. Poems posted here may self-delete.
Sā́mapriyaḣ ས�... @avzaagzonunaada
12K Followers 7K Following Onigaːhęhsráˀ Honatnoˀáːnhahwęh. I like languages. Дигоронау мин дзоретӕ. మాక్ వెల్లె పేన్క్ మంతఙ్. bɨ čʰus nɨ kə̄šur, magar kə̄šɨrʸ būlʸ čʰam seṭʰā pasand.
Sean Bowe @ebfull
9K Followers 323 Following Zcash developer and crypto researcher, Encrypted Money at Planetary Scale (https://t.co/Mx9wf4StDk)
Stefanos Chaliasos @schaliasosvons
811 Followers 266 Following security & research @zksecurityXYZ, Lecturer @ucl - Exploring ZKPs, PhD @imperialcollege
Lukas Helminger @luhelminger
2K Followers 1K Following CEO @TACEO_IO // Building encrypted compute for the internet // Prev. cryptography researcher @tugraz
Kiran @kirancodes
1K Followers 189 Following Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~
Isil Dillig @IsilDillig
4K Followers 842 Following CS Professor at UT Austin + President of @VeridiseInc.
Ilya Sergey @ilyasergey
8K Followers 980 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Dahlia Malkhi @dahlia_malkhi
4K Followers 238 Following Professor @UCSB, advisor of @SpaceComputerIO, @LyquorLabs, @Nubit_org, @EspressoSys, former chief scientist @ChainlinkLabs, former CTO @DiemAssociation
Adriana Porter Felt @__apf__
67K Followers 960 Following I like writing silly Tweets, but that doesn't pay so I build things at @googledeepmind. Principal Engineer. ex-@googlechrome. volunteer @2ndharvest. 🇺🇸🇨🇷
Dan Boneh @danboneh
39K Followers 144 Following
Michele Orrù @mmaker
1K Followers 1K Following
Wilson Nguyen @mercysjest
1K Followers 174 Following Senior Researcher at Microsoft Research (@msftresearch). Former Assistant Professor/Faculty Fellow @NYU_Courant and Crypto PhD @Stanford.
Guru Vamsi Policharla @guruvamsip
472 Followers 323 Following researcher @commonwarexyz previously @UCBerkeley @iitbombay
Binyi Chen @Charles_Chen533
2K Followers 191 Following Postdoc Researcher at Stanford, Ex-Chief Cryptographer at Espresso Systems
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Orr Dunkelman @CryptoOrrDun
2K Followers 241 Following CS, Cryptography, Cryptanalysis, Privacy, Biometrics, Computer Security. (personal account at @mkilmo). He/Him. Also @[email protected]
You might like
