@proto-kit/protocol 0.1.1-develop.1088 → 0.1.1-develop.1309

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 (211) hide show
  1. package/dist/Constants.js +1 -0
  2. package/dist/Constants.js.map +1 -0
  3. package/dist/hooks/AccountStateHook.js +1 -0
  4. package/dist/hooks/AccountStateHook.js.map +1 -0
  5. package/dist/hooks/BlockHeightHook.js +1 -0
  6. package/dist/hooks/BlockHeightHook.js.map +1 -0
  7. package/dist/hooks/LastStateRootBlockHook.js +1 -0
  8. package/dist/hooks/LastStateRootBlockHook.js.map +1 -0
  9. package/dist/hooks/NoopBlockHook.js +1 -0
  10. package/dist/hooks/NoopBlockHook.js.map +1 -0
  11. package/dist/hooks/NoopSettlementHook.d.ts +2 -2
  12. package/dist/hooks/NoopSettlementHook.d.ts.map +1 -1
  13. package/dist/hooks/NoopSettlementHook.js +1 -0
  14. package/dist/hooks/NoopSettlementHook.js.map +1 -0
  15. package/dist/hooks/NoopTransactionHook.js +1 -0
  16. package/dist/hooks/NoopTransactionHook.js.map +1 -0
  17. package/dist/index.d.ts +6 -2
  18. package/dist/index.d.ts.map +1 -1
  19. package/dist/index.js +7 -2
  20. package/dist/index.js.map +1 -0
  21. package/dist/model/MethodPublicOutput.js +1 -0
  22. package/dist/model/MethodPublicOutput.js.map +1 -0
  23. package/dist/model/Option.js +1 -0
  24. package/dist/model/Option.js.map +1 -0
  25. package/dist/model/Path.js +1 -0
  26. package/dist/model/Path.js.map +1 -0
  27. package/dist/model/RuntimeLike.js +1 -0
  28. package/dist/model/RuntimeLike.js.map +1 -0
  29. package/dist/model/StateTransition.js +1 -0
  30. package/dist/model/StateTransition.js.map +1 -0
  31. package/dist/model/StateTransitionProvableBatch.d.ts +28 -2
  32. package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
  33. package/dist/model/StateTransitionProvableBatch.js +9 -3
  34. package/dist/model/StateTransitionProvableBatch.js.map +1 -0
  35. package/dist/model/network/NetworkState.js +1 -0
  36. package/dist/model/network/NetworkState.js.map +1 -0
  37. package/dist/model/transaction/RuntimeTransaction.js +1 -0
  38. package/dist/model/transaction/RuntimeTransaction.js.map +1 -0
  39. package/dist/model/transaction/SignedTransaction.js +1 -0
  40. package/dist/model/transaction/SignedTransaction.js.map +1 -0
  41. package/dist/model/transaction/ValueOption.js +1 -0
  42. package/dist/model/transaction/ValueOption.js.map +1 -0
  43. package/dist/protocol/Protocol.d.ts.map +1 -1
  44. package/dist/protocol/Protocol.js +31 -6
  45. package/dist/protocol/Protocol.js.map +1 -0
  46. package/dist/protocol/ProtocolEnvironment.js +1 -0
  47. package/dist/protocol/ProtocolEnvironment.js.map +1 -0
  48. package/dist/protocol/ProtocolModule.d.ts +1 -1
  49. package/dist/protocol/ProtocolModule.d.ts.map +1 -1
  50. package/dist/protocol/ProtocolModule.js +2 -1
  51. package/dist/protocol/ProtocolModule.js.map +1 -0
  52. package/dist/protocol/ProvableBlockHook.js +1 -0
  53. package/dist/protocol/ProvableBlockHook.js.map +1 -0
  54. package/dist/protocol/ProvableTransactionHook.js +1 -0
  55. package/dist/protocol/ProvableTransactionHook.js.map +1 -0
  56. package/dist/protocol/TransitioningProtocolModule.js +1 -0
  57. package/dist/protocol/TransitioningProtocolModule.js.map +1 -0
  58. package/dist/prover/block/BlockProvable.d.ts +19 -5
  59. package/dist/prover/block/BlockProvable.d.ts.map +1 -1
  60. package/dist/prover/block/BlockProvable.js +5 -2
  61. package/dist/prover/block/BlockProvable.js.map +1 -0
  62. package/dist/prover/block/BlockProver.d.ts +11 -9
  63. package/dist/prover/block/BlockProver.d.ts.map +1 -1
  64. package/dist/prover/block/BlockProver.js +79 -41
  65. package/dist/prover/block/BlockProver.js.map +1 -0
  66. package/dist/prover/block/accummulators/BlockHashMerkleTree.js +1 -0
  67. package/dist/prover/block/accummulators/BlockHashMerkleTree.js.map +1 -0
  68. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts +2 -2
  69. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js +1 -0
  70. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js.map +1 -0
  71. package/dist/prover/block/services/RuntimeVerificationKeyRootService.js +1 -0
  72. package/dist/prover/block/services/RuntimeVerificationKeyRootService.js.map +1 -0
  73. package/dist/prover/statetransition/StateTransitionProvable.d.ts +2 -4
  74. package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
  75. package/dist/prover/statetransition/StateTransitionProvable.js +1 -0
  76. package/dist/prover/statetransition/StateTransitionProvable.js.map +1 -0
  77. package/dist/prover/statetransition/StateTransitionProver.d.ts +7 -10
  78. package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
  79. package/dist/prover/statetransition/StateTransitionProver.js +27 -28
  80. package/dist/prover/statetransition/StateTransitionProver.js.map +1 -0
  81. package/dist/settlement/ContractModule.d.ts +4 -3
  82. package/dist/settlement/ContractModule.d.ts.map +1 -1
  83. package/dist/settlement/ContractModule.js +2 -1
  84. package/dist/settlement/ContractModule.js.map +1 -0
  85. package/dist/settlement/SettlementContractModule.d.ts +25 -12
  86. package/dist/settlement/SettlementContractModule.d.ts.map +1 -1
  87. package/dist/settlement/SettlementContractModule.js +29 -20
  88. package/dist/settlement/SettlementContractModule.js.map +1 -0
  89. package/dist/settlement/contracts/BridgeContract.d.ts +97 -0
  90. package/dist/settlement/contracts/BridgeContract.d.ts.map +1 -0
  91. package/dist/settlement/contracts/BridgeContract.js +164 -0
  92. package/dist/settlement/contracts/BridgeContract.js.map +1 -0
  93. package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts +14 -0
  94. package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts.map +1 -0
  95. package/dist/settlement/contracts/BridgeContractProtocolModule.js +30 -0
  96. package/dist/settlement/contracts/BridgeContractProtocolModule.js.map +1 -0
  97. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +10 -1
  98. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -1
  99. package/dist/settlement/contracts/DispatchContractProtocolModule.js +24 -2
  100. package/dist/settlement/contracts/DispatchContractProtocolModule.js.map +1 -0
  101. package/dist/settlement/contracts/DispatchSmartContract.d.ts +26 -4
  102. package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -1
  103. package/dist/settlement/contracts/DispatchSmartContract.js +139 -19
  104. package/dist/settlement/contracts/DispatchSmartContract.js.map +1 -0
  105. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts +10 -8
  106. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map +1 -1
  107. package/dist/settlement/contracts/SettlementContractProtocolModule.js +47 -9
  108. package/dist/settlement/contracts/SettlementContractProtocolModule.js.map +1 -0
  109. package/dist/settlement/contracts/SettlementSmartContract.d.ts +98 -17
  110. package/dist/settlement/contracts/SettlementSmartContract.d.ts.map +1 -1
  111. package/dist/settlement/contracts/SettlementSmartContract.js +147 -79
  112. package/dist/settlement/contracts/SettlementSmartContract.js.map +1 -0
  113. package/dist/settlement/contracts/TokenBridgeTree.d.ts +228 -0
  114. package/dist/settlement/contracts/TokenBridgeTree.d.ts.map +1 -0
  115. package/dist/settlement/contracts/TokenBridgeTree.js +60 -0
  116. package/dist/settlement/contracts/TokenBridgeTree.js.map +1 -0
  117. package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts +10 -0
  118. package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts.map +1 -0
  119. package/dist/settlement/contracts/authorizations/ContractAuthorization.js +2 -0
  120. package/dist/settlement/contracts/authorizations/ContractAuthorization.js.map +1 -0
  121. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts +85 -0
  122. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts.map +1 -0
  123. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js +11 -0
  124. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js.map +1 -0
  125. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts +79 -0
  126. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts.map +1 -0
  127. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js +11 -0
  128. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js.map +1 -0
  129. package/dist/settlement/messages/Deposit.d.ts +13 -0
  130. package/dist/settlement/messages/Deposit.d.ts.map +1 -1
  131. package/dist/settlement/messages/Deposit.js +3 -1
  132. package/dist/settlement/messages/Deposit.js.map +1 -0
  133. package/dist/settlement/messages/OutgoingMessageArgument.d.ts +8 -0
  134. package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -1
  135. package/dist/settlement/messages/OutgoingMessageArgument.js +1 -0
  136. package/dist/settlement/messages/OutgoingMessageArgument.js.map +1 -0
  137. package/dist/settlement/messages/Withdrawal.d.ts +13 -0
  138. package/dist/settlement/messages/Withdrawal.d.ts.map +1 -1
  139. package/dist/settlement/messages/Withdrawal.js +4 -1
  140. package/dist/settlement/messages/Withdrawal.js.map +1 -0
  141. package/dist/settlement/modularity/ProvableSettlementHook.d.ts +5 -3
  142. package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map +1 -1
  143. package/dist/settlement/modularity/ProvableSettlementHook.js +1 -0
  144. package/dist/settlement/modularity/ProvableSettlementHook.js.map +1 -0
  145. package/dist/settlement/modularity/types.d.ts +8 -0
  146. package/dist/settlement/modularity/types.d.ts.map +1 -0
  147. package/dist/settlement/modularity/types.js +2 -0
  148. package/dist/settlement/modularity/types.js.map +1 -0
  149. package/dist/settlement/modules/NetworkStateSettlementModule.js +1 -0
  150. package/dist/settlement/modules/NetworkStateSettlementModule.js.map +1 -0
  151. package/dist/state/State.js +1 -0
  152. package/dist/state/State.js.map +1 -0
  153. package/dist/state/StateMap.js +1 -0
  154. package/dist/state/StateMap.js.map +1 -0
  155. package/dist/state/StateService.js +1 -0
  156. package/dist/state/StateService.js.map +1 -0
  157. package/dist/state/StateServiceProvider.js +1 -0
  158. package/dist/state/StateServiceProvider.js.map +1 -0
  159. package/dist/state/assert/assert.js +1 -0
  160. package/dist/state/assert/assert.js.map +1 -0
  161. package/dist/state/context/RuntimeMethodExecutionContext.js +1 -0
  162. package/dist/state/context/RuntimeMethodExecutionContext.js.map +1 -0
  163. package/dist/state/context/TransitionMethodExecutionContext.js +1 -0
  164. package/dist/state/context/TransitionMethodExecutionContext.js.map +1 -0
  165. package/dist/state/protocol/ProtocolState.js +1 -0
  166. package/dist/state/protocol/ProtocolState.js.map +1 -0
  167. package/dist/utils/MinaPrefixedProvableHashList.js +1 -0
  168. package/dist/utils/MinaPrefixedProvableHashList.js.map +1 -0
  169. package/dist/utils/PrefixedProvableHashList.js +1 -0
  170. package/dist/utils/PrefixedProvableHashList.js.map +1 -0
  171. package/dist/utils/ProvableHashList.js +1 -0
  172. package/dist/utils/ProvableHashList.js.map +1 -0
  173. package/dist/utils/ProvableReductionHashList.js +1 -0
  174. package/dist/utils/ProvableReductionHashList.js.map +1 -0
  175. package/dist/utils/StateTransitionReductionList.js +1 -0
  176. package/dist/utils/StateTransitionReductionList.js.map +1 -0
  177. package/dist/utils/utils.js +1 -0
  178. package/dist/utils/utils.js.map +1 -0
  179. package/jest.config.cjs +12 -1
  180. package/package.json +4 -4
  181. package/src/hooks/NoopSettlementHook.ts +2 -2
  182. package/src/index.ts +6 -2
  183. package/src/model/StateTransitionProvableBatch.ts +24 -4
  184. package/src/protocol/Protocol.ts +36 -7
  185. package/src/protocol/ProtocolModule.ts +1 -1
  186. package/src/prover/block/BlockProvable.ts +9 -9
  187. package/src/prover/block/BlockProver.ts +94 -58
  188. package/src/prover/statetransition/StateTransitionProvable.ts +5 -8
  189. package/src/prover/statetransition/StateTransitionProver.ts +46 -40
  190. package/src/settlement/ContractModule.ts +17 -10
  191. package/src/settlement/SettlementContractModule.ts +54 -41
  192. package/src/settlement/contracts/BridgeContract.ts +237 -0
  193. package/src/settlement/contracts/BridgeContractProtocolModule.ts +43 -0
  194. package/src/settlement/contracts/DispatchContractProtocolModule.ts +37 -3
  195. package/src/settlement/contracts/DispatchSmartContract.ts +213 -23
  196. package/src/settlement/contracts/SettlementContractProtocolModule.ts +61 -20
  197. package/src/settlement/contracts/SettlementSmartContract.ts +261 -107
  198. package/src/settlement/contracts/TokenBridgeTree.ts +73 -0
  199. package/src/settlement/contracts/authorizations/ContractAuthorization.ts +11 -0
  200. package/src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts +16 -0
  201. package/src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts +16 -0
  202. package/src/settlement/messages/Deposit.ts +2 -1
  203. package/src/settlement/messages/Withdrawal.ts +3 -1
  204. package/src/settlement/modularity/ProvableSettlementHook.ts +6 -3
  205. package/src/settlement/modularity/types.ts +22 -0
  206. package/test/BlockProver.test.ts +2 -1
  207. package/test/TestingProtocol.ts +17 -12
  208. package/test/compiling/types.ts +28 -0
  209. package/test/modularity/types.ts +35 -0
  210. package/src/prover/statetransition/StateTransitionWitnessProvider.ts +0 -23
  211. package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts +0 -17
