@proto-kit/protocol 0.1.1-develop.191 → 0.1.1-develop.2024

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (466) hide show
  1. package/dist/Constants.js +1 -0
  2. package/dist/Constants.js.map +1 -0
  3. package/dist/hashing/mina-prefixes.d.ts +10 -0
  4. package/dist/hashing/mina-prefixes.d.ts.map +1 -0
  5. package/dist/hashing/mina-prefixes.js +10 -0
  6. package/dist/hashing/mina-prefixes.js.map +1 -0
  7. package/dist/hashing/protokit-prefixes.d.ts +10 -0
  8. package/dist/hashing/protokit-prefixes.d.ts.map +1 -0
  9. package/dist/hashing/protokit-prefixes.js +24 -0
  10. package/dist/hashing/protokit-prefixes.js.map +1 -0
  11. package/dist/hooks/AccountStateHook.d.ts +56 -0
  12. package/dist/hooks/AccountStateHook.d.ts.map +1 -0
  13. package/dist/hooks/AccountStateHook.js +62 -0
  14. package/dist/hooks/AccountStateHook.js.map +1 -0
  15. package/dist/hooks/BlockHeightHook.d.ts +7 -0
  16. package/dist/hooks/BlockHeightHook.d.ts.map +1 -0
  17. package/dist/hooks/BlockHeightHook.js +16 -0
  18. package/dist/hooks/BlockHeightHook.js.map +1 -0
  19. package/dist/hooks/LastStateRootBlockHook.d.ts +7 -0
  20. package/dist/hooks/LastStateRootBlockHook.d.ts.map +1 -0
  21. package/dist/hooks/LastStateRootBlockHook.js +16 -0
  22. package/dist/hooks/LastStateRootBlockHook.js.map +1 -0
  23. package/dist/hooks/NoopBlockHook.d.ts +8 -0
  24. package/dist/hooks/NoopBlockHook.d.ts.map +1 -0
  25. package/dist/hooks/NoopBlockHook.js +10 -0
  26. package/dist/hooks/NoopBlockHook.js.map +1 -0
  27. package/dist/hooks/NoopSettlementHook.d.ts +6 -0
  28. package/dist/hooks/NoopSettlementHook.d.ts.map +1 -0
  29. package/dist/{prover/statetransition/StateTransitionWitnessProvider.js → hooks/NoopSettlementHook.js} +8 -7
  30. package/dist/hooks/NoopSettlementHook.js.map +1 -0
  31. package/dist/hooks/NoopTransactionHook.d.ts +6 -0
  32. package/dist/hooks/NoopTransactionHook.d.ts.map +1 -0
  33. package/dist/hooks/NoopTransactionHook.js +11 -0
  34. package/dist/hooks/NoopTransactionHook.js.map +1 -0
  35. package/dist/index.d.ts +59 -9
  36. package/dist/index.d.ts.map +1 -1
  37. package/dist/index.js +60 -9
  38. package/dist/index.js.map +1 -0
  39. package/dist/model/AppliedStateTransitionBatch.d.ts +114 -0
  40. package/dist/model/AppliedStateTransitionBatch.d.ts.map +1 -0
  41. package/dist/model/AppliedStateTransitionBatch.js +16 -0
  42. package/dist/model/AppliedStateTransitionBatch.js.map +1 -0
  43. package/dist/model/MethodPublicOutput.d.ts +83 -28
  44. package/dist/model/MethodPublicOutput.d.ts.map +1 -1
  45. package/dist/model/MethodPublicOutput.js +4 -1
  46. package/dist/model/MethodPublicOutput.js.map +1 -0
  47. package/dist/model/Option.d.ts +70 -46
  48. package/dist/model/Option.d.ts.map +1 -1
  49. package/dist/model/Option.js +62 -57
  50. package/dist/model/Option.js.map +1 -0
  51. package/dist/model/Path.d.ts +4 -3
  52. package/dist/model/Path.d.ts.map +1 -1
  53. package/dist/model/Path.js +6 -5
  54. package/dist/model/Path.js.map +1 -0
  55. package/dist/model/RuntimeLike.d.ts +11 -0
  56. package/dist/model/RuntimeLike.d.ts.map +1 -0
  57. package/dist/model/RuntimeLike.js +2 -0
  58. package/dist/model/RuntimeLike.js.map +1 -0
  59. package/dist/model/StateTransition.d.ts +58 -18
  60. package/dist/model/StateTransition.d.ts.map +1 -1
  61. package/dist/model/StateTransition.js +13 -4
  62. package/dist/model/StateTransition.js.map +1 -0
  63. package/dist/model/StateTransitionProvableBatch.d.ts +389 -16
  64. package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
  65. package/dist/model/StateTransitionProvableBatch.js +87 -10
  66. package/dist/model/StateTransitionProvableBatch.js.map +1 -0
  67. package/dist/model/network/NetworkState.d.ts +105 -9
  68. package/dist/model/network/NetworkState.d.ts.map +1 -1
  69. package/dist/model/network/NetworkState.js +22 -2
  70. package/dist/model/network/NetworkState.js.map +1 -0
  71. package/dist/model/transaction/AuthorizedTransaction.d.ts +122 -0
  72. package/dist/model/transaction/AuthorizedTransaction.d.ts.map +1 -0
  73. package/dist/model/transaction/AuthorizedTransaction.js +39 -0
  74. package/dist/model/transaction/AuthorizedTransaction.js.map +1 -0
  75. package/dist/model/transaction/RuntimeTransaction.d.ts +94 -34
  76. package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
  77. package/dist/model/transaction/RuntimeTransaction.js +72 -11
  78. package/dist/model/transaction/RuntimeTransaction.js.map +1 -0
  79. package/dist/model/transaction/SignedTransaction.d.ts +110 -0
  80. package/dist/model/transaction/SignedTransaction.d.ts.map +1 -0
  81. package/dist/model/transaction/SignedTransaction.js +34 -0
  82. package/dist/model/transaction/SignedTransaction.js.map +1 -0
  83. package/dist/model/transaction/ValueOption.d.ts +187 -0
  84. package/dist/model/transaction/ValueOption.d.ts.map +1 -0
  85. package/dist/model/transaction/ValueOption.js +25 -0
  86. package/dist/model/transaction/ValueOption.js.map +1 -0
  87. package/dist/protocol/Protocol.d.ts +47 -21
  88. package/dist/protocol/Protocol.d.ts.map +1 -1
  89. package/dist/protocol/Protocol.js +127 -26
  90. package/dist/protocol/Protocol.js.map +1 -0
  91. package/dist/protocol/ProtocolEnvironment.d.ts +9 -0
  92. package/dist/protocol/ProtocolEnvironment.d.ts.map +1 -0
  93. package/dist/protocol/ProtocolEnvironment.js +2 -0
  94. package/dist/protocol/ProtocolEnvironment.js.map +1 -0
  95. package/dist/protocol/ProtocolModule.d.ts +7 -7
  96. package/dist/protocol/ProtocolModule.d.ts.map +1 -1
  97. package/dist/protocol/ProtocolModule.js +10 -7
  98. package/dist/protocol/ProtocolModule.js.map +1 -0
  99. package/dist/protocol/ProvableBlockHook.d.ts +29 -0
  100. package/dist/protocol/ProvableBlockHook.d.ts.map +1 -0
  101. package/dist/protocol/ProvableBlockHook.js +20 -0
  102. package/dist/protocol/ProvableBlockHook.js.map +1 -0
  103. package/dist/protocol/ProvableTransactionHook.d.ts +35 -0
  104. package/dist/protocol/ProvableTransactionHook.d.ts.map +1 -0
  105. package/dist/protocol/ProvableTransactionHook.js +28 -0
  106. package/dist/protocol/ProvableTransactionHook.js.map +1 -0
  107. package/dist/protocol/TransitioningProtocolModule.d.ts +10 -0
  108. package/dist/protocol/TransitioningProtocolModule.d.ts.map +1 -0
  109. package/dist/protocol/TransitioningProtocolModule.js +9 -0
  110. package/dist/protocol/TransitioningProtocolModule.js.map +1 -0
  111. package/dist/prover/accumulators/AppliedBatchHashList.d.ts +18 -0
  112. package/dist/prover/accumulators/AppliedBatchHashList.d.ts.map +1 -0
  113. package/dist/prover/accumulators/AppliedBatchHashList.js +25 -0
  114. package/dist/prover/accumulators/AppliedBatchHashList.js.map +1 -0
  115. package/dist/prover/accumulators/BlockHashList.d.ts +263 -0
  116. package/dist/prover/accumulators/BlockHashList.d.ts.map +1 -0
  117. package/dist/prover/accumulators/BlockHashList.js +97 -0
  118. package/dist/prover/accumulators/BlockHashList.js.map +1 -0
  119. package/dist/prover/accumulators/StateTransitionReductionList.d.ts +12 -0
  120. package/dist/prover/accumulators/StateTransitionReductionList.d.ts.map +1 -0
  121. package/dist/prover/accumulators/StateTransitionReductionList.js +64 -0
  122. package/dist/prover/accumulators/StateTransitionReductionList.js.map +1 -0
  123. package/dist/prover/accumulators/TransactionHashList.d.ts +6 -0
  124. package/dist/prover/accumulators/TransactionHashList.d.ts.map +1 -0
  125. package/dist/prover/accumulators/TransactionHashList.js +8 -0
  126. package/dist/prover/accumulators/TransactionHashList.js.map +1 -0
  127. package/dist/prover/accumulators/WitnessedRootHashList.d.ts +123 -0
  128. package/dist/prover/accumulators/WitnessedRootHashList.d.ts.map +1 -0
  129. package/dist/prover/accumulators/WitnessedRootHashList.js +51 -0
  130. package/dist/prover/accumulators/WitnessedRootHashList.js.map +1 -0
  131. package/dist/prover/block/BlockProvable.d.ts +565 -96
  132. package/dist/prover/block/BlockProvable.d.ts.map +1 -1
  133. package/dist/prover/block/BlockProvable.js +196 -12
  134. package/dist/prover/block/BlockProvable.js.map +1 -0
  135. package/dist/prover/block/BlockProver.d.ts +52 -37
  136. package/dist/prover/block/BlockProver.d.ts.map +1 -1
  137. package/dist/prover/block/BlockProver.js +327 -107
  138. package/dist/prover/block/BlockProver.js.map +1 -0
  139. package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts +106 -0
  140. package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts.map +1 -0
  141. package/dist/prover/block/accummulators/BlockHashMerkleTree.js +25 -0
  142. package/dist/prover/block/accummulators/BlockHashMerkleTree.js.map +1 -0
  143. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts +139 -0
  144. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts.map +1 -0
  145. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js +21 -0
  146. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js.map +1 -0
  147. package/dist/prover/block/services/RuntimeVerificationKeyRootService.d.ts +7 -0
  148. package/dist/prover/block/services/RuntimeVerificationKeyRootService.d.ts.map +1 -0
  149. package/dist/prover/{statetransition/StateTransitionWitnessProviderReference.js → block/services/RuntimeVerificationKeyRootService.js} +11 -8
  150. package/dist/prover/block/services/RuntimeVerificationKeyRootService.js.map +1 -0
  151. package/dist/prover/statetransition/StateTransitionProvable.d.ts +137 -48
  152. package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
  153. package/dist/prover/statetransition/StateTransitionProvable.js +10 -5
  154. package/dist/prover/statetransition/StateTransitionProvable.js.map +1 -0
  155. package/dist/prover/statetransition/StateTransitionProver.d.ts +29 -17
  156. package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
  157. package/dist/prover/statetransition/StateTransitionProver.js +171 -73
  158. package/dist/prover/statetransition/StateTransitionProver.js.map +1 -0
  159. package/dist/prover/transaction/TransactionProvable.d.ts +626 -0
  160. package/dist/prover/transaction/TransactionProvable.d.ts.map +1 -0
  161. package/dist/prover/transaction/TransactionProvable.js +87 -0
  162. package/dist/prover/transaction/TransactionProvable.js.map +1 -0
  163. package/dist/prover/transaction/TransactionProver.d.ts +68 -0
  164. package/dist/prover/transaction/TransactionProver.d.ts.map +1 -0
  165. package/dist/prover/transaction/TransactionProver.js +301 -0
  166. package/dist/prover/transaction/TransactionProver.js.map +1 -0
  167. package/dist/prover/utils.d.ts +19 -0
  168. package/dist/prover/utils.d.ts.map +1 -0
  169. package/dist/prover/utils.js +67 -0
  170. package/dist/prover/utils.js.map +1 -0
  171. package/dist/settlement/ContractArgsRegistry.d.ts +13 -0
  172. package/dist/settlement/ContractArgsRegistry.d.ts.map +1 -0
  173. package/dist/settlement/ContractArgsRegistry.js +53 -0
  174. package/dist/settlement/ContractArgsRegistry.js.map +1 -0
  175. package/dist/settlement/ContractModule.d.ts +16 -0
  176. package/dist/settlement/ContractModule.d.ts.map +1 -0
  177. package/dist/settlement/ContractModule.js +12 -0
  178. package/dist/settlement/ContractModule.js.map +1 -0
  179. package/dist/settlement/SettlementContractModule.d.ts +47 -0
  180. package/dist/settlement/SettlementContractModule.d.ts.map +1 -0
  181. package/dist/settlement/SettlementContractModule.js +81 -0
  182. package/dist/settlement/SettlementContractModule.js.map +1 -0
  183. package/dist/settlement/contracts/BridgeContract.d.ts +119 -0
  184. package/dist/settlement/contracts/BridgeContract.d.ts.map +1 -0
  185. package/dist/settlement/contracts/BridgeContract.js +269 -0
  186. package/dist/settlement/contracts/BridgeContract.js.map +1 -0
  187. package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts +18 -0
  188. package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts.map +1 -0
  189. package/dist/settlement/contracts/BridgeContractProtocolModule.js +42 -0
  190. package/dist/settlement/contracts/BridgeContractProtocolModule.js.map +1 -0
  191. package/dist/settlement/contracts/BridgingSettlementContractModule.d.ts +21 -0
  192. package/dist/settlement/contracts/BridgingSettlementContractModule.d.ts.map +1 -0
  193. package/dist/settlement/contracts/BridgingSettlementContractModule.js +81 -0
  194. package/dist/settlement/contracts/BridgingSettlementContractModule.js.map +1 -0
  195. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +23 -0
  196. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -0
  197. package/dist/settlement/contracts/DispatchContractProtocolModule.js +55 -0
  198. package/dist/settlement/contracts/DispatchContractProtocolModule.js.map +1 -0
  199. package/dist/settlement/contracts/DispatchSmartContract.d.ts +50 -0
  200. package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -0
  201. package/dist/settlement/contracts/DispatchSmartContract.js +234 -0
  202. package/dist/settlement/contracts/DispatchSmartContract.js.map +1 -0
  203. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts +21 -0
  204. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map +1 -0
  205. package/dist/settlement/contracts/SettlementContractProtocolModule.js +84 -0
  206. package/dist/settlement/contracts/SettlementContractProtocolModule.js.map +1 -0
  207. package/dist/settlement/contracts/SettlementSmartContract.d.ts +123 -0
  208. package/dist/settlement/contracts/SettlementSmartContract.d.ts.map +1 -0
  209. package/dist/settlement/contracts/SettlementSmartContract.js +310 -0
  210. package/dist/settlement/contracts/SettlementSmartContract.js.map +1 -0
  211. package/dist/settlement/contracts/SettlementSmartContractModule.d.ts +20 -0
  212. package/dist/settlement/contracts/SettlementSmartContractModule.d.ts.map +1 -0
  213. package/dist/settlement/contracts/SettlementSmartContractModule.js +56 -0
  214. package/dist/settlement/contracts/SettlementSmartContractModule.js.map +1 -0
  215. package/dist/settlement/contracts/TokenBridgeTree.d.ts +228 -0
  216. package/dist/settlement/contracts/TokenBridgeTree.d.ts.map +1 -0
  217. package/dist/settlement/contracts/TokenBridgeTree.js +60 -0
  218. package/dist/settlement/contracts/TokenBridgeTree.js.map +1 -0
  219. package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts +10 -0
  220. package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts.map +1 -0
  221. package/dist/settlement/contracts/authorizations/ContractAuthorization.js +2 -0
  222. package/dist/settlement/contracts/authorizations/ContractAuthorization.js.map +1 -0
  223. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts +85 -0
  224. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts.map +1 -0
  225. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js +11 -0
  226. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js.map +1 -0
  227. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts +79 -0
  228. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts.map +1 -0
  229. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js +11 -0
  230. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js.map +1 -0
  231. package/dist/settlement/contracts/settlement/BridgingSettlementContract.d.ts +107 -0
  232. package/dist/settlement/contracts/settlement/BridgingSettlementContract.d.ts.map +1 -0
  233. package/dist/settlement/contracts/settlement/BridgingSettlementContract.js +188 -0
  234. package/dist/settlement/contracts/settlement/BridgingSettlementContract.js.map +1 -0
  235. package/dist/settlement/contracts/settlement/SettlementBase.d.ts +41 -0
  236. package/dist/settlement/contracts/settlement/SettlementBase.d.ts.map +1 -0
  237. package/dist/settlement/contracts/settlement/SettlementBase.js +105 -0
  238. package/dist/settlement/contracts/settlement/SettlementBase.js.map +1 -0
  239. package/dist/settlement/contracts/settlement/SettlementContract.d.ts +15 -0
  240. package/dist/settlement/contracts/settlement/SettlementContract.d.ts.map +1 -0
  241. package/dist/settlement/contracts/settlement/SettlementContract.js +72 -0
  242. package/dist/settlement/contracts/settlement/SettlementContract.js.map +1 -0
  243. package/dist/settlement/messages/Deposit.d.ts +77 -0
  244. package/dist/settlement/messages/Deposit.d.ts.map +1 -0
  245. package/dist/settlement/messages/Deposit.js +8 -0
  246. package/dist/settlement/messages/Deposit.js.map +1 -0
  247. package/dist/settlement/messages/OutgoingMessage.d.ts +67 -0
  248. package/dist/settlement/messages/OutgoingMessage.d.ts.map +1 -0
  249. package/dist/settlement/messages/OutgoingMessage.js +7 -0
  250. package/dist/settlement/messages/OutgoingMessage.js.map +1 -0
  251. package/dist/settlement/messages/OutgoingMessageArgument.d.ts +494 -0
  252. package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -0
  253. package/dist/settlement/messages/OutgoingMessageArgument.js +40 -0
  254. package/dist/settlement/messages/OutgoingMessageArgument.js.map +1 -0
  255. package/dist/settlement/messages/Withdrawal.d.ts +2 -0
  256. package/dist/settlement/messages/Withdrawal.d.ts.map +1 -0
  257. package/dist/settlement/messages/Withdrawal.js +3 -0
  258. package/dist/settlement/messages/Withdrawal.js.map +1 -0
  259. package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts +25 -0
  260. package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts.map +1 -0
  261. package/dist/settlement/modularity/OutgoingMessageProcessor.js +30 -0
  262. package/dist/settlement/modularity/OutgoingMessageProcessor.js.map +1 -0
  263. package/dist/settlement/modularity/ProvableSettlementHook.d.ts +26 -0
  264. package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map +1 -0
  265. package/dist/settlement/modularity/ProvableSettlementHook.js +4 -0
  266. package/dist/settlement/modularity/ProvableSettlementHook.js.map +1 -0
  267. package/dist/settlement/modularity/types.d.ts +9 -0
  268. package/dist/settlement/modularity/types.d.ts.map +1 -0
  269. package/dist/settlement/modularity/types.js +2 -0
  270. package/dist/settlement/modularity/types.js.map +1 -0
  271. package/dist/settlement/modules/NetworkStateSettlementModule.d.ts +11 -0
  272. package/dist/settlement/modules/NetworkStateSettlementModule.d.ts.map +1 -0
  273. package/dist/settlement/modules/NetworkStateSettlementModule.js +15 -0
  274. package/dist/settlement/modules/NetworkStateSettlementModule.js.map +1 -0
  275. package/dist/state/SimpleAsyncStateService.d.ts +6 -0
  276. package/dist/state/SimpleAsyncStateService.d.ts.map +1 -0
  277. package/dist/state/SimpleAsyncStateService.js +2 -0
  278. package/dist/state/SimpleAsyncStateService.js.map +1 -0
  279. package/dist/state/State.d.ts +68 -0
  280. package/dist/state/State.d.ts.map +1 -0
  281. package/dist/state/State.js +141 -0
  282. package/dist/state/State.js.map +1 -0
  283. package/dist/state/StateMap.d.ts +37 -0
  284. package/dist/state/StateMap.d.ts.map +1 -0
  285. package/dist/state/StateMap.js +56 -0
  286. package/dist/state/StateMap.js.map +1 -0
  287. package/dist/state/StateService.d.ts +6 -0
  288. package/dist/state/StateService.d.ts.map +1 -0
  289. package/dist/state/StateService.js +2 -0
  290. package/dist/state/StateService.js.map +1 -0
  291. package/dist/state/StateServiceProvider.d.ts +8 -0
  292. package/dist/state/StateServiceProvider.d.ts.map +1 -0
  293. package/dist/state/StateServiceProvider.js +37 -0
  294. package/dist/state/StateServiceProvider.js.map +1 -0
  295. package/dist/state/WitnessBlockContext.d.ts +5 -0
  296. package/dist/state/WitnessBlockContext.d.ts.map +1 -0
  297. package/dist/state/WitnessBlockContext.js +42 -0
  298. package/dist/state/WitnessBlockContext.js.map +1 -0
  299. package/dist/state/assert/assert.d.ts +12 -0
  300. package/dist/state/assert/assert.d.ts.map +1 -0
  301. package/dist/state/assert/assert.js +33 -0
  302. package/dist/state/assert/assert.js.map +1 -0
  303. package/dist/state/context/RuntimeMethodExecutionContext.d.ts +193 -0
  304. package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map +1 -0
  305. package/dist/state/context/RuntimeMethodExecutionContext.js +138 -0
  306. package/dist/state/context/RuntimeMethodExecutionContext.js.map +1 -0
  307. package/dist/state/context/TransitionMethodExecutionContext.d.ts +23 -0
  308. package/dist/state/context/TransitionMethodExecutionContext.d.ts.map +1 -0
  309. package/dist/state/context/TransitionMethodExecutionContext.js +6 -0
  310. package/dist/state/context/TransitionMethodExecutionContext.js.map +1 -0
  311. package/dist/state/protocol/ProtocolState.d.ts +13 -0
  312. package/dist/state/protocol/ProtocolState.d.ts.map +1 -0
  313. package/dist/state/protocol/ProtocolState.js +58 -0
  314. package/dist/state/protocol/ProtocolState.js.map +1 -0
  315. package/dist/utils/FieldOptions.d.ts +62 -0
  316. package/dist/utils/FieldOptions.d.ts.map +1 -0
  317. package/dist/utils/FieldOptions.js +13 -0
  318. package/dist/utils/FieldOptions.js.map +1 -0
  319. package/dist/utils/MinaPrefixedProvableHashList.d.ts +20 -0
  320. package/dist/utils/MinaPrefixedProvableHashList.d.ts.map +1 -0
  321. package/dist/utils/MinaPrefixedProvableHashList.js +49 -0
  322. package/dist/utils/MinaPrefixedProvableHashList.js.map +1 -0
  323. package/dist/utils/PrefixedProvableHashList.d.ts +3 -2
  324. package/dist/utils/PrefixedProvableHashList.d.ts.map +1 -1
  325. package/dist/utils/PrefixedProvableHashList.js +5 -1
  326. package/dist/utils/PrefixedProvableHashList.js.map +1 -0
  327. package/dist/utils/ProvableHashList.d.ts +27 -4
  328. package/dist/utils/ProvableHashList.d.ts.map +1 -1
  329. package/dist/utils/ProvableHashList.js +51 -3
  330. package/dist/utils/ProvableHashList.js.map +1 -0
  331. package/dist/utils/ProvableReductionHashList.d.ts +18 -0
  332. package/dist/utils/ProvableReductionHashList.d.ts.map +1 -0
  333. package/dist/utils/ProvableReductionHashList.js +54 -0
  334. package/dist/utils/ProvableReductionHashList.js.map +1 -0
  335. package/dist/utils/StateTransitionReductionList.d.ts +11 -0
  336. package/dist/utils/StateTransitionReductionList.d.ts.map +1 -0
  337. package/dist/utils/StateTransitionReductionList.js +61 -0
  338. package/dist/utils/StateTransitionReductionList.js.map +1 -0
  339. package/dist/utils/utils.d.ts +11 -5
  340. package/dist/utils/utils.d.ts.map +1 -1
  341. package/dist/utils/utils.js +13 -13
  342. package/dist/utils/utils.js.map +1 -0
  343. package/jest.config.cjs +12 -1
  344. package/package.json +11 -9
  345. package/src/hashing/mina-prefixes.ts +10 -0
  346. package/src/hashing/protokit-prefixes.ts +37 -0
  347. package/src/hooks/AccountStateHook.ts +80 -0
  348. package/src/hooks/BlockHeightHook.ts +17 -0
  349. package/src/hooks/LastStateRootBlockHook.ts +25 -0
  350. package/src/hooks/NoopBlockHook.ts +24 -0
  351. package/src/hooks/NoopSettlementHook.ts +20 -0
  352. package/src/hooks/NoopTransactionHook.ts +13 -0
  353. package/src/index.ts +59 -9
  354. package/src/model/AppliedStateTransitionBatch.ts +16 -0
  355. package/src/model/MethodPublicOutput.ts +3 -1
  356. package/src/model/Option.ts +99 -73
  357. package/src/model/Path.ts +9 -5
  358. package/src/model/RuntimeLike.ts +12 -0
  359. package/src/model/StateTransition.ts +19 -5
  360. package/src/model/StateTransitionProvableBatch.ts +114 -12
  361. package/src/model/Transaction.ts +3 -1
  362. package/src/model/network/NetworkState.ts +22 -2
  363. package/src/model/transaction/AuthorizedTransaction.ts +50 -0
  364. package/src/model/transaction/RuntimeTransaction.ts +86 -15
  365. package/src/model/transaction/ValueOption.ts +28 -0
  366. package/src/protocol/Protocol.ts +201 -69
  367. package/src/protocol/ProtocolEnvironment.ts +10 -0
  368. package/src/protocol/ProtocolModule.ts +16 -15
  369. package/src/protocol/ProvableBlockHook.ts +67 -0
  370. package/src/protocol/ProvableTransactionHook.ts +96 -0
  371. package/src/protocol/TransitioningProtocolModule.ts +12 -0
  372. package/src/prover/accumulators/AppliedBatchHashList.ts +32 -0
  373. package/src/prover/accumulators/BlockHashList.ts +117 -0
  374. package/src/prover/accumulators/StateTransitionReductionList.ts +92 -0
  375. package/src/prover/accumulators/TransactionHashList.ts +9 -0
  376. package/src/prover/accumulators/WitnessedRootHashList.ts +62 -0
  377. package/src/prover/block/BlockProvable.ts +360 -28
  378. package/src/prover/block/BlockProver.ts +721 -186
  379. package/src/prover/block/accummulators/BlockHashMerkleTree.ts +24 -0
  380. package/src/prover/block/accummulators/RuntimeVerificationKeyTree.ts +24 -0
  381. package/src/prover/block/services/RuntimeVerificationKeyRootService.ts +20 -0
  382. package/src/prover/statetransition/StateTransitionProvable.ts +26 -19
  383. package/src/prover/statetransition/StateTransitionProver.ts +337 -126
  384. package/src/prover/transaction/TransactionProvable.ts +183 -0
  385. package/src/prover/transaction/TransactionProver.ts +561 -0
  386. package/src/prover/utils.ts +108 -0
  387. package/src/settlement/ContractArgsRegistry.ts +60 -0
  388. package/src/settlement/ContractModule.ts +31 -0
  389. package/src/settlement/SettlementContractModule.ts +150 -0
  390. package/src/settlement/contracts/BridgeContract.ts +385 -0
  391. package/src/settlement/contracts/BridgeContractProtocolModule.ts +49 -0
  392. package/src/settlement/contracts/BridgingSettlementContractModule.ts +116 -0
  393. package/src/settlement/contracts/DispatchContractProtocolModule.ts +77 -0
  394. package/src/settlement/contracts/DispatchSmartContract.ts +359 -0
  395. package/src/settlement/contracts/SettlementSmartContractModule.ts +79 -0
  396. package/src/settlement/contracts/TokenBridgeTree.ts +73 -0
  397. package/src/settlement/contracts/authorizations/ContractAuthorization.ts +11 -0
  398. package/src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts +16 -0
  399. package/src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts +16 -0
  400. package/src/settlement/contracts/settlement/BridgingSettlementContract.ts +283 -0
  401. package/src/settlement/contracts/settlement/SettlementBase.ts +249 -0
  402. package/src/settlement/contracts/settlement/SettlementContract.ts +75 -0
  403. package/src/settlement/messages/Deposit.ts +7 -0
  404. package/src/settlement/messages/OutgoingMessage.ts +17 -0
  405. package/src/settlement/messages/OutgoingMessageArgument.ts +53 -0
  406. package/src/settlement/modularity/OutgoingMessageProcessor.ts +65 -0
  407. package/src/settlement/modularity/ProvableSettlementHook.ts +36 -0
  408. package/src/settlement/modularity/types.ts +23 -0
  409. package/src/settlement/modules/NetworkStateSettlementModule.ts +42 -0
  410. package/src/state/State.ts +190 -0
  411. package/src/state/StateMap.ts +73 -0
  412. package/src/state/StateService.ts +6 -0
  413. package/src/state/StateServiceProvider.ts +37 -0
  414. package/src/state/WitnessBlockContext.ts +50 -0
  415. package/src/state/assert/assert.ts +38 -0
  416. package/src/state/context/RuntimeMethodExecutionContext.ts +181 -0
  417. package/src/state/context/TransitionMethodExecutionContext.ts +26 -0
  418. package/src/state/protocol/ProtocolState.ts +98 -0
  419. package/src/utils/FieldOptions.ts +13 -0
  420. package/src/utils/MinaPrefixedProvableHashList.ts +70 -0
  421. package/src/utils/PrefixedProvableHashList.ts +6 -2
  422. package/src/utils/ProvableHashList.ts +109 -4
  423. package/src/utils/ProvableReductionHashList.ts +77 -0
  424. package/src/utils/utils.ts +21 -16
  425. package/test/BlockProver.test.ts +161 -74
  426. package/test/Protocol.test.ts +20 -10
  427. package/test/State.test.ts +45 -0
  428. package/test/StateTransition.test.ts +57 -65
  429. package/test/TestingProtocol.ts +36 -0
  430. package/test/compiling/types.ts +28 -0
  431. package/test/model/Option.test.ts +72 -0
  432. package/test/model/StateTransitionProvableBatch.test.ts +137 -0
  433. package/test/modularity/types.ts +35 -0
  434. package/test/prover/block/BlockProver.test.ts +18 -0
  435. package/test/prover/statetransition/StateTransitionProver.test.ts +261 -0
  436. package/test/state/assert/assert.test.ts +56 -0
  437. package/test/tsconfig.json +7 -0
  438. package/test/utils/ProvableHashList.test.ts +44 -0
  439. package/test/utils/ProvableReductionHashList.test.ts +117 -0
  440. package/test/utils.test.ts +0 -3
  441. package/LICENSE.md +0 -201
  442. package/dist/model/transaction/ProtocolTransaction.d.ts +0 -70
  443. package/dist/model/transaction/ProtocolTransaction.d.ts.map +0 -1
  444. package/dist/model/transaction/ProtocolTransaction.js +0 -18
  445. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts +0 -16
  446. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map +0 -1
  447. package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts +0 -7
  448. package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts.map +0 -1
  449. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts +0 -25
  450. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map +0 -1
  451. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js +0 -77
  452. package/dist/utils/merkletree/MerkleTreeStore.d.ts +0 -11
  453. package/dist/utils/merkletree/MerkleTreeStore.d.ts.map +0 -1
  454. package/dist/utils/merkletree/MerkleTreeStore.js +0 -1
  455. package/dist/utils/merkletree/RollupMerkleTree.d.ts +0 -130
  456. package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +0 -1
  457. package/dist/utils/merkletree/RollupMerkleTree.js +0 -244
  458. package/src/model/Option.test.ts +0 -21
  459. package/src/model/transaction/ProtocolTransaction.ts +0 -25
  460. package/src/prover/statetransition/StateTransitionWitnessProvider.ts +0 -24
  461. package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts +0 -17
  462. package/src/utils/merkletree/InMemoryMerkleTreeStorage.ts +0 -106
  463. package/src/utils/merkletree/MerkleTreeStore.ts +0 -15
  464. package/src/utils/merkletree/RollupMerkleTree.ts +0 -255
  465. package/src/utils/merkletree/VirtualMerkleTreeStore.ts +0 -21
  466. package/tsconfig.test.json +0 -9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"BridgeContract.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,KAAK,EACL,MAAM,EAEN,QAAQ,EACR,QAAQ,EACR,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,aAAa,EACb,OAAO,GAER,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,IAAI,EAAE,KAAK,EAAc,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE5D,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,mBAAmB,GAEpB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EACL,oBAAoB,GAGrB,MAAM,yBAAyB,CAAC;AAuBjC,yBAAyB;AACzB,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,KAAK;CACf,CAAC;CAAG;AAIE,WAAM,qBAAqB,GAA3B,MAAM,qBAAqB;IAA3B;QACE,SAAI,GAEP,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC5B,CAAC;CAAA,CAAA;AAJY,qBAAqB;IAFjC,UAAU,EAAE;IACZ,SAAS,EAAE;GACC,qBAAqB,CAIjC;AASD,MAAM,CAAC,MAAM,wBAAwB,GAA0C;IAC7E,SAAS,EAAE,UAAU;IACrB,kBAAkB,EAAE,UAAU;IAC9B,iBAAiB,EAAE,UAAU;CAC9B,CAAC;AAEF,MAAM,OAAgB,kBACpB,SAAQ,aAAa;IAGrB,YAAmB,OAAkB,EAAE,OAAe;QACpD,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,qBAAqB;QACnB,OAAO,SAAS;aACb,OAAO,CAAC,oBAAoB,CAAC;aAC7B,OAAO,CAAC,gBAAgB,EAAE,wBAAwB,CAAC,CAAC;IACzD,CAAC;IAQD;;;;;OAKG;IACI,KAAK,CAAC,cAAc,CACzB,eAA4C,EAC5C,gBAAyB,EACzB,WAAwB,EACxB,yBAAoC;QAEpC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;QAEhC,IAAI,CAAC,gBAAgB,EAAE;YACrB,IAAI,eAAe,KAAK,SAAS,EAAE;gBACjC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;aAChE;YACD,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;SAC5D;QAED,aAAa,CAAC,gBAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE1C,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACxB,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG;gBACjC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;aAChB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAE9D,aAAa,CAAC,IAAI,CAAC,WAAW,GAAG;YAC/B,qCAAqC;YACrC,iBAAiB,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YACtE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;SAC7B,CAAC;QAEF,OAAO,aAAa,CAAC;IACvB,CAAC;IAEM,KAAK,CAAC,WAAW;QACtB,IAAI,EAAE,CAAC;IACT,CAAC;IAEM,KAAK,CAAC,mBAAmB,CAAC,IAAW;QAC1C,uEAAuE;QACvE,oCAAoC;QACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE1C,MAAM,yBAAyB,GAC7B,IAAI,CAAC,yBAAyB,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,uBAAuB,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACxD,MAAM,kBAAkB,GAAG,IAAI,uBAAuB,CACpD,yBAAyB,CAC1B,CAAC;QACF,MAAM,aAAa,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9B,CAAC;IAEO,SAAS;QACf,OAAO,CACL,IAAI,CAAC,qBAAqB,EAAE,CAAC,SAAS,IAAI,2BAA2B,CACtE,CAAC;IACJ,CAAC;IAEO,iBAAiB,CAAC,UAAkB,EAAE,IAA6B;QACzE,MAAM,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC3D,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;YAC5C,mEAAmE;YACnE,MAAM,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE;gBAC7D,OAAO,SAAS,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,aAAa,CAChE,UAAU,CACX,CAAC,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;YAEH,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC;gBAC9B,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,KAAK;aACN,CAAC,CAAC;YACH,OAAO;gBACL,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS,CAAC,cAAc,CAAC,KAAK,EAAE;oBACtC,cAAc,EAAE;wBACd,SAAS,EAAE,IAAI,CAAC,OAAO;wBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;qBACtB;iBACF,CAAC;gBACF,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;aACnD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,cAAc,CACnB,UAAkB,EAClB,IAA6B,EAC7B,OAAa;QAEb,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAEzD,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAChC,CAAC,EACD,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAC1E,CAAC;QACF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;QAE5E,MAAM,gBAAgB,GACpB,uBAAuB,CAAC,2BAA2B,CAAC;QACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,CAChC,OAAO,EACP,gBAAgB,EAChB,IAAI,CAAC,WAAW,CACjB,CAAC;QACF,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC;QAEtC,MAAM,MAAM,GAAG,OAAO;aACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,CAAC,CAAC,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CACtD,GAAG,KAAK,CACN,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CACnD,CAAC,IAAI,CAAC,OAAO,CAAC,CAChB,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;aACD,MAAM,CAAC;YACN,WAAW,EAAE,gBAAgB;YAC7B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACd,MAAM,EAAE;gBACN,cAAc,EAAE,KAAK,CAAgB,iBAAiB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;gBACrE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,aAAa,EAAE,SAAS;aACzB;SACF,CAAC;aACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACf,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YAEjD,MAAM,WAAW,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,CAChC,GAAG,EACH,kBAAkB,EAClB,CAAC,CAAC,MAAM,CAAC,cAAc,EACvB,CAAC,CAAC,MAAM,CAAC,cAAc,CACxB,CAAC;YACF,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAClE,IAAI,aAAa,GAAuB,SAAS,CAAC;YAClD,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;gBACrB,IAAI,GAAG,CAAC,SAAS,EAAE,EAAE;oBACnB,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;iBACxC;qBAAM;oBACL,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;iBACxC;YACH,CAAC,CAAC,CAAC;YAEH,OAAO;gBACL,WAAW;gBACX,IAAI;gBACJ,MAAM,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE;aAClD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEL,sEAAsE;QACtE,wEAAwE;QACxE,MAAM,CAAC,WAAW,CAAC,YAAY,CAC7B,cAAc,EACd,qCAAqC,CACtC,CAAC;QAEF,OAAO,MAAM,CAAC;IAChB,CAAC;IAEM,KAAK,CAAC,0BAA0B,CAAC,KAAmC;QACzE,IAAI,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,mBAAmB,EAAE,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QAEvD,0EAA0E;QAC1E,oCAAoC;QACpC,IAAI,sBAAsB,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAEhC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAElC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAEtD,gBAAgB;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CACvB,uBAAuB,CAAC,0BAA0B,EAClD,kBAAkB,EAClB;gBACE,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CACF,CAAC;YAEF,IAAI,CAAC,OAAO;iBACT,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;iBAC9C,EAAE,CAAC,OAAO,CAAC;iBACX,UAAU,CAAC,uCAAuC,CAAC,CAAC;YAEvD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YAE/D,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE;gBACtD,QAAQ,CAAC,GAAG,CAAC,0BAA0B,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;gBAC9D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YAC9B,CAAC,CAAC,CAAC;YACH,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAEhE,sEAAsE;YACtE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc;iBAC9C,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE;gBACrB,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;gBAChE,OAAO,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC;iBACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,sBAAsB,GAAG,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;SAClE;QAED,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAExC,OAAO,sBAAsB,CAAC;IAChC,CAAC;IAES,KAAK,CAAC,UAAU,CAAC,cAA6B;QACtD,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CACtC,IAAI,CAAC,OAAO,EACZ,sDAAsD,CACvD,CAAC;QACF,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG;aAClC,UAAU,EAAE;aACZ,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC;QAE3D,cAAc;QACd,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,cAAc,CAAC,SAAS;YACjC,MAAM;SACP,CAAC,CAAC;QAEH,wCAAwC;QACxC,cAAc,CAAC,IAAI,CAAC,WAAW,GAAG;YAChC,iBAAiB,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YAC7D,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;SAC7B,CAAC;QAEF,YAAY;QACZ,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;CACF;AAED,MAAM,OAAO,cACX,SAAQ,kBAAkB;IAD5B;;QAI2B,8BAAyB,GAAG,KAAK,EAAa,CAAC;QAEnD,cAAS,GAAG,KAAK,EAAS,CAAC;QAE3B,0BAAqB,GAAG,KAAK,EAAS,CAAC;IAgB9D,CAAC;IAbc,AAAN,KAAK,CAAC,eAAe,CAAC,IAAW;QACtC,OAAO,MAAM,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAGY,AAAN,KAAK,CAAC,sBAAsB,CAAC,KAAmC;QACrE,OAAO,MAAM,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;IAGY,AAAN,KAAK,CAAC,MAAM,CAAC,cAA6B;QAC/C,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IAC/C,CAAC;CACF;AApB0B;IAAxB,KAAK,CAAC,SAAS,CAAC;;iEAAuD;AAEnD;IAApB,KAAK,CAAC,KAAK,CAAC;;iDAAmC;AAE3B;IAApB,KAAK,CAAC,KAAK,CAAC;;6DAA+C;AAG/C;IADZ,MAAM;;qCAC4B,KAAK;;qDAEvC;AAGY;IADZ,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;;qCACqB,4BAA4B;;4DAEtE;AAGY;IADZ,MAAM;;qCAC6B,aAAa;;4CAEhD"}
