Qualification: An ontology-driven approach to security analysis of Sui Move smart contracts

Record: kaal:position:2026-08-08-064 · 2026-08-08

An ontology-driven approach to security analysis of Sui Move smart contracts argues that mature Ethereum tools often detect syntactic vulnerabilities while missing divergences between intended design and on-chain implementation, leaving functionality open to manipulation. This independently corresponds to the implementation-flaw mechanism in Kaal's account of the DAO failure. The proposition does not study the DAO incident or its reported loss.

Affirmed commentary position. This record extends a source-bound scholarly claim but is not a verbatim paper claim.

Holds when

The response is limited to the retrieved source proposition and mapped Kaal claim unless fuller source review supports a broader conclusion.
External evidence level: abstract indexed.
Mapping review tier: substantively reviewed abstract-level qualification.
Primary mapping confidence: 0.62.
The primary mapping cleared the automated ambiguity test; substantive scope remains review-bound.
Evidence is limited to an exact proposition in a Crossref-indexed abstract; full text was not reviewed.
No relationship is treated as external endorsement, citation, causation, or validation of a broader Kaal claim.
The Greek-language source identifies a concrete implementation-risk mechanism: mature Ethereum security tools can miss divergence between intended contract design and on-chain implementation, enabling malicious manipulation. This corresponds to Kaal's implementation-flaw account of the DAO failure, but it does not study that DAO or its one-third loss.

Current debate

An ontology-driven approach to security analysis of Sui Move smart contracts

Scholarly basis

kaal:claim:2922176-035
Mark Fenwick, Wulf A. Kaal, Erik P. M. Vermeulen, The ‘Unmediated’ and ‘Tech-Driven’ Corporate Governance of Today's Winning Companies (2017). SSRN: https://ssrn.com/abstract=2922176
Source PDF sha256: fa4e986917d437cb1504281e7b986be2698e9507d8feaf426c9d7d1754ca882c

Evidence and mapping

Evidence: abstract indexed
Review tier: substantively reviewed abstract-level qualification
Mapping confidence: 0.62
Mapping ambiguous: false

Topics

dao blockchain smart-contracts decentralization governance-design historical-response scholarly-literature crossref

Provenance

Affirmed in kaal-review:2026-08-08:continuous-crossref-0010-remainder-0001-reviewed-v1 on 2026-08-08. Review record.

Verify

Canonical markdown sha256: ce0e9547c66d4f2e6bab3004a30dbfe401fd88a2941f777a93de527064d8a3f5
curl -s https://wulfkaal.github.io/positions/2026-08-08-064.md | sha256sum