Specification and Model-checking of the ZKsync Governance Protocol | Igor Konnov

Name: Specification and Model-checking of the ZKsync Governance Protocol | Igor Konnov
Uploaded: 2024-01-01
Duration: 20 min 52 s
Description: Specification and Model-checking of the ZKsync Governance Protocol | Igor Konnov — a 2024 DeFi Security Summit 2024 - Day 3 security conference talk on network, policy-legal (20:52 min). Watch the full video, indexed free on the Breach Arc Archive.

DeFi Security Summit 2024 - Day 3 · 2024 · 20:52 · Igor Konnov

▶

Specification and Model-checking of the ZKsync Governance Protocol | Igor Konnov — a 2024 DeFi Security Summit 2024 - Day 3 security conference talk on network, policy-legal (20:52 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

network policy-legal

← Back to the Breach Arc Archive