opcat

I wanted to implement the zkvm part using Risc Zero and submit the proof using ETH L1 for verification. However, due to time constraints, I couldn't complete the project. Inside the ZKVM would have implemented the OP functionality for the bisection protocol for reducing the interactivity

I wanted to use skims at the backend and wanted to verify the proofs for that in the L1 itself for introducing OP. for contracts of the bisection solidity and get for the execution client would have been used. I am using Risc Zero boiler plate code for implementing the zk part.