refactor: update redeemer of verify proof validator

cardano-foundation · May 3, 2024 · d031c92 · d031c92
1 parent f510167
commit d031c92
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 12 deletions.
diff --git a/cardano/lib/ibc/client/ics-007-tendermint-client/types/verify_proof_redeemer.ak b/cardano/lib/ibc/client/ics-007-tendermint-client/types/verify_proof_redeemer.ak
@@ -36,7 +36,7 @@ pub type VerifyProofRedeemer {
     path: MerklePath,
   }
 
-  BatchVerifyMembership { items: List<VerifyMembershipParams> }
+  BatchVerifyMembership(List<VerifyMembershipParams>)
 
   VerifyOther
 }
diff --git a/cardano/validators/minting_connection.ak b/cardano/validators/minting_connection.ak
@@ -289,8 +289,8 @@ fn validate_conn_open_try_proof(
   expect verify_proof_redeemer: VerifyProofRedeemer = verify_proof_redeemer
 
   expect
-    verify_proof_redeemer == BatchVerifyMembership {
-      items: [
+    verify_proof_redeemer == BatchVerifyMembership(
+      [
         VerifyMembershipParams {
           cs: client_datum_state.client_state,
           cons_state: consensus_state,
@@ -312,7 +312,7 @@ fn validate_conn_open_try_proof(
           value: counterparty_client_state_bz,
         },
       ],
-    }
+    )
 
   True
 }

diff --git a/cardano/validators/spending_connection.ak b/cardano/validators/spending_connection.ak
@@ -256,8 +256,8 @@ fn validate_conn_open_ack_proof(
   expect verify_proof_redeemer: VerifyProofRedeemer = verify_proof_redeemer
 
   expect
-    verify_proof_redeemer == BatchVerifyMembership {
-      items: [
+    verify_proof_redeemer == BatchVerifyMembership(
+      [
         VerifyMembershipParams {
           cs: client_datum_state.client_state,
           cons_state: consensus_state,
@@ -279,7 +279,7 @@ fn validate_conn_open_ack_proof(
           value: counterparty_client_state_bz,
         },
       ],
-    }
+    )
 
   True
 }
@@ -985,8 +985,8 @@ test conn_open_ack_succeed() {
       |> dict.get(proof_height)
 
   let verify_proof_redeemer =
-    BatchVerifyMembership {
-      items: [
+    BatchVerifyMembership(
+      [
         VerifyMembershipParams {
           cs: client_datum_state.client_state,
           cons_state: consensus_state,
@@ -1008,7 +1008,7 @@ test conn_open_ack_succeed() {
           value: counterparty_client_state_bz,
         },
       ],
-    }
+    )
 
   let redeemers: Dict<ScriptPurpose, Redeemer> =
     dict.new()

diff --git a/cardano/validators/verifying_proof.ak b/cardano/validators/verifying_proof.ak
@@ -66,7 +66,7 @@ validator {
           path,
         )
 
-      BatchVerifyMembership { items } ->
+      BatchVerifyMembership(items) ->
         list.all(
           items,
           fn(i) {
@@ -695,7 +695,7 @@ test batch_verify_membership_succeed() {
       value: packet_commitment,
     }
 
-  let redeemer = BatchVerifyMembership { items: [item] }
+  let redeemer = BatchVerifyMembership([item])
 
   //========================arrange context=======================
   let context =