13.8 billion years of cosmos, ~4 billion years of evolution. builder @zkemail | biology+tech

remote
Sharing 𝔹itℤ 🫜: a PCS for circuits written anywhere (in any ring/field or collection of those), using binary fields under the hood. eprint.iacr.org/2026/2141 with @recmo, @mmkostrzewa, @shreyas_twt, @wu_s_john, @AlexAbdugafarov, @ZKFriendly, @XanderGoot
1
19
56
3,636
using @zodl_co swap with large amounts is such an stressful experience! One time addresses make it impossible to send small test amount first.
1
42
zkfriendly retweeted
Practical iO should not be a problem only for “iO specialists.” We want researchers and engineers from FHE, ZKP, and MPC to be able to contribute to making iO practical. In this explainer, we present concrete remaining challenges in Diamond iO that different communities can work on using their existing expertise: machina-io.com/posts/io-is-n… The point is that practical iO breaks down into several concrete bottlenecks, including: * making FHE evaluation over BGG+ encodings practical; * scaling input size without exponential noise growth; * cryptanalyzing the non-standard lattice assumptions behind Diamond iO; * designing proof systems whose verification is cheap over BGG+ encodings; * building distributed obfuscation without making the obfuscated circuit size scale with the committee size. If you work on FHE, ZKPs, MPC, lattice-based cryptography, or cryptanalysis, there is likely a concrete part of the practical iO roadmap where your expertise can matter. We are also launching ObfusBench as a public leaderboard and obstacle tracker for iO efficiency: sorasuegami.github.io/obfusb… The goal is to make progress visible, comparable, and attributable: when someone improves one component, we want that improvement to show up in end-to-end estimates under a common framework. Practical iO is still far away, but it is becoming a much more modular and collaborative engineering/research problem.
1
10
36
2,833
Okey, so how do I do this? can you add networking to codex?
Here’s your monthly reminder that you shouldn’t be prompting coding agents anymore. You should be designing loops that prompt your agents.
2
67
zkfriendly retweeted
GPU programming is so cool! You need 600 lines of code to add 2 numbers. You don't have traditional stepping debugger, instead you have validation layers and renderdoc. GPUs don't have branch predictors and are heavily parallel, so you really don't want if conditions. It's basically like getting into programming all over again. My head hurts, but like in a good way. I'm learning!
78
64
2,716
156,442
zkfriendly retweeted
1/ We put together a list of projects doing GPU-accelerated crypto & ZK proving on client-side devices. i.e. browsers, phones, laptops No server. No trusted backend. Just your hardware github.com/zkmopro/awesome-c…
3
14
80
4,927
Agree. imo another order of magnitude improvement could come from fine tuning the underlying models based on the skills learned. Essentially continues "learning".
each action will only need to ever be done by a human once, then it will be in an agent's skill playbook forever people will fix agentic flows, who then output a skill at the end to make that action part of its playbooks. computer mimicry will be critical before computer use is
2
52
Ethereum is down in Iran again. If resiliency is what we aim for, then there is a big problem with Internet being a dependency.
“Ethereum was not created to make finance efficient or apps convenient. It was created to set people free” This was an important - and controversial - line from the Trustless Manifesto ( trustlessness.eth.limo ), and it is worth revisiting it and better understanding what it means. “efficient” and “convenient” have the connotation of improving the average case, in situations where it’s already pretty good. Efficiency is about telling the world's best engineers to put their souls into reducing latency from 473 ms to 368ms, or increasing yields from 4.5% APY to 5.3% APY. Convenience is about people making one click instead of three, and reducing signup times from 1 min to 20 sec. These things can be good to do. But we must do them under the understanding that we will never be as good at this game as the Silicon Valley corporate players. And so the primary underlying game that Ethereum plays must be a different game. What is the game? Resilience. Resilience is the game where it’s not about 4.5% APY vs 5.3% APY - rather, it’s about minimizing the chance that you get -100% APY. Resilience is the game where if you become politically unpopular and get deplatformed, or if a the developers of your application go bankrupt or disappear, or if Cloudflare goes down, or if an internet cyberwar breaks out, your 2000ms latency continues to be 2000ms. Resilience is the game where anyone, anywhere in the world will be able to access the network and be a first-class participant. Resilience is sovereignty. Not sovereignty in the sense of lobbying to become a UN member state and shaking hands at Davos in two weeks, but sovereignty in the sense that people talk about "digital sovereignty" or "food sovereignty" - aggressively reducing your vulnerabilities to external dependencies that can be taken away from you on a whim. This is the sense in which the world computer can be sovereign, and in doing so make its users also sovereign. This baseline is what enables interdependence as equals, and not as vassals of corporate overlords thousands of kilometers away. This is the game that Ethereum is suited to win, and it delivers a type of value that, in our increasingly unstable world, a lot of people are going to need. The fundamental DNA of web2 consumer tech is not suited to resilience. The fundamental DNA of _finance_ often spends considerable effort on resilience, but it is a very partial form of resilience, good at solving for some types of risks but not others. Blockspace is abundant. Decentralized, permissionless and resilient blockspace is not. Ethereum must first and foremost be decentralized, permissionless and resilient block space - and then make that abundant.
4
71
misquoting you usually gets a response from you though!
Replying to @zfellows
This is a misquotation. What I actually wrote was "If you're in a job that feels safe, you are not going to get rich, because if there is no danger there is almost certainly no leverage." If you want to get quotes right, copy and paste from the original essay.
2
69
Do you have different browser profiles just to have different wallets?
3
63
Nomads, How do you stay healthy while traveling? What do you eat? Do you cook? How about gym? Like gym economy is terrible, min 1y subs and daily passes don't make sense!
2
72
zkfriendly retweeted
Take 1 minute to sign this fam
It would mean a lot if you would sign this petition calling on @realDonaldTrump to pardon me and Bill In 30 days we will report to prison. Unless the President steps in. Developers shouldn't be liable for the actions of bad actors using their software #freesamourai change.org/p/stand-up-for-fr…
4
32
146
14,085
Wish I had purchased flight insurance! want to purchase one for my return flight, but all solutions seem so bureaucratic with bad UX! any on-chain solutions? at least for delays it should be possible with all the zkTls stuff? how about prediction markets for chances of delay
Traveling to Argentina for @EFDevcon, flight by @airfrance was delayed, missed the connection, had to reroute with 20+ h delay, finally got to Argentina but no sign of my baggage! @airfrance not cooperative at all after 70+ h and no updates!
190
Traveling to Argentina for @EFDevcon, flight by @airfrance was delayed, missed the connection, had to reroute with 20+ h delay, finally got to Argentina but no sign of my baggage! @airfrance not cooperative at all after 70+ h and no updates!
Replying to @satyaki44
e. Better Customer Support Last night representatives of @airfrance was not cooperative in my experience at all They need to understand Airlines is NOT A PROFIT MAKING VENTURE Folks many times want to travel for travel meetings, family emergencies, health issues (15/n)
2
1
369
been waiting for 3 hours now for @zkp2p to offramp 1$ 👀
2
2
131
Took 4 days for 250$
1
58
AWS is down and then the internet stops working. But the blockchain, it never goe ... wait a minute. Scratch that. This sector is a joke. Everyone preaching decentralization and censorship resistance but in reality ... it's all 100% reliant on the cloud.
1,144
1,283
10,670
1,151,375
zkfriendly retweeted
Ethereum has been completely shut down in Afghanistan. I think we neglect how dependent Ethereum is on internet access. A censorship-resistant "always-on" ledger isn’t much help if a government can just pull the plug by shutting down the internet.
The internet has been completely shut down in Afghanistan, according to our internal data. Our tools help to bypass censorship, but here access has been cut off. We stand against acts like this and believe that both privacy & freedom of speech are human rights. (Timezone CEST)
249
63
809
207,778