Robin Salen (@RobinSalen) profile picture

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

Joined December 2015
Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)Photo by Robin Salen (@RobinSalen)
🔥 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,649
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.
46
82
15
526
50,727
Communiqué de l’Académie Goncourt
547
1,188
648
6,145
1,009,231
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,030
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,106
Robin Salen retweeted
Privacy made simple. Early access 👉 miden.xyz/bread
269
128
77
615
97,181
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
259
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
36
3,014
Robin Salen retweeted
Terence Tao just dropped a banger 🤯
77
447
52
9,467
301,898
Robin Salen retweeted
This is exactly why i don’t solve Millennium Prize problems WAY too much drama
116
951
73
15,760
274,646
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
273
6
2,810
74,836
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,143
210,713
Robin Salen retweeted
Replying to @0xMarcB
This is not healthy. Seek help.
3
2
105
4,090
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,214
3,905
1,179
15,079
3,198,364
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,933
Robin Salen retweeted
Statement on behalf of UEFA and its 55 National Associations

8,132
73,613
11,671
398,934
44,504,018
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,200
Robin Salen retweeted
The research committee brings together specialists in algebraic hash functions, symmetric cryptanalysis, and arithmetization-oriented design. You can read about the committee and scope here: athena-hashes.net/
1
3
2
18
2,696