Zcash Ironwood Shielded Pool (NU6.3 + Project Tachyon Formal Proof)

A dated reading of what is claimed, reported, and independently verified in the current evidence.

Current reading

Readiness band and full integer triple

AI-assisted assembly · derived results

Readiness band

Watch

Primary summary from verified readiness

Evidence strength Strong

Decision

Human editorial judgment · 2026-07-21

Track; not yet

Why: The record's core notability claim — a completed formal proof that Ironwood contains no hidden counterfeit-minting bugs — is explicitly still pending per the founder's own hedged 'on the verge of producing' framing (2026-07-08); the ZIP spec remains Draft and the shielded pool itself has not yet activated on mainnet (scheduled 2026-07-28). claimedReadiness was reduced from an initially-drafted 70 to 55 to avoid outrunning the vendor's own hedged claim, especially given a real, disclosed precedent bug (May 2026 Orchard counterfeiting flaw, undetected for 4 years) in the predecessor circuit.
Next: Re-evaluate after the July 28, 2026 NU6.3/Ironwood mainnet activation and after Project Tachyon either publishes or continues to withhold the formal counterfeit-freedom proof; also confirm whether zcashd ever gains NU6.3 support or is effectively deprecated in favor of Zebra.

Constraints

No named blocker is present in the current public projection.

Evidence summary

AI-assisted assembly

Counts and dates only. Raw signals, private excerpts, trust records, and internal corpus material are not published here.

Publication record

Initial public reading