File zkvm.rs

header-chain/src/zkvm.rs:None–None

use std::io::Write;

use borsh::BorshDeserialize;
use risc0_zkvm::guest::env::{self};