@proto-kit/protocol 0.1.1-develop.600 → 0.1.1-develop.833

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 (285) hide show
  1. package/LICENSE.md +201 -201
  2. package/dist/blockmodules/AccountStateModule.d.ts +37 -37
  3. package/dist/blockmodules/AccountStateModule.js +43 -43
  4. package/dist/blockmodules/BlockHeightHook.d.ts +6 -6
  5. package/dist/blockmodules/BlockHeightHook.js +15 -15
  6. package/dist/blockmodules/LastStateRootBlockHook.d.ts +7 -7
  7. package/dist/blockmodules/LastStateRootBlockHook.js +15 -15
  8. package/dist/blockmodules/NoopBlockHook.d.ts +8 -8
  9. package/dist/blockmodules/NoopBlockHook.js +9 -9
  10. package/dist/blockmodules/NoopSettlementHook.d.ts +5 -5
  11. package/dist/blockmodules/NoopSettlementHook.d.ts.map +1 -1
  12. package/dist/blockmodules/NoopSettlementHook.js +18 -18
  13. package/dist/blockmodules/NoopTransactionHook.d.ts +5 -5
  14. package/dist/blockmodules/NoopTransactionHook.js +4 -4
  15. package/dist/hooks/AccountStateHook.d.ts +19 -5
  16. package/dist/hooks/AccountStateHook.d.ts.map +1 -1
  17. package/dist/hooks/AccountStateHook.js +15 -9
  18. package/dist/hooks/BlockHeightHook.d.ts +3 -3
  19. package/dist/hooks/BlockHeightHook.d.ts.map +1 -1
  20. package/dist/hooks/BlockHeightHook.js +5 -4
  21. package/dist/hooks/LastStateRootBlockHook.d.ts +8 -0
  22. package/dist/hooks/LastStateRootBlockHook.d.ts.map +1 -0
  23. package/dist/hooks/LastStateRootBlockHook.js +15 -0
  24. package/dist/hooks/NoopBlockHook.d.ts +6 -4
  25. package/dist/hooks/NoopBlockHook.d.ts.map +1 -1
  26. package/dist/hooks/NoopBlockHook.js +4 -4
  27. package/dist/hooks/NoopSettlementHook.d.ts +6 -0
  28. package/dist/hooks/NoopSettlementHook.d.ts.map +1 -0
  29. package/dist/hooks/NoopSettlementHook.js +17 -0
  30. package/dist/hooks/NoopTransactionHook.d.ts +1 -1
  31. package/dist/hooks/NoopTransactionHook.d.ts.map +1 -1
  32. package/dist/hooks/NoopTransactionHook.js +4 -1
  33. package/dist/index.d.ts +18 -8
  34. package/dist/index.d.ts.map +1 -1
  35. package/dist/index.js +18 -8
  36. package/dist/model/MethodPublicOutput.d.ts +68 -34
  37. package/dist/model/MethodPublicOutput.d.ts.map +1 -1
  38. package/dist/model/Option.d.ts +39 -19
  39. package/dist/model/Option.d.ts.map +1 -1
  40. package/dist/model/Option.js +6 -0
  41. package/dist/model/Path.d.ts +1 -1
  42. package/dist/model/Path.d.ts.map +1 -1
  43. package/dist/model/Path.js +0 -2
  44. package/dist/model/RuntimeLike.d.ts +11 -0
  45. package/dist/model/RuntimeLike.d.ts.map +1 -0
  46. package/dist/model/RuntimeLike.js +1 -0
  47. package/dist/model/StateTransition.d.ts +51 -14
  48. package/dist/model/StateTransition.d.ts.map +1 -1
  49. package/dist/model/StateTransition.js +3 -0
  50. package/dist/model/StateTransitionProvableBatch.d.ts +71 -14
  51. package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
  52. package/dist/model/StateTransitionReduction.d.ts +3 -0
  53. package/dist/model/StateTransitionReduction.d.ts.map +1 -0
  54. package/dist/model/StateTransitionReduction.js +26 -0
  55. package/dist/model/network/NetworkState.d.ts +73 -18
  56. package/dist/model/network/NetworkState.d.ts.map +1 -1
  57. package/dist/model/network/NetworkState.js +2 -2
  58. package/dist/model/transaction/ProtocolTransaction.d.ts +69 -69
  59. package/dist/model/transaction/ProtocolTransaction.js +18 -18
  60. package/dist/model/transaction/RuntimeTransaction.d.ts +50 -16
  61. package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
  62. package/dist/model/transaction/RuntimeTransaction.js +4 -4
  63. package/dist/model/transaction/SignedTransaction.d.ts +39 -3
  64. package/dist/model/transaction/SignedTransaction.d.ts.map +1 -1
  65. package/dist/model/transaction/SignedTransaction.js +1 -1
  66. package/dist/model/transaction/ValueOption.d.ts +86 -32
  67. package/dist/model/transaction/ValueOption.d.ts.map +1 -1
  68. package/dist/model/transaction/ValueOption.js +1 -1
  69. package/dist/protocol/Protocol.d.ts +14 -20
  70. package/dist/protocol/Protocol.d.ts.map +1 -1
  71. package/dist/protocol/Protocol.js +13 -27
  72. package/dist/protocol/ProtocolEnvironment.d.ts +3 -3
  73. package/dist/protocol/ProtocolEnvironment.d.ts.map +1 -1
  74. package/dist/protocol/ProtocolModule.d.ts +1 -0
  75. package/dist/protocol/ProtocolModule.d.ts.map +1 -1
  76. package/dist/protocol/ProtocolModule.js +4 -2
  77. package/dist/protocol/ProvableBlockHook.d.ts +2 -2
  78. package/dist/protocol/ProvableBlockHook.d.ts.map +1 -1
  79. package/dist/protocol/ProvableTransactionHook.d.ts +1 -1
  80. package/dist/protocol/ProvableTransactionHook.d.ts.map +1 -1
  81. package/dist/prover/block/BlockProvable.d.ts +240 -98
  82. package/dist/prover/block/BlockProvable.d.ts.map +1 -1
  83. package/dist/prover/block/BlockProver.d.ts +8 -8
  84. package/dist/prover/block/BlockProver.d.ts.map +1 -1
  85. package/dist/prover/block/BlockProver.js +55 -45
  86. package/dist/prover/block/BlockTransactionPosition.d.ts +35 -35
  87. package/dist/prover/block/BlockTransactionPosition.js +25 -25
  88. package/dist/prover/block/BundleTransactionPosition.d.ts +36 -0
  89. package/dist/prover/block/BundleTransactionPosition.d.ts.map +1 -0
  90. package/dist/prover/block/BundleTransactionPosition.js +25 -0
  91. package/dist/prover/block/SplitPrefilledStateService.d.ts +11 -0
  92. package/dist/prover/block/SplitPrefilledStateService.d.ts.map +1 -0
  93. package/dist/prover/block/SplitPrefilledStateService.js +1 -0
  94. package/dist/prover/block/SplitStateService.d.ts +11 -0
  95. package/dist/prover/block/SplitStateService.d.ts.map +1 -0
  96. package/dist/prover/block/SplitStateService.js +1 -0
  97. package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts +35 -16
  98. package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts.map +1 -1
  99. package/dist/prover/block/accummulators/BlockHashMerkleTree.js +1 -1
  100. package/dist/prover/block/acummulators/BlockHashMerkleTree.d.ts +45 -0
  101. package/dist/prover/block/acummulators/BlockHashMerkleTree.d.ts.map +1 -0
  102. package/dist/prover/block/acummulators/BlockHashMerkleTree.js +16 -0
  103. package/dist/prover/statetransition/StateTransitionProvable.d.ts +116 -58
  104. package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
  105. package/dist/prover/statetransition/StateTransitionProver.d.ts +10 -9
  106. package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
  107. package/dist/prover/statetransition/StateTransitionProver.js +18 -22
  108. package/dist/prover/statetransition/StateTransitionWitnessProvider.js +1 -2
  109. package/dist/prover/statetransition/StateTransitionWitnessProviderReference.js +1 -2
  110. package/dist/settlement/ContractModule.d.ts +15 -0
  111. package/dist/settlement/ContractModule.d.ts.map +1 -0
  112. package/dist/settlement/ContractModule.js +11 -0
  113. package/dist/settlement/DispatchContract.d.ts +20 -0
  114. package/dist/settlement/DispatchContract.d.ts.map +1 -0
  115. package/dist/settlement/DispatchContract.js +112 -0
  116. package/dist/settlement/OutgoingMessageArgument.d.ts +109 -0
  117. package/dist/settlement/OutgoingMessageArgument.d.ts.map +1 -0
  118. package/dist/settlement/OutgoingMessageArgument.js +32 -0
  119. package/dist/settlement/ProvableSettlementHook.d.ts +25 -25
  120. package/dist/settlement/ProvableSettlementHook.js +3 -3
  121. package/dist/settlement/SettlementContract.d.ts +229 -229
  122. package/dist/settlement/SettlementContract.js +346 -346
  123. package/dist/settlement/SettlementContractModule.d.ts +40 -0
  124. package/dist/settlement/SettlementContractModule.d.ts.map +1 -0
  125. package/dist/settlement/SettlementContractModule.js +71 -0
  126. package/dist/settlement/contracts/DispatchContract.d.ts +21 -0
  127. package/dist/settlement/contracts/DispatchContract.d.ts.map +1 -0
  128. package/dist/settlement/contracts/DispatchContract.js +111 -0
  129. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +12 -0
  130. package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -0
  131. package/dist/{hooks/TransactionFeeHook.js → settlement/contracts/DispatchContractProtocolModule.js} +17 -21
  132. package/dist/settlement/contracts/DispatchSmartContract.d.ts +22 -0
  133. package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -0
  134. package/dist/settlement/contracts/DispatchSmartContract.js +110 -0
  135. package/dist/settlement/contracts/SettlementContract.d.ts +19 -0
  136. package/dist/settlement/contracts/SettlementContract.d.ts.map +1 -0
  137. package/dist/settlement/contracts/SettlementContract.js +43 -0
  138. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts +19 -0
  139. package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map +1 -0
  140. package/dist/settlement/contracts/SettlementContractProtocolModule.js +44 -0
  141. package/dist/settlement/contracts/SettlementSmartContract.d.ts +42 -0
  142. package/dist/settlement/contracts/SettlementSmartContract.d.ts.map +1 -0
  143. package/dist/settlement/contracts/SettlementSmartContract.js +246 -0
  144. package/dist/settlement/messages/Deposit.d.ts +64 -0
  145. package/dist/settlement/messages/Deposit.d.ts.map +1 -0
  146. package/dist/settlement/messages/Deposit.js +6 -0
  147. package/dist/settlement/messages/OutgoingMessageArgument.d.ts +189 -0
  148. package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -0
  149. package/dist/settlement/messages/OutgoingMessageArgument.js +32 -0
  150. package/dist/settlement/messages/Withdrawal.d.ts +65 -0
  151. package/dist/settlement/messages/Withdrawal.d.ts.map +1 -0
  152. package/dist/settlement/messages/Withdrawal.js +13 -0
  153. package/dist/settlement/modularity/ProvableSettlementHook.d.ts +24 -0
  154. package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map +1 -0
  155. package/dist/settlement/modularity/ProvableSettlementHook.js +3 -0
  156. package/dist/settlement/modules/NetworkStateSettlementModule.d.ts +3 -3
  157. package/dist/settlement/modules/NetworkStateSettlementModule.d.ts.map +1 -1
  158. package/dist/settlement/modules/NetworkStateSettlementModule.js +4 -2
  159. package/dist/state/State.d.ts +4 -3
  160. package/dist/state/State.d.ts.map +1 -1
  161. package/dist/state/State.js +18 -12
  162. package/dist/state/StateMap.d.ts +3 -3
  163. package/dist/state/StateMap.d.ts.map +1 -1
  164. package/dist/state/StateMap.js +4 -5
  165. package/dist/state/StateService.d.ts +3 -3
  166. package/dist/state/StateService.d.ts.map +1 -1
  167. package/dist/state/StateServiceProvider.d.ts +3 -3
  168. package/dist/state/StateServiceProvider.d.ts.map +1 -1
  169. package/dist/state/StateServiceProvider.js +1 -3
  170. package/dist/state/assert/assert.d.ts +1 -1
  171. package/dist/state/assert/assert.d.ts.map +1 -1
  172. package/dist/state/assert/assert.js +11 -5
  173. package/dist/state/context/ProtocolMethodExecutionContext.d.ts +1 -1
  174. package/dist/state/context/ProtocolMethodExecutionContext.d.ts.map +1 -1
  175. package/dist/state/context/ProtocolMethodExecutionContext.js +1 -1
  176. package/dist/state/context/RuntimeMethodExecutionContext.d.ts +55 -4
  177. package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map +1 -1
  178. package/dist/state/context/RuntimeMethodExecutionContext.js +6 -6
  179. package/dist/state/context/TransitionMethodExecutionContext.d.ts.map +1 -1
  180. package/dist/state/context/TransitionMethodExecutionContext.js +0 -1
  181. package/dist/state/context/contextExecution.d.ts +14 -0
  182. package/dist/state/context/contextExecution.d.ts.map +1 -0
  183. package/dist/state/context/contextExecution.js +30 -0
  184. package/dist/state/protocol/ProtocolState.d.ts.map +1 -1
  185. package/dist/state/protocol/ProtocolState.js +0 -3
  186. package/dist/utils/AppliedBatchHashList.d.ts +17 -0
  187. package/dist/utils/AppliedBatchHashList.d.ts.map +1 -0
  188. package/dist/utils/AppliedBatchHashList.js +24 -0
  189. package/dist/utils/MinaPrefixedProvableHashList.d.ts +2 -2
  190. package/dist/utils/MinaPrefixedProvableHashList.d.ts.map +1 -1
  191. package/dist/utils/MinaPrefixedProvableHashList.js +1 -0
  192. package/dist/utils/PrefixedProvableHashList.d.ts +2 -2
  193. package/dist/utils/PrefixedProvableHashList.d.ts.map +1 -1
  194. package/dist/utils/ProvableHashList.d.ts +4 -4
  195. package/dist/utils/ProvableHashList.d.ts.map +1 -1
  196. package/dist/utils/ProvableReductionHashList.d.ts +14 -0
  197. package/dist/utils/ProvableReductionHashList.d.ts.map +1 -0
  198. package/dist/utils/ProvableReductionHashList.js +50 -0
  199. package/dist/utils/StateTransitionReductionList.d.ts +11 -0
  200. package/dist/utils/StateTransitionReductionList.d.ts.map +1 -0
  201. package/dist/utils/StateTransitionReductionList.js +60 -0
  202. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts +11 -0
  203. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map +1 -0
  204. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js +12 -0
  205. package/dist/utils/merkletree/MerkleTreeStore.d.ts +5 -0
  206. package/dist/utils/merkletree/MerkleTreeStore.d.ts.map +1 -0
  207. package/dist/utils/merkletree/MerkleTreeStore.js +1 -0
  208. package/dist/utils/merkletree/RollupMerkleTree.d.ts +133 -0
  209. package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +1 -0
  210. package/dist/utils/merkletree/RollupMerkleTree.js +255 -0
  211. package/dist/utils/utils.d.ts +1 -1
  212. package/dist/utils/utils.d.ts.map +1 -1
  213. package/dist/utils/utils.js +5 -10
  214. package/package.json +5 -5
  215. package/src/{blockmodules/AccountStateModule.ts → hooks/AccountStateHook.ts} +13 -9
  216. package/src/{blockmodules → hooks}/BlockHeightHook.ts +3 -4
  217. package/src/{blockmodules → hooks}/LastStateRootBlockHook.ts +4 -4
  218. package/src/{blockmodules → hooks}/NoopBlockHook.ts +6 -5
  219. package/src/{blockmodules → hooks}/NoopSettlementHook.ts +3 -4
  220. package/src/{blockmodules → hooks}/NoopTransactionHook.ts +5 -1
  221. package/src/index.ts +18 -8
  222. package/src/model/MethodPublicOutput.ts +2 -2
  223. package/src/model/Option.ts +21 -1
  224. package/src/model/Path.ts +1 -3
  225. package/src/model/RuntimeLike.ts +12 -0
  226. package/src/model/StateTransition.ts +9 -1
  227. package/src/model/Transaction.ts +2 -0
  228. package/src/model/network/NetworkState.ts +2 -2
  229. package/src/model/transaction/RuntimeTransaction.ts +5 -12
  230. package/src/model/transaction/SignedTransaction.ts +1 -8
  231. package/src/model/transaction/ValueOption.ts +1 -1
  232. package/src/protocol/Protocol.ts +34 -48
  233. package/src/protocol/ProtocolEnvironment.ts +7 -6
  234. package/src/protocol/ProtocolModule.ts +8 -4
  235. package/src/protocol/ProvableBlockHook.ts +3 -3
  236. package/src/protocol/ProvableTransactionHook.ts +4 -2
  237. package/src/protocol/TransitioningProtocolModule.ts +1 -1
  238. package/src/prover/block/BlockProvable.ts +3 -3
  239. package/src/prover/block/BlockProver.ts +98 -63
  240. package/src/prover/block/accummulators/BlockHashMerkleTree.ts +2 -2
  241. package/src/prover/statetransition/StateTransitionProvable.ts +3 -3
  242. package/src/prover/statetransition/StateTransitionProver.ts +26 -28
  243. package/src/settlement/ContractModule.ts +24 -0
  244. package/src/settlement/SettlementContractModule.ts +132 -0
  245. package/src/settlement/contracts/DispatchContractProtocolModule.ts +39 -0
  246. package/src/settlement/contracts/DispatchSmartContract.ts +136 -0
  247. package/src/settlement/contracts/SettlementContractProtocolModule.ts +67 -0
  248. package/src/settlement/contracts/SettlementSmartContract.ts +350 -0
  249. package/src/settlement/messages/Deposit.ts +6 -0
  250. package/src/settlement/messages/OutgoingMessageArgument.ts +42 -0
  251. package/src/settlement/messages/Withdrawal.ts +14 -0
  252. package/src/settlement/{ProvableSettlementHook.ts → modularity/ProvableSettlementHook.ts} +9 -13
  253. package/src/settlement/modules/NetworkStateSettlementModule.ts +8 -5
  254. package/src/state/State.ts +21 -13
  255. package/src/state/StateMap.ts +4 -5
  256. package/src/state/StateService.ts +3 -3
  257. package/src/state/StateServiceProvider.ts +6 -7
  258. package/src/state/assert/assert.ts +13 -7
  259. package/src/state/context/RuntimeMethodExecutionContext.ts +13 -7
  260. package/src/state/context/TransitionMethodExecutionContext.ts +0 -1
  261. package/src/state/protocol/ProtocolState.ts +1 -4
  262. package/src/utils/MinaPrefixedProvableHashList.ts +4 -3
  263. package/src/utils/PrefixedProvableHashList.ts +2 -2
  264. package/src/utils/ProvableHashList.ts +2 -2
  265. package/src/utils/ProvableReductionHashList.ts +68 -0
  266. package/src/utils/StateTransitionReductionList.ts +89 -0
  267. package/src/utils/utils.ts +4 -9
  268. package/test/BlockProver.test.ts +110 -128
  269. package/test/Protocol.test.ts +14 -21
  270. package/test/State.test.ts +8 -8
  271. package/test/StateTransition.test.ts +56 -66
  272. package/test/TestingProtocol.ts +48 -0
  273. package/test/model/Option.test.ts +72 -0
  274. package/{src → test}/state/assert/assert.test.ts +4 -4
  275. package/test/tsconfig.json +7 -0
  276. package/test/utils/ProvableReductionHashList.test.ts +117 -0
  277. package/test/utils.test.ts +0 -3
  278. package/dist/hooks/TransactionFeeHook.d.ts +0 -16
  279. package/dist/hooks/TransactionFeeHook.d.ts.map +0 -1
  280. package/src/blockmodules/SequenceStateTransactionModule.ts +0 -25
  281. package/src/model/Option.test.ts +0 -21
  282. package/src/settlement/SettlementContract.ts +0 -444
  283. package/src/state/context/ProtocolMethodExecutionContext.ts +0 -36
  284. package/test/Option.test.ts +0 -64
  285. package/tsconfig.test.json +0 -9
