ZK Engineering at @0xMiden. Previously @Toposware. Maintainer of Plonky3. 🇫🇷 then 🇯🇵 then 🇺🇸 and now 🇦🇪

Joined December 2015
🔥 WHIR has landed in Plonky3 🔥 We just released v0.6.0, and with it we open the door to the world of multilinear PCS! 🚀 We've also shipped a ton of cool new features and performance improvements. 👀 Spoiler alert: Circle STARK is now *really* fast. github.com/Plonky3/Plonky3
1
7
4
46
6,645
Robin Salen retweeted
1/ Today we’re releasing Aerie: fast post-quantum signature aggregation, using lattice-based SNARKs for lattice-based Falcon signatures. On a laptop (CPU only), it aggregates roughly a full Ethereum slot’s worth of signatures (32,768) in 0.65 seconds.
43
82
16
518
48,187
Communiqué de l’Académie Goncourt
553
1,190
648
6,160
1,006,738
Robin Salen retweeted
For anyone interested in low-level optimization: we just opened a tracking issue for binary field arithmetic performance in Plonky3. Plenty left to explore across architectures. Opus 5.5 has been surprisingly good at finding these niche optimizations. github.com/Plonky3/Plonky3/i…
5
31
1,023
Robin Salen retweeted
A huge amount of work went into this one, you should check it out! Also, a bunch of issues are still opened if you are interested!
2
16
2,100
Robin Salen retweeted
Privacy made simple. Early access 👉 miden.xyz/bread
262
124
77
584
94,262
Robin Salen retweeted
Wife told me these wouldn’t fit. Little did she know I had trained for this moment for years.
549
20,170
815
362,406
12,012,822
The performances are, if I may say so, quite nice too 🤭
Miden has open sourced golden-dkg, a package that lets committees create public and private key shares in one round, with no trusted dealer. EHTDH1, a groundbreaking decryption scheme, provides verifiable decryption that only works for a chosen context so approval to decrypt one piece of data can't be reused to decrypt the rest.
1
1
256
Robin Salen retweeted
Thanks @chelseakomlo, @benediktbuenz and Kevin Choi for Golden: this was not my first time working on a DKG implementation, but it was the most pleasant by a mile. Props to my colleagues @adr1anh and @RobinSalen who did amazing performance work on this!
1
9
1
35
2,986
Robin Salen retweeted
Terence Tao just dropped a banger 🤯
77
447
52
9,479
301,803
Robin Salen retweeted
This is exactly why i don’t solve Millennium Prize problems WAY too much drama
116
952
73
15,772
274,175
Robin Salen retweeted
1) Chacun est libre de son vote, dans le secret de l'isoloir. 2) Qui attend de savoir ce qu'un sportif vote pour voter ? Probablement personne. 3) L'injonction à s'exprimer publiquement sur des sujets politiques est profondément antidémocratique.
unavailable
35
274
6
2,811
74,828
Robin Salen retweeted
When you type "1/2 =", macOS inserts "0.5". I want that off, so I ask GPT. It tells me that the setting is here: System Settings → Screen Time → Content & Privacy → Intelligence & Siri → Math Results → Off Obvious hallucination... math results is in "Screen Time"? It is.
54
106
16
7,147
210,672
Robin Salen retweeted
Replying to @0xMarcB
This is not healthy. Seek help.
3
2
105
4,073
Robin Salen retweeted
Two economists mathematically proved that AI will destroy the economy. Researchers from Wharton and Boston University published a terryfiying paper called "The AI Layoff Trap." They mapped out the economic end-game of the AI transition, and it exposes a fatal flaw in competitive capitalism. When a company replaces a worker with AI, it captures 100% of the wage savings. But that displaced worker is also a consumer. When they lose their job, they stop buying things. The company gets all the savings, but the loss of consumer demand is spread across the entire economy. If there are 20 competitors in a market, a CEO only absorbs 1/20th of the economic damage their layoffs just created. So every single rational CEO has a mathematical incentive to automate as fast as possible. They can literally see the cliff approaching, and they still step on the gas. It triggers an unavoidable Prisoner’s Dilemma. If you don't automate, your competitors will, and they will crush you on price. It doesn't just hurt workers. It destroys the businesses, too. The economy gets trapped in an automation arms race. Companies fire their workforce to stay competitive, until the entire consumer base is completely hollowed out. At the limit, the paper concludes: “Firms automate their way to boundless productivity and zero demand.” And the scariest part? The researchers mathematically tested every popular fix. Universal Basic Income? Fails. It raises the living standard but doesn't change the corporate incentive to cut jobs. Retraining? Fails. Worker equity? Fails. The paper proves that more competition actually makes the collapse happen faster. And "better" AI makes the damage worse. The only thing that mathematically stops the collapse is a targeted automation tax, forcing companies to pay for the purchasing power they destroy before they automate the job.
1,218
3,916
1,179
15,112
3,196,093
Robin Salen retweeted
Sharing our new paper in collaboration with @0xMiden & @CosicBe, out now in IACR CiC: STARK-based Signatures from the RPO Permutation. cic.iacr.org/p/3/2/38 This transparent, post-quantum signature scheme is motivated by recursive ZK applications ⬇️ 1/5
2
12
1
33
1,930
Robin Salen retweeted
Statement on behalf of UEFA and its 55 National Associations

8,150
73,725
11,672
399,528
44,494,273
Heads-up! ⚠️ We just merged STIR into Plonky3's main branch! This is a first step towards fully supporting yet another PCS which will hopefully be included in our next big release! If you're interested in helping, please give it a look! github.com/Plonky3/Plonky3/p…
5
21
1,198