pragma.vision Technology observatory

Verification register Security & Identity

Living definition

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

Zero-Knowledge Proofs Security & Identity

As of
2026-07-23
Revision
2026-07-26.0
Method
v1.3.0

Definition

The term, in context

AI-assisted draft · approved dataset

The Zcash Ironwood shielded pool is a network-upgrade revision of the chain's private value pool, where balances and transfers are represented by commitments and nullifiers so amounts and addresses stay hidden while zero-knowledge proofs establish that each spend is valid. Accompanying formal-methods work models the pool's rules mathematically to show that its privacy and soundness properties follow from the construction itself.

Live readiness status

Status as of the current dateline

AI-assisted assembly · derived results

As of 2026-07-23, verified readiness is 43 (claimed 55, reported 49, gap 12) — Strong evidence strength; current signals suggest Track; not yet.

The readiness fact belongs to the canonical Readiness Verdict for Zcash Ironwood Shielded Pool (NU6.3 + Project Tachyon Formal Proof).

Dataset approval

Human editorial release

pragma.vision editorial — standing authorization (operator dev@soft.house, 2026-07-17)

Dataset
2026-07-26.0
Hash
sha256:e2eb667df093db8819d579dff9aad51021b4977da85db2dfa82f63f9ed4e72b7
Approved
2026-07-26

Your opinion

Tell us anything.

What works, what doesn't, what's missing — especially about our watches, lenses, and the register itself. Anonymous is fine; leave an email if you'd like a reply.