No surveyed design achieves all three key properties in post-quantum distributed authorization. — Synthesis