All graph state verification protocols are composably secure

Re-assign community