# ZCashNames (ZNS) > Decentralized Domain Name Service for ZCash with Zero-Knowledge (SP1) state proof verification and 100% shielded Orchard transactions. ZCashNames (ZNS) allows users to register, manage, resolve, and trade human-readable domain names (e.g. `richard.zcash`, `.zec`, `.private`, `.secure`, `.safe`) mapping to 106-character ZCash Orchard Unified Addresses (starting with `u1...`). All registrations and state changes are verified via SP1 RISC-V Zero-Knowledge proofs and sparse Merkle trees (SMT depth 128). ## Key Specs & Protocols - **Supported TLDs**: `.zcash`, `.zec`, `.private`, `.secure`, `.safe` - **Address Format**: ZCash Orchard Unified Address (106 characters, `u1...`) - **Protocol Memo Format**: - Registration: `ZNS:1:REG:{name}:{shielded_address}:{ed25519_pubkey}:{nonce}:{signature}` - Address Update: `ZNS:1:UPD:{name}:{new_shielded_address}:{ed25519_pubkey}:{nonce}:{signature}` - Ownership Transfer: `ZNS:1:CHG:{name}:{new_owner_ed25519_pubkey}:{nonce}:{signature}` - Listing for Sale: `ZNS:1:LST:{name}:{ed25519_pubkey}:{price}:{nonce}:{signature}` - Delisting: `ZNS:1:ULT:{name}:{ed25519_pubkey}:{nonce}:{signature}` - Buying: `ZNS:1:BUY:{name}:{shielded_address}:{ed25519_pubkey}:{nonce}:{signature}` - **State Integrity**: Depth-128 Sparse Merkle Tree (SMT) with SHA-256 leaf hashing and SP1 RISC-V ZK Proofs. ## Documentation Links - [Overview](https://docs.zcashnames.co/): Introduction to ZCashNames, registration fees, and update costs in ZEC. - [How It Works](https://docs.zcashnames.co/how-it-works/workflow): Architecture, scanner pipeline, and prover workflow. - [Security Guarantees](https://docs.zcashnames.co/how-it-works/security-guarantees): Non-custodial escrow, trustless indexing, and cryptographic guarantees. - [Supported Operations](https://docs.zcashnames.co/category/supported-operations): Registration, resolving, managing, and marketplace trading. - [API Reference](https://docs.zcashnames.co/category/api-reference): Public REST API endpoints for resolving names, querying SMT roots, checkpoints, and domain history. - [ZK Proofs](https://docs.zcashnames.co/category/zk-proofs): SP1 zkVM proof chain, SMT verification algorithms, and client-side proof checking code examples (Python, JavaScript, PHP).