MinaProtocol / mina / 2903

coverage: 36.723% (-25.0%) from 61.682%
2903

Pull #16342

buildkite

dkijania 
Merge branch 'dkijania/remove_publish_job_from_pr_comp' into dkijania/remove_publish_job_from_pr_dev
Pull Request #16342: [DEV] Publish debians only on nightly and stable

15 of 40 new or added lines in 14 files covered. (37.5%)

15175 existing lines in 340 files now uncovered.

24554 of 66863 relevant lines covered (36.72%)

20704.91 hits per line

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

71.43
/src/lib/pickles/wrap_proof.ml
1 
open Pickles_types
22✔
2 
open Import
3 
open Backend
4 









5



type dlog_opening = (Tock.Curve.Affine.t, Tock.Field.t) Types.Step.Bulletproof.t










6












7



module Constant = struct










8



  (* Out-of-circuit type for wrap proofs *)











UNCOV

9



  type t =




×







10



    { messages : Tock.Curve.Affine.t Plonk_types.Messages.t










11



    ; opening : dlog_opening










12



    }










13



  [@@deriving hlist]










14



end










15












16



open Step_main_inputs










17












18



module Checked = struct










19



  (* In-circuit type for wrap proofs *)










20



  type t =




200✔





21



    { messages :










22



        (Inner_curve.t, Impl.Boolean.var) Plonk_types.Messages.In_circuit.t










23



    ; opening :










24



        ( Inner_curve.t










25



        , Impls.Step.Other_field.t Shifted_value.Type2.t )










26



        Types.Step.Bulletproof.t










27



    }










28



  [@@deriving hlist]










29



end










30












31



open Impls.Step










32












33



let typ : (Checked.t, Constant.t) Typ.t =










34



  let shift = Shifted_value.Type2.Shift.create (module Tock.Field) in










35



  Typ.of_hlistable ~var_to_hlist:Checked.to_hlist ~var_of_hlist:Checked.of_hlist




22✔





36



    ~value_to_hlist:Constant.to_hlist ~value_of_hlist:Constant.of_hlist










37



    [ Plonk_types.Messages.typ




22✔





38



        (module Impl)










39



        Inner_curve.typ Plonk_types.Features.Full.none ~bool:Boolean.typ










40



        ~dummy:Inner_curve.Params.one










41



        ~commitment_lengths:










42



          (Commitment_lengths.default










43



             ~num_chunks:Plonk_checks.num_chunks_by_default )










44



    ; Types.Step.Bulletproof.typ ~length:(Nat.to_int Tock.Rounds.n)




22✔





45



        ( Typ.transport Other_field.typ




22✔





46



            ~there:(fun x ->










47



              (* When storing, make it a shifted value *)











UNCOV

48



              match




×







49



                Shifted_value.Type2.of_field (module Tock.Field) ~shift x










50



              with











UNCOV

51



              | Shifted_value x ->




×







52



                  x )










53



            ~back:(fun x ->










54



              Shifted_value.Type2.to_field




×







55



                (module Tock.Field)










56



                ~shift (Shifted_value x) )










57



        (* When reading, unshift *)










58



        |> Typ.transport_var




22✔





59



           (* For the var, we just wrap the now shifted underlying value. *)










60



             ~there:(fun (Shifted_value.Type2.Shifted_value x) -> x)




200✔





61



             ~back:(fun x -> Shifted_value x) )




200✔





62



        Inner_curve.typ










63



    ]




44✔



















    

  • 

    •