Thomas Coratger
@tcoratger
Research at Ethereum Foundation
2.2K Following 3.7K Followers
Really happy about this merge & to partecipate in this.
Thanks @tcoratger & @LatifKasuli for the help
WHIR going fully zk!
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
We’ve just merged WHIR into Plonky3:
I have a few ideas for improvements and next steps.
Let’s improve performance and usability.
Post-quantum signatures are massive, threatening Bitcoin throughput.
What if we combined stateful efficiency with stateless safety?
Let's decrypt SHRINCS & SHRIMPS: new @Blockstream proposals for compact PQ signatures. 🧵👇
Show more
