{"id":"ship:c96d6b13-c5c4-4b90-a35e-6d8c8d2a7d37","withdrawn":false,"project":{"slug":"verge-snowy-x402","name":"Verge Snowy x402","url":"https://heyresearch.xyz/project/verge-snowy-x402"},"domain":"build","claimType":"GITHUB_RELEASE","summary":"v1.2.0 — ZK batch proofs + standalone facilitator binary","sourceType":"github","sourceUrl":"https://github.com/vergex402/verge/releases/tag/v1.2.0","publishedAt":"2026-09-27T19:05:54.000Z","detectedAt":"2026-09-28T00:55:40.780Z","precision":"EXACT","verification":"PUBLICLY_VERIFIED","countsAsBuilding":true,"countedAs":"counted","countedAsSentence":"Yes. It is one of the records HEY’s activity status is built from.","recordedAt":"2026-09-28T00:55:40.780Z","metadata":{"summary":"## v1.2.0 — ZK batch proofs + standalone facilitator binary The final two roadmap items. **Roadmap is now 100% shipped.** ### ZK batch settlement proofs (`zk/`) Real Groth16 SNARK over a Poseidon Merkle tree of settlement leaves. - Circuit compiled: **3468 constraints**, 2 public inputs (`root`, `numLeaves`), 32 private - Proven + verified: `snarkjs groth16 verify` → **OK** - Solidity verifier generated (`verifier.sol`) — deployable on-chain - Negative test: corrupted root rejected at witness generation - Design: positional (index-ordered) Merkle removes the entire comparator/bit-decomposition","releaseVersion":"v1.2.0","prerelease":false},"sources":[{"evidenceRowId":"71a80fde-612e-41f0-b855-724b5155b2ab","sourceType":"GITHUB_REPO","sourceUrl":"https://github.com/vergex402/verge/releases/tag/v1.2.0","observedAt":"2026-09-28T00:55:40.780Z","metadata":{"tag":"v1.2.0","prerelease":false}}],"disclaimer":"Public, source-backed activity HEY recorded. Still Building means counted ships during a market drawdown HEY itself tracked — it is not a prediction, not a ranking by price, and not investment advice. Few projects meet Still Building or Under the Radar at any time; both are strict by design, and list responses carry the counts."}