Every claim, checked against the chain
Read live from rpc.testnet.fastnear.com (cached a few seconds) at finality final, block 276,025,165. Each check shows the raw value it was judged on and how to reproduce it.
The launch account has no access keys. Nobody can sign for it, upgrade it, or move its reserves.
Older build: this launch runs the launch code its own factory (fac22753.zkspike-1790329170474.testnet) pinned, an earlier build than the current factory's. Keyless, so it never changes; testnet history.
The verifying key this app proves against hashes to the key compiled into the contract.
Every token and every yoctoNEAR is accounted for: both solvency identities hold to the last unit (recomputed here, and asserted by get_solvency).
2% on every curve and shielded-pool trade; a floored quarter (0.5% of the trade) accrues to the creator in creator_fee_bucket, the rest to the platform. The Rhea toll goes 100% to the platform.
The 0.5% creator share accrues to zkspike-1790329170474.testnet, the account that called the factory's launch(). Only it can sweep creator_fee_bucket.
60% of supply sits in shielded notes flagged locked. The circuit refuses to move a locked note out of the locked set until the curve sells out.
Not graduated yet: the Rhea pool is created by the seeding crank when the curve sells out, and its LP shares go to this keyless contract, which has no path to remove them.