Skip to main content
The verified deployment predates the Nautilius public name. This page separates current branding from immutable v0.1 protocol evidence.

Nautilius deployment

Live reads verified the LandDeal and sender backlinks, registered extension sender and owner, EVM key support, and owner allowlists.

Official dependencies

The FTestXRP address was resolved as ContractRegistry → AssetManagerFXRP → fAsset(). It is a test asset, not mainnet XRP.

v0.1 compatibility identifiers

  • Solidity artifact: SilentLotInstructionSender
  • EIP-712 domain name: SilentLot
  • generated Go binding package: tools/pkg/contracts/silentlot
  • historical evidence schema: silentlot-evidence-v1
Nautilius preserves these exact values so the existing deployment, signatures, ABI checks, and evidence remain verifiable. A future Nautilius-native contract name and signing domain require a new deployment and new explorer evidence.

Current production boundary

At Coston2 block 34060139, getActiveTeeMachines(66252) returned an empty list and the extension had no approved code hash. The registry had 465 active machines globally—13 labelled GCP_AMD_SEV, 9 labelled GCP_INTEL_TDX, and 443 labelled TEST_PLATFORM—but none could legally serve extension 66252. These labels are registry values, not strict attestation results. Nautilius verified one real synthetic-parcel registration and pre-clearing cancellation against LandDeal; it does not claim a selected production TEE, live attestation, FCC action/result, result consumption, or FTestXRP movement.
The contracts, extension registration, and pre-FCC parcel registration/cancellation are live and independently readable. The confidential production lifecycle is not claimed.