package/dist/Constants.js CHANGED
@@ -1,3 +1,4 @@
1
1
  export const constants = {
2
2
  stateTransitionProverBatchSize: 4,
3
3
  };
4
+ //# sourceMappingURL=Constants.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Constants.js","sourceRoot":"","sources":["../src/Constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,8BAA8B,EAAE,CAAC;CAClC,CAAC"}
@@ -45,3 +45,4 @@ __decorate([
45
45
  AccountStateHook = __decorate([
46
46
  injectable()
47
47
  ], AccountStateHook);
48
+ //# sourceMappingURL=AccountStateHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AccountStateHook.js","sourceRoot":"","sources":["../../src/hooks/AccountStateHook.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAGtC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,KAAK,EAAE,MAAM;CACd,CAAC;CAAG;AAGE,WAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,uBAAuB;IAAtD;;QACmB,iBAAY,GAAG,QAAQ,CAAC,IAAI,CAClD,SAAS,EACT,YAAY,CACb,CAAC;IA6BJ,CAAC;IA3BQ,KAAK,CAAC,aAAa,CAAC,EAAE,WAAW,EAA4B;QAClE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;QAExC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEhD,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAE1E,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC;QAExC,+EAA+E;QAC/E,MAAM,CACJ,YAAY;aACT,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;aAC/B,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EACtC,GAAG,EAAE,CACH,+BAA+B,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,sBAAsB,YAAY,CAAC,QAAQ,EAAE,EAAE,CACnH,CAAC;QAEF,kFAAkF;QAClF,gCAAgC;QAChC,sFAAsF;QACtF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CACtC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CACnE,CAAC;QAEF,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,YAAY,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;CACF,CAAA;AAhCyB;IAAvB,aAAa,EAAE;;sDAGd;AAJS,gBAAgB;IAD5B,UAAU,EAAE;GACA,gBAAgB,CAiC5B"}
@@ -13,3 +13,4 @@ export class BlockHeightHook extends ProvableBlockHook {
13
13
  return networkState;
14
14
  }
15
15
  }
16
+ //# sourceMappingURL=BlockHeightHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"BlockHeightHook.js","sourceRoot":"","sources":["../../src/hooks/BlockHeightHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,MAAM,OAAO,eAAgB,SAAQ,iBAAwC;IACpE,KAAK,CAAC,UAAU,CAAC,YAA0B;QAChD,OAAO,IAAI,YAAY,CAAC;YACtB,KAAK,EAAE;gBACL,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;aACzC;YACD,QAAQ,EAAE,YAAY,CAAC,QAAQ;SAChC,CAAC,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,YAA0B;QACjD,OAAO,YAAY,CAAC;IACtB,CAAC;CACF"}
@@ -13,3 +13,4 @@ export class LastStateRootBlockHook extends ProvableBlockHook {
13
13
  return networkState;
14
14
  }
15
15
  }
