@misc{indiciae1eff494aa4ab,
  title = {Composable Verification in the Circuit-Model via Magic-Blindness},
  author = {Sami Abdul Sater and Harold Ollivier},
  year = {2026},
  url = {https://arxiv.org/abs/2601.07111},
  note = {Source identifier: 2601.07111}
}