Maybe, I bet there are ways to get better guarantees via zk proofs or something