16
+ //# sourceMappingURL=LastStateRootBlockHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"LastStateRootBlockHook.js","sourceRoot":"","sources":["../../src/hooks/LastStateRootBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAG7D,MAAM,OAAO,sBAAuB,SAAQ,iBAE3C;IACQ,KAAK,CAAC,UAAU,CACrB,YAA0B,EAC1B,KAAuB;QAEvB,OAAO,IAAI,YAAY,CAAC;YACtB,KAAK,EAAE,YAAY,CAAC,KAAK;YACzB,QAAQ,EAAE;gBACR,QAAQ,EAAE,KAAK,CAAC,SAAS;aAC1B;SACF,CAAC,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,WAAW,CACtB,YAA0B,EAC1B,KAAuB;QAEvB,OAAO,YAAY,CAAC;IACtB,CAAC;CACF"}
@@ -7,3 +7,4 @@ export class NoopBlockHook extends ProvableBlockHook {
7
7
  return networkState;
8
8
  }
9
9
  }
10
+ //# sourceMappingURL=NoopBlockHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"NoopBlockHook.js","sourceRoot":"","sources":["../../src/hooks/NoopBlockHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAIlE,MAAM,OAAO,aAAc,SAAQ,iBAA2B;IACrD,KAAK,CAAC,UAAU,CACrB,YAA0B,EAC1B,KAAuB;QAEvB,OAAO,YAAY,CAAC;IACtB,CAAC;IAEM,KAAK,CAAC,WAAW,CACtB,YAA0B,EAC1B,KAAuB;QAEvB,OAAO,YAAY,CAAC;IACtB,CAAC;CACF"}
@@ -1,6 +1,6 @@
1
- import { SmartContract } from "o1js";
2
1
  import { ProvableSettlementHook, SettlementHookInputs } from "../settlement/modularity/ProvableSettlementHook";
2
+ import { SettlementSmartContractBase } from "../settlement/contracts/SettlementSmartContract";
3
3
  export declare class NoopSettlementHook extends ProvableSettlementHook<Record<string, never>> {
4
- beforeSettlement(contract: SmartContract, state: SettlementHookInputs): Promise<void>;
4
+ beforeSettlement(contract: SettlementSmartContractBase, state: SettlementHookInputs): Promise<void>;
5
5
  }
6
6
  //# sourceMappingURL=NoopSettlementHook.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"NoopSettlementHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopSettlementHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAErC,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,iDAAiD,CAAC;AAEzD,qBACa,kBAAmB,SAAQ,sBAAsB,CAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACc,gBAAgB,CAC3B,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,oBAAoB;CAI9B"}
1
+ {"version":3,"file":"NoopSettlementHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopSettlementHook.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,MAAM,iDAAiD,CAAC;AAE9F,qBACa,kBAAmB,SAAQ,sBAAsB,CAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACc,gBAAgB,CAC3B,QAAQ,EAAE,2BAA2B,EACrC,KAAK,EAAE,oBAAoB;CAI9B"}
@@ -15,3 +15,4 @@ export let NoopSettlementHook = class NoopSettlementHook extends ProvableSettlem
15
15
  NoopSettlementHook = __decorate([
16
16
  injectable()
17
17
  ], NoopSettlementHook);
18
+ //# sourceMappingURL=NoopSettlementHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"NoopSettlementHook.js","sourceRoot":"","sources":["../../src/hooks/NoopSettlementHook.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EACL,sBAAsB,GAEvB,MAAM,iDAAiD,CAAC;AAIlD,WAAM,kBAAkB,GAAxB,MAAM,kBAAmB,SAAQ,sBAEvC;IACQ,KAAK,CAAC,gBAAgB,CAC3B,QAAqC,EACrC,KAA2B;QAE3B,IAAI,EAAE,CAAC;IACT,CAAC;CACF,CAAA;AATY,kBAAkB;IAD9B,UAAU,EAAE;GACA,kBAAkB,CAS9B"}
@@ -5,3 +5,4 @@ export class NoopTransactionHook extends ProvableTransactionHook {
5
5
  noop();
6
6
  }
7
7
  }
8
+ //# sourceMappingURL=NoopTransactionHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"NoopTransactionHook.js","sourceRoot":"","sources":["../../src/hooks/NoopTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAG9E,MAAM,OAAO,mBAAoB,SAAQ,uBAAuB;IACvD,KAAK,CAAC,aAAa,CAAC,aAAuC;QAChE,IAAI,EAAE,CAAC;IACT,CAAC;CACF"}
package/dist/index.d.ts CHANGED
@@ -24,8 +24,6 @@ export * from "./prover/block/accummulators/BlockHashMerkleTree";
24
24
  export * from "./prover/block/services/RuntimeVerificationKeyRootService";
25
25
  export * from "./prover/statetransition/StateTransitionProver";
26
26
  export * from "./prover/statetransition/StateTransitionProvable";
27
- export * from "./prover/statetransition/StateTransitionWitnessProvider";
28
- export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
29
27
  export * from "./protocol/Protocol";
30
28
  export * from "./protocol/ProtocolModule";
31
29
  export * from "./protocol/ProtocolEnvironment";
@@ -39,10 +37,16 @@ export * from "./state/StateMap";
39
37
  export * from "./state/StateService";
40
38
  export * from "./state/StateServiceProvider";
41
39
  export * from "./state/assert/assert";
40
+ export * from "./settlement/contracts/authorizations/ContractAuthorization";
41
+ export * from "./settlement/contracts/authorizations/UpdateMessagesHashAuth";
42
+ export * from "./settlement/contracts/authorizations/TokenBridgeDeploymentAuth";
42
43
  export * from "./settlement/contracts/SettlementSmartContract";
43
44
  export * from "./settlement/contracts/SettlementContractProtocolModule";
44
45
  export * from "./settlement/contracts/DispatchSmartContract";
45
46
  export * from "./settlement/contracts/DispatchContractProtocolModule";
47
+ export * from "./settlement/contracts/BridgeContract";
48
+ export * from "./settlement/contracts/BridgeContractProtocolModule";
49
+ export * from "./settlement/contracts/TokenBridgeTree";
46
50
  export * from "./settlement/SettlementContractModule";
47
51
  export * from "./settlement/ContractModule";
48
52
  export * from "./settlement/modularity/ProvableSettlementHook";
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uCAAuC,CAAC;AACtD,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yDAAyD,CAAC;AACxE,cAAc,kDAAkD,CAAC;AACjE,cAAc,2DAA2D,CAAC;AAC1E,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,yDAAyD,CAAC;AACxE,cAAc,kEAAkE,CAAC;AACjF,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,cAAc,gDAAgD,CAAC;AAC/D,cAAc,yDAAyD,CAAC;AACxE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,+CAA+C,CAAC;AAC9D,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uCAAuC,CAAC;AACtD,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yDAAyD,CAAC;AACxE,cAAc,kDAAkD,CAAC;AACjE,cAAc,2DAA2D,CAAC;AAC1E,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,cAAc,6DAA6D,CAAC;AAC5E,cAAc,8DAA8D,CAAC;AAC7E,cAAc,iEAAiE,CAAC;AAChF,cAAc,gDAAgD,CAAC;AAC/D,cAAc,yDAAyD,CAAC;AACxE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,qDAAqD,CAAC;AACpE,cAAc,wCAAwC,CAAC;AACvD,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,+CAA+C,CAAC;AAC9D,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}
package/dist/index.js CHANGED
@@ -24,8 +24,6 @@ export * from "./prover/block/accummulators/BlockHashMerkleTree";
24
24
  export * from "./prover/block/services/RuntimeVerificationKeyRootService";
25
25
  export * from "./prover/statetransition/StateTransitionProver";
26
26
  export * from "./prover/statetransition/StateTransitionProvable";
27
- export * from "./prover/statetransition/StateTransitionWitnessProvider";
28
- export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
29
27
  export * from "./protocol/Protocol";
30
28
  export * from "./protocol/ProtocolModule";
31
29
  export * from "./protocol/ProtocolEnvironment";
@@ -39,10 +37,16 @@ export * from "./state/StateMap";
39
37
  export * from "./state/StateService";
40
38
  export * from "./state/StateServiceProvider";
41
39
  export * from "./state/assert/assert";
