Exit Guarding

Event Handling

Predicate Event Watching

Todo

Explain how predicate plugins can watch for exit events.

Predicate Guarding

Exit Validity Determination

Todo

Explain how predicate plugins determine whether an exit is valid or not.

Challenge Generation

Todo

Explain how predicate plugins generate a challenge.

Challenge Submission

Todo

Explain how predicate plugins actually send the challenge to Ethereum.