← coretx.id
VERIFICATION ENGINE

ZK Proof Verification

Independently verify on-chain cryptographic proof verification for PIKO.BOO, KPOP.ROCKS, and all CORETX Arcade games. Replay hash computations, query live Soroban contracts, and look up verified game seals — all transparent, all auditable.

On-Chain Contract Status
Status
QUERYING...
Version
Loading...
Contract ID
Total Verified Seals
Loading...
Network
Stellar Mainnet (Public)
How ZK Score Verification Works

The CORETX ZK Verifier v2 uses a commitment-based gasless verification system. A SHA-256 commitment of the game data is computed client-side and submitted on-chain via the CORETX gasless relayer. The player never pays gas fees, and all scores are permanently verifiable on the Stellar ledger.

1
🎮
Play
Player completes an arcade game. Score and game data are recorded locally with a seeded PRNG.
→
2
🔒
Commit
Client computes SHA-256 commitment of game data + seed + salt. Commitment binds score to game state.
→
3
⛽
Relay
Score + commitment sent to CORETX gasless relayer. Relayer builds and signs the Soroban TX — player pays zero gas.
→
4
✅
Verify
Score permanently recorded on-chain with commitment, player hash, game ID, and ledger timestamp.
Interactive Hash Verifier

Try it yourself — enter game values below. This computes the exact same SHA-256 hash that the on-chain contract uses to verify scores. The format is:
PIKO-NETHER|score:X|wisdom:Y|time:Z|ts:T

Seal Data String
SHA-256 Hash (Hex)
Rank
✓ IDENTICAL TO ON-CHAIN COMPUTATION
Seal Lookup

Enter a Score ID to look up a verified score directly from the on-chain contract. All data is read directly from the Soroban ledger — no intermediary.

Source Audit

Full transparency. Every component is verifiable on-chain or in the public source.

🔍
Contract Explorer
View on Stellar Expert
📜
v2 Upgrade Transaction
ZK Verifier v2 deployment
⚙️
Migration Transaction
v1→v2 storage migration
🎮
Play the Game
PIKO.BOO — Escape the Nether
WASM Hash
CORETX ZK Verifier v2 · coretx_zk_verifier.optimized.wasm (8,183 bytes)