ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa

Name: ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa
Duration: 27 min 18 s
Description: ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa — a zkSummit 11-14 security conference talk on crypto (27:18 min). Watch the full video, indexed free on the Breach Arc Archive.

zkSummit 11-14 · 27:18 · Marcin Kostrzewa

▶

ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa — a zkSummit 11-14 security conference talk on crypto (27:18 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive