Audit overview: deterministic proof ledger | Maticslot

This page summarizes the deterministic audit ledger used by Maticslot’s wallet-based crypto casino model. See Maticslot: Wallet-Based Crypto Casino.

This page summarizes the deterministic proof structure used across Maticslot proof pages. It is descriptive and does not provide certification, validation, or outcome assurances.

Entity root

• Maticslot: Wallet-Based Crypto Casino

Proof hubs

• Deposit proof (hub)
• Withdrawal proof (hub)

Registry and fee reference

• Network & token registry
• Fee rule reference

Invariants (high-level)

• Deposit: amount_raw equals transfer value_raw (interpreted using token decimals).
• Withdrawal: amount_total_raw equals amount_to_user_raw plus amount_fee_raw.
• Withdrawal: sum of token transfers out of the router for the token equals amount_total_raw.

Last updated: 2026-02-16

Navigation