ZK13: Formally Verifying a zkVM - Howard Wu & Alessandro Coglio

zkSummit 11-14 · 17:02

▶

ZK13: Formally Verifying a zkVM - Howard Wu & Alessandro Coglio — a zkSummit 11-14 security conference talk on crypto (17:02 min). Watch the full video, indexed free on the Breach Arc Archive.

← Back to the Breach Arc Archive