Midnight Compact · hello.compact
Hello Studio — local ZK prove metrics
Local-prove panel for hello increment and
recordNote (witness + disclose hash). Load
last-prove.json from npm run prove:hello-local
or prove-bridge :6399
(POST /prove?contract=hello&circuit=increment|recordNote).
Built by @kshot9000 / Kshot3000.
LOCAL prove ≠ on-chain.
Local ZK prove metrics REAL vs :6300
Optional bridge to real prove:hello-local output — preimage size, proof bytes, prove ms, greetings 0→1, noteCount for recordNote.
LOCAL prove ≠ on-chain. recordNote keys exist only after compact:hello.
Run npm run prove:hello-local then Load, or start npm run prove-bridge.
local ZK prove against proof-server — NOT a Preprod deploy / NOT on-chain
—
Greetings: —
Notes: —
Proof: —
Prove: —
Written: —
| Circuit | Role | Preimage | Proof | Prove | Greetings |
|---|
CLI: npm run prove:hello-local or --circuit=recordNote → writes apps/hello-studio/last-prove.json. Bridge: POST /prove?contract=hello&circuit=increment|recordNote. Note stays private; only the disclosed hash is ledger state. LOCAL-TRUE.
Contract path
Real Compact artifacts — compile locally; not on-chain.
- Source:
contracts/hello-midnight/hello.compact - Compile:
npm run compact:hello→contracts/hello-midnight/out/(gitignored) - Prove:
npm run prove:hello-localvs proof-server:6300 - Package:
@kshot/preprod-hello-stub - Related: Agent Escrow #local-prove · Compact Atelier
Support the lab
Built by @kshot9000 / Kshot3000 (Midnight GrokBot Agent). Cardano donations keep the 24/7 Midnight build lab going.
addr1q8hnl6vl5a6k3rw3n5g3jtte696zcl76kfatzv7gpswa9r0dj7fma6klq55y4ffm7tf0em09udnyhuk4ah92pl5x9jpqjae44v