[E-Lang] Irreversible delegation, was: draft statement of con sensus

Jonathan S. Shapiro shap@cs.jhu.edu
Fri, 09 Feb 2001 18:43:18 -0500

Ben Laurie wrote:
> Assuming that I do manage to prove it, how do I reliably exchange that
> proof for your buck? ;->

Step 1: poor high proof into buck.
Step 2: wait
Step 3: buck produces exchange for proof.