1upon receiving block from Leader[s]:2 if not signature.verify(pk_{Leader[s]}, block): Alpenglow.skip_vote()3 if bankhash ≠ localBankhash[s - DELAY]: Alpenglow.skip_vote()4 impliedBlocks ← computeImpliedBlocks(aggregateAttestation)5 for (q, commitment) in impliedBlocks:6 validShreds ← count shreds passing vc opening7 if validShreds < RECONSTRUCTION_THRESHOLD * NumAttesters: Alpenglow.skip_vote()8 Alpenglow.notarize_vote(block)