Return to Merkle tree
Experiment environments

Protocol labs for project mechanisms

Read-only workbenches for matching, settlement boundaries, forked state, tries, and verifier staging.

Lab catalog

Pick the mechanism you want to inspect

Lab 01Fast

Order Matching And Settlement Flow

SurrealDB relations, session-key signatures, matching transitions, event-chain replay, and withdrawal proof prep in one flow.

sybillaclient simulation1 guardrail
Open environment
Lab 02Technical

Settlement Boundary Explorer

Dojo world state, proxy routing, operator-run Katana, Torii, and CRDT settlement.

sharding operatorclient simulation1 guardrail
Open environment
Lab 03Technical

Forked State: Proof Fetch View

Which proof nodes a fork fetches, how they fill a partial trie, and why roots stay verifiable.

katana bonsai provable forkingclient simulation1 guardrail
Open environment
Lab 04Technical

Partial Patricia Trie: Structure View

How Edge/Binary nodes form, proof nodes fill gaps, and a fork copies the partial trie.

katana bonsai provable forkingclient simulation1 guardrail
Open environment
Lab 05Deep dive

Verifier Pipeline Explorer

How STARK verification was split across Solana programs, buffers, and ownership handoffs.

solana verifierclient simulation1 guardrail
Open environment