TY  - RPRT
TI  - Composable Verification in the Circuit-Model via Magic-Blindness
AU  - Sami Abdul Sater
AU  - Harold Ollivier
PY  - 2026
UR  - https://arxiv.org/abs/2601.07111
ID  - 2601.07111
ER  -