Dragon's Arcade
← All games·The Descent·session descent-web

The Descent

a solo dungeon crawl on one torch of light. Everyone gets the same dungeon today, and you keep only what you carry back out.

Sessiondescent-webResume here
  1. 1Session
  2. 2Choose an action
  3. 3Read the result

This page takes your player name at face value and checks no signature, so anyone who knows it can play as you. Nothing in this run is private: your moves, the dungeon and the result all live on this server, and anyone with this session's link can read them.

The Descent · Lean-authored

The living descent · floor 1 of 4

DELVING

DELVING: 3 relics lying on this floor.

light 29/30
pack 0/7
guardian0/1
banked 0/8

⚠ the way home costs 2 light: 1 floor of climb and the exit itself. 27 light left to spend down here.

⚠ the guardian stands: the floor's hoard stays shut until it falls (1 more strike, 2 light)

The shaft

> at row 1, column 1/ at row 1, column 2, a legal move1 at row 1, column 3empty at row 1, column 4k at row 1, column 5, picked upempty at row 1, column 6k at row 1, column 7, picked up* at row 1, column 8, a legal moveempty at row 1, column 9empty at row 1, column 10empty at row 1, column 112 at row 2, column 1# at row 2, column 22 at row 2, column 3empty at row 2, column 4empty at row 2, column 5k at row 2, column 6, picked upempty at row 2, column 7empty at row 2, column 8* at row 2, column 9, a legal move* at row 2, column 10, a legal moveempty at row 2, column 113 at row 3, column 1# at row 3, column 22 at row 3, column 3empty at row 3, column 4empty at row 3, column 5empty at row 3, column 6empty at row 3, column 7empty at row 3, column 8empty at row 3, column 9empty at row 3, column 10empty at row 3, column 114 at row 4, column 1# at row 4, column 22 at row 4, column 3C at row 4, column 4empty at row 4, column 5empty at row 4, column 6empty at row 4, column 7empty at row 4, column 8empty at row 4, column 9empty at row 4, column 10* at row 4, column 11, a legal move@ at row 5, column 1empty at row 5, column 2empty at row 5, column 3empty at row 5, column 4empty at row 5, column 5empty at row 5, column 6empty at row 5, column 7empty at row 5, column 8empty at row 5, column 9empty at row 5, column 10empty at row 5, column 11$ at row 6, column 1, a legal moveempty at row 6, column 2empty at row 6, column 3empty at row 6, column 4empty at row 6, column 5empty at row 6, column 6empty at row 6, column 7empty at row 6, column 8empty at row 6, column 9empty at row 6, column 10empty at row 6, column 11

rows: floors 1–4 · @ your pack (still losable) · $ banked (yours). columns: floor · way · guardian · then one per relic (1 crown, 2–4 way-keys, 5–8 treasures)

> you are here · / open way · # shut way · a DIGIT in the guardian column is the blows that floor's guardian still owes (2 light each to press, 1 to lunge) · x fallen · C crown · k way-key · * treasure

[x] you may act on it now · (x) the piece you have chosen · {x} your sealed destination · -x- legal to name but BLOCKED right now · *x* an objective square · plain: nothing to do here

The record

player: 534c269acf670eea662d7a769834d088b783f8c881f08c7fa5eadbfce37b68db

carried: none

banked: none

revision 1 · root 226924b47f88

Proof-bearing operations

Submit a canonical receipt produced by your private client. Verification happens before the game state changes.

A Lean-authored HidingFri proof aggregates four producer-private score ballots and reveals only the faithful ballot root and winning party plan. The canonical request binds that proof to this native Descent's authenticated player, exact revision, and exact journal root; stale, cross-player, and cross-root reuse refuses. The Tier-1 producer sees all ballots, while the durable journal retains only the public binding and opaque hiding proof. Maximum canonical input: 8388608 bytes.

A Lean-authored HidingFri proof publishes the globally optimal admissible four-seat raid-role permutation while keeping the producer's suitability scores and admissibility matrix private. The canonical request binds that proof to this native Descent's authenticated player, exact revision, and exact journal root; stale, cross-player, and cross-root reuse refuses. This is Tier-1 proof production, not distributed private-input assembly. Maximum canonical input: 8388608 bytes.

A Lean-authored HidingFri proof certifies a bias-free eight-seat deal from eight committed private contributions. The full deal, rank, contributions, and seven unselected cards remain hidden; only the deal root and the fixed seat-zero initiative card are selectively opened. The canonical request binds the proof, all public commitments, and opening to this native Descent's authenticated player, exact revision, and exact journal root; stale, cross-player, cross-root, and duplicate submissions to the same run refuse. The retained request contains public commitments, the seat-zero opening (including its blinding and Merkle path), and the opaque proof. This is a Tier-1 local producer that sees every contribution, not distributed private-input assembly or MPC; its one-shot envelope does not establish the dungeon protocol's temporal multi-party commit-before-reveal, and unbiasedness assumes at least one contribution was uniform conditional on the others. Distinct hosted sessions with identical actor, seed, and move history have the same native proof context because the host SessionId is not part of the native journal. Maximum canonical input: 8388608 bytes.

chain re-verified by replayverified2 verified turnsre-verified by replayReplay-verify
Why does this line say “verified” when my move says “asserted”?

Two different words, two different subjects. verified is about the MOVES: every turn in this session was re-run against the rules just now and came out the same. asserted, on a move's own receipt, is about the NAME on it: this page takes the name you gave at face value and checks no signature, so it can say the move was legal and cannot say who made it. A move signed with a key reads Signed by instead.