attested R1 SPEC-INTERFERENCE-4 L0 module