3297

Committed 06 Feb 2025 01:53PM UTC coverage: 31.159% (-29.6%) from 60.787%

Build # 3297

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #16497 from MinaProtocol/georgeee/proof-cache-tag-20-decouple-transaction_snark_scan_state-types

Decouple Transaction_snark_scan_state types

Coverage Stats

7 of 29 new or added lines in 9 files covered. (24.14%)

19599 existing lines in 374 files now uncovered.

22126 of 71010 relevant lines covered (31.16%)

16839.06 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

66.67

/src/lib/mina_base/call_stack_digest.ml

open Core_kernel
module Wire_types = Mina_wire_types.Mina_base.Call_stack_digest

module Make_sig (A : Wire_types.Types.S) = struct
  module type S = Call_stack_digest_intf.Full with type Stable.V1.t = A.V1.t
end

module Make_str (A : Wire_types.Concrete) = struct
  [%%versioned
  module Stable = struct
    module V1 = struct
      type t = Kimchi_backend.Pasta.Basic.Fp.Stable.V1.t
      [@@deriving sexp, compare, equal, hash, yojson]

      let to_latest = Fn.id
    end
  end]

  open Pickles.Impls.Step

  let cons (h : Stack_frame.Digest.t) (t : t) : t =
    Random_oracle.hash ~init:Hash_prefix_states.account_update_stack_frame_cons
      [| (h :> Field.Constant.t); t |]

  let empty = Field.Constant.zero

  let gen = Field.Constant.gen

  module Checked = struct
    include Field

    let cons (h : Stack_frame.Digest.Checked.t) (t : t) : t =
      Random_oracle.Checked.hash
        ~init:Hash_prefix_states.account_update_stack_frame_cons
        [| (h :> Field.t); t |]
  end

  let constant = Field.constant

  let typ = Field.typ
end

include Wire_types.Make (Make_sig) (Make_str)

1	open Core_kernel	21✔
2	module Wire_types = Mina_wire_types.Mina_base.Call_stack_digest
3
4	module Make_sig (A : Wire_types.Types.S) = struct
5	module type S = Call_stack_digest_intf.Full with type Stable.V1.t = A.V1.t
6	end
7
8	module Make_str (A : Wire_types.Concrete) = struct
9	[%%versioned
10	module Stable = struct
11	module V1 = struct
UNCOV 12	type t = Kimchi_backend.Pasta.Basic.Fp.Stable.V1.t	×
13	[@@deriving sexp, compare, equal, hash, yojson]	105✔
14
15	let to_latest = Fn.id
16	end
17	end]
18
19	open Pickles.Impls.Step
20
21	let cons (h : Stack_frame.Digest.t) (t : t) : t =
22	Random_oracle.hash ~init:Hash_prefix_states.account_update_stack_frame_cons	×
23	[\| (h :> Field.Constant.t); t \|]
24
25	let empty = Field.Constant.zero
26
27	let gen = Field.Constant.gen
28
29	module Checked = struct
30	include Field
31
32	let cons (h : Stack_frame.Digest.Checked.t) (t : t) : t =
33	Random_oracle.Checked.hash	96✔
34	~init:Hash_prefix_states.account_update_stack_frame_cons
35	[\| (h :> Field.t); t \|]
36	end
37
38	let constant = Field.constant
39
40	let typ = Field.typ
41	end
42
43	include Wire_types.Make (Make_sig) (Make_str)	21✔

MinaProtocol / mina / 3297

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous