tmp

Author: tizoc

ledger/src/proofs/accumulator_check.rs

@@ -7,41 +7,16 @@ use poly_commitment::{commitment::CommitmentCurve, srs::SRS};
 use super::public_input::scalar_challenge::ScalarChallenge;
 use super::urs_utils;
 
-/*
-  let%bind accumulator_check =
-    Ipa.Step.accumulator_check
-      (List.map ts ~f:(fun (T (_, _, _, _, _, T t)) ->
-           ( t.statement.proof_state.messages_for_next_wrap_proof
-               .challenge_polynomial_commitment
-           , Ipa.Step.compute_challenges
-               t.statement.proof_state.deferred_values.bulletproof_challenges ) )
-      )
-
-
-  let accumulator_check comm_chals =
-      let chals =
-        Array.concat
-        @@ List.map comm_chals ~f:(fun (_, chals) -> Vector.to_array chals)
-      in
-      let comms =
-        Array.of_list_map comm_chals ~f:(fun (comm, _) ->
-            Or_infinity.Finite comm )
-      in
-      let urs = Backend.Tick.Keypair.load_urs () in
-      Promise.run_in_thread (fun () ->
-          Kimchi_bindings.Protocol.SRS.Fp.batch_accumulator_check urs
-            (Array.map comms ~f:or_infinite_conv)
-            chals )
-*/
-
 pub fn accumulator_check(
     urs: &SRS<Vesta>,
     proofs: &[&PicklesProofProofsVerified2ReprStableV2],
 ) -> Result<bool, InvalidBigInt> {
     // accumulator check
     // Note:
     // comms: statement.proof_state.messages_for_next_wrap_proof.challenge_polynomial_commitment
+    //        Array.of_list_map comm_chals ~f:(fun (comm, _) -> Or_infinity.Finite comm )
     // chals: statement.proof_state.deferred_values.bulletproof_challenges
+    //        Array.concat @@ List.map comm_chals ~f:(fun (_, chals) -> Vector.to_array chals)
 
     let mut comms = Vec::with_capacity(proofs.len());
     let mut bulletproof_challenges = vec![];

node/src/ledger/ledger_service.rs

@@ -675,7 +675,7 @@ impl LedgerCtx {
         let result = staged_ledger
             .apply(
                 // TODO(binier): SEC
-                None, // Some(SkipVerification::All),
+                Some(SkipVerification::All),
                 constraint_constants(),
                 Slot::from_u32(global_slot),
                 diff,