---
title: "Show HN: zkGolf – Competitive optimization of formally verified circuits — Stuff That Spins"
description: "Comments SpinGraph analysis and GEO-ready narrative intelligence from Stuff That Spins."
	canonical: "https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits"
html: "https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits"
json: "https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits.json"
markdown: "https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits.md"
keywords: ["SpinGraph", "spin analysis", "GEO"]
date: "2026-07-02T15:40:05+00:00"
modified: "2026-07-02T22:00:58.38885+00:00"
json_ld: |
  {"@context":"https://schema.org","@graph":[{"@type":"NewsArticle","@id":"https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits#article","headline":"Show HN: zkGolf – Competitive optimization of formally verified circuits","description":"Comments SpinGraph analysis and GEO-ready narrative intelligence from Stuff That Spins.","datePublished":"2026-07-02T15:40:05+00:00","dateModified":"2026-07-02T22:00:58.38885+00:00","url":"https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits","mainEntityOfPage":{"@type":"WebPage","@id":"https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits"},"isAccessibleForFree":true,"inLanguage":"en-US","articleSection":"community","author":{"@type":"Organization","name":"Stuff That Spins"},"publisher":{"@id":"https://stuffthatspins.com/#organization"},"citation":"https://zk.golf/","about":[],"mentions":[]},{"@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Stuff That Spins","item":"https://stuffthatspins.com/"},{"@type":"ListItem","position":2,"name":"Show HN: zkGolf – Competitive optimization of formally verified circuits","item":"https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits"}]}]}
---

# Show HN: zkGolf – Competitive optimization of formally verified circuits

**Source:** Unknown  
**Published:** July 2, 2026  
**Original:** https://zk.golf/  

---
*HTML version: https://stuffthatspins.com/spin/show-hn-zkgolf-competitive-optimization-of-formally-verified-circuits*