SDAG Verification Protocol: ACTIVE