@proto-kit/protocol 0.1.1-develop.165 → 0.1.1-develop.1661

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 (453) 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 +52 -0
  12. package/dist/hooks/AccountStateHook.d.ts.map +1 -0
  13. package/dist/hooks/AccountStateHook.js +52 -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 +51 -9
  36. package/dist/index.d.ts.map +1 -1
  37. package/dist/index.js +52 -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 -29
  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 -42
  48. package/dist/model/Option.d.ts.map +1 -1
  49. package/dist/model/Option.js +62 -47
  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 +67 -16
  60. package/dist/model/StateTransition.d.ts.map +1 -1
  61. package/dist/model/StateTransition.js +18 -2
  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 +88 -11
  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 +20 -2
  70. package/dist/model/network/NetworkState.js.map +1 -0
  71. package/dist/model/transaction/RuntimeTransaction.d.ts +96 -28
  72. package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
  73. package/dist/model/transaction/RuntimeTransaction.js +75 -11
  74. package/dist/model/transaction/RuntimeTransaction.js.map +1 -0
  75. package/dist/model/transaction/SignedTransaction.d.ts +107 -0
  76. package/dist/model/transaction/SignedTransaction.d.ts.map +1 -0
  77. package/dist/model/transaction/SignedTransaction.js +34 -0
  78. package/dist/model/transaction/SignedTransaction.js.map +1 -0
  79. package/dist/model/transaction/ValueOption.d.ts +173 -0
  80. package/dist/model/transaction/ValueOption.d.ts.map +1 -0
  81. package/dist/model/transaction/ValueOption.js +25 -0
  82. package/dist/model/transaction/ValueOption.js.map +1 -0
  83. package/dist/protocol/Protocol.d.ts +27 -25
  84. package/dist/protocol/Protocol.d.ts.map +1 -1
  85. package/dist/protocol/Protocol.js +98 -28
  86. package/dist/protocol/Protocol.js.map +1 -0
  87. package/dist/protocol/ProtocolEnvironment.d.ts +9 -0
  88. package/dist/protocol/ProtocolEnvironment.d.ts.map +1 -0
  89. package/dist/protocol/ProtocolEnvironment.js +2 -0
  90. package/dist/protocol/ProtocolEnvironment.js.map +1 -0
  91. package/dist/protocol/ProtocolModule.d.ts +7 -7
  92. package/dist/protocol/ProtocolModule.d.ts.map +1 -1
  93. package/dist/protocol/ProtocolModule.js +10 -7
  94. package/dist/protocol/ProtocolModule.js.map +1 -0
  95. package/dist/protocol/ProvableBlockHook.d.ts +19 -0
  96. package/dist/protocol/ProvableBlockHook.d.ts.map +1 -0
  97. package/dist/protocol/ProvableBlockHook.js +21 -0
  98. package/dist/protocol/ProvableBlockHook.js.map +1 -0
  99. package/dist/protocol/ProvableTransactionHook.d.ts +34 -0
  100. package/dist/protocol/ProvableTransactionHook.d.ts.map +1 -0
  101. package/dist/protocol/ProvableTransactionHook.js +13 -0
  102. package/dist/protocol/ProvableTransactionHook.js.map +1 -0
  103. package/dist/protocol/TransitioningProtocolModule.d.ts +10 -0
  104. package/dist/protocol/TransitioningProtocolModule.d.ts.map +1 -0
  105. package/dist/protocol/TransitioningProtocolModule.js +9 -0
  106. package/dist/protocol/TransitioningProtocolModule.js.map +1 -0
  107. package/dist/prover/accumulators/AppliedBatchHashList.d.ts +18 -0
  108. package/dist/prover/accumulators/AppliedBatchHashList.d.ts.map +1 -0
  109. package/dist/prover/accumulators/AppliedBatchHashList.js +25 -0
  110. package/dist/prover/accumulators/AppliedBatchHashList.js.map +1 -0
  111. package/dist/prover/accumulators/StateTransitionReductionList.d.ts +12 -0
  112. package/dist/prover/accumulators/StateTransitionReductionList.d.ts.map +1 -0
  113. package/dist/prover/accumulators/StateTransitionReductionList.js +64 -0
  114. package/dist/prover/accumulators/StateTransitionReductionList.js.map +1 -0
  115. package/dist/prover/accumulators/TransactionHashList.d.ts +6 -0
  116. package/dist/prover/accumulators/TransactionHashList.d.ts.map +1 -0
  117. package/dist/prover/accumulators/TransactionHashList.js +8 -0
  118. package/dist/prover/accumulators/TransactionHashList.js.map +1 -0
  119. package/dist/prover/accumulators/WitnessedRootHashList.d.ts +137 -0
  120. package/dist/prover/accumulators/WitnessedRootHashList.d.ts.map +1 -0
  121. package/dist/prover/accumulators/WitnessedRootHashList.js +50 -0
  122. package/dist/prover/accumulators/WitnessedRootHashList.js.map +1 -0
  123. package/dist/prover/block/BlockProvable.d.ts +869 -65
  124. package/dist/prover/block/BlockProvable.d.ts.map +1 -1
  125. package/dist/prover/block/BlockProvable.js +86 -6
  126. package/dist/prover/block/BlockProvable.js.map +1 -0
  127. package/dist/prover/block/BlockProver.d.ts +82 -34
  128. package/dist/prover/block/BlockProver.d.ts.map +1 -1
  129. package/dist/prover/block/BlockProver.js +505 -86
  130. package/dist/prover/block/BlockProver.js.map +1 -0
  131. package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts +106 -0
  132. package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts.map +1 -0
  133. package/dist/prover/block/accummulators/BlockHashMerkleTree.js +25 -0
  134. package/dist/prover/block/accummulators/BlockHashMerkleTree.js.map +1 -0
  135. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts +139 -0
  136. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts.map +1 -0
  137. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js +21 -0
  138. package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js.map +1 -0
  139. package/dist/prover/block/services/RuntimeVerificationKeyRootService.d.ts +7 -0
  140. package/dist/prover/block/services/RuntimeVerificationKeyRootService.d.ts.map +1 -0
  141. package/dist/prover/{statetransition/StateTransitionWitnessProviderReference.js → block/services/RuntimeVerificationKeyRootService.js} +11 -8
  142. package/dist/prover/block/services/RuntimeVerificationKeyRootService.js.map +1 -0
  143. package/dist/prover/statetransition/StateTransitionProvable.d.ts +137 -48
  144. package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
  145. package/dist/prover/statetransition/StateTransitionProvable.js +10 -5
  146. package/dist/prover/statetransition/StateTransitionProvable.js.map +1 -0
  147. package/dist/prover/statetransition/StateTransitionProver.d.ts +30 -17
  148. package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
  149. package/dist/prover/statetransition/StateTransitionProver.js +169 -74
  150. package/dist/prover/statetransition/StateTransitionProver.js.map +1 -0
  151. package/dist/settlement/ContractModule.d.ts +16 -0
  152. package/dist/settlement/ContractModule.d.ts.map +1 -0
  153. package/dist/settlement/ContractModule.js +12 -0
  154. package/dist/settlement/ContractModule.js.map +1 -0
  155. package/dist/settlement/SettlementContractModule.d.ts +51 -0
  156. package/dist/settlement/SettlementContractModule.d.ts.map +1 -0
  157. package/dist/settlement/SettlementContractModule.js +80 -0
  158. package/dist/settlement/SettlementContractModule.js.map +1 -0
  159. package/dist/settlement/contracts/BridgeContract.d.ts +116 -0
  160. package/dist/settlement/contracts/BridgeContract.d.ts.map +1 -0
  161. package/dist/settlement/contracts/BridgeContract.js +259 -0
  162. package/dist/settlement/contracts/BridgeContract.js.map +1 -0
  163. package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts +16 -0
  164. package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts.map +1 -0
  165. package/dist/settlement/contracts/BridgeContractProtocolModule.js +41 -0
  166. package/dist/settlement/contracts/BridgeContractProtocolModule.js.map +1 -0
  167. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +21 -0
  168. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -0
  169. package/dist/settlement/contracts/DispatchContractProtocolModule.js +57 -0
  170. package/dist/settlement/contracts/DispatchContractProtocolModule.js.map +1 -0
  171. package/dist/settlement/contracts/DispatchSmartContract.d.ts +44 -0
  172. package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -0
  173. package/dist/settlement/contracts/DispatchSmartContract.js +229 -0
  174. package/dist/settlement/contracts/DispatchSmartContract.js.map +1 -0
  175. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts +21 -0
  176. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map +1 -0
  177. package/dist/settlement/contracts/SettlementContractProtocolModule.js +84 -0
  178. package/dist/settlement/contracts/SettlementContractProtocolModule.js.map +1 -0
  179. package/dist/settlement/contracts/SettlementSmartContract.d.ts +123 -0
  180. package/dist/settlement/contracts/SettlementSmartContract.d.ts.map +1 -0
  181. package/dist/settlement/contracts/SettlementSmartContract.js +310 -0
  182. package/dist/settlement/contracts/SettlementSmartContract.js.map +1 -0
  183. package/dist/settlement/contracts/TokenBridgeTree.d.ts +228 -0
  184. package/dist/settlement/contracts/TokenBridgeTree.d.ts.map +1 -0
  185. package/dist/settlement/contracts/TokenBridgeTree.js +60 -0
  186. package/dist/settlement/contracts/TokenBridgeTree.js.map +1 -0
  187. package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts +10 -0
  188. package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts.map +1 -0
  189. package/dist/settlement/contracts/authorizations/ContractAuthorization.js +2 -0
  190. package/dist/settlement/contracts/authorizations/ContractAuthorization.js.map +1 -0
  191. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts +85 -0
  192. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts.map +1 -0
  193. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js +11 -0
  194. package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js.map +1 -0
  195. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts +79 -0
  196. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts.map +1 -0
  197. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js +11 -0
  198. package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js.map +1 -0
  199. package/dist/settlement/messages/Deposit.d.ts +77 -0
  200. package/dist/settlement/messages/Deposit.d.ts.map +1 -0
  201. package/dist/settlement/messages/Deposit.js +8 -0
  202. package/dist/settlement/messages/Deposit.js.map +1 -0
  203. package/dist/settlement/messages/OutgoingMessage.d.ts +67 -0
  204. package/dist/settlement/messages/OutgoingMessage.d.ts.map +1 -0
  205. package/dist/settlement/messages/OutgoingMessage.js +7 -0
  206. package/dist/settlement/messages/OutgoingMessage.js.map +1 -0
  207. package/dist/settlement/messages/OutgoingMessageArgument.d.ts +462 -0
  208. package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -0
  209. package/dist/settlement/messages/OutgoingMessageArgument.js +40 -0
  210. package/dist/settlement/messages/OutgoingMessageArgument.js.map +1 -0
  211. package/dist/settlement/messages/Withdrawal.d.ts +2 -0
  212. package/dist/settlement/messages/Withdrawal.d.ts.map +1 -0
  213. package/dist/settlement/messages/Withdrawal.js +3 -0
  214. package/dist/settlement/messages/Withdrawal.js.map +1 -0
  215. package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts +25 -0
  216. package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts.map +1 -0
  217. package/dist/settlement/modularity/OutgoingMessageProcessor.js +30 -0
  218. package/dist/settlement/modularity/OutgoingMessageProcessor.js.map +1 -0
  219. package/dist/settlement/modularity/ProvableSettlementHook.d.ts +26 -0
  220. package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map +1 -0
  221. package/dist/settlement/modularity/ProvableSettlementHook.js +4 -0
  222. package/dist/settlement/modularity/ProvableSettlementHook.js.map +1 -0
  223. package/dist/settlement/modularity/types.d.ts +8 -0
  224. package/dist/settlement/modularity/types.d.ts.map +1 -0
  225. package/dist/settlement/modularity/types.js +2 -0
  226. package/dist/settlement/modularity/types.js.map +1 -0
  227. package/dist/settlement/modules/NetworkStateSettlementModule.d.ts +11 -0
  228. package/dist/settlement/modules/NetworkStateSettlementModule.d.ts.map +1 -0
  229. package/dist/settlement/modules/NetworkStateSettlementModule.js +15 -0
  230. package/dist/settlement/modules/NetworkStateSettlementModule.js.map +1 -0
  231. package/dist/state/SimpleAsyncStateService.d.ts +6 -0
  232. package/dist/state/SimpleAsyncStateService.d.ts.map +1 -0
  233. package/dist/state/SimpleAsyncStateService.js +2 -0
  234. package/dist/state/SimpleAsyncStateService.js.map +1 -0
  235. package/dist/state/State.d.ts +68 -0
  236. package/dist/state/State.d.ts.map +1 -0
  237. package/dist/state/State.js +131 -0
  238. package/dist/state/State.js.map +1 -0
  239. package/dist/state/StateMap.d.ts +37 -0
  240. package/dist/state/StateMap.d.ts.map +1 -0
  241. package/dist/state/StateMap.js +56 -0
  242. package/dist/state/StateMap.js.map +1 -0
  243. package/dist/state/StateService.d.ts +6 -0
  244. package/dist/state/StateService.d.ts.map +1 -0
  245. package/dist/state/StateService.js +2 -0
  246. package/dist/state/StateService.js.map +1 -0
  247. package/dist/state/StateServiceProvider.d.ts +8 -0
  248. package/dist/state/StateServiceProvider.d.ts.map +1 -0
  249. package/dist/state/StateServiceProvider.js +37 -0
  250. package/dist/state/StateServiceProvider.js.map +1 -0
  251. package/dist/state/assert/assert.d.ts +12 -0
  252. package/dist/state/assert/assert.d.ts.map +1 -0
  253. package/dist/state/assert/assert.js +33 -0
  254. package/dist/state/assert/assert.js.map +1 -0
  255. package/dist/state/context/RuntimeMethodExecutionContext.d.ts +193 -0
  256. package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map +1 -0
  257. package/dist/state/context/RuntimeMethodExecutionContext.js +138 -0
  258. package/dist/state/context/RuntimeMethodExecutionContext.js.map +1 -0
  259. package/dist/state/context/TransitionMethodExecutionContext.d.ts +23 -0
  260. package/dist/state/context/TransitionMethodExecutionContext.d.ts.map +1 -0
  261. package/dist/state/context/TransitionMethodExecutionContext.js +6 -0
  262. package/dist/state/context/TransitionMethodExecutionContext.js.map +1 -0
  263. package/dist/state/protocol/ProtocolState.d.ts +13 -0
  264. package/dist/state/protocol/ProtocolState.d.ts.map +1 -0
  265. package/dist/state/protocol/ProtocolState.js +58 -0
  266. package/dist/state/protocol/ProtocolState.js.map +1 -0
  267. package/dist/utils/FieldOptions.d.ts +62 -0
  268. package/dist/utils/FieldOptions.d.ts.map +1 -0
  269. package/dist/utils/FieldOptions.js +13 -0
  270. package/dist/utils/FieldOptions.js.map +1 -0
  271. package/dist/utils/MinaPrefixedProvableHashList.d.ts +19 -0
  272. package/dist/utils/MinaPrefixedProvableHashList.d.ts.map +1 -0
  273. package/dist/utils/MinaPrefixedProvableHashList.js +46 -0
  274. package/dist/utils/MinaPrefixedProvableHashList.js.map +1 -0
  275. package/dist/utils/PrefixedProvableHashList.d.ts +2 -2
  276. package/dist/utils/PrefixedProvableHashList.d.ts.map +1 -1
  277. package/dist/utils/PrefixedProvableHashList.js +2 -1
  278. package/dist/utils/PrefixedProvableHashList.js.map +1 -0
  279. package/dist/utils/ProvableHashList.d.ts +23 -4
  280. package/dist/utils/ProvableHashList.d.ts.map +1 -1
  281. package/dist/utils/ProvableHashList.js +38 -2
  282. package/dist/utils/ProvableHashList.js.map +1 -0
  283. package/dist/utils/ProvableReductionHashList.d.ts +18 -0
  284. package/dist/utils/ProvableReductionHashList.d.ts.map +1 -0
  285. package/dist/utils/ProvableReductionHashList.js +54 -0
  286. package/dist/utils/ProvableReductionHashList.js.map +1 -0
  287. package/dist/utils/StateTransitionReductionList.d.ts +11 -0
  288. package/dist/utils/StateTransitionReductionList.d.ts.map +1 -0
  289. package/dist/utils/StateTransitionReductionList.js +61 -0
  290. package/dist/utils/StateTransitionReductionList.js.map +1 -0
  291. package/dist/utils/utils.d.ts +20 -0
  292. package/dist/utils/utils.d.ts.map +1 -0
  293. package/dist/utils/utils.js +51 -0
  294. package/dist/utils/utils.js.map +1 -0
  295. package/jest.config.cjs +12 -1
  296. package/package.json +11 -9
  297. package/src/hashing/mina-prefixes.ts +10 -0
  298. package/src/hashing/protokit-prefixes.ts +37 -0
  299. package/src/hooks/AccountStateHook.ts +57 -0
  300. package/src/hooks/BlockHeightHook.ts +17 -0
  301. package/src/hooks/LastStateRootBlockHook.ts +25 -0
  302. package/src/hooks/NoopBlockHook.ts +24 -0
  303. package/src/hooks/NoopSettlementHook.ts +20 -0
  304. package/src/hooks/NoopTransactionHook.ts +13 -0
  305. package/src/index.ts +51 -9
  306. package/src/model/AppliedStateTransitionBatch.ts +16 -0
  307. package/src/model/MethodPublicOutput.ts +3 -1
  308. package/src/model/Option.ts +99 -60
  309. package/src/model/Path.ts +9 -5
  310. package/src/model/RuntimeLike.ts +12 -0
  311. package/src/model/StateTransition.ts +25 -3
  312. package/src/model/StateTransitionProvableBatch.ts +117 -14
  313. package/src/model/Transaction.ts +3 -1
  314. package/src/model/network/NetworkState.ts +21 -3
  315. package/src/model/transaction/RuntimeTransaction.ts +90 -15
  316. package/src/model/transaction/SignedTransaction.ts +47 -0
  317. package/src/model/transaction/ValueOption.ts +28 -0
  318. package/src/protocol/Protocol.ts +166 -74
  319. package/src/protocol/ProtocolEnvironment.ts +10 -0
  320. package/src/protocol/ProtocolModule.ts +16 -16
  321. package/src/protocol/ProvableBlockHook.ts +68 -0
  322. package/src/protocol/ProvableTransactionHook.ts +77 -0
  323. package/src/protocol/TransitioningProtocolModule.ts +12 -0
  324. package/src/prover/accumulators/AppliedBatchHashList.ts +32 -0
  325. package/src/prover/accumulators/StateTransitionReductionList.ts +92 -0
  326. package/src/prover/accumulators/TransactionHashList.ts +9 -0
  327. package/src/prover/accumulators/WitnessedRootHashList.ts +61 -0
  328. package/src/prover/block/BlockProvable.ts +188 -15
  329. package/src/prover/block/BlockProver.ts +979 -143
  330. package/src/prover/block/accummulators/BlockHashMerkleTree.ts +24 -0
  331. package/src/prover/block/accummulators/RuntimeVerificationKeyTree.ts +24 -0
  332. package/src/prover/block/services/RuntimeVerificationKeyRootService.ts +20 -0
  333. package/src/prover/statetransition/StateTransitionProvable.ts +26 -19
  334. package/src/prover/statetransition/StateTransitionProver.ts +338 -130
  335. package/src/settlement/ContractModule.ts +31 -0
  336. package/src/settlement/SettlementContractModule.ts +145 -0
  337. package/src/settlement/contracts/BridgeContract.ts +366 -0
  338. package/src/settlement/contracts/BridgeContractProtocolModule.ts +48 -0
  339. package/src/settlement/contracts/DispatchContractProtocolModule.ts +75 -0
  340. package/src/settlement/contracts/DispatchSmartContract.ts +325 -0
  341. package/src/settlement/contracts/SettlementContractProtocolModule.ts +113 -0
  342. package/src/settlement/contracts/SettlementSmartContract.ts +502 -0
  343. package/src/settlement/contracts/TokenBridgeTree.ts +73 -0
  344. package/src/settlement/contracts/authorizations/ContractAuthorization.ts +11 -0
  345. package/src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts +16 -0
  346. package/src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts +16 -0
  347. package/src/settlement/messages/Deposit.ts +7 -0
  348. package/src/settlement/messages/OutgoingMessage.ts +17 -0
  349. package/src/settlement/messages/OutgoingMessageArgument.ts +53 -0
  350. package/src/settlement/modularity/OutgoingMessageProcessor.ts +65 -0
  351. package/src/settlement/modularity/ProvableSettlementHook.ts +36 -0
  352. package/src/settlement/modularity/types.ts +22 -0
  353. package/src/settlement/modules/NetworkStateSettlementModule.ts +42 -0
  354. package/src/state/State.ts +177 -0
  355. package/src/state/StateMap.ts +73 -0
  356. package/src/state/StateService.ts +6 -0
  357. package/src/state/StateServiceProvider.ts +37 -0
  358. package/src/state/assert/assert.ts +38 -0
  359. package/src/state/context/RuntimeMethodExecutionContext.ts +181 -0
  360. package/src/state/context/TransitionMethodExecutionContext.ts +26 -0
  361. package/src/state/protocol/ProtocolState.ts +98 -0
  362. package/src/utils/FieldOptions.ts +13 -0
  363. package/src/utils/MinaPrefixedProvableHashList.ts +66 -0
  364. package/src/utils/PrefixedProvableHashList.ts +2 -2
  365. package/src/utils/ProvableHashList.ts +78 -3
  366. package/src/utils/ProvableReductionHashList.ts +77 -0
  367. package/src/utils/utils.ts +44 -55
  368. package/test/BlockProver.test.ts +161 -74
  369. package/test/Protocol.test.ts +20 -10
  370. package/test/State.test.ts +45 -0
  371. package/test/StateTransition.test.ts +57 -65
  372. package/test/TestingProtocol.ts +56 -0
  373. package/test/compiling/types.ts +28 -0
  374. package/test/model/Option.test.ts +72 -0
  375. package/test/model/StateTransitionProvableBatch.test.ts +137 -0
  376. package/test/modularity/types.ts +35 -0
  377. package/test/prover/block/BlockProver.test.ts +18 -0
  378. package/test/prover/statetransition/StateTransitionProver.test.ts +261 -0
  379. package/test/state/assert/assert.test.ts +56 -0
  380. package/test/tsconfig.json +7 -0
  381. package/test/utils/ProvableHashList.test.ts +44 -0
  382. package/test/utils/ProvableReductionHashList.test.ts +117 -0
  383. package/test/utils.test.ts +27 -0
  384. package/dist/config/ConfigurableModule.d.ts +0 -18
  385. package/dist/config/ConfigurableModule.d.ts.map +0 -1
  386. package/dist/config/ConfigurableModule.js +0 -20
  387. package/dist/config/ConfigurationAggregator.d.ts +0 -10
  388. package/dist/config/ConfigurationAggregator.d.ts.map +0 -1
  389. package/dist/config/ConfigurationAggregator.js +0 -35
  390. package/dist/config/ConfigurationReceiver.d.ts +0 -25
  391. package/dist/config/ConfigurationReceiver.d.ts.map +0 -1
  392. package/dist/config/ConfigurationReceiver.js +0 -36
  393. package/dist/config/ModuleContainer.d.ts +0 -44
  394. package/dist/config/ModuleContainer.d.ts.map +0 -1
  395. package/dist/config/ModuleContainer.js +0 -89
  396. package/dist/config/types.d.ts +0 -2
  397. package/dist/config/types.d.ts.map +0 -1
  398. package/dist/config/types.js +0 -1
  399. package/dist/model/MethodPublicInput.d.ts +0 -51
  400. package/dist/model/MethodPublicInput.d.ts.map +0 -1
  401. package/dist/model/MethodPublicInput.js +0 -11
  402. package/dist/model/transaction/ProtocolTransaction.d.ts +0 -70
  403. package/dist/model/transaction/ProtocolTransaction.d.ts.map +0 -1
  404. package/dist/model/transaction/ProtocolTransaction.js +0 -18
  405. package/dist/prover/block/BlockScopedModule.d.ts +0 -3
  406. package/dist/prover/block/BlockScopedModule.d.ts.map +0 -1
  407. package/dist/prover/block/BlockScopedModule.js +0 -6
  408. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts +0 -16
  409. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map +0 -1
  410. package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts +0 -7
  411. package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts.map +0 -1
  412. package/dist/src/model/Option.d.ts +0 -158
  413. package/dist/src/model/Option.d.ts.map +0 -1
  414. package/dist/src/model/Option.js +0 -53
  415. package/dist/src/model/Path.d.ts +0 -35
  416. package/dist/src/model/Path.d.ts.map +0 -1
  417. package/dist/src/model/Path.js +0 -51
  418. package/dist/src/model/StateTransition.d.ts +0 -201
  419. package/dist/src/model/StateTransition.d.ts.map +0 -1
  420. package/dist/src/model/StateTransition.js +0 -43
  421. package/dist/src/utils/PrefixedHashList.d.ts +0 -15
  422. package/dist/src/utils/PrefixedHashList.d.ts.map +0 -1
  423. package/dist/src/utils/PrefixedHashList.js +0 -28
  424. package/dist/src/utils/ProvableHashList.d.ts +0 -30
  425. package/dist/src/utils/ProvableHashList.d.ts.map +0 -1
  426. package/dist/src/utils/ProvableHashList.js +0 -43
  427. package/dist/utils/PrefixedHashList.d.ts +0 -14
  428. package/dist/utils/PrefixedHashList.d.ts.map +0 -1
  429. package/dist/utils/PrefixedHashList.js +0 -12
  430. package/dist/utils/Utils.d.ts +0 -17
  431. package/dist/utils/Utils.d.ts.map +0 -1
  432. package/dist/utils/Utils.js +0 -64
  433. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts +0 -25
  434. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map +0 -1
  435. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js +0 -77
  436. package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts +0 -26
  437. package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts.map +0 -1
  438. package/dist/utils/merkletree/MemoryMerkleTreeStorage.js +0 -79
  439. package/dist/utils/merkletree/MerkleTreeStore.d.ts +0 -11
  440. package/dist/utils/merkletree/MerkleTreeStore.d.ts.map +0 -1
  441. package/dist/utils/merkletree/MerkleTreeStore.js +0 -1
  442. package/dist/utils/merkletree/RollupMerkleTree.d.ts +0 -130
  443. package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +0 -1
  444. package/dist/utils/merkletree/RollupMerkleTree.js +0 -244
  445. package/src/model/Option.test.ts +0 -21
  446. package/src/model/transaction/ProtocolTransaction.ts +0 -25
  447. package/src/prover/statetransition/StateTransitionWitnessProvider.ts +0 -24
  448. package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts +0 -17
  449. package/src/utils/merkletree/InMemoryMerkleTreeStorage.ts +0 -106
  450. package/src/utils/merkletree/MerkleTreeStore.ts +0 -15
  451. package/src/utils/merkletree/RollupMerkleTree.ts +0 -250
  452. package/src/utils/merkletree/VirtualMerkleTreeStore.ts +0 -21
  453. package/tsconfig.test.json +0 -9
