ZK-STARK Proof (2025 Roadmap)

We are now in the process of layering in a full ZK Pipeline to scale this model with on-chain auditability and decentralized operators.

• Shuffles, deals, and state transitions proven inside a Cairo VM.

• Proofs are batched, sequenced, and published on-chain.

• Any operator can run games — if dishonest, their collateral is auto-slashed.

This guarantees:

• No one can peek at your cards.

• No operator can manipulate hands.

• Mathematical fairness, verifiable in real-time.

With this ZK stack in place, we embed the Metal Pokes’s “padlocked box” primitive: players iteratively mask, re-mask, and threshold-decrypt only their own cards, while a lightweight ZK argument proves the deck’s correct permutation.

This guarantees that no one—operator or player—can peek or manipulate cards, delivering the ultimate level of provable fairness in live play.