{"site":"startup.is","path":"/projects/zk","title":"Zk","generated_at":"2026-10-14T04:32:35.347Z","data":{"site":"startup.is","org_key":"zk.golf","slug":"zk","name":"Zk","kind":"project","country":"xx","place_key":"xx/golf","website":"https://zk.golf/","summary":"zkGolf, competitive optimization of formally verified circuits.","extra":{"launched":"2026-07-02","launch_post":"https://news.ycombinator.com/item?id=48763246","hn_score":24,"domain_created":"2026-06-29","classified":{"kind":"project","confidence":0.98,"model":"jev-1.13.0"},"address":null,"phones":[],"email":null,"profiles":[],"rating":null,"reviews":null,"rating_source":null,"rating_read":null,"also_listed_as":[],"related":[],"listing_seen":null,"listed_since":"2026-07-02","located_by":null,"place_from":null},"status":"published","provenance":[{"field":"name","from":"hn_show","observed_at":"2026-07-02","url":"https://news.ycombinator.com/item?id=48763246"},{"field":"website","from":"hn_show","observed_at":"2026-07-02","url":"https://news.ycombinator.com/item?id=48763246"},{"field":"summary","from":"hn_show","observed_at":"2026-07-02","url":"https://news.ycombinator.com/item?id=48763246"}],"first_seen":"2026-10-05T14:50:59.810Z","last_verified":"2026-07-02","web":{"domain":"zk.golf","site_status":null,"captured_at":"2026-06-30T16:35:28.688Z","thumb_url":"https://cdn.backup.im/file/screenshot-archive/z/zk.golf_20260630_thumb.jpg","shot_url":"https://cdn.backup.im/file/screenshot-archive/z/zk.golf_20260630.jpg","desktop_thumb_url":"https://cdn.backup.im/file/screenshot-archive/z/zk.golf_20260630_desktop_thumb.jpg","title":"zkGolf: golf zero-knowledge circuits, verified in Lean","description":"A competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4.","synced_at":"2026-10-05T14:56:15.238Z"}}}