revert later: add debugging in verifier.common

MinaProtocol · May 26, 2022 · abb4bdf · abb4bdf
1 parent 8e6eba7
commit abb4bdf
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/lib/verifier/common.ml b/src/lib/verifier/common.ml
@@ -98,6 +98,22 @@ let check :
                           ; at_party = (at_party :> Snark_params.Tick.Field.t)
                           }
                         in
+                        let logger = Logger.create () in
+                        [%log warn]
+                          "Verifier.Common.check\n\
+                           Transaction statement: $statement\n\
+                           Proof: $proof\n\
+                           Verification key: $vk"
+                          ~metadata:
+                            [ ("statement", Zkapp_statement.to_yojson stmt)
+                            ; ( "proof"
+                              , `String (Pickles.Side_loaded.Proof.to_base64 pi)
+                              )
+                            ; ( "vk"
+                              , `String
+                                  (Pickles.Side_loaded.Verification_key
+                                   .to_base58_check vk ) )
+                            ] ;
                         Some (vk, stmt, pi) ) )
           in
           let v : User_command.Valid.t =