1message ← collect_pending_transactions()2shreds ← erasure_code.encode(message)3commitment ← vector_commitment.commit(shreds)4signature ← signing_key.sign(commitment)5for r in attesters[s]:6 witness_r ← vector_commitment.open(shreds, attester_index)7 send_to_attester(r, commitment, shreds[attester_index], witness_r, signature)