Pick which claims to prove. The circuit compiles locally inside the enclave — your raw values never leave this device.