> On Aug 13, 2020, at 10:57 PM, shelvacu via agora-business > <agora-busin...@agoranomic.org> wrote: > > Because the integer x specified in the contract is information that is > not publicly or generally available, all portions that depend on it are > an "annex". Thus, revoking 5 coins was not effective because no part of > the contract's body allowed it. > > While the contract states that "The Eligible Revocation can be > calculated as follows", that is simply not true. What is provided is a > way to /verify/ the Eligible Revocation. While theoretically 'x' could > be found via brute force has exactly one correct value, the process of > finding that integer would require resources that are certainly not > publicly or generally available.
The Eligible Revocation can be determined from publicly available information (by brute force, as you mentioned). While you're certainly correct that the resources needed to do so aren't generally available (or available on this earth, as you mentioned in your side-note to your side-note), I'm not sure the rules impose any restriction on resources required for interpretation, only information required to do so. As shel mentioned, my initial note was slightly incorrect. I said "random 64-bit value", but meant "random 256-bit value" (or 64 characters of random hex). It's not a hash of a random value; the required hash itself *is* a random value. Gaelan