Show HN: zkGolf – Competitive optimization of formally verified circuits

2 comments

• baby 7 hours ago
  I'm racing to be the first submission, amazing project :)
• IshKebab 1 hour ago
  Neat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.
  [-]
  • AtHeartEngineer 31 minutes ago
    Circuit is the standard term used for zero knowledge "programs"