It’s a wrap! It was an honor to help organize the Fast Finality workshop in Cambridge.
There have already been some great recaps, but here’s my quick overview of the main topics we covered:
1. Deep-diving DC: Decoupled Consensus is a super ambitious upgrade we hope to ship in I* (h/t
@benjaminion_xyz).
@robsaltini gave a great overview, and
@fradamt unveiled his impressive recent breakthroughs, e.g. achieving short-term async resilience through local locks.
2. Shipping DC: Sessions on critical research and engineering, including networking benchmarks & devnets (
@sukunrt & Csaba), rewards & incentives (
@weboftrees), and specs & testing (
@mkalinin2,
@jtraglia,
@tcoratger).
3. Securing DC: Formal verification meets fast finality. We explored exciting new AI-enabled opportunities (
@fradamt &
@robsaltini), building on years of great FV work (
@alexanderlhicks).
4. Future of Fast Finality: Aligning DC with future needs. This covered PQ networking (
@kamil_abiy &
@kevaundray), finality in tens of seconds with PQ validators (
@barnabemonnot), lean clients & prototyping (
@pablodeymo, Mega, Mihir, Locky,
@adust09,
@ladislaus0x), and one-round finality & other future research (shoutout
@alranpe,
@jneu_net,
@ittai & Neil).
Huge thanks to everyone who made this workshop a success! Special thanks to
@benjaminion_xyz for all the help and guidance, and of course to
@justindrake and
@willcorcoran for making it possible!