sbox_circuit_evidence.zip