Dodona
Get started

Get started

Start from a signed checkpoint, not a pretend download command.

The hosted installer and public container registry are not live. Early evaluators receive a checkpoint directory directly and verify it before running anything.

Current evaluation path

Three steps, all from staged artifacts.

1. Receive

Ask the person who shared this site for checkpoint `20260715-bp28-f4694c5` or a newer recorded checkpoint.

2. Verify

Check the combined SHA-256 manifest, cosign signature, release tarballs, and signed SPDX SBOMs before installation.

3. Exercise

Run the artifact-only PLAY scripts for a single machine and a simulated two-node deployment, then inspect the explicit gaps.

Verify before install

The checkpoint is self-contained.

The directory includes release tarballs for ARM64 and AMD64 Linux, Debian packages, checksums, signatures, a public verification key, SBOMs, installers, `PLAY.md`, and captured transcripts.

Checkpoint verification 
cd <shared-checkpoint-directory>
sha256sum -c SHA256SUMS
cosign verify-blob --key cosign.pub \
  --signature SHA256SUMS.sig \
  --insecure-ignore-tlog SHA256SUMS

Run the staged exercises

Artifact-only PLAY 
bin/play-single-machine.sh
bin/play-multi-node-local.sh

The 2026-07-15 checkpoint’s single-machine and two-node local exercises passed. Compose was an explicit environment skip, and the AMD64 build was not executed on the ARM64 builder because no x86 emulator was available.

Recorded output

The latest checkpoint transcript.

Captured 2026-07-16 from checkpoint PLAY evidence 
Captured: 2026-07-16 UTC
# Dodona Checkpoint 20260715-bp28-f4694c5

Source commit: `f4694c567ccd9bd21d35f89c594e37af7c2b7c82`
Tag: `checkpoint/20260715-bp28-f4694c5`
Built targets: aarch64-unknown-linux-musl, x86_64-unknown-linux-musl
Debian packages: arm64, amd64
x86 status: built, not locally executed (qemu-x86_64 unavailable)

$ bin/play-single-machine.sh
[play-single] local dist server ready
[play-single] brain installed from staged URL artifacts
[play-single] brain process running
[play-single] node process running
[play-single] greeter workload registered and served HTTP
[play-single] teardown complete
[play-single] PASS

$ bin/play-multi-node-local.sh
[play-multi] brain process running
[play-multi] two node processes running
[play-multi] two nodes joined and served the same service
[play-multi] teardown complete
[play-multi] PASS