Powdr team joins Axiom

Powdr says its team has joined Axiom. Welcoming the team, Carina Hong highlighted its work on verified compilers and proof-preserving optimization, alongside years of building Ethereum infrastructure. A Powdr founder says he joined to help scale formal verification and invited people to share use cases where it still feels out of reach.