…he verification contract has the verification key hardcoded inside it, so it can determine from the pubic inputs and the provided proof if the proof evaluates to true.zk-SNARKs - A Realistic Zero-Knowledge Example and Deep Dive4676Adam LucianoFrancesco GadaletaSep 18, 2018·1 min readAlice’s ‘pubic’ inputs should be private :D
