Comment by IshKebab
4 days ago
Neat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.
4 days ago
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)