Powered by OpenAIRE graph
Found an issue? Give us feedback
ZENODOarrow_drop_down
ZENODO
Preprint . 2026
License: CC BY
Data sources: Datacite
ZENODO
Preprint . 2026
License: CC BY
Data sources: Datacite
versions View all 2 versions
addClaim

Atomic Auditability in Financial Execution Pipelines via Hardware-Enforced Ternary States

Authors: Goukassian, Lev;

Atomic Auditability in Financial Execution Pipelines via Hardware-Enforced Ternary States

Abstract

This paper presents a hardware architecture for Atomic Auditability in high-frequency trading systems through the physical enforcement of a ternary execution state primitive. We demonstrate that binary commit semantics—where transactions are either committed or not committed at the hardware boundary—fundamentally cannot eliminate certain classes of race conditions, audit gaps, and irreversibility errors that arise from the temporal decoupling of execution and verification. By introducing a physically enforced third state, "Escrow" or "Null," grounded in Delay-Insensitive Ternary Logic (DITL) and NULL Convention Logic (NCL) principles, we show that entire failure modes including latency arbitrage amplification, microsecond-scale feedback loops, cascading order book instability, and "Ghost Fills" (execution-audit mismatches) can be eliminated by construction rather than mitigated through software or policy interventions. The Escrow state, mapped to the NCL Spacer token, creates a non-volatile, electrically gated hold where execution paths are physically blocked, data propagation is impossible, and state transitions require measurable physical events. This architecture guarantees that execution and audit evidence share the same physical commit boundary, making execution impossible unless audit evidence already exists. We present cycle-accurate timing models, device-level implementation requirements including hysteretic C-element design, formal verification constraints expressed in Linear Temporal Logic, and quantitative cost analysis demonstrating that while DITL introduces bounded latency, it eliminates latency variance (jitter) and removes global clock distribution costs. The dual-rail encoding tax (2 wires per bit) is justified as an acceptable trade-off for race condition elimination in high-value financial execution contexts.

Keywords

Post-Trade Verification, High-Frequency Trading, Hardware-Enforced Audit, FPGA Acceleration, Ternary Logic, Matching Engines, Delay-Insensitive Circuits, NULL Convention Logic

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!