About

Dijkstra Keystone is deterministic computation infrastructure for decentralized finance. The libraries produce identical results across x86, ARM and WebAssembly, eliminating the reconciliation failures and cross-platform drift that follow from floating-point arithmetic in financial systems.

The name is a homage to Edsger W. Dijkstra, whose work on program correctness and formal verification sets the standard the project aims at: precision is not optional when money is involved.

The libraries

• precision-core: 128-bit decimal arithmetic, seven rounding modes, 28 significant digits, 17 Kani proof harnesses
• financial-calc: interest and time value, options pricing and Greeks, AMM and concentrated-liquidity math, perpetuals, term structures, root solvers
• risk-metrics: health factors, liquidation thresholds, position analysis
• keystone-defi: a single unified SDK over the three libraries above
• keystone-wasm: browser and Node.js bindings via WebAssembly

Guarantees

Every core crate is #![no_std] and #![forbid(unsafe_code)]. Determinism test vectors run in CI on Linux, macOS and Windows, and the wasm32 target is built on every commit. The arithmetic is checked rather than wrapping. Overflow, underflow and division by zero are values, not surprises.

Open source

The core libraries are dual-licensed MIT and Apache 2.0. Financial infrastructure should be auditable, verifiable and accessible. Source lives at github.com/dijkstra-keystone/keystone.

Who builds it

Built by Qais Alassa (قيس العصا).

Correspondence: hello@dijkstrakeystone.com.