Please pay attention to this 20 seconds - I marked the specific spot for you with a timestamp.
No STARKS have attainted the zero knowledge property. What Risc0 does is different and is not true ZK. They want you to upgrade to Bonsai to wrap in Groth16 which would be ZK.
Here is what my PhD team member says:
”I remember talking with the Risc0 team at the time when they claimed to have privacy but not zk (the explanation was very messy and purely based on engineering details but in short they added some randomisation that made it “hard” to retrieve private data). I think this recent zk puzzle (https://zkhack.dev/zkhackV/puzzleV1.html) showed that being “hard” doesn’t make it zk. Once again they wrote a post on the puzzle https://nmohnblatt.github.io/chosen-instance-attack/”
If you don’t understand that or don’t believe it watch the short clip from Ulrich Habock the current leader in STARK academics and production systems — on why NO STARK has achieved the zero-knowledge property (they are not privacy preserving).
*Grok is obviously not an academic ![]()