Skip to the card

Card 641 of 9772026-09-26 issue

Observed arrival · 2026-09-26

Witness Trace puts AI’s arithmetic on the record

proofstage.xyz Visit website
Editorial interest 82/100 Selection signal · not a rating of the site

A browser-based lab runs small sample models, records their inputs and calculations, and lets another person check the exported JSON record.

Landing page captured for the 2026-09-26 issue.
For
People inspecting or documenting small AI model runs
Worth noticing
The page distinguishes a SHA-256 record digest from a zero-knowledge proof and says no prover or ONNX runtime is included.

Field notes

The setup offers three built-in models and deterministic JavaScript execution; it explicitly says uploaded ONNX models are not run in this build. A record can include the inputs, coefficients, intermediate arithmetic, output, and digest, while the checker reports which comparisons match or fail. The page describes EZKL as a reference for a possible future adapter and says this independent front end does not include its proof-generation machinery.

Observed signals

Read the marks

Editorial observations of this landing page, not a rating.

○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use

One card from the complete issue

The Phone Disclosure Test

328,122 arrived 1,000 judged 977 catalogued Enter the complete issue
proofstage.xyz

Landing page observed 2026-09-26. The live site may have changed.