Abstract: Oracle-based Conditional (ObC) payments are widely used in real-world applications. They involve two mutually distrustful parties who wish to execute a payment contingent on the outcome of a ...