40
+ export * from "./settlement/contracts/authorizations/ContractAuthorization";
41
+ export * from "./settlement/contracts/authorizations/UpdateMessagesHashAuth";
42
+ export * from "./settlement/contracts/authorizations/TokenBridgeDeploymentAuth";
42
43
  export * from "./settlement/contracts/SettlementSmartContract";
43
44
  export * from "./settlement/contracts/SettlementContractProtocolModule";
44
45
  export * from "./settlement/contracts/DispatchSmartContract";
45
46
  export * from "./settlement/contracts/DispatchContractProtocolModule";
47
+ export * from "./settlement/contracts/BridgeContract";
48
+ export * from "./settlement/contracts/BridgeContractProtocolModule";
49
+ export * from "./settlement/contracts/TokenBridgeTree";
46
50
  export * from "./settlement/SettlementContractModule";
47
51
  export * from "./settlement/ContractModule";
48
52
  export * from "./settlement/modularity/ProvableSettlementHook";
@@ -51,3 +55,4 @@ export * from "./settlement/modules/NetworkStateSettlementModule";
51
55
  export * from "./settlement/messages/Deposit";
52
56
  export * from "./settlement/messages/Withdrawal";
53
57
  export { constants as ProtocolConstants } from "./Constants";
58
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uCAAuC,CAAC;AACtD,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yDAAyD,CAAC;AACxE,cAAc,kDAAkD,CAAC;AACjE,cAAc,2DAA2D,CAAC;AAC1E,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,cAAc,6DAA6D,CAAC;AAC5E,cAAc,8DAA8D,CAAC;AAC7E,cAAc,iEAAiE,CAAC;AAChF,cAAc,gDAAgD,CAAC;AAC/D,cAAc,yDAAyD,CAAC;AACxE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,qDAAqD,CAAC;AACpE,cAAc,wCAAwC,CAAC;AACvD,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,+CAA+C,CAAC;AAC9D,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}
@@ -12,3 +12,4 @@ export class MethodPublicOutput extends Struct({
12
12
  eventsHash: Field,
13
13
  }) {
14
14
  }
15
+ //# sourceMappingURL=MethodPublicOutput.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"MethodPublicOutput.js","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE3C;;;GAGG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,oBAAoB,EAAE,KAAK;IAC3B,MAAM,EAAE,IAAI;IACZ,eAAe,EAAE,KAAK;IACtB,gBAAgB,EAAE,KAAK;IACvB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,KAAK;CAClB,CAAC;CAAG"}
@@ -108,3 +108,4 @@ export class Option extends OptionBase {
108
108
  return new Option(boolConstant(this.isSome), valueConstant, this.valueType, boolConstant(this.isForcedSome));
109
109
  }
110
110
  }
111
+ //# sourceMappingURL=Option.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Option.js","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EAEL,QAAQ,EACR,QAAQ,EAER,MAAM,GACP,MAAM,MAAM,CAAC;AAEd,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC;IACzC,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;CACb,CAAC;IACO,MAAM;QACX,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,MAAM,OAAgB,UAAU;IAC9B,YACS,MAAY,EACZ,YAAkB;QADlB,WAAM,GAAN,MAAM,CAAM;QACZ,iBAAY,GAAZ,YAAY,CAAM;IACxB,CAAC;IAMJ;;OAEG;IACH,IAAW,SAAS;QAClB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;QAE5D,OAAO,QAAQ,CAAC,EAAE,CAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,EACxC,SAAS,EACT,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;IACJ,CAAC;IAEM,SAAS;QACd,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED;;;OAGG;IACI,QAAQ;QACb,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE;YAC3B,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;SACnC;QACD,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED;;OAEG;IACI,UAAU;QACf,OAAO,IAAI,cAAc,CAAC;YACxB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,SAAS;SACtB,CAAC,CAAC;IACL,CAAC;IAEM,MAAM;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QAE1E,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE;YAC/B,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE;YAC3C,KAAK;SACN,CAAC;IACJ,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,MAAc,SAAQ,UAAU;IAC3C;;;;;;;OAOG;IACI,MAAM,CAAC,IAAI,CAChB,MAAY,EACZ,KAAY,EACZ,SAAsC;QAEtC,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CAAC,SAAS,CACrB,KAAY,EACZ,SAAsC;QAEtC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,IAAI;QAChB,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IAED,YACE,MAAY,EACL,KAAY,EACZ,SAAsC,EAC7C,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC;QAE1B,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAJrB,UAAK,GAAL,KAAK,CAAO;QACZ,cAAS,GAAT,SAAS,CAA6B;IAI/C,CAAC;IAEM,mBAAmB;QACxB,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAEM,KAAK;QACV,OAAO,IAAI,MAAM,CACf,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,YAAY,CAClB,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,YAAmB;QAC/B,OAAO,QAAQ,CAAC,EAAE,CAChB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,YAAY,CACb,CAAC;IACJ,CAAC;IAEM,UAAU;QACf,yEAAyE;QACzE,MAAM,aAAa,GAAI,IAAI,CAAC,SAAiC,CAAC,UAAU,CACtE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CACvE,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,IAAU,EAAE,EAAE,CAClC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAEjD,OAAO,IAAI,MAAM,CACf,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EACzB,aAAa,EACb,IAAI,CAAC,SAAS,EACd,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAChC,CAAC;IACJ,CAAC;CACF"}
@@ -40,3 +40,4 @@ export class Path {
40
40
  return Poseidon.hash([path, keyHash]);
41
41
  }
42
42
  }
43
+ //# sourceMappingURL=Path.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Path.js","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAA6B,QAAQ,EAAE,MAAM,MAAM,CAAC;AAElE,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;GAEG;AACH,MAAM,OAAO,IAAI;IACf;;;;;OAKG;IACI,MAAM,CAAC,OAAO,CAAC,KAAa;QACjC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CAAC,YAAY,CAAC,SAAiB,EAAE,WAAmB;QAC/D,OAAO,QAAQ,CAAC,IAAI,CAAC;YACnB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC;SACT,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACI,MAAM,CAAC,OAAO,CACnB,IAAW,EACX,OAAsC,EACtC,GAAY;QAEZ,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACxC,CAAC;CACF"}
@@ -1 +1,2 @@
1
1
  export {};
2
+ //# sourceMappingURL=RuntimeLike.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"RuntimeLike.js","sourceRoot":"","sources":["../../src/model/RuntimeLike.ts"],"names":[],"mappings":""}
@@ -66,3 +66,4 @@ export class StateTransition {
66
66
  return new StateTransition(this.path.toConstant(), this.fromValue.toConstant(), this.toValue.toConstant());
67
67
  }
68
68
  }
69
+ //# sourceMappingURL=StateTransition.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"StateTransition.js","sourceRoot":"","sources":["../../src/model/StateTransition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAErC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAElD;;;;GAIG;AACH,MAAM,OAAO,uBAAwB,SAAQ,MAAM,CAAC;IAClD,IAAI,EAAE,KAAK;IAEX,iCAAiC;IACjC,IAAI,EAAE,cAAc;IAEpB,4BAA4B;IAC5B,EAAE,EAAE,cAAc;CACnB,CAAC;IACO,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,uBAAuB,CAAC;YACjC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACd,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE;YAChC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE;SAC/B,CAAC,CAAC;IACL,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,eAAe;IACnB,MAAM,CAAC,IAAI,CAAQ,IAAW,EAAE,SAAwB;QAC7D,OAAO,IAAI,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7D,CAAC;IAEM,MAAM,CAAC,MAAM,CAClB,IAAW,EACX,SAAwB,EACxB,OAAsB;QAEtB,OAAO,IAAI,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,YACS,IAAW,EACX,SAAwB,EACxB,OAAsC;QAFtC,SAAI,GAAJ,IAAI,CAAO;QACX,cAAS,GAAT,SAAS,CAAe;QACxB,YAAO,GAAP,OAAO,CAA+B;IAC5C,CAAC;IAEJ,IAAW,IAAI;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAW,EAAE;QACX,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACI,UAAU;QACf,OAAO,IAAI,uBAAuB,CAAC;YACjC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE;YAC5B,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE;SACzB,CAAC,CAAC;IACL,CAAC;IAEM,MAAM;QACX,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE;YAC1B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE;YAC7B,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;SAC1B,CAAC;IACJ,CAAC;IAEM,UAAU;QACf,OAAO,IAAI,eAAe,CACxB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,EACtB,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAC3B,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAC1B,CAAC;IACJ,CAAC;CACF"}
@@ -1,4 +1,5 @@
1
1
  import { Bool } from "o1js";
