kaal:claim:3405401-019

In more complex smart contracts the counterparties cannot fully know whether the contract will do what it was programmed to do, or whether it will contain bugs or follow a logic the parties did not anticipate.

Source quote, verbatim
In other words, in more complex smart contracts, the counterparties to the contract cannot fully know if the contract will do what it was programmed to do and whether it will have bugs or otherwise follow another logic that was not anticipated by the parties to the contract.
From

Wulf A. Kaal, Decentralized Commerce – A Primer on Why Decentralized Reputation Verification Systems Are Needed (2019), V. Trust Problem, p. 7
https://ssrn.com/abstract=3405401 · source PDF

Cite as

Wulf A. Kaal, Decentralized Commerce – A Primer on Why Decentralized Reputation Verification Systems Are Needed (2019). SSRN: https://ssrn.com/abstract=3405401

Holds when
Classification

failuresupport: arguedfailure: unverifiable-code-behaviorfamily: smart-contract-bug-and-exploitsmart-contractsrisk-and-incentivesreputation

Verify

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