@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
@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.
🔥🔥🔥 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.
@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
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…
@recmo@zkDragon Technically we've known how to do ZK for sumcheck for about just as long as ZK for univariate. You just sumcheck over a linear combination of original + random poly. This is pretty fine at small sizes encountered in later WHIR stages.
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
3K Followers 717 Following'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
2K Followers 800 FollowingPhD student @EPFL, previously @ETH
Interested in cryptography at large, post quantum and interactive proofs in particular.
Interista alla Prisco.
154 Followers 997 FollowingWeb3 Sec , Smart Contract Auditor , ZK + Noir explorer , Building a name in Code4rena / Sherlock , Stand with Programmable Privacy on
@aztecnetwork
5K Followers 3K FollowingDo some podcast hosting on @brownpundits and @themerumedia, recovering attorney, Fin-tech exec, into philosophy, sanskrit, science, history and generally truth?
1K Followers 2K Following0.1x CEO @synapdeck. Wrote “Olivine Weathering”. Once made 5th-graders learn what an ur-text is. Date-me doc: https://t.co/m75qfE9LoX
3K Followers 717 Following'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
7K Followers 2K Following東北大学 助教 Assistant professor, Tohoku University. Also in charge of Dharmamitra in collaboration with BAIR, UC Berkeley. Research in ancient Asian languages.
5K Followers 3K FollowingLinguist & Caucasologist • Prof @ Free Uni Tbilisi • Research lgs of the Caucasus, Native America • Author of 'Tonkawa Texts' • Weekly Georgian Etymologies
23K Followers 485 FollowingIf 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ī
8K Followers 980 FollowingAssociate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
67K Followers 960 FollowingI like writing silly Tweets, but that doesn't pay so I build things at @googledeepmind. Principal Engineer. ex-@googlechrome. volunteer @2ndharvest. 🇺🇸🇨🇷
1K Followers 174 FollowingSenior Researcher at Microsoft Research (@msftresearch). Former Assistant Professor/Faculty Fellow @NYU_Courant and Crypto PhD @Stanford.