alibi/docker-compose.yml at main · mdlog/alibi · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
# ─────────────────────────────────────────────────────────────────────────────
# ALIBI — local infrastructure
#
#   docker compose up -d proof-server      (or: npm run proof-server:up)
#
# The proof server is a HARD dependency for any demo (HACKATHON_BRIEF §3.6).
# Every ZK proof in this project is generated here, locally, on :6300 — nothing
# is sent to a hosted prover. Prove steps are quoted at 20–30s; that latency is
# a product constraint, not a bug, and the UI is designed around it (PRD §8.1).
#
# Lace setup that must match this file:
#   Lace » Settings » Midnight → Local (http://localhost:6300)
#
# NOT started by the scaffolder. The builder starts it.
# ─────────────────────────────────────────────────────────────────────────────

services:
  proof-server:
    # ASSUMPTION (unverified): `latest` is correct for Wave 1.
    # TODO(D1): pin to the exact digest/tag that matches Compact 0.31.0 and
    # record it in the README — a silently-updated prover invalidates the
    # measured latency table (SH4) and can break a clean-clone verification.
    image: midnightnetwork/proof-server:latest
    container_name: alibi-proof-server
    # Mirrors HACKATHON_BRIEF §3.6 verbatim:
    #   docker run -p 6300:6300 midnightnetwork/proof-server \
    #     -- 'midnight-proof-server --network testnet'
    command: ["midnight-proof-server", "--network", "testnet"]
    ports:
      - "6300:6300"
    restart: unless-stopped
    # The browser cannot reliably poll this endpoint (CORS — LAYOUT_SPEC §3.2),
    # so SystemHealthStrip derives health from observed provider outcomes, not
    # from a heartbeat. This healthcheck is for the operator, not the UI.
    healthcheck:
      test: ["CMD-SHELL", "curl -fsS http://localhost:6300/health || exit 1"]
      interval: 30s
      timeout: 5s
      retries: 3
      start_period: 20s

# TODO(D9, optional): add the Midnight local standalone network here
# (HACKATHON_BRIEF §3.8) so iteration does not depend on testnet or the faucet.
# Keep testnet as the demo target (SH1).