3 ms·

Most information is not a math equation.

• mattdesl 3y ago
  As 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