1B ← {}2for r in Attesters[s]:3 if received (A_r, signature_r) from r:4 assert VERIFY_SIGNATURE(PK_r, A_r, signature_r)5 for (q → (commitment_q, signature_q)) in A_r:6 assert q ∈ Proposers[s]7 assert VERIFY_SIGNATURE(PK_q, commitment_q, signature_q)8 B[r] ← (A_r, signature_r)9signature ← SIGN(SK, B)10broadcast (B, signature) to all validators