Devcon 9 | Lisbon(@EFDevcon):Can we prove that a zkVM works as intended? @theyisun, co-founder of @axiom_xyz, is joining Devcon 8 to share his work on end-to-end formal verification of OpenVM. Building with ZK? Join Yi to learn how verification can help strengthen the security of systems you're building.⚡

Devcon 9 | Lisbon

@EFDevcon

The flagship event by @ethereumfndn. Devcon 9 | Lisbon, Portugal Oct 11-13, 2027

Joined July 2018

27 Following 50.1K Followers

Devcon 9 | Lisbon@EFDevcon

2026.10.15 07:19

Can we prove that a zkVM works as intended? @theyisun, co-founder of @axiom_xyz, is joining Devcon 8 to share his work on end-to-end formal verification of OpenVM. Building with ZK? Join Yi to learn how verification can help strengthen the security of systems you're building.⚡