Fix settlement contract

lambdaclass · Sep 27, 2024 · 21071a0 · 21071a0
1 parent 28a1922
commit 21071a0
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/contract/src/MinaStateSettlement.sol b/contract/src/MinaStateSettlement.sol
@@ -118,9 +118,10 @@ contract MinaStateSettlement {
                 let slot_ledgers := chainLedgerHashes.slot
 
                 // first 32 bytes is length of byte array.
-                // second 32 bytes is the bridge tip state hash
+                // the next byte is the Devnet flag
+                // the next 32 bytes set is the bridge tip state hash
                 // the next BRIDGE_TRANSITION_FRONTIER_LEN sets of 32 bytes are state hashes.
-                let addr_states := add(pubInput, 64)
+                let addr_states := add(pubInput, 65)
                 // the next BRIDGE_TRANSITION_FRONTIER_LEN sets of 32 bytes are ledger hashes.
                 let addr_ledgers := add(addr_states, mul(32, BRIDGE_TRANSITION_FRONTIER_LEN))
 

diff --git a/core/abi/MinaStateSettlement.json b/core/abi/MinaStateSettlement.json
diff --git a/example/app/abi/SudokuValidity.json b/example/app/abi/SudokuValidity.json