@@ -0,0 +1,107 @@
1
+ import { Bool, Field, Signature, UInt64 } from "o1js";
2
+ import { RuntimeTransaction } from "./RuntimeTransaction";
3
+ declare const SignedTransaction_base: (new (value: {
4
+ transaction: RuntimeTransaction;
5
+ signature: Signature;
6
+ }) => {
7
+ transaction: RuntimeTransaction;
8
+ signature: Signature;
9
+ }) & {
10
+ _isStruct: true;
11
+ } & import("o1js/dist/node/lib/provable/provable").Provable<{
12
+ transaction: RuntimeTransaction;
13
+ signature: Signature;
14
+ }, {
15
+ transaction: {
16
+ methodId: bigint;
17
+ argsHash: bigint;
18
+ nonce: {
19
+ isSome: boolean;
20
+ value: any;
21
+ };
22
+ sender: {
23
+ isSome: boolean;
24
+ value: any;
25
+ };
26
+ };
27
+ signature: any;
28
+ }> & {
29
+ fromValue: (value: {
30
+ transaction: RuntimeTransaction | {
31
+ methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
32
+ argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
33
+ nonce: import("./ValueOption").UInt64Option | {
34
+ isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
35
+ value: any;
36
+ };
37
+ sender: import("./ValueOption").PublicKeyOption | {
38
+ isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
39
+ value: any;
40
+ };
41
+ };
42
+ signature: any;
43
+ }) => {
44
+ transaction: RuntimeTransaction;
45
+ signature: Signature;
46
+ };
47
+ toInput: (x: {
48
+ transaction: RuntimeTransaction;
49
+ signature: Signature;
50
+ }) => {
51
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
52
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
53
+ };
54
+ toJSON: (x: {
55
+ transaction: RuntimeTransaction;
56
+ signature: Signature;
57
+ }) => {
58
+ transaction: {
59
+ methodId: string;
60
+ argsHash: string;
61
+ nonce: {
62
+ isSome: boolean;
63
+ value: any;
64
+ };
65
+ sender: {
66
+ isSome: boolean;
67
+ value: any;
68
+ };
69
+ };
70
+ signature: any;
71
+ };
72
+ fromJSON: (x: {
73
+ transaction: {
74
+ methodId: string;
75
+ argsHash: string;
76
+ nonce: {
77
+ isSome: boolean;
78
+ value: any;
79
+ };
80
+ sender: {
81
+ isSome: boolean;
82
+ value: any;
83
+ };
84
+ };
85
+ signature: any;
86
+ }) => {
87
+ transaction: RuntimeTransaction;
88
+ signature: Signature;
89
+ };
90
+ empty: () => {
91
+ transaction: RuntimeTransaction;
92
+ signature: Signature;
93
+ };
94
+ };
95
+ export declare class SignedTransaction extends SignedTransaction_base {
96
+ static getSignatureData(args: {
97
+ methodId: Field;
98
+ nonce: UInt64;
99
+ argsHash: Field;
100
+ }): Field[];
101
+ static dummy(): SignedTransaction;
102
+ hash(): Field;
103
+ getSignatureData(): Field[];
104
+ validateSignature(): Bool;
105
+ }
106
+ export {};
107
+ //# sourceMappingURL=SignedTransaction.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SignedTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAU,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE1D,qBAAa,iBAAkB,SAAQ,sBAGrC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;WAIG,KAAK,IAAI,iBAAiB;IAWjC,IAAI,IAAI,KAAK;IAIb,gBAAgB,IAAI,KAAK,EAAE;IAS3B,iBAAiB,IAAI,IAAI;CAMjC"}
@@ -0,0 +1,34 @@
1
+ import { Field, Scalar, Signature, Struct } from "o1js";
2
+ import { RuntimeTransaction } from "./RuntimeTransaction";
3
+ export class SignedTransaction extends Struct({
4
+ transaction: RuntimeTransaction,
5
+ signature: Signature,
6
+ }) {
7
+ static getSignatureData(args) {
8
+ return [args.methodId, ...args.nonce.value.toFields(), args.argsHash];
9
+ }
10
+ static dummy() {
11
+ return new SignedTransaction({
12
+ transaction: RuntimeTransaction.dummyTransaction(),
13
+ signature: Signature.fromObject({
14
+ s: Scalar.from(0),
15
+ r: Field(0),
16
+ }),
17
+ });
18
+ }
19
+ hash() {
20
+ return this.transaction.hash();
21
+ }
22
+ getSignatureData() {
23
+ const { methodId, argsHash, nonce } = this.transaction;
24
+ return SignedTransaction.getSignatureData({
25
+ nonce: nonce.value,
26
+ methodId,
27
+ argsHash,
28
+ });
29
+ }
30
+ validateSignature() {
31
+ return this.signature.verify(this.transaction.sender.value, this.getSignatureData());
32
+ }
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"}
@@ -0,0 +1,173 @@
1
+ import { PublicKey, UInt64 } from "o1js";
2
+ declare const UInt64Option_base: {
3
+ new (value: {
4
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
5
+ value: UInt64;
6
+ }): {
7
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
8
+ value: UInt64;
9
+ };
10
+ fromSome(value: UInt64): {
11
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
12
+ value: UInt64;
13
+ };
14
+ none(value: UInt64): {
15
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
16
+ value: UInt64;
17
+ };
18
+ _isStruct: true;
19
+ toFields: (value: {
20
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
21
+ value: UInt64;
22
+ }) => import("o1js/dist/node/lib/provable/field").Field[];
23
+ toAuxiliary: (value?: {
24
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
25
+ value: UInt64;
26
+ } | undefined) => any[];
27
+ fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
28
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
29
+ value: UInt64;
30
+ };
31
+ sizeInFields(): number;
32
+ check: (value: {
33
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
34
+ value: UInt64;
35
+ }) => void;
36
+ toValue: (x: {
37
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
38
+ value: UInt64;
39
+ }) => {
40
+ isSome: boolean;
41
+ value: any;
42
+ };
43
+ fromValue: ((x: {
44
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
45
+ value: UInt64;
46
+ } | {
47
+ isSome: boolean;
48
+ value: any;
49
+ }) => {
50
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
51
+ value: UInt64;
52
+ }) & ((value: {
53
+ isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
54
+ value: any;
55
+ }) => {
56
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
57
+ value: UInt64;
58
+ });
59
+ toInput: (x: {
60
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
61
+ value: UInt64;
62
+ }) => {
63
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
64
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
65
+ };
66
+ toJSON: (x: {
67
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
68
+ value: UInt64;
69
+ }) => {
70
+ isSome: boolean;
71
+ value: any;
72
+ };
73
+ fromJSON: (x: {
74
+ isSome: boolean;
75
+ value: any;
76
+ }) => {
77
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
78
+ value: UInt64;
79
+ };
80
+ empty: () => {
81
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
82
+ value: UInt64;
83
+ };
84
+ };
85
+ export declare class UInt64Option extends UInt64Option_base {
86
+ }
87
+ declare const PublicKeyOption_base: {
88
+ new (value: {
89
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
90
+ value: PublicKey;
91
+ }): {
92
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
93
+ value: PublicKey;
94
+ };
95
+ fromSome(value: PublicKey): {
96
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
97
+ value: PublicKey;
98
+ };
99
+ none(value: PublicKey): {
100
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
101
+ value: PublicKey;
102
+ };
103
+ _isStruct: true;
104
+ toFields: (value: {
105
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
106
+ value: PublicKey;
107
+ }) => import("o1js/dist/node/lib/provable/field").Field[];
108
+ toAuxiliary: (value?: {
109
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
110
+ value: PublicKey;
111
+ } | undefined) => any[];
112
+ fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
113
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
114
+ value: PublicKey;
115
+ };
116
+ sizeInFields(): number;
117
+ check: (value: {
118
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
119
+ value: PublicKey;
120
+ }) => void;
121
+ toValue: (x: {
122
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
123
+ value: PublicKey;
124
+ }) => {
125
+ isSome: boolean;
126
+ value: any;
127
+ };
128
+ fromValue: ((x: {
129
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
130
+ value: PublicKey;
131
+ } | {
132
+ isSome: boolean;
133
+ value: any;
134
+ }) => {
135
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
136
+ value: PublicKey;
137
+ }) & ((value: {
138
+ isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
139
+ value: any;
140
+ }) => {
141
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
142
+ value: PublicKey;
143
+ });
144
+ toInput: (x: {
145
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
146
+ value: PublicKey;
147
+ }) => {
148
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
149
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
150
+ };
151
+ toJSON: (x: {
152
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
153
+ value: PublicKey;
154
+ }) => {
155
+ isSome: boolean;
156
+ value: any;
157
+ };
158
+ fromJSON: (x: {
159
+ isSome: boolean;
160
+ value: any;
161
+ }) => {
162
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
163
+ value: PublicKey;
164
+ };
165
+ empty: () => {
166
+ isSome: import("o1js/dist/node/lib/provable/bool").Bool;
167
+ value: PublicKey;
168
+ };
169
+ };
170
+ export declare class PublicKeyOption extends PublicKeyOption_base {
171
+ }
172
+ export {};
173
+ //# sourceMappingURL=ValueOption.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ValueOption.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBzE,qBAAa,YAAa,SAAQ,iBAAoC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEzE,qBAAa,eAAgB,SAAQ,oBAEpC;CAAG"}
@@ -0,0 +1,25 @@
1
+ import { Bool, PublicKey, Struct, UInt64 } from "o1js";
2
+ function genericOptionFactory(valueType) {
3
+ return class Generic extends Struct({
4
+ isSome: Bool,
5
+ value: valueType,
6
+ }) {
7
+ static fromSome(value) {
8
+ return new Generic({
9
+ isSome: Bool(true),
10
+ value,
11
+ });
12
+ }
13
+ static none(value) {
14
+ return new Generic({
15
+ isSome: Bool(false),
16
+ value,
17
+ });
18
+ }
19
+ };
20
+ }
21
+ export class UInt64Option extends genericOptionFactory(UInt64) {
22
+ }
23
+ export class PublicKeyOption extends genericOptionFactory(PublicKey) {
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,37 +1,39 @@
1
- import { ModuleContainer, ModulesRecord, StringKeyOf, TypedClass } from "@proto-kit/common";
1
+ import { AreProofsEnabled, ChildContainerProvider, ModuleContainer, ModulesRecord, Startable, StringKeyOf, TypedClass } from "@proto-kit/common";
2
2
  import { DependencyContainer } from "tsyringe";
3
- import { BlockProvable, BlockProverPublicInput, BlockProverPublicOutput } from "../prover/block/BlockProvable";
4
- import { StateTransitionProver } from "../prover/statetransition/StateTransitionProver";
5
- import { StateTransitionProvable, StateTransitionProverPublicInput, StateTransitionProverPublicOutput } from "../prover/statetransition/StateTransitionProvable";
6
- import { BlockProver } from "../prover/block/BlockProver";
3
+ import { BlockProvable } from "../prover/block/BlockProvable";
4
+ import { StateTransitionProvable } from "../prover/statetransition/StateTransitionProvable";
5
+ import { StateServiceProvider } from "../state/StateServiceProvider";
6
+ import { SimpleAsyncStateService } from "../state/StateService";
7
+ import { BlockHeightHook } from "../hooks/BlockHeightHook";
8
+ import { LastStateRootBlockHook } from "../hooks/LastStateRootBlockHook";
9
+ import { AccountStateHook } from "../hooks/AccountStateHook";
7
10
  import { ProtocolModule } from "./ProtocolModule";
8
- export type GenericProtocolModuleRecord = ModulesRecord<TypedClass<ProtocolModule<any, any>>>;
9
- interface BlockProverType extends ProtocolModule<BlockProverPublicInput, BlockProverPublicOutput>, BlockProvable {
11
+ import { ProtocolEnvironment } from "./ProtocolEnvironment";
12
+ export type ProtocolModulesRecord = ModulesRecord<TypedClass<ProtocolModule<unknown>>>;
13
+ export interface BlockProverType extends ProtocolModule, BlockProvable {
10
14
  }
11
- interface StateTransitionProverType extends ProtocolModule<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, StateTransitionProvable {
15
+ export interface StateTransitionProverType extends ProtocolModule, StateTransitionProvable {
12
16
  }
13
- export interface ProtocolCustomModulesRecord {
17
+ export type MandatoryProtocolModulesRecord = {
14
18
  BlockProver: TypedClass<BlockProverType>;
15
19
  StateTransitionProver: TypedClass<StateTransitionProverType>;
16
- }
17
- export interface ProtocolModulesRecord extends GenericProtocolModuleRecord, ProtocolCustomModulesRecord {
18
- }
19
- export interface ProtocolDefinition<Modules extends ProtocolModulesRecord> {
20
- modules: Modules;
21
- }
22
- export declare class Protocol<Modules extends ProtocolModulesRecord> extends ModuleContainer<Modules> {
23
- static from<Modules extends ProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): Protocol<Modules>;
24
- protected decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
20
+ AccountState: TypedClass<AccountStateHook>;
21
+ BlockHeight: TypedClass<BlockHeightHook>;
22
+ LastStateRoot: TypedClass<LastStateRootBlockHook>;
23
+ };
24
+ export declare class Protocol<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord> extends ModuleContainer<Modules> implements ProtocolEnvironment, Startable {
25
+ static from<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord>(modules: Modules): TypedClass<Protocol<Modules>>;
26
+ definition: Modules;
27
+ constructor(definition: Modules);
28
+ get stateService(): SimpleAsyncStateService;
29
+ get stateServiceProvider(): StateServiceProvider;
30
+ decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
25
31
  get dependencyContainer(): DependencyContainer;
26
32
  private isModule;
27
33
  get blockProver(): BlockProvable;
28
34
  get stateTransitionProver(): StateTransitionProvable;
35
+ getAreProofsEnabled(): AreProofsEnabled;
36
+ create(childContainerProvider: ChildContainerProvider): void;
37
+ start(): Promise<void>;
29
38
  }
30
- export declare const VanillaProtocol: {
31
- create(): Protocol<{
32
- StateTransitionProver: typeof StateTransitionProver;
33
- BlockProver: typeof BlockProver;
34
- }>;
35
- };
36
- export {};
37
39
  //# sourceMappingURL=Protocol.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,eAAe,EAEf,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAE/C,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,mDAAmD,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,MAAM,2BAA2B,GAAG,aAAa,CACrD,UAAU,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CACrC,CAAC;AAEF,UAAU,eACR,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,EACrE,aAAa;CAAG;AAEpB,UAAU,yBACR,SAAQ,cAAc,CAClB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,uBAAuB;CAAG;AAE9B,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;CAC9D;AAED,MAAM,WAAW,qBACf,SAAQ,2BAA2B,EACjC,2BAA2B;CAAG;AAElC,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;CAElB;AAED,qBAAa,QAAQ,CACnB,OAAO,SAAS,qBAAqB,CACrC,SAAQ,eAAe,CAAC,OAAO,CAAC;WAElB,IAAI,CAAC,OAAO,SAAS,qBAAqB,EACtD,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAsBtC,SAAS,CAAC,cAAc,CACtB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAQ9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;CACF;AAED,eAAO,MAAM,eAAe;cAChB,SAAS;QACjB,uBAAuB,4BAA4B,CAAC;QACpD,aAAa,kBAAkB,CAAC;KACjC,CAAC;CAQH,CAAC"}
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,SAAS,EACT,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,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB,EAAE,SAAS;WAE3B,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAU3C,UAAU,EAAE,OAAO,CAAC;gBAER,UAAU,EAAE,OAAO;IAKtC,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;IAyE/C,KAAK;CAYnB"}
@@ -1,33 +1,54 @@
1
1
  import { log, ModuleContainer, } from "@proto-kit/common";
2
- import { StateTransitionProver } from "../prover/statetransition/StateTransitionProver";
3
- import { BlockProver } from "../prover/block/BlockProver";
2
+ import { Lifecycle } from "tsyringe";
3
+ import { NoopBlockHook } from "../hooks/NoopBlockHook";
4
+ import { ProvableSettlementHook } from "../settlement/modularity/ProvableSettlementHook";
5
+ import { NoopSettlementHook } from "../hooks/NoopSettlementHook";
6
+ import { NoopTransactionHook } from "../hooks/NoopTransactionHook";
7
+ import { ProvableTransactionHook } from "./ProvableTransactionHook";
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
+ */
16
+ const PROTOCOL_INJECTION_TOKENS = {
17
+ [ProvableTransactionHook.name]: "ProvableTransactionHook",
18
+ [ProvableBlockHook.name]: "ProvableBlockHook",
19
+ [ProvableSettlementHook.name]: "ProvableSettlementHook",
20
+ };
4
21
  export class Protocol extends ModuleContainer {
5
- // .from() to create Protocol
6
22
  static from(modules) {
7
- const protocol = new Protocol(modules);
8
- // Set empty config for all modules, since we don't have that feature yet
9
- // eslint-disable-next-line max-len
10
- // eslint-disable-next-line @typescript-eslint/no-explicit-any,@typescript-eslint/no-unsafe-assignment
11
- const emptyConfig = Object.keys(modules.modules).reduce((agg, item) => {
12
- // eslint-disable-next-line @typescript-eslint/no-unsafe-member-access
13
- agg[item] = {};
14
- // eslint-disable-next-line @typescript-eslint/no-unsafe-return
15
- return agg;
16
- }, {});
17
- // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
18
- protocol.configure(emptyConfig);
19
- return protocol;
23
+ return class ScopedProtocol extends Protocol {
24
+ constructor() {
25
+ super(modules);
26
+ }
27
+ };
28
+ }
29
+ constructor(definition) {
30
+ super(definition);
31
+ this.definition = definition;
32
+ }
33
+ get stateService() {
34
+ return this.stateServiceProvider.stateService;
35
+ }
36
+ get stateServiceProvider() {
37
+ return this.container.resolve("StateServiceProvider");
20
38
  }
21
39
  decorateModule(moduleName, containedModule) {
22
40
  log.debug(`Decorated ${moduleName}`);
23
- containedModule.protocol = this;
41
+ containedModule.parent = this;
42
+ if (containedModule instanceof TransitioningProtocolModule) {
43
+ containedModule.name = moduleName;
44
+ }
24
45
  super.decorateModule(moduleName, containedModule);
25
46
  }
26
47
  get dependencyContainer() {
27
48
  return this.container;
28
49
  }
29
50
  isModule(moduleName) {
30
- return this.definition.modules[moduleName] !== undefined;
51
+ return this.definition[moduleName] !== undefined;
31
52
  }
32
53
  get blockProver() {
33
54
  // Why do I resolve directly here?
@@ -37,14 +58,63 @@ export class Protocol extends ModuleContainer {
37
58
  get stateTransitionProver() {
38
59
  return this.container.resolve("StateTransitionProver");
39
60
  }
40
- }
41
- export const VanillaProtocol = {
42
- create() {
43
- return Protocol.from({
44
- modules: {
45
- StateTransitionProver,
46
- BlockProver,
47
- },
61
+ getAreProofsEnabled() {
62
+ return this.container.resolve("AreProofsEnabled");
63
+ }
64
+ create(childContainerProvider) {
65
+ super.create(childContainerProvider);
66
+ // Register the BlockModules seperately since we need to
67
+ // inject them differently later
68
+ const ABSTRACT_MODULE_TYPES = [
69
+ { type: ProvableTransactionHook, defaultType: NoopTransactionHook },
70
+ { type: ProvableBlockHook, defaultType: NoopBlockHook },
71
+ { type: ProvableSettlementHook, defaultType: NoopSettlementHook },
72
+ ];
73
+ ABSTRACT_MODULE_TYPES.forEach((moduleTypeRegistration) => {
74
+ const abstractType = moduleTypeRegistration.type;
75
+ const implementingModules = Object.entries(this.definition).filter(([, value]) => Object.prototype.isPrototypeOf.call(abstractType, value));
76
+ const newInjectionToken = PROTOCOL_INJECTION_TOKENS[abstractType.name];
77
+ if (newInjectionToken === undefined) {
78
+ log.error("Can't inject hook under the underlying hook token: Alias not found in mapping");
79
+ return;
80
+ }
81
+ implementingModules.forEach(([key]) => {
82
+ this.container.register(newInjectionToken, { useToken: key }, { lifecycle: Lifecycle.ContainerScoped });
83
+ });
84
+ if (implementingModules.length === 0) {
85
+ // This type annotation shouldn't change anything but is necessary
86
+ // bcs tsyringe complains
87
+ const { defaultType } = moduleTypeRegistration;
88
+ // Register default (noop) version
89
+ this.container.register(newInjectionToken, { useClass: defaultType }, { lifecycle: Lifecycle.ContainerScoped });
90
+ }
48
91
  });
49
- },
50
- };
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
+ }
109
+ }
110
+ async start() {
111
+ // eslint-disable-next-line guard-for-in
112
+ for (const moduleName in this.definition) {
113
+ const protocolModule = this.resolve(moduleName);
114
+ log.info(`Starting protocol module ${moduleName} (${protocolModule.constructor.name})`);
115
+ // eslint-disable-next-line no-await-in-loop
116
+ await protocolModule.start();
117
+ }
118
+ }
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;AAoBF,MAAM,OAAO,QAGX,SAAQ,eAAwB;IAGzB,MAAM,CAAC,IAAI,CAEhB,OAAgB;QAChB,OAAO,MAAM,cAAe,SAAQ,QAAiB;YACnD;gBACE,KAAK,CAAC,OAAO,CAAC,CAAC;YACjB,CAAC;SACF,CAAC;IACJ,CAAC;IAMD,YAAmB,UAAmB;QACpC,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,MAAM,GAAG,IAAI,CAAC;QAE9B,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,UAAU,CAAC,KAAK,SAAS,CAAC;IACnD,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,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CACxE,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,EAAE;YACxC,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"}
@@ -0,0 +1,9 @@
1
+ import { AreProofsEnabled } from "@proto-kit/common";
2
+ import { SimpleAsyncStateService } from "../state/StateService";
3
+ import { StateServiceProvider } from "../state/StateServiceProvider";
4
+ export interface ProtocolEnvironment {
5
+ get stateService(): SimpleAsyncStateService;
6
+ get stateServiceProvider(): StateServiceProvider;
7
+ getAreProofsEnabled(): AreProofsEnabled;
8
+ }
9
+ //# sourceMappingURL=ProtocolEnvironment.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ProtocolEnvironment.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolEnvironment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE,MAAM,WAAW,mBAAmB;IAClC,IAAI,YAAY,IAAI,uBAAuB,CAAC;IAC5C,IAAI,oBAAoB,IAAI,oBAAoB,CAAC;IACjD,mBAAmB,IAAI,gBAAgB,CAAC;CACzC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=ProtocolEnvironment.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ProtocolEnvironment.js","sourceRoot":"","sources":["../../src/protocol/ProtocolEnvironment.ts"],"names":[],"mappings":""}
@@ -1,9 +1,9 @@
1
- import { AreProofsEnabled, Configurable, ZkProgrammable } from "@proto-kit/common";
2
- import type { Protocol, ProtocolModulesRecord } from "./Protocol";
3
- export declare abstract class ProtocolModule<PublicInput, PublicOutput> extends ZkProgrammable<PublicInput, PublicOutput> implements Configurable<unknown> {
4
- config: {};
5
- protocol?: Protocol<ProtocolModulesRecord>;
6
- get appChain(): AreProofsEnabled | undefined;
7
- constructor();
1
+ import { AreProofsEnabled, ChildContainerProvider, ConfigurableModule, NoConfig } from "@proto-kit/common";
2
+ import { ProtocolEnvironment } from "./ProtocolEnvironment";
3
+ export declare abstract class ProtocolModule<Config = NoConfig> extends ConfigurableModule<Config> {
4
+ parent?: ProtocolEnvironment;
5
+ get areProofsEnabled(): AreProofsEnabled | undefined;
6
+ create(childContainerProvider: ChildContainerProvider): void;
7
+ start(): Promise<void>;
8
8
  }
9
9
  //# sourceMappingURL=ProtocolModule.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"ProtocolModule.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,QAAQ,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAGlE,8BAAsB,cAAc,CAAC,WAAW,EAAE,YAAY,CAC5D,SAAQ,cAAc,CAAC,WAAW,EAAE,YAAY,CAChD,YAAW,YAAY,CAAC,OAAO,CAAC;IAEzB,MAAM,KAAM;IAEZ,QAAQ,CAAC,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAElD,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAIlD;;CAKF"}
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,MAAM,CAAC,EAAE,mBAAmB,CAAC;IAEpC,IAAW,gBAAgB,IAAI,gBAAgB,GAAG,SAAS,CAE1D;IAEM,MAAM,CAAC,sBAAsB,EAAE,sBAAsB,GAAG,IAAI;IAItD,KAAK;CAGnB"}