Klassische Verifizierung von Quantenbeweisen | Synapse