2
+ import { RollupMerkleTreeWitness } from "@proto-kit/common";
2
3
  import { ProvableStateTransition } from "./StateTransition.js";
3
4
  export declare class StateTransitionType {
4
5
  static readonly normal = true;
@@ -55,14 +56,17 @@ export declare class ProvableStateTransitionType extends ProvableStateTransition
55
56
  declare const StateTransitionProvableBatch_base: (new (value: {
56
57
  batch: ProvableStateTransition[];
57
58
  transitionTypes: ProvableStateTransitionType[];
59
+ merkleWitnesses: RollupMerkleTreeWitness[];
58
60
  }) => {
59
61
  batch: ProvableStateTransition[];
60
62
  transitionTypes: ProvableStateTransitionType[];
63
+ merkleWitnesses: RollupMerkleTreeWitness[];
61
64
  }) & {
62
65
  _isStruct: true;
63
66
  } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
64
67
  batch: ProvableStateTransition[];
65
68
  transitionTypes: ProvableStateTransitionType[];
69
+ merkleWitnesses: RollupMerkleTreeWitness[];
66
70
  }, {
67
71
  batch: {
68
72
  path: bigint;
@@ -78,10 +82,15 @@ declare const StateTransitionProvableBatch_base: (new (value: {
78
82
  transitionTypes: {
79
83
  type: boolean;
80
84
  }[];
85
+ merkleWitnesses: {
86
+ path: bigint[];
87
+ isLeft: boolean[];
88
+ }[];
81
89
  }>, "fromFields"> & {
82
90
  fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
83
91
  batch: ProvableStateTransition[];
84
92
  transitionTypes: ProvableStateTransitionType[];
93
+ merkleWitnesses: RollupMerkleTreeWitness[];
85
94
  };
86
95
  } & {
87
96
  fromValue: (value: {
@@ -99,13 +108,19 @@ declare const StateTransitionProvableBatch_base: (new (value: {
99
108
  transitionTypes: ProvableStateTransitionType[] | {
100
109
  type: boolean;
101
110
  }[];
111
+ merkleWitnesses: RollupMerkleTreeWitness[] | {
112
+ path: bigint[];
113
+ isLeft: boolean[];
114
+ }[];
102
115
  }) => {
103
116
  batch: ProvableStateTransition[];
104
117
  transitionTypes: ProvableStateTransitionType[];
118
+ merkleWitnesses: RollupMerkleTreeWitness[];
105
119
  };
106
120
  toInput: (x: {
107
121
  batch: ProvableStateTransition[];
108
122
  transitionTypes: ProvableStateTransitionType[];
123
+ merkleWitnesses: RollupMerkleTreeWitness[];
109
124
  }) => {
110
125
  fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
111
126
  packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
@@ -113,6 +128,7 @@ declare const StateTransitionProvableBatch_base: (new (value: {
113
128
  toJSON: (x: {
114
129
  batch: ProvableStateTransition[];
115
130
  transitionTypes: ProvableStateTransitionType[];
131
+ merkleWitnesses: RollupMerkleTreeWitness[];
116
132
  }) => {
117
133
  batch: {
118
134
  path: string;
@@ -128,6 +144,10 @@ declare const StateTransitionProvableBatch_base: (new (value: {
128
144
  transitionTypes: {
129
145
  type: boolean;
130
146
  }[];
147
+ merkleWitnesses: {
148
+ path: string[];
149
+ isLeft: boolean[];
150
+ }[];
131
151
  };
132
152
  fromJSON: (x: {
133
153
  batch: {
@@ -144,13 +164,19 @@ declare const StateTransitionProvableBatch_base: (new (value: {
144
164
  transitionTypes: {
145
165
  type: boolean;
146
166
  }[];
167
+ merkleWitnesses: {
168
+ path: string[];
169
+ isLeft: boolean[];
170
+ }[];
147
171
  }) => {
148
172
  batch: ProvableStateTransition[];
149
173
  transitionTypes: ProvableStateTransitionType[];
174
+ merkleWitnesses: RollupMerkleTreeWitness[];
150
175
  };
151
176
  empty: () => {
152
177
  batch: ProvableStateTransition[];
153
178
  transitionTypes: ProvableStateTransitionType[];
179
+ merkleWitnesses: RollupMerkleTreeWitness[];
154
180
  };
155
181
  };
156
182
  /**
@@ -164,8 +190,8 @@ export declare class StateTransitionProvableBatch extends StateTransitionProvabl
164
190
  static fromMappings(transitions: {
165
191
  transition: ProvableStateTransition;
166
192
  type: ProvableStateTransitionType;
167
- }[]): StateTransitionProvableBatch;
168
- static fromTransitions(transitions: ProvableStateTransition[], protocolTransitions: ProvableStateTransition[]): StateTransitionProvableBatch;
193
+ }[], merkleWitnesses: RollupMerkleTreeWitness[]): StateTransitionProvableBatch;
194
+ static fromTransitions(transitions: ProvableStateTransition[], protocolTransitions: ProvableStateTransition[], merkleWitnesses: RollupMerkleTreeWitness[]): StateTransitionProvableBatch;
169
195
  private constructor();
170
196
  }
171
197
  export {};
@@ -1 +1 @@
1
- {"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,MAAM,CAAC;AAK9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,qBAAa,mBAAmB;IAC9B,gBAAuB,MAAM,QAAQ;IAErC,gBAAuB,QAAQ,SAAS;WAE1B,QAAQ,CAAC,IAAI,EAAE,OAAO;WAItB,UAAU,CAAC,IAAI,EAAE,OAAO;CAGvC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,2BAA4B,SAAQ,gCAE/C;IACA,WAAkB,MAAM,IAAI,2BAA2B,CAItD;IAED,WAAkB,QAAQ,IAAI,2BAA2B,CAIxD;IAEM,QAAQ,IAAI,IAAI;IAIhB,UAAU,IAAI,IAAI;CAG1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,iCAUhD;WACc,YAAY,CACxB,WAAW,EAAE;QACX,UAAU,EAAE,uBAAuB,CAAC;QACpC,IAAI,EAAE,2BAA2B,CAAC;KACnC,EAAE,GACF,4BAA4B;WAyBjB,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,EACtC,mBAAmB,EAAE,uBAAuB,EAAE,GAC7C,4BAA4B;IAsB/B,OAAO;CAMR"}
1
+ {"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,MAAM,CAAC;AAC9C,OAAO,EAIL,uBAAuB,EACxB,MAAM,mBAAmB,CAAC;AAI3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,qBAAa,mBAAmB;IAC9B,gBAAuB,MAAM,QAAQ;IAErC,gBAAuB,QAAQ,SAAS;WAE1B,QAAQ,CAAC,IAAI,EAAE,OAAO;WAItB,UAAU,CAAC,IAAI,EAAE,OAAO;CAGvC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,2BAA4B,SAAQ,gCAE/C;IACA,WAAkB,MAAM,IAAI,2BAA2B,CAItD;IAED,WAAkB,QAAQ,IAAI,2BAA2B,CAIxD;IAEM,QAAQ,IAAI,IAAI;IAIhB,UAAU,IAAI,IAAI;CAG1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,iCAehD;WACc,YAAY,CACxB,WAAW,EAAE;QACX,UAAU,EAAE,uBAAuB,CAAC;QACpC,IAAI,EAAE,2BAA2B,CAAC;KACnC,EAAE,EACH,eAAe,EAAE,uBAAuB,EAAE,GACzC,4BAA4B;WA+BjB,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,EACtC,mBAAmB,EAAE,uBAAuB,EAAE,EAC9C,eAAe,EAAE,uBAAuB,EAAE,GACzC,4BAA4B;IAuB/B,OAAO;CAOR"}
@@ -1,5 +1,5 @@
1
1
  import { Bool, Provable, Struct } from "o1js";
2
- import { range } from "@proto-kit/common";
2
+ import { InMemoryMerkleTreeStorage, range, RollupMerkleTree, RollupMerkleTreeWitness, } from "@proto-kit/common";
3
3
  import { constants } from "../Constants";
4
4
  import { ProvableStateTransition } from "./StateTransition.js";
5
5
  export class StateTransitionType {
@@ -42,10 +42,12 @@ export class ProvableStateTransitionType extends Struct({
42
42
  export class StateTransitionProvableBatch extends Struct({
43
43
  batch: Provable.Array(ProvableStateTransition, constants.stateTransitionProverBatchSize),
44
44
  transitionTypes: Provable.Array(ProvableStateTransitionType, constants.stateTransitionProverBatchSize),
45
+ merkleWitnesses: Provable.Array(RollupMerkleTreeWitness, constants.stateTransitionProverBatchSize),
45
46
  }) {
46
- static fromMappings(transitions) {
47
+ static fromMappings(transitions, merkleWitnesses) {
47
48
  const batch = transitions.map((entry) => entry.transition);
48
49
  const transitionTypes = transitions.map((entry) => entry.type);
50
+ const witnesses = merkleWitnesses.slice();
49
51
  // Check that order is correct
50
52
  let normalSTsStarted = false;
51
53
  transitionTypes.forEach((x) => {
@@ -59,13 +61,15 @@ export class StateTransitionProvableBatch extends Struct({
59
61
  while (batch.length < constants.stateTransitionProverBatchSize) {
60
62
  batch.push(ProvableStateTransition.dummy());
61
63
  transitionTypes.push(ProvableStateTransitionType.normal);
64
+ witnesses.push(new RollupMerkleTree(new InMemoryMerkleTreeStorage()).getWitness(BigInt(0)));
62
65
  }
63
66
  return new StateTransitionProvableBatch({
64
67
  batch,
65
68
  transitionTypes,
69
+ merkleWitnesses: witnesses,
66
70
  });
67
71
  }
68
- static fromTransitions(transitions, protocolTransitions) {
72
+ static fromTransitions(transitions, protocolTransitions, merkleWitnesses) {
69
73
  const array = transitions.slice().concat(protocolTransitions);
70
74
  const transitionTypes = range(0, transitions.length)
71
75
  .map(() => ProvableStateTransitionType.normal)
@@ -77,9 +81,11 @@ export class StateTransitionProvableBatch extends Struct({
77
81
  return new StateTransitionProvableBatch({
78
82
  batch: array,
79
83
  transitionTypes,
84
+ merkleWitnesses,
80
85
  });
81
86
  }
82
87
  constructor(object) {
83
88
  super(object);
84
89
  }
85
90
  }
91
+ //# sourceMappingURL=StateTransitionProvableBatch.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"StateTransitionProvableBatch.js","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9C,OAAO,EACL,yBAAyB,EACzB,KAAK,EACL,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,MAAM,OAAO,mBAAmB;IAKvB,MAAM,CAAC,QAAQ,CAAC,IAAa;QAClC,OAAO,IAAI,KAAK,mBAAmB,CAAC,MAAM,CAAC;IAC7C,CAAC;IAEM,MAAM,CAAC,UAAU,CAAC,IAAa;QACpC,OAAO,IAAI,KAAK,mBAAmB,CAAC,QAAQ,CAAC;IAC/C,CAAC;;AAVsB,0BAAM,GAAG,IAAI,CAAC;AAEd,4BAAQ,GAAG,KAAK,CAAC;AAW1C,MAAM,OAAO,2BAA4B,SAAQ,MAAM,CAAC;IACtD,IAAI,EAAE,IAAI;CACX,CAAC;IACO,MAAM,KAAK,MAAM;QACtB,OAAO,IAAI,2BAA2B,CAAC;YACrC,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,KAAK,QAAQ;QACxB,OAAO,IAAI,2BAA2B,CAAC;YACrC,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IAEM,QAAQ;QACb,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAEM,UAAU;QACf,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,4BAA6B,SAAQ,MAAM,CAAC;IACvD,KAAK,EAAE,QAAQ,CAAC,KAAK,CACnB,uBAAuB,EACvB,SAAS,CAAC,8BAA8B,CACzC;IAED,eAAe,EAAE,QAAQ,CAAC,KAAK,CAC7B,2BAA2B,EAC3B,SAAS,CAAC,8BAA8B,CACzC;IAED,eAAe,EAAE,QAAQ,CAAC,KAAK,CAC7B,uBAAuB,EACvB,SAAS,CAAC,8BAA8B,CACzC;CACF,CAAC;IACO,MAAM,CAAC,YAAY,CACxB,WAGG,EACH,eAA0C;QAE1C,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3D,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC;QAC1C,8BAA8B;QAC9B,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5B,IAAI,CAAC,gBAAgB,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,EAAE;gBACjD,gBAAgB,GAAG,IAAI,CAAC;aACzB;YACD,IAAI,gBAAgB,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,EAAE;gBAClD,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;aAC9D;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,8BAA8B,EAAE;YAC9D,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5C,eAAe,CAAC,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC;YACzD,SAAS,CAAC,IAAI,CACZ,IAAI,gBAAgB,CAAC,IAAI,yBAAyB,EAAE,CAAC,CAAC,UAAU,CAC9D,MAAM,CAAC,CAAC,CAAC,CACV,CACF,CAAC;SACH;QACD,OAAO,IAAI,4BAA4B,CAAC;YACtC,KAAK;YACL,eAAe;YACf,eAAe,EAAE,SAAS;SAC3B,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,eAAe,CAC3B,WAAsC,EACtC,mBAA8C,EAC9C,eAA0C;QAE1C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;QAE9D,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC;aACjD,GAAG,CAAC,GAAG,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC;aAC7C,MAAM,CACL,KAAK,CAAC,CAAC,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,GAAG,CACtC,GAAG,EAAE,CAAC,2BAA2B,CAAC,QAAQ,CAC3C,CACF,CAAC;QAEJ,OAAO,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,8BAA8B,EAAE;YAC9D,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5C,eAAe,CAAC,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC;SAC1D;QAED,OAAO,IAAI,4BAA4B,CAAC;YACtC,KAAK,EAAE,KAAK;YACZ,eAAe;YACf,eAAe;SAChB,CAAC,CAAC;IACL,CAAC;IAED,YAAoB,MAInB;QACC,KAAK,CAAC,MAAM,CAAC,CAAC;IAChB,CAAC;CACF"}
@@ -29,3 +29,4 @@ export class NetworkState extends Struct({
29
29
  });
30
30
  }
31
31
  }
32
+ //# sourceMappingURL=NetworkState.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"NetworkState.js","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,MAAM,EAAE,MAAM;CACf,CAAC;CAAG;AAEL,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC;IACxC,QAAQ,EAAE,KAAK;CAChB,CAAC;CAAG;AAEL,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,KAAK,EAAE,YAAY;IACnB,QAAQ,EAAE,aAAa;CACxB,CAAC;IACO,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC;YACnB,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACpC,GAAG,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,YAAY,CAAC;YACtB,KAAK,EAAE;gBACL,MAAM,EAAE,MAAM,CAAC,IAAI;aACpB;YACD,QAAQ,EAAE;gBACR,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC,UAAU,CAAC;aAC7C;SACF,CAAC,CAAC;IACL,CAAC;CACF"}
@@ -84,3 +84,4 @@ export class RuntimeTransaction extends Struct({
84
84
  return Poseidon.hash(this.hashData());
85
85
  }
86
86
  }
87
+ //# sourceMappingURL=RuntimeTransaction.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"RuntimeTransaction.js","sourceRoot":"","sources":["../../../src/model/transaction/RuntimeTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEvE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE9D;;;;GAIG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,QAAQ,EAAE,KAAK;IACf,QAAQ,EAAE,KAAK;IACf,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,eAAe;CACxB,CAAC;IACO,MAAM,CAAC,eAAe,CAAC,KAK7B;QACC,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YACzC,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,WAAW,CAAC,EACxB,QAAQ,EACR,QAAQ,GAIT;QACC,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ;YACR,QAAQ;YACR,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACrC,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;SAC9C,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,gBAAgB;QAC5B,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;YAClB,KAAK,EAAE,IAAI,YAAY,CAAC;gBACtB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,MAAM,CAAC,IAAI;aACnB,CAAC;YACF,MAAM,EAAE,IAAI,eAAe,CAAC;gBAC1B,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,eAAe;aACvB,CAAC;YACF,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;SACnB,CAAC,CAAC;IACL,CAAC;IAEM,qBAAqB,CAAC,SAAe;QAC1C,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC;QACtC,kEAAkE;QAClE,IAAI,CAAC,KAAK,CAAC,MAAM;aACd,MAAM,CAAC,aAAa,CAAC;aACrB,UAAU,CAAC,2CAA2C,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,MAAM;aACf,MAAM,CAAC,aAAa,CAAC;aACrB,UAAU,CAAC,4CAA4C,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;aAChB,MAAM,CAAC,iBAAiB,CAAC;aACzB,MAAM,CAAC,SAAS,CAAC;aACjB,UAAU,CAAC,wCAAwC,CAAC,CAAC;IAC1D,CAAC;IAEM,QAAQ;QACb,OAAO;YACL,IAAI,CAAC,QAAQ;YACb,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE;YAC/B,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE;YAC9B,IAAI,CAAC,QAAQ;SACd,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,YAAY,CAAC,MAAe;QACxC,uDAAuD;QACvD,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACtD,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YACnB,MAAM,EAAE,IAAI,eAAe,CAAC;gBAC1B,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE;gBACvB,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;aACpD,CAAC;YACF,KAAK,EAAE,IAAI,YAAY,CAAC;gBACtB,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE;gBACvB,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;aACtC,CAAC;YACF,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;SACpB,CAAC,CAAC;IACL,CAAC;IAEM,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxC,CAAC;CACF"}
@@ -31,3 +31,4 @@ export class SignedTransaction extends Struct({
31
31
  return this.signature.verify(this.transaction.sender.value, this.getSignatureData());
32
32
  }
33
33
  }
34
+ //# sourceMappingURL=SignedTransaction.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SignedTransaction.js","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAU,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC;IAC5C,WAAW,EAAE,kBAAkB;IAC/B,SAAS,EAAE,SAAS;CACrB,CAAC;IACO,MAAM,CAAC,gBAAgB,CAAC,IAI9B;QACC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxE,CAAC;IAEM,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,iBAAiB,CAAC;YAC3B,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,EAAE;YAElD,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC;gBAC9B,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBACjB,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;aACZ,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAEM,IAAI;QACT,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IAEM,gBAAgB;QACrB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;QACvD,OAAO,iBAAiB,CAAC,gBAAgB,CAAC;YACxC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAEM,iBAAiB;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAC1B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAC7B,IAAI,CAAC,gBAAgB,EAAE,CACxB,CAAC;IACJ,CAAC;CACF"}
@@ -22,3 +22,4 @@ export class UInt64Option extends genericOptionFactory(UInt64) {
22
22
  }
23
23
  export class PublicKeyOption extends genericOptionFactory(PublicKey) {
24
24
  }
25
+ //# sourceMappingURL=ValueOption.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ValueOption.js","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAEzE,SAAS,oBAAoB,CAAO,SAAiC;IACnE,OAAO,MAAM,OAAQ,SAAQ,MAAM,CAAC;QAClC,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,SAAS;KACjB,CAAC;QACO,MAAM,CAAC,QAAQ,CAAC,KAAW;YAChC,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QAEM,MAAM,CAAC,IAAI,CAAC,KAAW;YAC5B,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;gBACnB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,YAAa,SAAQ,oBAAoB,CAAS,MAAM,CAAC;CAAG;AAEzE,MAAM,OAAO,eAAgB,SAAQ,oBAAoB,CACvD,SAAS,CACV;CAAG"}
@@ -1 +1 @@
1
- {"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAa,MAAM,UAAU,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAG7D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAS5D,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAC/C,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,MAAM,WAAW,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAEzE,MAAM,WAAW,yBACf,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;IAC7D,YAAY,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,aAAa,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC;CACnD,CAAC;AAEF,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB;WAEhB,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAQ/D,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAE5B,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAK1D,IAAW,YAAY,IAAI,uBAAuB,CAEjD;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAEM,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAY9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;IAEM,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAqD/C,KAAK;CAYnB"}
1
+ {"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAa,MAAM,UAAU,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAG7D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAgB5D,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAC/C,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,MAAM,WAAW,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAEzE,MAAM,WAAW,yBACf,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;IAC7D,YAAY,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,aAAa,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC;CACnD,CAAC;AAEF,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB;WAEhB,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAQ/D,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAE5B,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAK1D,IAAW,YAAY,IAAI,uBAAuB,CAEjD;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAEM,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAY9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;IAEM,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IA2E/C,KAAK;CAYnB"}
@@ -6,10 +6,17 @@ import { NoopSettlementHook } from "../hooks/NoopSettlementHook";
6
6
  import { NoopTransactionHook } from "../hooks/NoopTransactionHook";
7
7
  import { ProvableTransactionHook } from "./ProvableTransactionHook";
8
8
  import { ProvableBlockHook } from "./ProvableBlockHook";
9
+ import { TransitioningProtocolModule } from "./TransitioningProtocolModule";
10
+ /**
11
+ * This is a mapping of abstract classes to their respective injection tokens.
12
+ * Keys are the abstract classes names, which need to be set dynamically
13
+ * and can't be hardcoded since producing optimized builds may mangle the
14
+ * class names, making them different from the ones in the source code.
15
+ */
9
16
  const PROTOCOL_INJECTION_TOKENS = {
10
- ProvableTransactionHook: "ProvableTransactionHook",
11
- ProvableBlockHook: "ProvableBlockHook",
12
- ProvableSettlementHook: "ProvableSettlementHook",
17
+ [ProvableTransactionHook.name]: "ProvableTransactionHook",
18
+ [ProvableBlockHook.name]: "ProvableBlockHook",
19
+ [ProvableSettlementHook.name]: "ProvableSettlementHook",
13
20
  };
14
21
  export class Protocol extends ModuleContainer {
15
22
  static from(modules) {
@@ -32,7 +39,7 @@ export class Protocol extends ModuleContainer {
32
39
  decorateModule(moduleName, containedModule) {
33
40
  log.debug(`Decorated ${moduleName}`);
34
41
  containedModule.protocol = this;
35
- if (containedModule instanceof ProvableTransactionHook) {
42
+ if (containedModule instanceof TransitioningProtocolModule) {
36
43
  containedModule.name = moduleName;
37
44
  }
38
45
  super.decorateModule(moduleName, containedModule);
@@ -72,16 +79,33 @@ export class Protocol extends ModuleContainer {
72
79
  return;
73
80
  }
74
81
  implementingModules.forEach(([key]) => {
75
- this.container.register(abstractType.name, { useToken: key }, { lifecycle: Lifecycle.ContainerScoped });
82
+ this.container.register(newInjectionToken, { useToken: key }, { lifecycle: Lifecycle.ContainerScoped });
76
83
  });
77
84
  if (implementingModules.length === 0) {
78
85
  // This type annotation shouldn't change anything but is necessary
79
86
  // bcs tsyringe complains
80
87
  const { defaultType } = moduleTypeRegistration;
81
88
  // Register default (noop) version
82
- this.container.register(abstractType.name, { useClass: defaultType }, { lifecycle: Lifecycle.ContainerScoped });
89
+ this.container.register(newInjectionToken, { useClass: defaultType }, { lifecycle: Lifecycle.ContainerScoped });
83
90
  }
84
91
  });
92
+ // Cross-register all runtime modules to the protocol container for easier
93
+ // access of runtime modules inside protocol hooks
94
+ if (this.container.isRegistered("Runtime", true)) {
95
+ const runtimeContainer = this.container.resolve("Runtime");
96
+ runtimeContainer.moduleNames.forEach((runtimeModuleName) => {
97
+ this.container.register(runtimeModuleName, {
98
+ useFactory: (dependencyContainer) => {
99
+ // Prevents creation of closure
100
+ const runtime = dependencyContainer.resolve("Runtime");
101
+ return runtime.resolve(runtimeModuleName);
102
+ },
103
+ });
104
+ });
105
+ }
106
+ else {
107
+ log.warn("Couldn't resolve Runtime reference in Protocol, resolving RuntimeModules in hooks won't be available");
108
+ }
85
109
  }
86
110
  async start() {
87
111
  // eslint-disable-next-line guard-for-in
@@ -93,3 +117,4 @@ export class Protocol extends ModuleContainer {
93
117
  }
94
118
  }
95
119
  }
120
+ //# sourceMappingURL=Protocol.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Protocol.js","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,GAAG,EACH,eAAe,GAKhB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAuB,SAAS,EAAE,MAAM,UAAU,CAAC;AAM1D,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAGnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAEpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,yBAAyB,GAA2B;IACxD,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,yBAAyB;IACzD,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,mBAAmB;IAC7C,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,wBAAwB;CACxD,CAAC;AAyBF,MAAM,OAAO,QAGX,SAAQ,eAAwB;IAGzB,MAAM,CAAC,IAAI,CAEhB,OAAoC;QACpC,OAAO,MAAM,cAAe,SAAQ,QAAiB;YACnD;gBACE,KAAK,CAAC,OAAO,CAAC,CAAC;YACjB,CAAC;SACF,CAAC;IACJ,CAAC;IAID,YAAmB,UAAuC;QACxD,KAAK,CAAC,UAAU,CAAC,CAAC;QAClB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;IAED,IAAW,YAAY;QACrB,OAAO,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC;IAChD,CAAC;IAED,IAAW,oBAAoB;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAuB,sBAAsB,CAAC,CAAC;IAC9E,CAAC;IAEM,cAAc,CACnB,UAAgC,EAChC,eAA4D;QAE5D,GAAG,CAAC,KAAK,CAAC,aAAa,UAAU,EAAE,CAAC,CAAC;QACrC,eAAe,CAAC,QAAQ,GAAG,IAAI,CAAC;QAEhC,IAAI,eAAe,YAAY,2BAA2B,EAAE;YAC1D,eAAe,CAAC,IAAI,GAAG,UAAU,CAAC;SACnC;QAED,KAAK,CAAC,cAAc,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IACpD,CAAC;IAED,IAAW,mBAAmB;QAC5B,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAEO,QAAQ,CACd,UAAyB;QAEzB,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC;IAC3D,CAAC;IAED,IAAW,WAAW;QACpB,kCAAkC;QAClC,gEAAgE;QAChE,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAC3B,aAAa,CACd,CAAC;IACJ,CAAC;IAED,IAAW,qBAAqB;QAC9B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAE3B,uBAAuB,CAAC,CAAC;IAC7B,CAAC;IAEM,mBAAmB;QACxB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAmB,kBAAkB,CAAC,CAAC;IACtE,CAAC;IAEM,MAAM,CAAC,sBAA8C;QAC1D,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAErC,wDAAwD;QACxD,gCAAgC;QAChC,MAAM,qBAAqB,GAAG;YAC5B,EAAE,IAAI,EAAE,uBAAuB,EAAE,WAAW,EAAE,mBAAmB,EAAE;YACnE,EAAE,IAAI,EAAE,iBAAiB,EAAE,WAAW,EAAE,aAAa,EAAE;YACvD,EAAE,IAAI,EAAE,sBAAsB,EAAE,WAAW,EAAE,kBAAkB,EAAE;SACzD,CAAC;QAEX,qBAAqB,CAAC,OAAO,CAAC,CAAC,sBAAsB,EAAE,EAAE;YACvD,MAAM,YAAY,GAAG,sBAAsB,CAAC,IAAI,CAAC;YAEjD,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CACxC,IAAI,CAAC,UAAU,CAAC,OAAO,CACxB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACrB,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CACzD,CAAC;YAEF,MAAM,iBAAiB,GACrB,yBAAyB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAE/C,IAAI,iBAAiB,KAAK,SAAS,EAAE;gBACnC,GAAG,CAAC,KAAK,CACP,+EAA+E,CAChF,CAAC;gBACF,OAAO;aACR;YAED,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE;gBACpC,IAAI,CAAC,SAAS,CAAC,QAAQ,CACrB,iBAAiB,EACjB,EAAE,QAAQ,EAAE,GAAG,EAAE,EACjB,EAAE,SAAS,EAAE,SAAS,CAAC,eAAe,EAAE,CACzC,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE;gBACpC,kEAAkE;gBAClE,yBAAyB;gBACzB,MAAM,EAAE,WAAW,EAAE,GACnB,sBAAsB,CAAC;gBAEzB,kCAAkC;gBAClC,IAAI,CAAC,SAAS,CAAC,QAAQ,CACrB,iBAAiB,EACjB,EAAE,QAAQ,EAAE,WAAW,EAAE,EACzB,EAAE,SAAS,EAAE,SAAS,CAAC,eAAe,EAAE,CACzC,CAAC;aACH;QACH,CAAC,CAAC,CAAC;QAEH,0EAA0E;QAC1E,kDAAkD;QAClD,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE;YAChD,MAAM,gBAAgB,GACpB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAEpC,gBAAgB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,iBAAiB,EAAE,EAAE;gBACzD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE;oBACzC,UAAU,EAAE,CAAC,mBAAmB,EAAE,EAAE;wBAClC,+BAA+B;wBAC/B,MAAM,OAAO,GACX,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;wBACzC,OAAO,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;oBAC5C,CAAC;iBACF,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;SACJ;aAAM;YACL,GAAG,CAAC,IAAI,CACN,sGAAsG,CACvG,CAAC;SACH;IACH,CAAC;IAEM,KAAK,CAAC,KAAK;QAChB,wCAAwC;QACxC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE;YAChD,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAEhD,GAAG,CAAC,IAAI,CACN,4BAA4B,UAAU,KAAK,cAAc,CAAC,WAAW,CAAC,IAAI,GAAG,CAC9E,CAAC;YACF,4CAA4C;YAC5C,MAAM,cAAc,CAAC,KAAK,EAAE,CAAC;SAC9B;IACH,CAAC;CACF"}
@@ -1 +1,2 @@
1
1
  export {};
2
+ //# sourceMappingURL=ProtocolEnvironment.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ProtocolEnvironment.js","sourceRoot":"","sources":["../../src/protocol/ProtocolEnvironment.ts"],"names":[],"mappings":""}
@@ -2,7 +2,7 @@ import { AreProofsEnabled, ChildContainerProvider, ConfigurableModule, NoConfig
2
2
  import { ProtocolEnvironment } from "./ProtocolEnvironment";
3
3
  export declare abstract class ProtocolModule<Config = NoConfig> extends ConfigurableModule<Config> {
4
4
  protocol?: ProtocolEnvironment;
5
- get appChain(): AreProofsEnabled | undefined;
5
+ get areProofsEnabled(): AreProofsEnabled | undefined;
6
6
  create(childContainerProvider: ChildContainerProvider): void;
7
7
  start(): Promise<void>;
8
8
  }
@@ -1 +1 @@
1
- {"version":3,"file":"ProtocolModule.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,kBAAkB,EAClB,QAAQ,EAET,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,8BAAsB,cAAc,CAClC,MAAM,GAAG,QAAQ,CACjB,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IAEtC,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAEM,MAAM,CAAC,sBAAsB,EAAE,sBAAsB,GAAG,IAAI;IAItD,KAAK;CAGnB"}
1
+ {"version":3,"file":"ProtocolModule.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,kBAAkB,EAClB,QAAQ,EAET,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,8BAAsB,cAAc,CAClC,MAAM,GAAG,QAAQ,CACjB,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IAEtC,IAAW,gBAAgB,IAAI,gBAAgB,GAAG,SAAS,CAE1D;IAEM,MAAM,CAAC,sBAAsB,EAAE,sBAAsB,GAAG,IAAI;IAItD,KAAK;CAGnB"}
@@ -1,6 +1,6 @@
1
1
  import { ConfigurableModule, noop, } from "@proto-kit/common";
2
2
  export class ProtocolModule extends ConfigurableModule {
3
- get appChain() {
3
+ get areProofsEnabled() {
4
4
  return this.protocol?.getAreProofsEnabled();
5
5
  }
6
6
  create(childContainerProvider) {
@@ -10,3 +10,4 @@ export class ProtocolModule extends ConfigurableModule {
10
10
  noop();
11
11
  }
12
12
  }
13
+ //# sourceMappingURL=ProtocolModule.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ProtocolModule.js","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,kBAAkB,EAElB,IAAI,GACL,MAAM,mBAAmB,CAAC;AAI3B,MAAM,OAAgB,cAEpB,SAAQ,kBAA0B;IAGlC,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAC9C,CAAC;IAEM,MAAM,CAAC,sBAA8C;QAC1D,IAAI,EAAE,CAAC;IACT,CAAC;IAEM,KAAK,CAAC,KAAK;QAChB,IAAI,EAAE,CAAC;IACT,CAAC;CACF"}
@@ -2,3 +2,4 @@ import { TransitioningProtocolModule } from "./TransitioningProtocolModule";
2
2
  // Purpose is to build transition from -> to network state
3
3
  export class ProvableBlockHook extends TransitioningProtocolModule {
4
4
  }
5
+ //# sourceMappingURL=ProvableBlockHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ProvableBlockHook.js","sourceRoot":"","sources":["../../src/protocol/ProvableBlockHook.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,0DAA0D;AAC1D,MAAM,OAAgB,iBAEpB,SAAQ,2BAAmC;CAU5C"}
@@ -1,3 +1,4 @@
1
1
  import { TransitioningProtocolModule } from "./TransitioningProtocolModule";
2
2
  export class ProvableTransactionHook extends TransitioningProtocolModule {
3
3
  }
4
+ //# sourceMappingURL=ProvableTransactionHook.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ProvableTransactionHook.js","sourceRoot":"","sources":["../../src/protocol/ProvableTransactionHook.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,MAAM,OAAgB,uBAEpB,SAAQ,2BAAmC;CAI5C"}