Blockchain, Zero Knowledge Proofs, Crypto, Rust, Cryptography.
noninteractive proofs of correct execution of each step into a “proofchain” of correct execution of the entire protocol. For this to work, the proof system has to be powerful enough to encode the computation of each protocol step in the language of the proof system. But even for simple proof