FAQ
Frequently asked questions
- Is this production ready?
- No. V2 is alpha. The clean-room gate runs but some host configurations may report Sealed: Broken. Do not treat it as formal hermetic / release evidence.
- Does the source pick a target?
- No. The source is portable. Target is chosen at compile time via --target. Sources never declare “contract”, “circuit” or “zkVM workload” categories.
- What happens when the compiler cannot preserve semantics?
- It refuses with a stable diagnostic. There is no best-effort downgrade, and no legacy fallback path.
- Does build call the network?
- No. build performs no network or key IO. deploy, prove and verify are explicit commands only.
- Where is the old v1?
- Archived under active/. It is research reference only, not a runtime dependency of V2.