Expounding on the title, when implementing a zero-knowledge non-interactive proof that is not necessarily succinct, e.g., linear in the size of the security parameter instead of constant or logarithmic, would it still be technically possible to implement it in risc0?