5 ms·
This seems like something that could be verified through ZK proofs. The data to search could be represented by a public merkle root, and the searching/indexing
by mattdesl 3y ago
This seems like something that could be verified through ZK proofs. The data to search could be represented by a public merkle root, and the searching/indexing given the user query could be programmed in a ZKVM like RISC0[1].
[1] https://www.risczero.com/zkvm https://www.risczero.com/zkvm
- notfed 3y agoMost information is not a math equation.
- mattdesl 3y agoAs it turns out, a lot can be. The concept of a ZK VM is that it is able to prove arbitrary code. Risc0 and the more recent SP1[1] both compile arbitrary Rust programs into ZK circuits for generating and verifying execution proofs. [1] https://github.com/succinctlabs/sp1 https://github.com/succinctlabs/sp1