pull down to refresh
yes, I am very ignorant with zk proof systems, but earlier this year when Google did their quantum advancement announcement via zk proof and then Trail of Bits showed how their zkp engine was flawed (#1480284) it gave me a bit of a wake up to things.
All the non-math people like me talk about zk proofs in absolutes. But I suspect it is rather more gray.
reply
reply
I was just looking back at their profile and realizing this.
reply
That's probably the healthiest way to look at it. The theory behind ZK proofs is impressive, but implementation risk doesn't disappear just because the math is elegant.
Bitcoiners have been arguing for years that supply auditability matters. Stories like this explain why.