Thomas Coratger

@tcoratger

Research at Ethereum Foundation

France

github.com/tcoratger

Replies Reposts Media

Pinned
Thomas Coratger
@tcoratger
Oct 14, 2024
My journey as a researcher began with a PhD in applied math for the automotive & aeronautic industries! Every day now, I'm amazed by the parallels between solving physics problems and building eth future. Blockchain draws from so many fields — an often underappreciated fact!
8
Thomas Coratger
@tcoratger
2h
I've become increasingly obsessed with explaining math and cryptography visually. This video by Aaron Gostein on succinct arguments is a masterclass in doing exactly that. We need more of this if we want more people exploring our ideas and codebases.
How Do You Prove a Computer Isn’t Lying?
From youtube.com
Thomas Coratger
@tcoratger
19h
AI is completely disrupting the field of pure mathematics. Legendary mathematician Terence Tao recently broke down the life cycle of a mathematical proof and warned about the dangerous traffic jam AI is causing in the pipeline. Here is a breakdown of his talk. 🧵👇
1
Thomas Coratger
@tcoratger
Sep 17
Fantastic progress on binary field techniques in Plonky3 lately. We just opened a bunch of AArch64 performance issues if you want to dig in. The optimizations get quite subtle, so we highly recommend throwing your best LLM at them :)
Issues · Plonky3/Plonky3
From github.com
3
Thomas Coratger
@tcoratger
Sep 15
We just merged Lean4 implementation of SSZ! Still a huge amount to iterate on, especially making the Astra-generated proofs more human-readable. But Lean/Python cross-testing in CI has already caught a few subtle bugs in the Python spec :)
Add a Lean second implementation, proved and checked against this one by tcoratger · Pull Request...
From github.com
2