Dijkstra Keystone

Deterministic financial math.
Identical results everywhere.

[Dijkstra Keystone @DijkstraKstone]

Now open source under MIT/Apache-2.0.

GitHub: https://t.co/AYNYfO7IcV
Docs: https://t.co/viAM1yInQR

Star if you've been burned by floating-point math.

[Dijkstra Keystone @DijkstraKstone]

Why Floating-Point Arithmetic Fails in Finance

0.1 + 0.2 = 0.30000000000000004

This bug has cost DeFi protocols millions. Here's why floating-point math is dangerous for financial applications, and how we fixed it. 🧵

[Dijkstra Keystone @DijkstraKstone]

Keystone is ZK-forward.

Running the same calculation in SP1 zkVM produces identical outputs to the verifier.

Proofs that actually verify. Novel concept.