pub fn bn254_public_values(sp1_vkey_hash: &[u8; 32], sp1_public_inputs: &[u8]) -> [Fr; 2] {
    let committed_values_digest = hash_public_inputs(sp1_public_inputs);
    let vkey_hash = Fr::from_slice(&sp1_vkey_hash[1..]).unwrap();
    let committed_values_digest = Fr::from_slice(&committed_values_digest).unwrap();
    [vkey_hash, committed_values_digest]
}
Formats the sp1 vkey hash and public inputs for use in either the Plonk or Groth16 verifier.
crates/verifier/src/utils.rs