Coproof Bench
Open console
KIOSK-01 ONLINE · 3 COPROCESSORS · 8 ARC BLOCKS

Compile a tag. Watch proof time settle.

Track prover performance across coprocessor releases on real arc blocks.

Proof pipeline · schematicfetch → build → prove → verify
Frosted glass console schematic with version rows and central COMPILE button
Quick compilepress C
Version
{{ m.short }}{{ m.isa }} {{ m.mean }} ms {{ m.total }} MB {{ m.chip }}
{{ vLabel }}
{{ vText }}
System status{{ clock }}
{{ kv.k }}{{ kv.v }}
Historylast {{ runCount }} runs
TagStateMean msΣ MB
{{ r.tag }}{{ r.st }}{{ r.ms }}{{ r.mb }}
Performanceproof ms / block
CP1 CP2 CP3
01 — OPERATION

Select tag, press COMPILE

Three columns update with proof time and binary size.

STEP 01tag
Select a release tag

Version rows list stable, LTS, release-candidate and nightly tags. Each resolves to a commit sha before anything is built.

BP311 · stable · 9f3a1c2
STEP 02compile
Press COMPILE

The kiosk builds one guest per coprocessor, executes 8 arc blocks, proves each one and verifies the 24 proofs.

build → witness → prove → verify
STEP 03read
Read the three columns

Proof time in ms and binary size in MB settle row by row, with a delta against the previous run of the same block.

19204015 · 489.2 ms · 3.2 MB · ▼4.1
Three-column benchmark table after compile

The console is already running.

arc head #{{ head }} · {{ lastMs }} ms mean · {{ lastMb }} MB Σ
/bench · kiosk-01 · arc 19204011..19204018

Bench console

C compile · ←/→ tag
Release tags8 tags
tag {{ tag }} · {{ tagSha }}{{ progTxt }}
{{ vLabel }}
{{ vText }}
first run: BP311 is the current stable tag
Gaugesproof ms / block
{{ k.val }} {{ k.label }}
{{ col.name }}{{ col.isa }}
{{ col.chip }}
Arc blockProof time msBinary MBΔ %
{{ r.blk }} {{ r.ms }} {{ r.mb }} {{ r.delta }}
mean {{ col.mean }} msΣ {{ col.total }} MB
{{ col.errText }}
Compile logUTC
{{ l.t }}{{ l.text }}
Run log{{ runCount }} runs
RunTagStateMean ms
{{ r.id }}{{ r.tag }}{{ r.st }}{{ r.ms }}
coproof@kiosk-01:~$
{{ s.short }} · {{ s.isa }} {{ s.tag }}
{{ s.last }}ms last
BlockmsMBst
{{ s.el }}
LOG{{ vLabel }}
{{ l.t }}{{ l.text }}
LAST COMPILE · {{ resTag }}{{ verified }} proofs
CoprocessorMean msΣ MBBlocksState
{{ m.short }} {{ m.isa }}{{ m.mean }}{{ m.total }}{{ m.blocks }}{{ m.chip }}
/about · how it works

One tag in, twenty-four proofs out.

Coproof Bench is a kiosk console for comparing prover releases. You pick a release tag and press COMPILE. The console builds a guest binary for each of three coprocessors, proves the same 8 arc blocks on each, and reports wall-clock proof time in ms and binary size in MB.

All figures on this site are illustrative and generated in the page.

COMPILE button on frosted glass tile

Pipeline

01 FETCHResolve the release tag to a commit sha and pull sources.BP311 → 9f3a1c2
02 BUILDCompile one guest per coprocessor ISA. Binary size is recorded here.rv32im · wasm32 · evm-k
03 WITNESSExecute each arc block in the guest and generate its witness.limit 2048 MB / witness
04 PROVEProve each block. Wall-clock time per block is the proof time column.8 blocks × 3 coprocessors
05 VERIFYCheck every proof against its block header. A run is VERIFIED at 24/24.24/24 → VERIFIED

Reading a row

FieldUnitMeaning
Arc block#A fixed block from the arc chain. The same 8 blocks are used for every tag so runs compare directly.
Proof timemsWall-clock time from witness ready to proof written, for one block.
Binary sizeMBSize of the guest program linked for that block's execution path.
Δ%Change in proof time against the previous run of the same block. ▼ faster, ▲ slower.

Failure states

BUILD FAILUREBP340-nightly

A guest does not compile. The pipeline stops before any block is proved and no column reports numbers.

build   cp1 rv32im  ERR E0412 unresolved import arc_host::v3
abort   build failed · 0 of 3 coprocessors proved
PROVE FAILUREBP333-rc1

One coprocessor halts mid-run. Its column keeps the blocks it proved and marks the rest ERR.

prove   cp3  block 19204015  ERR witness gen OOM · limit 2048 MB
abort   1 of 3 coprocessors failed
recover: select BP311 (stable) and COMPILE again.
Test rig
HOSTkiosk-01
CPU64 cores @ 3.1 GHz
MEMORY512 GB
BLOCKSarc 19204011–19204018
RUN NOISE±1.5 %
Terminal commands
$ compile BP311
$ compile BP333-rc1
$ tags
$ status
open /terminal →
STATUS {{ statusText }} TAG {{ tag }} LAST {{ lastMs }} ms · {{ lastMb }} MB ARC HEAD #{{ head }} RUNS {{ runCount }} UTC {{ clock }}