Function trivial_verification_key

Source
pub fn trivial_verification_key() -> VerificationKey
Expand description

Value of vk when we run dune runtest src/lib/staged_ledger -f https://github.com/MinaProtocol/mina/blob/3753a8593cc1577bcf4da16620daf9946d88e8e5/src/lib/staged_ledger/staged_ledger.ml#L2083

The file was generated this way:

let buf = Bigstring.create (Side_loaded_verification_key.Stable.V2.bin_size_t vk.data) in ignore (Side_loaded_verification_key.Stable.V2.bin_write_t buf ~pos:0 vk.data : int) ; let bytes = Bigstring.to_bytes buf in let explode s = List.init (String.length s) ~f:(fun i -> String.get s i) in let s = (String.concat ~sep:“,” (List.map (explode (Bytes.to_string bytes)) ~f:(fun b -> string_of_int (Char.to_int b)))) in

Core.Printf.eprintf !“vk=%{sexp: (Side_loaded_verification_key.t, Frozen_ledger_hash.t) With_hash.t}\n%!” vk; Core.Printf.eprintf !“vk_binprot=[%s]\n%!” s;