@@ -6,47 +6,78 @@ import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
6
6
  import { NetworkState } from "../../model/network/NetworkState";
7
7
  import { BlockHashMerkleTreeWitness } from "./accummulators/BlockHashMerkleTree";
8
8
  declare const BlockProverPublicInput_base: (new (value: {
9
- transactionsHash: import("o1js/dist/node/lib/field").Field;
10
- stateRoot: import("o1js/dist/node/lib/field").Field;
11
- networkStateHash: import("o1js/dist/node/lib/field").Field;
12
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
13
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
14
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
9
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
10
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
11
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
12
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
13
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
14
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
15
15
  }) => {
16
- transactionsHash: import("o1js/dist/node/lib/field").Field;
17
- stateRoot: import("o1js/dist/node/lib/field").Field;
18
- networkStateHash: import("o1js/dist/node/lib/field").Field;
19
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
20
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
21
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
16
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
17
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
18
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
19
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
20
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
21
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
22
22
  }) & {
23
23
  _isStruct: true;
24
- } & import("o1js/dist/node/snarky").ProvablePure<{
25
- transactionsHash: import("o1js/dist/node/lib/field").Field;
26
- stateRoot: import("o1js/dist/node/lib/field").Field;
27
- networkStateHash: import("o1js/dist/node/lib/field").Field;
28
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
29
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
30
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
31
- }> & {
24
+ } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
25
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
26
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
27
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
28
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
29
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
30
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
31
+ }, {
32
+ transactionsHash: bigint;
33
+ stateRoot: bigint;
34
+ networkStateHash: bigint;
35
+ blockHashRoot: bigint;
36
+ eternalTransactionsHash: bigint;
37
+ incomingMessagesHash: bigint;
38
+ }>, "fromFields"> & {
39
+ fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
40
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
41
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
42
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
43
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
44
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
45
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
46
+ };
47
+ } & {
48
+ fromValue: (value: {
49
+ transactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
50
+ stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
51
+ networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
52
+ blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
53
+ eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
54
+ incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
55
+ }) => {
56
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
57
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
58
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
59
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
60
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
61
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
62
+ };
32
63
  toInput: (x: {
33
- transactionsHash: import("o1js/dist/node/lib/field").Field;
34
- stateRoot: import("o1js/dist/node/lib/field").Field;
35
- networkStateHash: import("o1js/dist/node/lib/field").Field;
36
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
37
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
38
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
64
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
65
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
66
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
67
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
68
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
69
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
39
70
  }) => {
40
- fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
41
- packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
71
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
72
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
42
73
  };
43
74
  toJSON: (x: {
44
- transactionsHash: import("o1js/dist/node/lib/field").Field;
45
- stateRoot: import("o1js/dist/node/lib/field").Field;
46
- networkStateHash: import("o1js/dist/node/lib/field").Field;
47
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
48
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
49
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
75
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
76
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
77
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
78
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
79
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
80
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
50
81
  }) => {
51
82
  transactionsHash: string;
52
83
  stateRoot: string;
@@ -63,68 +94,115 @@ declare const BlockProverPublicInput_base: (new (value: {
63
94
  eternalTransactionsHash: string;
64
95
  incomingMessagesHash: string;
65
96
  }) => {
66
- transactionsHash: import("o1js/dist/node/lib/field").Field;
67
- stateRoot: import("o1js/dist/node/lib/field").Field;
68
- networkStateHash: import("o1js/dist/node/lib/field").Field;
69
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
70
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
71
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
97
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
98
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
99
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
100
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
101
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
102
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
103
+ };
104
+ empty: () => {
105
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
106
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
107
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
108
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
109
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
110
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
72
111
  };
73
112
  };
74
113
  export declare class BlockProverPublicInput extends BlockProverPublicInput_base {
75
114
  }
76
115
  declare const BlockProverPublicOutput_base: (new (value: {
77
- transactionsHash: import("o1js/dist/node/lib/field").Field;
78
- stateRoot: import("o1js/dist/node/lib/field").Field;
79
- networkStateHash: import("o1js/dist/node/lib/field").Field;
80
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
81
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
82
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
83
- closed: import("o1js/dist/node/lib/bool").Bool;
84
- blockNumber: import("o1js/dist/node/lib/field").Field;
116
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
117
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
118
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
119
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
120
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
121
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
122
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
123
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
85
124
  }) => {
86
- transactionsHash: import("o1js/dist/node/lib/field").Field;
87
- stateRoot: import("o1js/dist/node/lib/field").Field;
88
- networkStateHash: import("o1js/dist/node/lib/field").Field;
89
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
90
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
91
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
92
- closed: import("o1js/dist/node/lib/bool").Bool;
93
- blockNumber: import("o1js/dist/node/lib/field").Field;
125
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
126
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
127
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
128
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
129
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
130
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
131
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
132
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
94
133
  }) & {
95
134
  _isStruct: true;
96
- } & import("o1js/dist/node/snarky").ProvablePure<{
97
- transactionsHash: import("o1js/dist/node/lib/field").Field;
98
- stateRoot: import("o1js/dist/node/lib/field").Field;
99
- networkStateHash: import("o1js/dist/node/lib/field").Field;
100
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
101
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
102
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
103
- closed: import("o1js/dist/node/lib/bool").Bool;
104
- blockNumber: import("o1js/dist/node/lib/field").Field;
105
- }> & {
135
+ } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
136
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
137
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
138
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
139
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
140
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
141
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
142
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
143
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
144
+ }, {
145
+ transactionsHash: bigint;
146
+ stateRoot: bigint;
147
+ networkStateHash: bigint;
148
+ blockHashRoot: bigint;
149
+ eternalTransactionsHash: bigint;
150
+ incomingMessagesHash: bigint;
151
+ closed: boolean;
152
+ blockNumber: bigint;
153
+ }>, "fromFields"> & {
154
+ fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
155
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
156
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
157
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
158
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
159
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
160
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
161
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
162
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
163
+ };
164
+ } & {
165
+ fromValue: (value: {
166
+ transactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
167
+ stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
168
+ networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
169
+ blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
170
+ eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
171
+ incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
172
+ closed: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
173
+ blockNumber: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
174
+ }) => {
175
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
176
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
177
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
178
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
179
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
180
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
181
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
182
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
183
+ };
106
184
  toInput: (x: {
107
- transactionsHash: import("o1js/dist/node/lib/field").Field;
108
- stateRoot: import("o1js/dist/node/lib/field").Field;
109
- networkStateHash: import("o1js/dist/node/lib/field").Field;
110
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
111
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
112
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
113
- closed: import("o1js/dist/node/lib/bool").Bool;
114
- blockNumber: import("o1js/dist/node/lib/field").Field;
185
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
186
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
187
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
188
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
189
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
190
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
191
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
192
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
115
193
  }) => {
116
- fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
117
- packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
194
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
195
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
118
196
  };
119
197
  toJSON: (x: {
120
- transactionsHash: import("o1js/dist/node/lib/field").Field;
121
- stateRoot: import("o1js/dist/node/lib/field").Field;
122
- networkStateHash: import("o1js/dist/node/lib/field").Field;
123
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
124
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
125
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
126
- closed: import("o1js/dist/node/lib/bool").Bool;
127
- blockNumber: import("o1js/dist/node/lib/field").Field;
198
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
199
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
200
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
201
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
202
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
203
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
204
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
205
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
128
206
  }) => {
129
207
  transactionsHash: string;
130
208
  stateRoot: string;
@@ -145,14 +223,24 @@ declare const BlockProverPublicOutput_base: (new (value: {
145
223
  closed: boolean;
146
224
  blockNumber: string;
147
225
  }) => {
148
- transactionsHash: import("o1js/dist/node/lib/field").Field;
149
- stateRoot: import("o1js/dist/node/lib/field").Field;
150
- networkStateHash: import("o1js/dist/node/lib/field").Field;
151
- blockHashRoot: import("o1js/dist/node/lib/field").Field;
152
- eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
153
- incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
154
- closed: import("o1js/dist/node/lib/bool").Bool;
155
- blockNumber: import("o1js/dist/node/lib/field").Field;
226
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
227
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
228
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
229
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
230
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
231
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
232
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
233
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
234
+ };
235
+ empty: () => {
236
+ transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
237
+ stateRoot: import("o1js/dist/node/lib/provable/field").Field;
238
+ networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
239
+ blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
240
+ eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
241
+ incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
242
+ closed: import("o1js/dist/node/lib/provable/bool").Bool;
243
+ blockNumber: import("o1js/dist/node/lib/provable/field").Field;
156
244
  };
157
245
  };
158
246
  export declare class BlockProverPublicOutput extends BlockProverPublicOutput_base {
@@ -169,18 +257,67 @@ declare const BlockProverExecutionData_base: (new (value: {
169
257
  networkState: NetworkState;
170
258
  }) & {
171
259
  _isStruct: true;
172
- } & import("o1js/dist/node/lib/provable").Provable<{
260
+ } & import("o1js/dist/node/lib/provable/provable").Provable<{
173
261
  transaction: RuntimeTransaction;
174
262
  signature: Signature;
175
263
  networkState: NetworkState;
264
+ }, {
265
+ transaction: {
266
+ methodId: bigint;
267
+ argsHash: bigint;
268
+ nonce: {
269
+ isSome: boolean;
270
+ value: any;
271
+ };
272
+ sender: {
273
+ isSome: boolean;
274
+ value: any;
275
+ };
276
+ };
277
+ signature: any;
278
+ networkState: {
279
+ block: {
280
+ height: bigint;
281
+ };
282
+ previous: {
283
+ rootHash: bigint;
284
+ };
285
+ };
176
286
  }> & {
287
+ fromValue: (value: {
288
+ transaction: RuntimeTransaction | {
289
+ methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
290
+ argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
291
+ nonce: import("../..").UInt64Option | {
292
+ isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
293
+ value: any;
294
+ };
295
+ sender: import("../..").PublicKeyOption | {
296
+ isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
297
+ value: any;
298
+ };
299
+ };
300
+ signature: any;
301
+ networkState: NetworkState | {
302
+ block: import("../../model/network/NetworkState").CurrentBlock | {
303
+ height: bigint | import("o1js/dist/node/lib/provable/int").UInt64;
304
+ };
305
+ previous: import("../../model/network/NetworkState").PreviousBlock | {
306
+ rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
307
+ };
308
+ };
309
+ }) => {
310
+ transaction: RuntimeTransaction;
311
+ signature: Signature;
312
+ networkState: NetworkState;
313
+ };
177
314
  toInput: (x: {
178
315
  transaction: RuntimeTransaction;
179
316
  signature: Signature;
180
317
  networkState: NetworkState;
181
318
  }) => {
182
- fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
183
- packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
319
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
320
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
184
321
  };
185
322
  toJSON: (x: {
186
323
  transaction: RuntimeTransaction;
@@ -236,13 +373,18 @@ declare const BlockProverExecutionData_base: (new (value: {
236
373
  signature: Signature;
237
374
  networkState: NetworkState;
238
375
  };
376
+ empty: () => {
377
+ transaction: RuntimeTransaction;
378
+ signature: Signature;
379
+ networkState: NetworkState;
380
+ };
239
381
  };
240
382
  export declare class BlockProverExecutionData extends BlockProverExecutionData_base {
241
383
  }
242
384
  export interface BlockProvable extends WithZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput> {
243
- proveTransaction: (publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData) => BlockProverPublicOutput;
244
- proveBlock: (publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof) => BlockProverPublicOutput;
245
- merge: (publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => BlockProverPublicOutput;
385
+ proveTransaction: (publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData) => Promise<BlockProverPublicOutput>;
386
+ proveBlock: (publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof) => Promise<BlockProverPublicOutput>;
387
+ merge: (publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => Promise<BlockProverPublicOutput>;
246
388
  }
247
389
  export {};
248
390
  //# sourceMappingURL=BlockProvable.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAU,MAAM,MAAM,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEjF,qBAAa,sBAAuB,SAAQ,2BAO1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAS3C;IACO,MAAM,CACX,KAAK,EAAE,sBAAsB,EAC7B,MAAM,EAAE,IAAI,EACZ,WAAW,EAAE,KAAK,GACjB,IAAI;CAWR;AAED,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,wBAAyB,SAAQ,6BAI5C;CAAG;AAEL,MAAM,WAAW,aACf,SAAQ,kBAAkB,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IAC3E,gBAAgB,EAAE,CAChB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,KACpC,uBAAuB,CAAC;IAE7B,UAAU,EAAE,CACV,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,KAC/B,uBAAuB,CAAC;IAE7B,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,uBAAuB,CAAC;CAC9B"}
1
+ {"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAU,MAAM,MAAM,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEjF,qBAAa,sBAAuB,SAAQ,2BAO1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAS3C;IACO,MAAM,CACX,KAAK,EAAE,sBAAsB,EAC7B,MAAM,EAAE,IAAI,EACZ,WAAW,EAAE,KAAK,GACjB,IAAI;CAWR;AAED,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,wBAAyB,SAAQ,6BAI5C;CAAG;AAEL,MAAM,WAAW,aACf,SAAQ,kBAAkB,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IAC3E,gBAAgB,EAAE,CAChB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,KACpC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEtC,UAAU,EAAE,CACV,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,KAC/B,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEtC,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,OAAO,CAAC,uBAAuB,CAAC,CAAC;CACvC"}
@@ -56,14 +56,14 @@ export declare class BlockProverProgrammable extends ZkProgrammable<BlockProverP
56
56
  * @param executionData
57
57
  * @returns The new BlockProver-state to be used as public output
58
58
  */
59
- applyTransaction(state: BlockProverState, stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): BlockProverState;
60
- assertProtocolTransitions(stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, executionData: BlockProverExecutionData, runtimeProof: Proof<void, MethodPublicOutput>): void;
59
+ applyTransaction(state: BlockProverState, stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): Promise<BlockProverState>;
60
+ assertProtocolTransitions(stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, executionData: BlockProverExecutionData, runtimeProof: Proof<void, MethodPublicOutput>): Promise<void>;
61
61
  private executeBlockHooks;
62
62
  private addTransactionToBundle;
63
- proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): BlockProverPublicOutput;
63
+ proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): Promise<BlockProverPublicOutput>;
64
64
  private assertSTProofInput;
65
- proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): BlockProverPublicOutput;
66
- merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): BlockProverPublicOutput;
65
+ proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): Promise<BlockProverPublicOutput>;
66
+ merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): Promise<BlockProverPublicOutput>;
67
67
  /**
68
68
  * Creates the BlockProver ZkProgram.
69
69
  * Recursive linking of proofs is done via the previously
@@ -81,8 +81,8 @@ export declare class BlockProver extends ProtocolModule implements BlockProvable
81
81
  readonly runtime: WithZkProgrammable<undefined, MethodPublicOutput>;
82
82
  zkProgrammable: BlockProverProgrammable;
83
83
  constructor(stateTransitionProver: WithZkProgrammable<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, runtime: WithZkProgrammable<undefined, MethodPublicOutput>, transactionHooks: ProvableTransactionHook<unknown>[], blockHooks: ProvableBlockHook<unknown>[]);
84
- proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData): BlockProverPublicOutput;
85
- proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): BlockProverPublicOutput;
86
- merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): BlockProverPublicOutput;
84
+ proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData): Promise<BlockProverPublicOutput>;
85
+ proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): Promise<BlockProverPublicOutput>;
86
+ merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): Promise<BlockProverPublicOutput>;
87
87
  }
88
88
  //# sourceMappingURL=BlockProver.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,EACL,KAAK,KAAK,EAGX,MAAM,MAAM,CAAC;AAEd,OAAO,EACL,gBAAgB,EAEhB,cAAc,EAEd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,4CAA4C,CAAC;AAMpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAIhE,OAAO,EACL,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,0BAA0B,EAE3B,MAAM,qCAAqC,CAAC;AAyB7C,MAAM,WAAW,gBAAgB;IAC/B;;OAEG;IACH,SAAS,EAAE,KAAK,CAAC;IAEjB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,aAAa,EAAE,KAAK,CAAC;IAErB;;;;OAIG;IACH,uBAAuB,EAAE,KAAK,CAAC;IAE/B,oBAAoB,EAAE,KAAK,CAAC;CAC7B;AAMD,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,CAAC;AAChF,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;AAE3D,qBAAa,uBAAwB,SAAQ,cAAc,CACzD,sBAAsB,EACtB,uBAAuB,CACxB;IAGG,OAAO,CAAC,QAAQ,CAAC,MAAM;aACP,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC;aACe,OAAO,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACtE,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU;gBAPV,MAAM,EAAE,WAAW,EACpB,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC,EACe,OAAO,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,EACrD,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EACpD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE;IAK3D,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAED;;;;;;;;;OASG;IACI,gBAAgB,CACrB,KAAK,EAAE,gBAAgB,EACvB,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,YAAY,EAAE,YAAY,EAC1B,aAAa,EAAE,wBAAwB,GACtC,gBAAgB;IAqFZ,yBAAyB,CAC9B,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,aAAa,EAAE,wBAAwB,EACvC,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC;IA6C/C,OAAO,CAAC,iBAAiB;IA8CzB,OAAO,CAAC,sBAAsB;IA2CvB,gBAAgB,CACrB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,YAAY,EAAE,YAAY,EAC1B,aAAa,EAAE,wBAAwB,GACtC,uBAAuB;IA8B1B,OAAO,CAAC,kBAAkB;IAqBnB,UAAU,CACf,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,GACjC,uBAAuB;IA8JnB,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,uBAAuB;IAgI1B;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,sBAAsB,EACtB,uBAAuB,CACxB;CAkEF;AAED;;;;GAIG;AACH,qBACa,WAAY,SAAQ,cAAe,YAAW,aAAa;aAKpD,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC;aAEe,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC;IATrE,cAAc,EAAE,uBAAuB,CAAC;gBAI7B,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC,EAEe,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAE1E,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EAEpD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE;IAYnC,gBAAgB,CACrB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,GACtC,uBAAuB;IASnB,UAAU,CACf,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,GACjC,uBAAuB;IAUnB,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,uBAAuB;CAG3B"}
1
+ {"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,EAEL,KAAK,KAAK,EAIX,MAAM,MAAM,CAAC;AAEd,OAAO,EACL,gBAAgB,EAChB,cAAc,EAEd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,4CAA4C,CAAC;AAMpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAQhE,OAAO,EACL,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,0BAA0B,EAE3B,MAAM,qCAAqC,CAAC;AAyB7C,MAAM,WAAW,gBAAgB;IAC/B;;OAEG;IACH,SAAS,EAAE,KAAK,CAAC;IAEjB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,aAAa,EAAE,KAAK,CAAC;IAErB;;;;OAIG;IACH,uBAAuB,EAAE,KAAK,CAAC;IAE/B,oBAAoB,EAAE,KAAK,CAAC;CAC7B;AAMD,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,CAAC;AAChF,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;AAE3D,qBAAa,uBAAwB,SAAQ,cAAc,CACzD,sBAAsB,EACtB,uBAAuB,CACxB;IAEG,OAAO,CAAC,QAAQ,CAAC,MAAM;aACP,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC;aACe,OAAO,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACtE,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU;gBAPV,MAAM,EAAE,WAAW,EACpB,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC,EACe,OAAO,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,EACrD,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EACpD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE;IAK3D,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAED;;;;;;;;;OASG;IACU,gBAAgB,CAC3B,KAAK,EAAE,gBAAgB,EACvB,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,YAAY,EAAE,YAAY,EAC1B,aAAa,EAAE,wBAAwB,GACtC,OAAO,CAAC,gBAAgB,CAAC;IAqFf,yBAAyB,CACpC,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,aAAa,EAAE,wBAAwB,EACvC,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC;YA8CjC,iBAAiB;IA8C/B,OAAO,CAAC,sBAAsB;IA4CjB,gBAAgB,CAC3B,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,YAAY,EAAE,YAAY,EAC1B,aAAa,EAAE,wBAAwB,GACtC,OAAO,CAAC,uBAAuB,CAAC;IA8BnC,OAAO,CAAC,kBAAkB;IAqBb,UAAU,CACrB,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,uBAAuB,CAAC;IAkKtB,KAAK,CAChB,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,uBAAuB,CAAC;IAgInC;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,sBAAsB,EACtB,uBAAuB,CACxB;CA6FF;AAED;;;;GAIG;AACH,qBACa,WAAY,SAAQ,cAAe,YAAW,aAAa;aAKpD,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC;aAEe,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC;IATrE,cAAc,EAAE,uBAAuB,CAAC;gBAI7B,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC,EAEe,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAE1E,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EAEpD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE;IAYnC,gBAAgB,CACrB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,GACtC,OAAO,CAAC,uBAAuB,CAAC;IAS5B,UAAU,CACf,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,uBAAuB,CAAC;IAU5B,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,uBAAuB,CAAC;CAGpC"}