no custom circuits. execute virtual Starknet tx locally → Stwo proves it → is_valid_signature called inside the simulation. your multisig works. your hardware wallet works. your social recovery works. zero extra key pairs.