1A ← {}2for q in Proposers[s]:3 if received (commitment_q, shred_q, vc_rand_q, witness_q, signature_q) from q:4 assert VERIFY_SIGNATURE(PK_q, commitment_q, signature_q)5 assert VC_VERIFY(commitment_q, Attesters[s]^{-1}[p], shred_q, vc_rand_q, witness_q)6 S[s, q] ← (commitment_q, shred_q, vc_rand_q, witness_q, signature_q)7 broadcast (s, p, q, commitment_q, shred_q, vc_rand_q, witness_q, signature_q) to validators8 A[q] ← (commitment_q, signature_q)9signature ← SIGN(SK, A)10send (A, signature) to Leader[s]