TrustedThirdPartyObfuscatedProgram protocol1 step1. Alice提起处理输入in的请求，in的类型不限。 step2. Bob接受请求，获取in，将其送入程序p，输出out。out类型由Alice或Bob决定。 step3. Bob将输出out发给Alice。 step4.1. Alice付款给Bob，交易结束。 step4.2. Alice拒绝付款给Bob，交易结束。