This is a quote from the book "B-Money" by Wei Dai
...ffective if the debits succeed forevery party without producing a negative balance, otherwise the contractis ignored and the accounts are rolled back. A sample contract might looklike this:
read full book
K_A agrees to send K_B the solution to problem P before 0:0:0 1/1/2000.K_B agrees to pay K_A 100 MU (monetary units) before 0:0:0 1/1/2000. K_Cagrees to perform arbitration in case of d
ispute. K_A agrees to pay amaximum of 1000 MU in case of default. K_B agrees to pay a maximum of 200MU in case of default. K_C agrees to pay a maximum of 500 MU in case ofdefault.