Academy of Crypto Security
ZKP-401/Lessons/05
Week 7~90 minLesson 5 of 6

ZK-Rollup Security

Prover, verifier, sequencer: a layered threat model · Data availability and the escape hatch problem · Upgrade governance and proof-system liveness risks

01Objectives
  • 01Understand and apply: Prover, verifier, sequencer: a layered threat model
  • 02Understand and apply: Data availability and the escape hatch problem
  • 03Understand and apply: Upgrade governance and proof-system liveness risks
01

Prover, verifier, sequencer: a layered threat model

This section covers prover, verifier, sequencer: a layered threat model. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

02

Data availability and the escape hatch problem

This section covers data availability and the escape hatch problem. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

03

Upgrade governance and proof-system liveness risks

This section covers upgrade governance and proof-system liveness risks. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

02Exercises
  1. 01Complete the hands-on lab for zk-rollup security.
  2. 02Review the provided case study and answer the reflection questions.
03Key takeaways
  • ✓Prover, verifier, sequencer: a layered threat model
  • ✓Data availability and the escape hatch problem
  • ✓Upgrade governance and proof-system liveness risks