@@ -0,0 +1,18 @@
1
+ import { CompileRegistry } from "@proto-kit/common";
2
+ import { ContractModule } from "../ContractModule";
3
+ import { OutgoingMessageProcessor } from "../modularity/OutgoingMessageProcessor";
4
+ import { ContractArgsRegistry } from "../ContractArgsRegistry";
5
+ import { BridgeContract, BridgeContractType } from "./BridgeContract";
6
+ export type BridgeContractConfig = {
7
+ outgoingBatchSize?: number;
8
+ };
9
+ export declare class BridgeContractProtocolModule extends ContractModule<BridgeContractType, BridgeContractConfig> {
10
+ private readonly messageProcessors;
11
+ private readonly contractArgsRegistry;
12
+ constructor(messageProcessors: OutgoingMessageProcessor<unknown>[], contractArgsRegistry: ContractArgsRegistry);
13
+ contractFactory(): typeof BridgeContract;
14
+ compile(registry: CompileRegistry): Promise<{
15
+ BridgeContract: import("@proto-kit/common").CompileArtifact;
16
+ }>;
17
+ }
18
+ //# sourceMappingURL=BridgeContractProtocolModule.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"BridgeContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContractProtocolModule.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,cAAc,EAEd,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,oBAAoB,GAAG;IACjC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,qBACa,4BAA6B,SAAQ,cAAc,CAC9D,kBAAkB,EAClB,oBAAoB,CACrB;IAGG,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;gBADpB,iBAAiB,EAAE,wBAAwB,CAAC,OAAO,CAAC,EAAE,EACtD,oBAAoB,EAAE,oBAAoB;IAKtD,eAAe;IAWT,OAAO,CAAC,QAAQ,EAAE,eAAe;;;CAO/C"}
@@ -0,0 +1,42 @@
1
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
6
+ };
7
+ var __metadata = (this && this.__metadata) || function (k, v) {
8
+ if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
9
+ };
10
+ var __param = (this && this.__param) || function (paramIndex, decorator) {
11
+ return function (target, key) { decorator(target, key, paramIndex); }
12
+ };
13
+ import { injectable, injectAll } from "tsyringe";
14
+ import { ContractModule } from "../ContractModule";
15
+ import { ContractArgsRegistry } from "../ContractArgsRegistry";
16
+ import { BridgeContract, } from "./BridgeContract";
17
+ export let BridgeContractProtocolModule = class BridgeContractProtocolModule extends ContractModule {
18
+ constructor(messageProcessors, contractArgsRegistry) {
19
+ super();
20
+ this.messageProcessors = messageProcessors;
21
+ this.contractArgsRegistry = contractArgsRegistry;
22
+ }
23
+ contractFactory() {
24
+ const { config } = this;
25
+ this.contractArgsRegistry.addArgs("BridgeContract", {
26
+ messageProcessors: this.messageProcessors,
27
+ batchSize: config.outgoingBatchSize,
28
+ });
29
+ return BridgeContract;
30
+ }
31
+ async compile(registry) {
32
+ return {
33
+ BridgeContract: await registry.forceProverExists(async () => await registry.compile(BridgeContract)),
34
+ };
35
+ }
36
+ };
37
+ BridgeContractProtocolModule = __decorate([
38
+ injectable(),
39
+ __param(0, injectAll("OutgoingMessageProcessor", { isOptional: true })),
40
+ __metadata("design:paramtypes", [Array, ContractArgsRegistry])
41
+ ], BridgeContractProtocolModule);
42
+ //# sourceMappingURL=BridgeContractProtocolModule.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"BridgeContractProtocolModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContractProtocolModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAGjD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,cAAc,GAGf,MAAM,kBAAkB,CAAC;AAOnB,WAAM,4BAA4B,GAAlC,MAAM,4BAA6B,SAAQ,cAGjD;IACC,YAEmB,iBAAsD,EACtD,oBAA0C;QAE3D,KAAK,EAAE,CAAC;QAHS,sBAAiB,GAAjB,iBAAiB,CAAqC;QACtD,yBAAoB,GAApB,oBAAoB,CAAsB;IAG7D,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAExB,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAqB,gBAAgB,EAAE;YACtE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,SAAS,EAAE,MAAM,CAAC,iBAAiB;SACpC,CAAC,CAAC;QAEH,OAAO,cAAc,CAAC;IACxB,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,OAAO;YACL,cAAc,EAAE,MAAM,QAAQ,CAAC,iBAAiB,CAC9C,KAAK,IAAI,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,CACnD;SACF,CAAC;IACJ,CAAC;CACF,CAAA;AA9BY,4BAA4B;IADxC,UAAU,EAAE;IAMR,WAAA,SAAS,CAAC,0BAA0B,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;4CAErB,oBAAoB;GAPlD,4BAA4B,CA8BxC"}
@@ -0,0 +1,21 @@
1
+ import { ArtifactRecord, ChildVerificationKeyService, CompileRegistry } from "@proto-kit/common";
2
+ import { BlockProvable } from "../../prover/block/BlockProvable";
3
+ import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
4
+ import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
5
+ import { ContractArgsRegistry } from "../ContractArgsRegistry";
6
+ import { BridgingSettlementContractType } from "./settlement/BridgingSettlementContract";
7
+ import { DispatchContractProtocolModule } from "./DispatchContractProtocolModule";
8
+ import { BridgeContractProtocolModule } from "./BridgeContractProtocolModule";
9
+ import { SettlementContractConfig } from "./SettlementSmartContractModule";
10
+ export declare class BridgingSettlementContractModule extends ContractModule<BridgingSettlementContractType, SettlementContractConfig> {
11
+ private readonly hooks;
12
+ private readonly blockProver;
13
+ private readonly dispatchContractModule;
14
+ private readonly bridgeContractModule;
15
+ private readonly childVerificationKeyService;
16
+ private readonly argsRegistry;
17
+ constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable, dispatchContractModule: DispatchContractProtocolModule, bridgeContractModule: BridgeContractProtocolModule, childVerificationKeyService: ChildVerificationKeyService, argsRegistry: ContractArgsRegistry);
18
+ contractFactory(): SmartContractClassFromInterface<BridgingSettlementContractType>;
19
+ compile(registry: CompileRegistry): Promise<ArtifactRecord | undefined>;
20
+ }
21
+ //# sourceMappingURL=BridgingSettlementContractModule.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"BridgingSettlementContractModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgingSettlementContractModule.ts"],"names":[],"mappings":"AACA,OAAO,EACL,cAAc,EACd,2BAA2B,EAC3B,eAAe,EAEhB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAG/D,OAAO,EACL,8BAA8B,EAG/B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAEL,wBAAwB,EACzB,MAAM,iCAAiC,CAAC;AAGzC,qBACa,gCAAiC,SAAQ,cAAc,CAClE,8BAA8B,EAC9B,wBAAwB,CACzB;IAGG,OAAO,CAAC,QAAQ,CAAC,KAAK;IAEtB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAE5B,OAAO,CAAC,QAAQ,CAAC,sBAAsB;IAEvC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,2BAA2B;IAC5C,OAAO,CAAC,QAAQ,CAAC,YAAY;gBARZ,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAExC,WAAW,EAAE,aAAa,EAE1B,sBAAsB,EAAE,8BAA8B,EAEtD,oBAAoB,EAAE,4BAA4B,EAClD,2BAA2B,EAAE,2BAA2B,EACxD,YAAY,EAAE,oBAAoB;IAK9C,eAAe,IAAI,+BAA+B,CAAC,8BAA8B,CAAC;IA+B5E,OAAO,CAClB,QAAQ,EAAE,eAAe,GACxB,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC;CA+BvC"}
@@ -0,0 +1,81 @@
1
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
6
+ };
7
+ var __metadata = (this && this.__metadata) || function (k, v) {
8
+ if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
9
+ };
10
+ var __param = (this && this.__param) || function (paramIndex, decorator) {
11
+ return function (target, key) { decorator(target, key, paramIndex); }
12
+ };
13
+ import { inject, injectable, injectAll } from "tsyringe";
14
+ import { ChildVerificationKeyService, log, } from "@proto-kit/common";
15
+ import { ContractModule, } from "../ContractModule";
16
+ import { ContractArgsRegistry } from "../ContractArgsRegistry";
17
+ import { BridgingSettlementContract, } from "./settlement/BridgingSettlementContract";
18
+ import { DispatchContractProtocolModule } from "./DispatchContractProtocolModule";
19
+ import { BridgeContractProtocolModule } from "./BridgeContractProtocolModule";
20
+ import { DEFAULT_ESCAPE_HATCH, } from "./SettlementSmartContractModule";
21
+ import { SettlementContract } from "./settlement/SettlementContract";
22
+ export let BridgingSettlementContractModule = class BridgingSettlementContractModule extends ContractModule {
23
+ constructor(hooks, blockProver, dispatchContractModule, bridgeContractModule, childVerificationKeyService, argsRegistry) {
24
+ super();
25
+ this.hooks = hooks;
26
+ this.blockProver = blockProver;
27
+ this.dispatchContractModule = dispatchContractModule;
28
+ this.bridgeContractModule = bridgeContractModule;
29
+ this.childVerificationKeyService = childVerificationKeyService;
30
+ this.argsRegistry = argsRegistry;
31
+ }
32
+ contractFactory() {
33
+ const { hooks, config } = this;
34
+ const dispatchContract = this.dispatchContractModule.contractFactory();
35
+ const bridgeContract = this.bridgeContractModule.contractFactory();
36
+ const escapeHatchSlotsInterval = config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
37
+ this.argsRegistry.addArgs("SettlementContract", {
38
+ DispatchContract: dispatchContract,
39
+ hooks,
40
+ escapeHatchSlotsInterval,
41
+ BridgeContract: bridgeContract,
42
+ ChildVerificationKeyService: this.childVerificationKeyService,
43
+ });
44
+ // Ideally, we don't want to have this cyclic dependency, but we have it in the protocol,
45
+ // So it's logical that we can't avoid that here
46
+ this.argsRegistry.addArgs("BridgeContract", {
47
+ SettlementContract: BridgingSettlementContract,
48
+ });
49
+ this.argsRegistry.addArgs("DispatchContract", {
50
+ settlementContractClass: BridgingSettlementContract,
51
+ });
52
+ return BridgingSettlementContract;
53
+ }
54
+ async compile(registry) {
55
+ // Dependencies
56
+ const bridgeArtifact = await this.bridgeContractModule.compile(registry);
57
+ await this.blockProver.compile(registry);
58
+ this.contractFactory();
59
+ // Init params
60
+ this.argsRegistry.addArgs("SettlementContract", {
61
+ BridgeContractVerificationKey: bridgeArtifact.BridgeContract.verificationKey,
62
+ });
63
+ log.debug("Compiling Settlement Contract");
64
+ const artifact = await registry.forceProverExists(async (reg) => await registry.compile(BridgingSettlementContract, SettlementContract.name));
65
+ return {
66
+ SettlementSmartContract: artifact,
67
+ };
68
+ }
69
+ };
70
+ BridgingSettlementContractModule = __decorate([
71
+ injectable(),
72
+ __param(0, injectAll("ProvableSettlementHook")),
73
+ __param(1, inject("BlockProver")),
74
+ __param(2, inject("DispatchContract")),
75
+ __param(3, inject("BridgeContract")),
76
+ __metadata("design:paramtypes", [Array, Object, DispatchContractProtocolModule,
77
+ BridgeContractProtocolModule,
78
+ ChildVerificationKeyService,
79
+ ContractArgsRegistry])
80
+ ], BridgingSettlementContractModule);
81
+ //# sourceMappingURL=BridgingSettlementContractModule.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"BridgingSettlementContractModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgingSettlementContractModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAEL,2BAA2B,EAE3B,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAG/D,OAAO,EAEL,0BAA0B,GAE3B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EACL,oBAAoB,GAErB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAG9D,WAAM,gCAAgC,GAAtC,MAAM,gCAAiC,SAAQ,cAGrD;IACC,YAEmB,KAAwC,EAExC,WAA0B,EAE1B,sBAAsD,EAEtD,oBAAkD,EAClD,2BAAwD,EACxD,YAAkC;QAEnD,KAAK,EAAE,CAAC;QAVS,UAAK,GAAL,KAAK,CAAmC;QAExC,gBAAW,GAAX,WAAW,CAAe;QAE1B,2BAAsB,GAAtB,sBAAsB,CAAgC;QAEtD,yBAAoB,GAApB,oBAAoB,CAA8B;QAClD,gCAA2B,GAA3B,2BAA2B,CAA6B;QACxD,iBAAY,GAAZ,YAAY,CAAsB;IAGrD,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAC/B,MAAM,gBAAgB,GAAG,IAAI,CAAC,sBAAsB,CAAC,eAAe,EAAE,CAAC;QACvE,MAAM,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,EAAE,CAAC;QAEnE,MAAM,wBAAwB,GAC5B,MAAM,CAAC,wBAAwB,IAAI,oBAAoB,CAAC;QAE1D,IAAI,CAAC,YAAY,CAAC,OAAO,CACvB,oBAAoB,EACpB;YACE,gBAAgB,EAAE,gBAAgB;YAClC,KAAK;YACL,wBAAwB;YACxB,cAAc,EAAE,cAAc;YAC9B,2BAA2B,EAAE,IAAI,CAAC,2BAA2B;SAC9D,CACF,CAAC;QAEF,yFAAyF;QACzF,gDAAgD;QAChD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAqB,gBAAgB,EAAE;YAC9D,kBAAkB,EAAE,0BAA0B;SAC/C,CAAC,CAAC;QACH,IAAI,CAAC,YAAY,CAAC,OAAO,CAAuB,kBAAkB,EAAE;YAClE,uBAAuB,EAAE,0BAA0B;SACpD,CAAC,CAAC;QAEH,OAAO,0BAA0B,CAAC;IACpC,CAAC;IAEM,KAAK,CAAC,OAAO,CAClB,QAAyB;QAEzB,eAAe;QACf,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEzE,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEzC,IAAI,CAAC,eAAe,EAAE,CAAC;QAEvB,cAAc;QACd,IAAI,CAAC,YAAY,CAAC,OAAO,CACvB,oBAAoB,EACpB;YACE,6BAA6B,EAC3B,cAAc,CAAC,cAAc,CAAC,eAAe;SAChD,CACF,CAAC;QAEF,GAAG,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAE3C,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,iBAAiB,CAC/C,KAAK,EAAE,GAAG,EAAE,EAAE,CACZ,MAAM,QAAQ,CAAC,OAAO,CACpB,0BAA0B,EAC1B,kBAAkB,CAAC,IAAI,CACxB,CACJ,CAAC;QAEF,OAAO;YACL,uBAAuB,EAAE,QAAQ;SAClC,CAAC;IACJ,CAAC;CACF,CAAA;AAnFY,gCAAgC;IAD5C,UAAU,EAAE;IAMR,WAAA,SAAS,CAAC,wBAAwB,CAAC,CAAA;IAEnC,WAAA,MAAM,CAAC,aAAa,CAAC,CAAA;IAErB,WAAA,MAAM,CAAC,kBAAkB,CAAC,CAAA;IAE1B,WAAA,MAAM,CAAC,gBAAgB,CAAC,CAAA;oDADgB,8BAA8B;QAEhC,4BAA4B;QACrB,2BAA2B;QAC1C,oBAAoB;GAd1C,gCAAgC,CAmF5C"}
@@ -0,0 +1,23 @@
1
+ import { CompileRegistry } from "@proto-kit/common";
2
+ import { RuntimeLike } from "../../model/RuntimeLike";
3
+ import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
4
+ import { ContractArgsRegistry } from "../ContractArgsRegistry";
5
+ import { DispatchContractType } from "./DispatchSmartContract";
6
+ export type DispatchContractConfig = {
7
+ incomingMessagesMethods: Record<string, `${string}.${string}`>;
8
+ };
9
+ export declare class DispatchContractProtocolModule extends ContractModule<DispatchContractType, DispatchContractConfig> {
10
+ private readonly runtime;
11
+ private readonly contractArgsRegistry;
12
+ constructor(runtime: RuntimeLike, contractArgsRegistry: ContractArgsRegistry);
13
+ eventsDefinition(): {
14
+ "token-bridge-added": typeof import("./TokenBridgeTree").TokenBridgeTreeAddition;
15
+ "incoming-message-placeholder": typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
16
+ };
17
+ private checkConfigIntegrity;
18
+ contractFactory(): SmartContractClassFromInterface<DispatchContractType>;
19
+ compile(registry: CompileRegistry): Promise<{
20
+ DispatchSmartContract: import("@proto-kit/common").CompileArtifact;
21
+ }>;
22
+ }
23
+ //# sourceMappingURL=DispatchContractProtocolModule.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"DispatchContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContractProtocolModule.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,WAAW,EAA0B,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EAEL,oBAAoB,EAErB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,MAAM,sBAAsB,GAAG;IACnC,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC;CAChE,CAAC;AAEF,qBACa,8BAA+B,SAAQ,cAAc,CAChE,oBAAoB,EACpB,sBAAsB,CACvB;IAEsB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAC3C,OAAO,CAAC,QAAQ,CAAC,oBAAoB;gBADD,OAAO,EAAE,WAAW,EACvC,oBAAoB,EAAE,oBAAoB;IAKtD,gBAAgB;;;;IAKvB,OAAO,CAAC,oBAAoB;IAcrB,eAAe,IAAI,+BAA+B,CAAC,oBAAoB,CAAC;IAiBlE,OAAO,CAAC,QAAQ,EAAE,eAAe;;;CAO/C"}
@@ -0,0 +1,55 @@
1
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
6
+ };
7
+ var __metadata = (this && this.__metadata) || function (k, v) {
8
+ if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
9
+ };
10
+ var __param = (this && this.__param) || function (paramIndex, decorator) {
11
+ return function (target, key) { decorator(target, key, paramIndex); }
12
+ };
13
+ import { inject, injectable } from "tsyringe";
14
+ import { PublicKey } from "o1js";
15
+ import { ContractModule, } from "../ContractModule";
16
+ import { ContractArgsRegistry } from "../ContractArgsRegistry";
17
+ import { DispatchSmartContract, } from "./DispatchSmartContract";
18
+ export let DispatchContractProtocolModule = class DispatchContractProtocolModule extends ContractModule {
19
+ constructor(runtime, contractArgsRegistry) {
20
+ super();
21
+ this.runtime = runtime;
22
+ this.contractArgsRegistry = contractArgsRegistry;
23
+ }
24
+ eventsDefinition() {
25
+ return new DispatchSmartContract(PublicKey.empty())
26
+ .events;
27
+ }
28
+ checkConfigIntegrity(incomingMessagesMethods, runtimeMethodIds) {
29
+ const missing = Object.values(incomingMessagesMethods).filter((method) => runtimeMethodIds[method] === undefined);
30
+ if (missing.length > 0) {
31
+ throw new Error(`Incoming messages config references a unknown methods: [${missing}]`);
32
+ }
33
+ }
34
+ contractFactory() {
35
+ const { incomingMessagesMethods } = this.config;
36
+ const methodIdMappings = this.runtime.methodIdResolver.methodIdMap();
37
+ this.checkConfigIntegrity(incomingMessagesMethods, methodIdMappings);
38
+ this.contractArgsRegistry.addArgs("DispatchContract", {
39
+ incomingMessagesPaths: incomingMessagesMethods,
40
+ methodIdMappings,
41
+ });
42
+ return DispatchSmartContract;
43
+ }
44
+ async compile(registry) {
45
+ return {
46
+ DispatchSmartContract: await registry.forceProverExists(async () => await registry.compile(DispatchSmartContract)),
47
+ };
48
+ }
49
+ };
50
+ DispatchContractProtocolModule = __decorate([
51
+ injectable(),
52
+ __param(0, inject("Runtime")),
53
+ __metadata("design:paramtypes", [Object, ContractArgsRegistry])
54
+ ], DispatchContractProtocolModule);
55
+ //# sourceMappingURL=DispatchContractProtocolModule.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"DispatchContractProtocolModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContractProtocolModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAIjC,OAAO,EACL,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,qBAAqB,GAGtB,MAAM,yBAAyB,CAAC;AAO1B,WAAM,8BAA8B,GAApC,MAAM,8BAA+B,SAAQ,cAGnD;IACC,YACsC,OAAoB,EACvC,oBAA0C;QAE3D,KAAK,EAAE,CAAC;QAH4B,YAAO,GAAP,OAAO,CAAa;QACvC,yBAAoB,GAApB,oBAAoB,CAAsB;IAG7D,CAAC;IAEM,gBAAgB;QACrB,OAAO,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,EAAoB,CAAC;aAClE,MAAM,CAAC;IACZ,CAAC;IAEO,oBAAoB,CAC1B,uBAA8D,EAC9D,gBAAwC;QAExC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC,MAAM,CAC3D,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,SAAS,CACnD,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE;YACtB,MAAM,IAAI,KAAK,CACb,2DAA2D,OAAO,GAAG,CACtE,CAAC;SACH;IACH,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,uBAAuB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QAChD,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAErE,IAAI,CAAC,oBAAoB,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,CAAC;QAErE,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAC/B,kBAAkB,EAClB;YACE,qBAAqB,EAAE,uBAAuB;YAC9C,gBAAgB;SACjB,CACF,CAAC;QAEF,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,OAAO;YACL,qBAAqB,EAAE,MAAM,QAAQ,CAAC,iBAAiB,CACrD,KAAK,IAAI,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAC1D;SACF,CAAC;IACJ,CAAC;CACF,CAAA;AAtDY,8BAA8B;IAD1C,UAAU,EAAE;IAMR,WAAA,MAAM,CAAC,SAAS,CAAC,CAAA;6CACqB,oBAAoB;GANlD,8BAA8B,CAsD1C"}
@@ -0,0 +1,50 @@
1
+ import { DeployArgs, Field, ProvableExtended, PublicKey, SmartContract, State, UInt64, Permissions } from "o1js";
2
+ import { TypedClass } from "@proto-kit/common";
3
+ import { RuntimeMethodIdMapping } from "../../model/RuntimeLike";
4
+ import { NaiveObjectSchema, StaticInitializationContract } from "../ContractArgsRegistry";
5
+ import type { BridgingSettlementContractType } from "./settlement/BridgingSettlementContract";
6
+ import { TokenBridgeAttestation, TokenBridgeTreeAddition } from "./TokenBridgeTree";
7
+ export declare const ACTIONS_EMPTY_HASH: import("o1js/dist/node/lib/provable/field").Field;
8
+ export interface DispatchContractType {
9
+ events: {
10
+ "token-bridge-added": typeof TokenBridgeTreeAddition;
11
+ };
12
+ updateMessagesHash: (executedMessagesHash: Field, newPromisedMessagesHash: Field) => Promise<void>;
13
+ enableTokenDeposits: (tokenId: Field, bridgeContractAddress: PublicKey, settlementContractAddress: PublicKey) => Promise<void>;
14
+ promisedMessagesHash: State<Field>;
15
+ deployAndInitialize: (args: DeployArgs | undefined, permissions: Permissions, settlementContract: PublicKey) => Promise<void>;
16
+ }
17
+ export interface DispatchContractArgs {
18
+ methodIdMappings: RuntimeMethodIdMapping;
19
+ incomingMessagesPaths: Record<string, `${string}.${string}`>;
20
+ settlementContractClass: TypedClass<BridgingSettlementContractType> & typeof SmartContract;
21
+ }
22
+ export declare const DispatchContractArgsSchema: NaiveObjectSchema<DispatchContractArgs>;
23
+ export declare abstract class DispatchSmartContractBase extends SmartContract implements StaticInitializationContract<DispatchContractArgs> {
24
+ events: {
25
+ "token-bridge-added": typeof TokenBridgeTreeAddition;
26
+ "incoming-message-placeholder": typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
27
+ };
28
+ abstract promisedMessagesHash: State<Field>;
29
+ abstract honoredMessagesHash: State<Field>;
30
+ abstract settlementContract: State<PublicKey>;
31
+ abstract tokenBridgeRoot: State<Field>;
32
+ abstract tokenBridgeCount: State<Field>;
33
+ getInitializationArgs(): DispatchContractArgs;
34
+ protected updateMessagesHashBase(executedMessagesHash: Field, newPromisedMessagesHash: Field): void;
35
+ protected initializeBase(settlementContract: PublicKey): void;
36
+ protected dispatchMessage<Type>(methodId: Field, value: Type, valueType: ProvableExtended<Type>): void;
37
+ protected enableTokenDepositsBase(tokenId: Field, bridgeContractAddress: PublicKey, settlementContractAddress: PublicKey): Promise<void>;
38
+ }
39
+ export declare class DispatchSmartContract extends DispatchSmartContractBase implements DispatchContractType {
40
+ promisedMessagesHash: State<import("o1js/dist/node/lib/provable/field").Field>;
41
+ honoredMessagesHash: State<import("o1js/dist/node/lib/provable/field").Field>;
42
+ settlementContract: State<PublicKey>;
43
+ tokenBridgeRoot: State<import("o1js/dist/node/lib/provable/field").Field>;
44
+ tokenBridgeCount: State<import("o1js/dist/node/lib/provable/field").Field>;
45
+ deployAndInitialize(args: DeployArgs | undefined, permissions: Permissions, settlementContract: PublicKey): Promise<void>;
46
+ enableTokenDeposits(tokenId: Field, bridgeContractAddress: PublicKey, settlementContractAddress: PublicKey): Promise<void>;
47
+ updateMessagesHash(executedMessagesHash: Field, newPromisedMessagesHash: Field): Promise<void>;
48
+ deposit(amount: UInt64, tokenId: Field, bridgingContract: PublicKey, bridgingContractAttestation: TokenBridgeAttestation, l2Receiver: PublicKey): Promise<void>;
49
+ }
50
+ //# sourceMappingURL=DispatchSmartContract.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"DispatchSmartContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchSmartContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,UAAU,EACV,KAAK,EAIL,gBAAgB,EAChB,SAAS,EAET,aAAa,EACb,KAAK,EAGL,MAAM,EACN,WAAW,EACZ,MAAM,MAAM,CAAC;AACd,OAAO,EAA6B,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAG1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAOjE,OAAO,EAEL,iBAAiB,EACjB,4BAA4B,EAC7B,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AAG9F,OAAO,EACL,sBAAsB,EAGtB,uBAAuB,EAExB,MAAM,mBAAmB,CAAC;AAE3B,eAAO,MAAM,kBAAkB,mDAA6B,CAAC;AAE7D,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE;QACN,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;KACtD,CAAC;IAEF,kBAAkB,EAAE,CAClB,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,mBAAmB,EAAE,CACnB,OAAO,EAAE,KAAK,EACd,qBAAqB,EAAE,SAAS,EAChC,yBAAyB,EAAE,SAAS,KACjC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnB,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEnC,mBAAmB,EAAE,CACnB,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,kBAAkB,EAAE,SAAS,KAC1B,OAAO,CAAC,IAAI,CAAC,CAAC;CACpB;AAMD,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,sBAAsB,CAAC;IACzC,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC;IAC7D,uBAAuB,EAAE,UAAU,CAAC,8BAA8B,CAAC,GACjE,OAAO,aAAa,CAAC;CACxB;AAED,eAAO,MAAM,0BAA0B,EAAE,iBAAiB,CAAC,oBAAoB,CAK5E,CAAC;AAEJ,8BAAsB,yBACpB,SAAQ,aACR,YAAW,4BAA4B,CAAC,oBAAoB,CAAC;IAE7D,MAAM;;;MAMJ;IAEF,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAE5C,QAAQ,CAAC,mBAAmB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAE3C,QAAQ,CAAC,kBAAkB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAE9C,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEvC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAExC,qBAAqB,IAAI,oBAAoB;IAM7C,SAAS,CAAC,sBAAsB,CAC9B,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK;IA+BhC,SAAS,CAAC,cAAc,CAAC,kBAAkB,EAAE,SAAS;IAMtD,SAAS,CAAC,eAAe,CAAC,IAAI,EAC5B,QAAQ,EAAE,KAAK,EACf,KAAK,EAAE,IAAI,EACX,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC;cAmCnB,uBAAuB,CACrC,OAAO,EAAE,KAAK,EACd,qBAAqB,EAAE,SAAS,EAGhC,yBAAyB,EAAE,SAAS;CAqDvC;AAED,qBAAa,qBACX,SAAQ,yBACR,YAAW,oBAAoB;IAEV,oBAAoB,2DAAkB;IAEtC,mBAAmB,2DAAkB;IAEjC,kBAAkB,mBAAsB;IAE5C,eAAe,2DAAiC;IAEhD,gBAAgB,2DAAkB;IAE1C,mBAAmB,CAC9B,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,kBAAkB,EAAE,SAAS,GAC5B,OAAO,CAAC,IAAI,CAAC;IASH,mBAAmB,CAC9B,OAAO,EAAE,KAAK,EACd,qBAAqB,EAAE,SAAS,EAChC,yBAAyB,EAAE,SAAS;IAUzB,kBAAkB,CAC7B,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK;IASnB,OAAO,CAClB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,KAAK,EACd,gBAAgB,EAAE,SAAS,EAC3B,2BAA2B,EAAE,sBAAsB,EACnD,UAAU,EAAE,SAAS;CAgDxB"}
@@ -0,0 +1,234 @@
1
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
6
+ };
7
+ var __metadata = (this && this.__metadata) || function (k, v) {
8
+ if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
9
+ };
10
+ import { AccountUpdate, Bool, Field, method, Poseidon, Provable, PublicKey, Reducer, SmartContract, State, state, TokenId, UInt64, } from "o1js";
11
+ import { InMemoryMerkleTreeStorage } from "@proto-kit/common";
12
+ import { container } from "tsyringe";
13
+ import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
14
+ import { MinaActions, MinaEvents, } from "../../utils/MinaPrefixedProvableHashList";
15
+ import { Deposit } from "../messages/Deposit";
16
+ import { ContractArgsRegistry, } from "../ContractArgsRegistry";
17
+ import { TokenBridgeDeploymentAuth } from "./authorizations/TokenBridgeDeploymentAuth";
18
+ import { UpdateMessagesHashAuth } from "./authorizations/UpdateMessagesHashAuth";
19
+ import { TokenBridgeAttestation, TokenBridgeEntry, TokenBridgeTree, TokenBridgeTreeAddition, TokenBridgeTreeWitness, } from "./TokenBridgeTree";
20
+ export const ACTIONS_EMPTY_HASH = Reducer.initialActionState;
21
+ const tokenBridgeRoot = new TokenBridgeTree(new InMemoryMerkleTreeStorage()).getRoot();
22
+ export const DispatchContractArgsSchema = {
23
+ incomingMessagesPaths: "Required",
24
+ methodIdMappings: "Required",
25
+ settlementContractClass: "Required",
26
+ };
27
+ export class DispatchSmartContractBase extends SmartContract {
28
+ constructor() {
29
+ super(...arguments);
30
+ this.events = {
31
+ "token-bridge-added": TokenBridgeTreeAddition,
32
+ // We need a placeholder event here, so that o1js internally adds a identifier to the
33
+ // emitted event-fields. That will lead to the o1js API being able to distinguish the
34
+ // TokenBridgeEvents from the manually emitted events for the incoming messages
35
+ "incoming-message-placeholder": Field,
36
+ };
37
+ }
38
+ getInitializationArgs() {
39
+ return container
40
+ .resolve(ContractArgsRegistry)
41
+ .getArgs("DispatchContract", DispatchContractArgsSchema);
42
+ }
43
+ updateMessagesHashBase(executedMessagesHash, newPromisedMessagesHash) {
44
+ const promisedMessagesHash = this.promisedMessagesHash.getAndRequireEquals();
45
+ this.honoredMessagesHash.getAndRequireEquals();
46
+ executedMessagesHash.assertEquals(promisedMessagesHash);
47
+ this.honoredMessagesHash.set(executedMessagesHash);
48
+ // Assert and apply new promisedMessagesHash
49
+ this.self.account.actionState.requireEquals(newPromisedMessagesHash);
50
+ this.promisedMessagesHash.set(newPromisedMessagesHash);
51
+ const args = this.getInitializationArgs();
52
+ const settlementContractAddress = this.settlementContract.getAndRequireEquals();
53
+ const settlementContract = new args.settlementContractClass(settlementContractAddress);
54
+ settlementContract.authorizationField.requireEquals(new UpdateMessagesHashAuth({
55
+ target: this.address,
56
+ executedMessagesHash,
57
+ newPromisedMessagesHash,
58
+ }).hash());
59
+ this.approve(settlementContract.self);
60
+ }
61
+ initializeBase(settlementContract) {
62
+ this.promisedMessagesHash.set(ACTIONS_EMPTY_HASH);
63
+ this.honoredMessagesHash.set(ACTIONS_EMPTY_HASH);
64
+ this.settlementContract.set(settlementContract);
65
+ }
66
+ dispatchMessage(methodId, value, valueType) {
67
+ const args = valueType.toFields(value);
68
+ // Should be the same as RuntimeTransaction.hash
69
+ const argsHash = Poseidon.hash(args);
70
+ const runtimeTransaction = RuntimeTransaction.fromMessage({
71
+ methodId,
72
+ argsHash,
73
+ });
74
+ // Append tx to incomingMessagesHash
75
+ const actionData = runtimeTransaction.hashData();
76
+ const actionHash = MinaActions.actionHash(actionData);
77
+ this.self.body.actions = {
78
+ hash: actionHash,
79
+ data: [actionData],
80
+ };
81
+ // Find event index of placeholder event that we can use for manual event dispatching
82
+ const eventIndex = Object.keys(this.events)
83
+ .sort()
84
+ .indexOf("incoming-message-placeholder");
85
+ if (eventIndex === -1) {
86
+ throw new Error("Unknown event type for placeholder event");
87
+ }
88
+ const paddedArgs = [Field(eventIndex), ...args];
89
+ const eventHash = MinaEvents.eventHash(paddedArgs);
90
+ this.self.body.events = {
91
+ hash: eventHash,
92
+ data: [paddedArgs],
93
+ };
94
+ }
95
+ async enableTokenDepositsBase(tokenId, bridgeContractAddress,
96
+ // Witness it here, since o1js doesn't fetch this state correctly since
97
+ // its updated in a parent AU
98
+ settlementContractAddress
99
+ // treeWitness: TokenBridgeTreeWitness
100
+ ) {
101
+ this.settlementContract.requireEquals(settlementContractAddress);
102
+ const args = this.getInitializationArgs();
103
+ const settlementContract = new args.settlementContractClass(settlementContractAddress);
104
+ // Append bridge address to the tree
105
+ // TODO This not concurrent and will fail if multiple users deploy bridges at the same time
106
+ const counter = this.tokenBridgeCount.getAndRequireEquals();
107
+ const root = this.tokenBridgeRoot.getAndRequireEquals();
108
+ const treeWitness = await Provable.witnessAsync(TokenBridgeTreeWitness, async () => {
109
+ const tree = await TokenBridgeTree.buildTreeFromEvents(this);
110
+ return tree.getWitness(counter.toBigInt());
111
+ });
112
+ treeWitness
113
+ .checkMembership(root, counter, Field(0))
114
+ .assertTrue("Bridge Tree Witness not valid");
115
+ const entry = new TokenBridgeEntry({
116
+ tokenId,
117
+ address: bridgeContractAddress,
118
+ });
119
+ const newRoot = treeWitness.calculateRoot(entry.hash());
120
+ this.tokenBridgeRoot.set(newRoot);
121
+ this.tokenBridgeCount.set(counter.add(1));
122
+ this.emitEvent("token-bridge-added", new TokenBridgeTreeAddition({
123
+ index: counter,
124
+ value: entry,
125
+ }));
126
+ // Authenticate call via callback
127
+ settlementContract.authorizationField.requireEquals(new TokenBridgeDeploymentAuth({
128
+ target: this.address,
129
+ tokenId,
130
+ address: bridgeContractAddress,
131
+ }).hash());
132
+ this.approve(settlementContract.self);
133
+ }
134
+ }
135
+ export class DispatchSmartContract extends DispatchSmartContractBase {
136
+ constructor() {
137
+ super(...arguments);
138
+ this.promisedMessagesHash = State();
139
+ this.honoredMessagesHash = State();
140
+ this.settlementContract = State();
141
+ this.tokenBridgeRoot = State(tokenBridgeRoot);
142
+ this.tokenBridgeCount = State();
143
+ }
144
+ async deployAndInitialize(args, permissions, settlementContract) {
145
+ await super.deploy(args);
146
+ this.self.account.permissions.set(permissions);
147
+ this.initializeBase(settlementContract);
148
+ }
149
+ async enableTokenDeposits(tokenId, bridgeContractAddress, settlementContractAddress) {
150
+ await this.enableTokenDepositsBase(tokenId, bridgeContractAddress, settlementContractAddress);
151
+ }
152
+ async updateMessagesHash(executedMessagesHash, newPromisedMessagesHash) {
153
+ return this.updateMessagesHashBase(executedMessagesHash, newPromisedMessagesHash);
154
+ }
155
+ async deposit(amount, tokenId, bridgingContract, bridgingContractAttestation, l2Receiver) {
156
+ const childrenMayUseToken = {
157
+ parentsOwnToken: Bool(false),
158
+ // MayUseToken has to be set only for custom tokens
159
+ inheritFromParent: tokenId.equals(TokenId.default).not(),
160
+ };
161
+ // Check that the bridgingContract parameter is valid => is in the offchain tree
162
+ const bridgeTreeRoot = this.tokenBridgeRoot.getAndRequireEquals();
163
+ const entry = new TokenBridgeEntry({
164
+ tokenId,
165
+ address: bridgingContract,
166
+ });
167
+ bridgingContractAttestation.witness
168
+ .checkMembership(bridgeTreeRoot, bridgingContractAttestation.index, entry.hash())
169
+ .assertTrue("Bridging Contract Attestation not valid");
170
+ // Credit the amount to the settlement contract
171
+ const balanceAU = AccountUpdate.create(bridgingContract, tokenId);
172
+ balanceAU.balance.addInPlace(amount);
173
+ balanceAU.body.mayUseToken = childrenMayUseToken;
174
+ this.approve(balanceAU);
175
+ const action = new Deposit({
176
+ tokenId,
177
+ address: l2Receiver,
178
+ amount,
179
+ });
180
+ const { methodIdMappings, incomingMessagesPaths } = this.getInitializationArgs();
181
+ const methodId = Field(methodIdMappings[incomingMessagesPaths.deposit].methodId).toConstant();
182
+ this.dispatchMessage(methodId.toConstant(), action, Deposit);
183
+ this.self.body.mayUseToken = {
184
+ parentsOwnToken: tokenId.equals(TokenId.default).not(),
185
+ inheritFromParent: Bool(false),
186
+ };
187
+ }
188
+ }
189
+ __decorate([
190
+ state(Field),
191
+ __metadata("design:type", Object)
192
+ ], DispatchSmartContract.prototype, "promisedMessagesHash", void 0);
193
+ __decorate([
194
+ state(Field),
195
+ __metadata("design:type", Object)
196
+ ], DispatchSmartContract.prototype, "honoredMessagesHash", void 0);
197
+ __decorate([
198
+ state(PublicKey),
199
+ __metadata("design:type", Object)
200
+ ], DispatchSmartContract.prototype, "settlementContract", void 0);
201
+ __decorate([
202
+ state(Field),
203
+ __metadata("design:type", Object)
204
+ ], DispatchSmartContract.prototype, "tokenBridgeRoot", void 0);
205
+ __decorate([
206
+ state(Field),
207
+ __metadata("design:type", Object)
208
+ ], DispatchSmartContract.prototype, "tokenBridgeCount", void 0);
209
+ __decorate([
210
+ method,
211
+ __metadata("design:type", Function),
212
+ __metadata("design:paramtypes", [Field,
213
+ PublicKey,
214
+ PublicKey]),
215
+ __metadata("design:returntype", Promise)
216
+ ], DispatchSmartContract.prototype, "enableTokenDeposits", null);
217
+ __decorate([
218
+ method,
219
+ __metadata("design:type", Function),
220
+ __metadata("design:paramtypes", [Field,
221
+ Field]),
222
+ __metadata("design:returntype", Promise)
223
+ ], DispatchSmartContract.prototype, "updateMessagesHash", null);
224
+ __decorate([
225
+ method,
226
+ __metadata("design:type", Function),
227
+ __metadata("design:paramtypes", [UInt64,
228
+ Field,
229
+ PublicKey,
230
+ TokenBridgeAttestation,
231
+ PublicKey]),
232
+ __metadata("design:returntype", Promise)
233
+ ], DispatchSmartContract.prototype, "deposit", null);
234
+ //# sourceMappingURL=DispatchSmartContract.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"DispatchSmartContract.js","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchSmartContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,aAAa,EACb,IAAI,EAEJ,KAAK,EACL,MAAM,EACN,QAAQ,EACR,QAAQ,EAER,SAAS,EACT,OAAO,EACP,aAAa,EACb,KAAK,EACL,KAAK,EACL,OAAO,EACP,MAAM,GAEP,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,yBAAyB,EAAc,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAGrC,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EACL,WAAW,EACX,UAAU,GACX,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EACL,oBAAoB,GAGrB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACjF,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EACf,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,mBAAmB,CAAC;AAE3B,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;AA0B7D,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,yBAAyB,EAAE,CAChC,CAAC,OAAO,EAAE,CAAC;AASZ,MAAM,CAAC,MAAM,0BAA0B,GACrC;IACE,qBAAqB,EAAE,UAAU;IACjC,gBAAgB,EAAE,UAAU;IAC5B,uBAAuB,EAAE,UAAU;CACpC,CAAC;AAEJ,MAAM,OAAgB,yBACpB,SAAQ,aAAa;IADvB;;QAIE,WAAM,GAAG;YACP,oBAAoB,EAAE,uBAAuB;YAC7C,qFAAqF;YACrF,qFAAqF;YACrF,+EAA+E;YAC/E,8BAA8B,EAAE,KAAK;SACtC,CAAC;IAyJJ,CAAC;IA7IC,qBAAqB;QACnB,OAAO,SAAS;aACb,OAAO,CAAC,oBAAoB,CAAC;aAC7B,OAAO,CAAC,kBAAkB,EAAE,0BAA0B,CAAC,CAAC;IAC7D,CAAC;IAES,sBAAsB,CAC9B,oBAA2B,EAC3B,uBAA8B;QAE9B,MAAM,oBAAoB,GACxB,IAAI,CAAC,oBAAoB,CAAC,mBAAmB,EAAE,CAAC;QAClD,IAAI,CAAC,mBAAmB,CAAC,mBAAmB,EAAE,CAAC;QAE/C,oBAAoB,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;QAExD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAEnD,4CAA4C;QAC5C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC;QACrE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QAEvD,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC1C,MAAM,yBAAyB,GAC7B,IAAI,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,CAAC;QAChD,MAAM,kBAAkB,GAAG,IAAI,IAAI,CAAC,uBAAwB,CAC1D,yBAAyB,CAC1B,CAAC;QAEF,kBAAkB,CAAC,kBAAkB,CAAC,aAAa,CACjD,IAAI,sBAAsB,CAAC;YACzB,MAAM,EAAE,IAAI,CAAC,OAAO;YACpB,oBAAoB;YACpB,uBAAuB;SACxB,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAES,cAAc,CAAC,kBAA6B;QACpD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAClD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QACjD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAClD,CAAC;IAES,eAAe,CACvB,QAAe,EACf,KAAW,EACX,SAAiC;QAEjC,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvC,gDAAgD;QAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,WAAW,CAAC;YACxD,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;QAEH,oCAAoC;QACpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG;YACvB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,UAAU,CAAC;SACnB,CAAC;QAEF,qFAAqF;QACrF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;aACxC,IAAI,EAAE;aACN,OAAO,CAAC,8BAA8B,CAAC,CAAC;QAC3C,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE;YACrB,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;SAC7D;QACD,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;QAEhD,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG;YACtB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,CAAC,UAAU,CAAC;SACnB,CAAC;IACJ,CAAC;IAES,KAAK,CAAC,uBAAuB,CACrC,OAAc,EACd,qBAAgC;IAChC,uEAAuE;IACvE,6BAA6B;IAC7B,yBAAoC;IACpC,sCAAsC;;QAEtC,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC1C,MAAM,kBAAkB,GAAG,IAAI,IAAI,CAAC,uBAAwB,CAC1D,yBAAyB,CAC1B,CAAC;QAEF,oCAAoC;QACpC,2FAA2F;QAC3F,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,mBAAmB,EAAE,CAAC;QAExD,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,YAAY,CAC7C,sBAAsB,EACtB,KAAK,IAAI,EAAE;YACT,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC7D,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7C,CAAC,CACF,CAAC;QAEF,WAAW;aACR,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;aACxC,UAAU,CAAC,+BAA+B,CAAC,CAAC;QAE/C,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAAC;YACjC,OAAO;YACP,OAAO,EAAE,qBAAqB;SAC/B,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1C,IAAI,CAAC,SAAS,CACZ,oBAAoB,EACpB,IAAI,uBAAuB,CAAC;YAC1B,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,KAAK;SACb,CAAC,CACH,CAAC;QAEF,iCAAiC;QACjC,kBAAkB,CAAC,kBAAkB,CAAC,aAAa,CACjD,IAAI,yBAAyB,CAAC;YAC5B,MAAM,EAAE,IAAI,CAAC,OAAO;YACpB,OAAO;YACP,OAAO,EAAE,qBAAqB;SAC/B,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QAEF,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;CACF;AAED,MAAM,OAAO,qBACX,SAAQ,yBAAyB;IADnC;;QAIuB,yBAAoB,GAAG,KAAK,EAAS,CAAC;QAEtC,wBAAmB,GAAG,KAAK,EAAS,CAAC;QAEjC,uBAAkB,GAAG,KAAK,EAAa,CAAC;QAE5C,oBAAe,GAAG,KAAK,CAAQ,eAAe,CAAC,CAAC;QAEhD,qBAAgB,GAAG,KAAK,EAAS,CAAC;IA4FzD,CAAC;IA1FQ,KAAK,CAAC,mBAAmB,CAC9B,IAA4B,EAC5B,WAAwB,EACxB,kBAA6B;QAE7B,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAEzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE/C,IAAI,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;IAC1C,CAAC;IAGY,AAAN,KAAK,CAAC,mBAAmB,CAC9B,OAAc,EACd,qBAAgC,EAChC,yBAAoC;QAEpC,MAAM,IAAI,CAAC,uBAAuB,CAChC,OAAO,EACP,qBAAqB,EACrB,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,kBAAkB,CAC7B,oBAA2B,EAC3B,uBAA8B;QAE9B,OAAO,IAAI,CAAC,sBAAsB,CAChC,oBAAoB,EACpB,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,OAAO,CAClB,MAAc,EACd,OAAc,EACd,gBAA2B,EAC3B,2BAAmD,EACnD,UAAqB;QAErB,MAAM,mBAAmB,GAAyC;YAChE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;YAC5B,mDAAmD;YACnD,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;SACzD,CAAC;QAEF,gFAAgF;QAChF,MAAM,cAAc,GAAG,IAAI,CAAC,eAAe,CAAC,mBAAmB,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAAC;YACjC,OAAO;YACP,OAAO,EAAE,gBAAgB;SAC1B,CAAC,CAAC;QAEH,2BAA2B,CAAC,OAAO;aAChC,eAAe,CACd,cAAc,EACd,2BAA2B,CAAC,KAAK,EACjC,KAAK,CAAC,IAAI,EAAE,CACb;aACA,UAAU,CAAC,yCAAyC,CAAC,CAAC;QAEzD,+CAA+C;QAC/C,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAClE,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACrC,SAAS,CAAC,IAAI,CAAC,WAAW,GAAG,mBAAmB,CAAC;QACjD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAExB,MAAM,MAAM,GAAG,IAAI,OAAO,CAAC;YACzB,OAAO;YACP,OAAO,EAAE,UAAU;YACnB,MAAM;SACP,CAAC,CAAC;QAEH,MAAM,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,GAC/C,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE/B,MAAM,QAAQ,GAAG,KAAK,CACpB,gBAAgB,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,QAAQ,CACzD,CAAC,UAAU,EAAE,CAAC;QACf,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAE7D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG;YAC3B,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YACtD,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC;SAC/B,CAAC;IACJ,CAAC;CACF;AApGsB;IAApB,KAAK,CAAC,KAAK,CAAC;;mEAA8C;AAEtC;IAApB,KAAK,CAAC,KAAK,CAAC;;kEAA6C;AAEjC;IAAxB,KAAK,CAAC,SAAS,CAAC;;iEAAgD;AAE5C;IAApB,KAAK,CAAC,KAAK,CAAC;;8DAAwD;AAEhD;IAApB,KAAK,CAAC,KAAK,CAAC;;+DAA0C;AAe1C;IADZ,MAAM;;qCAEI,KAAK;QACS,SAAS;QACL,SAAS;;gEAOrC;AAGY;IADZ,MAAM;;qCAEiB,KAAK;QACF,KAAK;;+DAM/B;AAGY;IADZ,MAAM;;qCAEG,MAAM;QACL,KAAK;QACI,SAAS;QACE,sBAAsB;QACvC,SAAS;;oDA+CtB"}
@@ -0,0 +1,21 @@
1
+ import { ArtifactRecord, ChildVerificationKeyService, CompileRegistry } from "@proto-kit/common";
2
+ import { BlockProvable } from "../../prover/block/BlockProvable";
3
+ import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
4
+ import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
5
+ import { SettlementContractType } from "./SettlementSmartContract";
6
+ import { DispatchContractProtocolModule } from "./DispatchContractProtocolModule";
7
+ import { BridgeContractProtocolModule } from "./BridgeContractProtocolModule";
8
+ export type SettlementContractConfig = {
9
+ escapeHatchSlotsInterval?: number;
10
+ };
11
+ export declare class SettlementContractProtocolModule extends ContractModule<SettlementContractType, SettlementContractConfig> {
12
+ private readonly hooks;
13
+ private readonly blockProver;
14
+ private readonly dispatchContractModule;
15
+ private readonly bridgeContractModule;
16
+ private readonly childVerificationKeyService;
17
+ constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable, dispatchContractModule: DispatchContractProtocolModule, bridgeContractModule: BridgeContractProtocolModule, childVerificationKeyService: ChildVerificationKeyService);
18
+ contractFactory(): SmartContractClassFromInterface<SettlementContractType>;
19
+ compile(registry: CompileRegistry): Promise<ArtifactRecord | undefined>;
20
+ }
21
+ //# sourceMappingURL=SettlementContractProtocolModule.d.ts.map