Uses a circular derivation: Step 2 proves Step 3, and Step 3 proves Step 2.
Verifiers lacking Directed Acyclic Graph (DAG) validation will either accept the proof or enter an infinite loop.
