@startuml
Adversaries --> Challenger: m0, m1
Adversaries <-- Challenger: c
@enduml
