Comment on Show HN: zkGolf – Competitive optimization of formally verified circuitsComments−IshKebab2moNeat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.−ludamad2moA matter of perspective. Anyone who works with SNARKs (ZK or otherwise) gets the terminology right away−AtHeartEngineer2moCircuit is the standard term used for zero knowledge "programs"−sigbeta2mothis is super cool, didnt know zk circuits are really generalized version of all sorts of physical circuits−baby2mothey're the same, arithmetic circuits are just made out of addition and multiplication gates. They're used all over the place in programmable cryptography (ZKP, FHE, MPC)
Comments
Neat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.
A matter of perspective. Anyone who works with SNARKs (ZK or otherwise) gets the terminology right away
Circuit is the standard term used for zero knowledge "programs"
this is super cool, didnt know zk circuits are really generalized version of all sorts of physical circuits
they're the same, arithmetic circuits are just made out of addition and multiplication gates. They're used all over the place in programmable cryptography (ZKP, FHE, MPC)