# Nautilius

> Judge-facing product, protocol, privacy, deployment, and verification documentation for Nautilius on Flare.

## Docs

- [Nautilius documentation](https://docs.usenautilius.xyz/index.md): Understand, test, and verify confidential Lagos land-sale coordination on Flare.
- [Quickstart](https://docs.usenautilius.xyz/quickstart.md): Run the Nautilius product and choose the honest demo or live verification path.
- [Guided demo](https://docs.usenautilius.xyz/start/guided-demo.md): Complete the Nautilius land-sale story with explicit real and simulated boundaries.
- [Judge walkthrough](https://docs.usenautilius.xyz/start/judge-walkthrough.md): Verify Nautilius in two minutes, then inspect the full live FCC path and evidence checklist.
- [Architecture](https://docs.usenautilius.xyz/concepts/architecture.md): Trace Nautilius from browser-encrypted offers through FCC result verification and FTestXRP escrow.
- [Privacy and threat model](https://docs.usenautilius.xyz/concepts/privacy-and-threats.md): Understand what Nautilius encrypts, what remains public, and which TEE, relay, and contract assumptions remain.
- [Evidence and legal boundary](https://docs.usenautilius.xyz/concepts/evidence-and-legal-boundary.md): Learn what Nautilius commitments prove, what they cannot prove, and which Lagos land processes remain external.
- [Reproduce locally](https://docs.usenautilius.xyz/build/reproduce-locally.md): Run Nautilius extension, contract, tooling, web, and tee-node compatibility gates.
- [Deploy on Coston2](https://docs.usenautilius.xyz/build/deploy-coston2.md): Resolve official dependencies and deploy the Nautilius v0.1 contract and FCC registration topology.
- [Verify production attestation](https://docs.usenautilius.xyz/build/verify-attestation.md): Verify a fresh FCC TEE result, Confidential Space attestation, registry state, and independently supplied measurements.
- [Tunnel operations](https://docs.usenautilius.xyz/build/tunnel-operations.md): Expose an FCC extension proxy through a stable HTTPS hostname without leaking tunnel credentials.
- [Deployed v0.1 identifiers](https://docs.usenautilius.xyz/reference/deployed-v0-1.md): Explorer-verifiable Coston2 contracts, extension registration, official FTestXRP dependency, and compatibility identifiers.
- [FCC extension contract](https://docs.usenautilius.xyz/reference/extension-contract.md): Normative HTTP, wire-format, dispatch, container, and reproducibility reference for the Nautilius TypeScript extension.
- [Clearing result](https://docs.usenautilius.xyz/reference/clearing-result.md): Reference for the fixed Nautilius clearing payload and the onchain checks applied before escrow can advance.