Why Developing for the #blockchain is Hard Part 2: Computing Proper Collateral
▻https://hackernoon.com/why-developing-for-the-blockchain-is-hard-part-2-computing-proper-collat
Many proposed blockchain solutions use verification games, whether informally as in TrueBit and Plasma, or formally as in Alacris.io. In these systems, an important challenge is for the contract to be able to assess whether participants are putting down sufficient collateral to accompany their claims; and this assessment crucially depends on having a good model for the price of gas.My Name is Bond, Collateral BondIn a system based on verification games, participants make claims that others may disprove if they are invalid. Each step of the verification game (or “smart lawsuit”) happens by invoking the “smart contract” on the blockchain with parameters detailing the claim (making a “smart legal argument”). If no one successfully counters the claim with a counter-claim within its challenge (...)