kaal:claim:3782214-016

Rigid code is law contracts must become extremely complex to cover the eventualities of real business situations, and bugs or hacks can never be certainly precluded in any programmable contract.

Source quote, verbatim

Moreover, rigid "code is law" smart contracts will need to be extremely complex to account for the many possible eventualities of practical business situations. The insurmountable reality is that bugs or hacks can never be certainly precluded in any programmable contract.

From

Craig Calcaterra, Wulf A. Kaal, Decentralized Governance (2021), Decentralized governance with new IT tools, p. 8
https://ssrn.com/abstract=3782214 · source PDF

Cite as

Craig Calcaterra, Wulf A. Kaal, Decentralized Governance (2021). SSRN: https://ssrn.com/abstract=3782214

Holds when

any programmable contract, including those written in secure functional languages

Classification

failuresupport: arguedfailure: unavoidable contract bugsfamily: oracle-and-input-corruptionsmart-contractsopen-source-and-codeconsensus-and-security

Verify

The quote above is an exact substring of the source PDF, whose sha256 is ba892bb200c1455447c0014f5067a501a93ea9ec413c31942d95952eb3bdfd9d. Extraction method: pdf-text-layer.
Attestation record: colloquium/attestations/af9c7fc4338b9807...json
Verify the binding yourself: curl -s https://wulfkaal.github.io/claims/3782214-016.md | sha256sum