Thomas Coratger
@tcoratger
Research at Ethereum Foundation
2.2K Following 3.8K Followers
1/ It's not everyday that my primary cryptographic interests (PQC and ZK) collide. But today is one of those days!
Excited to announce this collaboration between @projecteleven and @jimpo_potamus (lead maintainer of Binius) for post Q-Day wallet recovery using a ZK proof-of-seed-phrase.
Show more
Building an Unverified Compiler with Agents
On Ethereum, receiving a payment adds permanent state.
The first time an address receives ETH, it gets an account leaf forever.
What if Ethereum adopted Bitcoin's one-shot UTXO model for simple payments, shrinking persistent state footprint by 99.8%? 🧵👇
Show more
Another optimization has landed in Plonky3: proof size reduction through Merkle path pruning, now for FRI.
Feedback and suggestions are welcome 👇
Even more improvements with a better pruning algorithm from leanVM:
We have just merged merkle path pruning for WHIR in Plonky3, drastically reducing proof sizes! 👇
We have just merged merkle path pruning for WHIR in Plonky3, drastically reducing proof sizes! 👇
A new fast binary-field proving system is out: Flock by @benediktbuenz, @ronrothblum and @kleptographic.
We'll be spending the next couple of weeks exploring whether it could be a good fit for proving post-quantum signature aggregation for Ethereum. 🤞
Show more
If you're interested in Ethereum's pq migration at the execution layer, I highly recommend this overview by @riva_labs.
It provides a thorough exploration of the design space and trade-offs around post-quantum transaction signatures on Ethereum.
Show more
We’ve just merged the initial skeleton for an end-to-end multilinear proving system in Plonky3, based on WHIR + SuperSpartan.
Feel free to take a look, and reach out if you’d like to contribute 👇
Show more
A lot of work and love went into this release. I highly recommend taking a look.
🔥 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.
Show more
Now merged on main! More optimizations to come!
We’re currently working on bringing the zero-knowledge version of WHIR to Plonky3 — Zero-Knowledge IOPPs for Constrained Interleaved Codes.
Feedback, reviews, and improvement suggestions are very welcome 👇
Show more
GPU acceleration for post-quantum signature aggregation by @AntChainOpenLab folks!
Results look great!
We’re currently working on bringing the zero-knowledge version of WHIR to Plonky3 — Zero-Knowledge IOPPs for Constrained Interleaved Codes.
Feedback, reviews, and improvement suggestions are very welcome 👇
Show more
How Ethereum plans to replace BLS with Post-Quantum signatures by @hashcloak
We’re currently putting a significant effort into improving leanSpec.
The goals are simple:
• Simplicity
• Clarity
• Correctness
We are leanifying LeanSpec.
If you have ideas around design, structure, or devex, now is a great time to reach out and help shape the project. 👇
Show more
If anyone wants to take a look at STIR integration in Plonky3, a new issue has just landed and a branch is almost ready 👇
Getting increasingly bullish on just vibe-coding the important things in Lean.
eg. see:
We now support merkle path pruning in Plonky3 which gives smaller proofs!
This is just the first version of the implementation, I'm sure we can find some nice optimizations here and there!
Show more
Hash-based SNARKs are fast, PQ secure, and transparent.
But they have a major flaw: they historically lack ZK properties without massive overhead.
Enter ZO0k: a true minimal overhead ZK IOP framework presented by the local Italian star @GiacomoFenzi at ZK Summit. 🧵👇
Show more
