Composable Verification in the Circuit-Model via Magic-Blindness - Explained Simply | ArXiv Explained