pub fn header_chain_circuit(guest: &impl ZkvmGuest)
The main entry point of the header chain circuit.