The fourth element is for miners. We Permit the miners do the evidence wrapping in the 2nd zero-expertise evidence system layer, and also the outsourced proof generation in the primary zero-knowledge proof program layer. We can even allow randomized proof outsourcing for privateness-preserving intelligent contracts. For the deeper knowledge of https://www.scrollbridge.com/