[Tutorial] When Proofs Fail: Debugging Proof Server Errors & ZK Generation Failures (Bounty #319)

[a918124259a]

Summary

This tutorial covers the four most common proof server failures that Midnight dApp developers encounter:

1. Proof server not responding — docker logs diagnostics for the midnight-proof-server container
2. Proof timeout on first call — the ~30MB ZK parameter download and cold start workaround
3. Wire format mismatch — protocol buffer incompatibility between SDK and proof server
4. Version mismatch — proof server Docker tag vs ledger version compatibility

Deliverables

• TUTORIAL.md (2,000+ words) — complete debugging guide with diagnosis and fix steps
• contracts/version-mismatch-demo.compact — sample Compact contract for testing proof server connectivity
• src/proof-server-check.ts — comprehensive health check script (reachability, version, proof generation)

Related

Closes #319

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}