@proto-kit/common 0.1.1-develop.165 → 0.1.1-develop.1665

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 (249) hide show
  1. package/dist/compiling/AtomicCompileHelper.d.ts +13 -0
  2. package/dist/compiling/AtomicCompileHelper.d.ts.map +1 -0
  3. package/dist/compiling/AtomicCompileHelper.js +40 -0
  4. package/dist/compiling/AtomicCompileHelper.js.map +1 -0
  5. package/dist/compiling/CompilableModule.d.ts +6 -0
  6. package/dist/compiling/CompilableModule.d.ts.map +1 -0
  7. package/dist/compiling/CompilableModule.js +2 -0
  8. package/dist/compiling/CompilableModule.js.map +1 -0
  9. package/dist/compiling/CompileRegistry.d.ts +26 -0
  10. package/dist/compiling/CompileRegistry.d.ts.map +1 -0
  11. package/dist/compiling/CompileRegistry.js +69 -0
  12. package/dist/compiling/CompileRegistry.js.map +1 -0
  13. package/dist/compiling/services/ChildVerificationKeyService.d.ts +10 -0
  14. package/dist/compiling/services/ChildVerificationKeyService.d.ts.map +1 -0
  15. package/dist/compiling/services/ChildVerificationKeyService.js +27 -0
  16. package/dist/compiling/services/ChildVerificationKeyService.js.map +1 -0
  17. package/dist/config/ChildContainerCreatable.d.ts +5 -0
  18. package/dist/config/ChildContainerCreatable.d.ts.map +1 -0
  19. package/dist/config/ChildContainerCreatable.js +2 -0
  20. package/dist/config/ChildContainerCreatable.js.map +1 -0
  21. package/dist/config/ChildContainerProvider.d.ts +5 -0
  22. package/dist/config/ChildContainerProvider.d.ts.map +1 -0
  23. package/dist/config/ChildContainerProvider.js +2 -0
  24. package/dist/config/ChildContainerProvider.js.map +1 -0
  25. package/dist/config/ConfigurableModule.d.ts +6 -2
  26. package/dist/config/ConfigurableModule.d.ts.map +1 -1
  27. package/dist/config/ConfigurableModule.js +5 -0
  28. package/dist/config/ConfigurableModule.js.map +1 -0
  29. package/dist/config/ModuleContainer.d.ts +70 -17
  30. package/dist/config/ModuleContainer.d.ts.map +1 -1
  31. package/dist/config/ModuleContainer.js +164 -22
  32. package/dist/config/ModuleContainer.js.map +1 -0
  33. package/dist/config/Startable.d.ts +4 -0
  34. package/dist/config/Startable.d.ts.map +1 -0
  35. package/dist/config/Startable.js +2 -0
  36. package/dist/config/Startable.js.map +1 -0
  37. package/dist/config/injectAlias.d.ts +18 -0
  38. package/dist/config/injectAlias.d.ts.map +1 -0
  39. package/dist/config/injectAlias.js +47 -0
  40. package/dist/config/injectAlias.js.map +1 -0
  41. package/dist/dependencyFactory/DependencyFactory.d.ts +29 -0
  42. package/dist/dependencyFactory/DependencyFactory.d.ts.map +1 -0
  43. package/dist/dependencyFactory/DependencyFactory.js +2 -0
  44. package/dist/dependencyFactory/DependencyFactory.js.map +1 -0
  45. package/dist/dummyVerificationKey.d.ts +3 -0
  46. package/dist/dummyVerificationKey.d.ts.map +1 -0
  47. package/dist/dummyVerificationKey.js +8 -0
  48. package/dist/dummyVerificationKey.js.map +1 -0
  49. package/dist/events/EventEmitter.d.ts +19 -0
  50. package/dist/events/EventEmitter.d.ts.map +1 -0
  51. package/dist/events/EventEmitter.js +35 -0
  52. package/dist/events/EventEmitter.js.map +1 -0
  53. package/dist/events/EventEmitterProxy.d.ts +18 -0
  54. package/dist/events/EventEmitterProxy.d.ts.map +1 -0
  55. package/dist/events/EventEmitterProxy.js +35 -0
  56. package/dist/events/EventEmitterProxy.js.map +1 -0
  57. package/dist/events/EventEmittingComponent.d.ts +9 -0
  58. package/dist/events/EventEmittingComponent.d.ts.map +1 -0
  59. package/dist/events/EventEmittingComponent.js +2 -0
  60. package/dist/events/EventEmittingComponent.js.map +1 -0
  61. package/dist/events/ReplayingSingleUseEventEmitter.d.ts +17 -0
  62. package/dist/events/ReplayingSingleUseEventEmitter.d.ts.map +1 -0
  63. package/dist/events/ReplayingSingleUseEventEmitter.js +34 -0
  64. package/dist/events/ReplayingSingleUseEventEmitter.js.map +1 -0
  65. package/dist/index.d.ts +24 -1
  66. package/dist/index.d.ts.map +1 -1
  67. package/dist/index.js +25 -2
  68. package/dist/index.js.map +1 -0
  69. package/dist/log.d.ts +37 -0
  70. package/dist/log.d.ts.map +1 -0
  71. package/dist/log.js +114 -0
  72. package/dist/log.js.map +1 -0
  73. package/dist/trees/lmt/AbstractLinkedMerkleTree.d.ts +288 -0
  74. package/dist/trees/lmt/AbstractLinkedMerkleTree.d.ts.map +1 -0
  75. package/dist/trees/lmt/AbstractLinkedMerkleTree.js +22 -0
  76. package/dist/trees/lmt/AbstractLinkedMerkleTree.js.map +1 -0
  77. package/dist/trees/lmt/InMemoryLinkedLeafStore.d.ts +21 -0
  78. package/dist/trees/lmt/InMemoryLinkedLeafStore.d.ts.map +1 -0
  79. package/dist/trees/lmt/InMemoryLinkedLeafStore.js +26 -0
  80. package/dist/trees/lmt/InMemoryLinkedLeafStore.js.map +1 -0
  81. package/dist/trees/lmt/LinkedLeafStore.d.ts +16 -0
  82. package/dist/trees/lmt/LinkedLeafStore.d.ts.map +1 -0
  83. package/dist/trees/lmt/LinkedLeafStore.js +2 -0
  84. package/dist/trees/lmt/LinkedLeafStore.js.map +1 -0
  85. package/dist/trees/lmt/LinkedMerkleTree.d.ts +11 -0
  86. package/dist/trees/lmt/LinkedMerkleTree.d.ts.map +1 -0
  87. package/dist/trees/lmt/LinkedMerkleTree.js +241 -0
  88. package/dist/trees/lmt/LinkedMerkleTree.js.map +1 -0
  89. package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.d.ts +113 -0
  90. package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.d.ts.map +1 -0
  91. package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.js +113 -0
  92. package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.js.map +1 -0
  93. package/dist/trees/lmt/LinkedMerkleTreeTypes.d.ts +74 -0
  94. package/dist/trees/lmt/LinkedMerkleTreeTypes.d.ts.map +1 -0
  95. package/dist/trees/lmt/LinkedMerkleTreeTypes.js +50 -0
  96. package/dist/trees/lmt/LinkedMerkleTreeTypes.js.map +1 -0
  97. package/dist/trees/sparse/InMemoryMerkleTreeStorage.d.ts +11 -0
  98. package/dist/trees/sparse/InMemoryMerkleTreeStorage.d.ts.map +1 -0
  99. package/dist/trees/sparse/InMemoryMerkleTreeStorage.js +13 -0
  100. package/dist/trees/sparse/InMemoryMerkleTreeStorage.js.map +1 -0
  101. package/dist/trees/sparse/MerkleTreeStore.d.ts +5 -0
  102. package/dist/trees/sparse/MerkleTreeStore.d.ts.map +1 -0
  103. package/dist/trees/sparse/MerkleTreeStore.js +2 -0
  104. package/dist/trees/sparse/MerkleTreeStore.js.map +1 -0
  105. package/dist/trees/sparse/MockAsyncMerkleStore.d.ts +9 -0
  106. package/dist/trees/sparse/MockAsyncMerkleStore.d.ts.map +1 -0
  107. package/dist/trees/sparse/MockAsyncMerkleStore.js +20 -0
  108. package/dist/trees/sparse/MockAsyncMerkleStore.js.map +1 -0
  109. package/dist/trees/sparse/RollupMerkleTree.d.ts +157 -0
  110. package/dist/trees/sparse/RollupMerkleTree.d.ts.map +1 -0
  111. package/dist/trees/sparse/RollupMerkleTree.js +272 -0
  112. package/dist/trees/sparse/RollupMerkleTree.js.map +1 -0
  113. package/dist/types.d.ts +16 -0
  114. package/dist/types.d.ts.map +1 -1
  115. package/dist/types.js +12 -1
  116. package/dist/types.js.map +1 -0
  117. package/dist/utils.d.ts +62 -0
  118. package/dist/utils.d.ts.map +1 -1
  119. package/dist/utils.js +155 -0
  120. package/dist/utils.js.map +1 -0
  121. package/dist/zkProgrammable/ProvableMethodExecutionContext.d.ts +4 -3
  122. package/dist/zkProgrammable/ProvableMethodExecutionContext.d.ts.map +1 -1
  123. package/dist/zkProgrammable/ProvableMethodExecutionContext.js +2 -3
  124. package/dist/zkProgrammable/ProvableMethodExecutionContext.js.map +1 -0
  125. package/dist/zkProgrammable/ZkProgrammable.d.ts +15 -7
  126. package/dist/zkProgrammable/ZkProgrammable.d.ts.map +1 -1
  127. package/dist/zkProgrammable/ZkProgrammable.js +34 -15
  128. package/dist/zkProgrammable/ZkProgrammable.js.map +1 -0
  129. package/dist/zkProgrammable/provableMethod.d.ts +8 -5
  130. package/dist/zkProgrammable/provableMethod.d.ts.map +1 -1
  131. package/dist/zkProgrammable/provableMethod.js +15 -13
  132. package/dist/zkProgrammable/provableMethod.js.map +1 -0
  133. package/jest.config.cjs +12 -1
  134. package/package.json +8 -7
  135. package/src/compiling/AtomicCompileHelper.ts +62 -0
  136. package/src/compiling/CompilableModule.ts +6 -0
  137. package/src/compiling/CompileRegistry.ts +79 -0
  138. package/src/compiling/services/ChildVerificationKeyService.ts +26 -0
  139. package/src/config/ChildContainerCreatable.ts +5 -0
  140. package/src/config/ChildContainerProvider.ts +5 -0
  141. package/src/config/ConfigurableModule.ts +15 -2
  142. package/src/config/ModuleContainer.ts +287 -46
  143. package/src/config/Startable.ts +3 -0
  144. package/src/config/injectAlias.ts +70 -0
  145. package/src/dependencyFactory/DependencyFactory.ts +57 -0
  146. package/src/dummyVerificationKey.ts +10 -0
  147. package/src/events/EventEmitter.ts +61 -0
  148. package/src/events/EventEmitterProxy.ts +81 -0
  149. package/src/events/EventEmittingComponent.ts +11 -0
  150. package/src/events/ReplayingSingleUseEventEmitter.ts +42 -0
  151. package/src/index.ts +24 -2
  152. package/src/log.ts +143 -0
  153. package/src/trees/lmt/AbstractLinkedMerkleTree.ts +102 -0
  154. package/src/trees/lmt/InMemoryLinkedLeafStore.ts +42 -0
  155. package/src/trees/lmt/LinkedLeafStore.ts +13 -0
  156. package/src/trees/lmt/LinkedMerkleTree.ts +335 -0
  157. package/src/trees/lmt/LinkedMerkleTreeCircuitOps.ts +188 -0
  158. package/src/trees/lmt/LinkedMerkleTreeTypes.ts +53 -0
  159. package/src/trees/sparse/InMemoryMerkleTreeStorage.ts +17 -0
  160. package/src/trees/sparse/MerkleTreeStore.ts +5 -0
  161. package/src/trees/sparse/MockAsyncMerkleStore.ts +30 -0
  162. package/src/trees/sparse/RollupMerkleTree.ts +427 -0
  163. package/src/types.ts +43 -2
  164. package/src/utils.ts +287 -0
  165. package/src/zkProgrammable/ProvableMethodExecutionContext.ts +6 -6
  166. package/src/zkProgrammable/ZkProgrammable.ts +61 -29
  167. package/src/zkProgrammable/provableMethod.ts +38 -21
  168. package/test/config/ContainerEvents.test.ts +65 -0
  169. package/test/config/ModuleContainer.test.ts +146 -15
  170. package/test/config/injectAlias.test.ts +28 -0
  171. package/test/trees/LinkedMerkleTree.test.ts +124 -0
  172. package/test/trees/LinkedMerkleTreeCircuitOps.test.ts +147 -0
  173. package/test/trees/MerkleTree.test.ts +220 -0
  174. package/test/tsconfig.json +5 -2
  175. package/test/zkProgrammable/ZkProgrammable.test.ts +135 -114
  176. package/tsconfig.json +1 -1
  177. package/dist/Constants.d.ts +0 -4
  178. package/dist/Constants.d.ts.map +0 -1
  179. package/dist/Constants.js +0 -3
  180. package/dist/config/ConfigurationAggregator.d.ts +0 -10
  181. package/dist/config/ConfigurationAggregator.d.ts.map +0 -1
  182. package/dist/config/ConfigurationAggregator.js +0 -35
  183. package/dist/config/ConfigurationReceiver.d.ts +0 -25
  184. package/dist/config/ConfigurationReceiver.d.ts.map +0 -1
  185. package/dist/config/ConfigurationReceiver.js +0 -36
  186. package/dist/config/types.d.ts +0 -2
  187. package/dist/config/types.d.ts.map +0 -1
  188. package/dist/config/types.js +0 -1
  189. package/dist/model/MethodPublicInput.d.ts +0 -51
  190. package/dist/model/MethodPublicInput.d.ts.map +0 -1
  191. package/dist/model/MethodPublicInput.js +0 -11
  192. package/dist/model/Option.d.ts +0 -89
  193. package/dist/model/Option.d.ts.map +0 -1
  194. package/dist/model/Option.js +0 -86
  195. package/dist/model/Path.d.ts +0 -31
  196. package/dist/model/Path.d.ts.map +0 -1
  197. package/dist/model/Path.js +0 -44
  198. package/dist/model/StateTransition.d.ts +0 -85
  199. package/dist/model/StateTransition.d.ts.map +0 -1
  200. package/dist/model/StateTransition.js +0 -58
  201. package/dist/model/StateTransitionProvableBatch.d.ts +0 -56
  202. package/dist/model/StateTransitionProvableBatch.d.ts.map +0 -1
  203. package/dist/model/StateTransitionProvableBatch.js +0 -20
  204. package/dist/prover/block/BlockProver.d.ts +0 -199
  205. package/dist/prover/block/BlockProver.d.ts.map +0 -1
  206. package/dist/prover/block/BlockProver.js +0 -119
  207. package/dist/prover/block/BlockScopedModule.d.ts +0 -3
  208. package/dist/prover/block/BlockScopedModule.d.ts.map +0 -1
  209. package/dist/prover/block/BlockScopedModule.js +0 -6
  210. package/dist/prover/statetransition/StateTransitionProver.d.ts +0 -92
  211. package/dist/prover/statetransition/StateTransitionProver.d.ts.map +0 -1
  212. package/dist/prover/statetransition/StateTransitionProver.js +0 -127
  213. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts +0 -16
  214. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map +0 -1
  215. package/dist/prover/statetransition/StateTransitionWitnessProvider.js +0 -17
  216. package/dist/src/model/Option.d.ts +0 -158
  217. package/dist/src/model/Option.d.ts.map +0 -1
  218. package/dist/src/model/Option.js +0 -53
  219. package/dist/src/model/Path.d.ts +0 -35
  220. package/dist/src/model/Path.d.ts.map +0 -1
  221. package/dist/src/model/Path.js +0 -51
  222. package/dist/src/model/StateTransition.d.ts +0 -201
  223. package/dist/src/model/StateTransition.d.ts.map +0 -1
  224. package/dist/src/model/StateTransition.js +0 -43
  225. package/dist/src/utils/PrefixedHashList.d.ts +0 -15
  226. package/dist/src/utils/PrefixedHashList.d.ts.map +0 -1
  227. package/dist/src/utils/PrefixedHashList.js +0 -28
  228. package/dist/src/utils/ProvableHashList.d.ts +0 -30
  229. package/dist/src/utils/ProvableHashList.d.ts.map +0 -1
  230. package/dist/src/utils/ProvableHashList.js +0 -43
  231. package/dist/utils/PrefixedHashList.d.ts +0 -14
  232. package/dist/utils/PrefixedHashList.d.ts.map +0 -1
  233. package/dist/utils/PrefixedHashList.js +0 -12
  234. package/dist/utils/PrefixedProvableHashList.d.ts +0 -8
  235. package/dist/utils/PrefixedProvableHashList.d.ts.map +0 -1
  236. package/dist/utils/PrefixedProvableHashList.js +0 -12
  237. package/dist/utils/ProvableHashList.d.ts +0 -26
  238. package/dist/utils/ProvableHashList.d.ts.map +0 -1
  239. package/dist/utils/ProvableHashList.js +0 -35
  240. package/dist/utils/Utils.d.ts +0 -22
  241. package/dist/utils/Utils.d.ts.map +0 -1
  242. package/dist/utils/Utils.js +0 -41
  243. package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts +0 -26
  244. package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts.map +0 -1
  245. package/dist/utils/merkletree/MemoryMerkleTreeStorage.js +0 -79
  246. package/dist/utils/merkletree/RollupMerkleTree.d.ts +0 -143
  247. package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +0 -1
  248. package/dist/utils/merkletree/RollupMerkleTree.js +0 -246
  249. package/tsconfig.test.json +0 -9
@@ -0,0 +1,17 @@
1
+ import { EventsRecord } from "./EventEmittingComponent";
2
+ import { EventEmitter } from "./EventEmitter";
3
+ /**
4
+ * Event Emitter variant that emits a certain event only once to a registered listener.
5
+ * Additionally, if a listener registers to a event that has already been emitted, it
6
+ * re-emits it to said listener.
7
+ * This pattern is especially useful for listening for inclusions of transactions.
8
+ * Those events will only occur once, and listeners could come too late to the party,
9
+ * so we need to make sure they get notified as well in those cases.
10
+ */
11
+ export declare class ReplayingSingleUseEventEmitter<Events extends EventsRecord> extends EventEmitter<Events> {
12
+ emitted: Partial<Events>;
13
+ emit<Key extends keyof Events>(event: Key, ...parameters: Events[Key]): void;
14
+ onAll(listener: (event: keyof Events, args: unknown[]) => void): void;
15
+ on<Key extends keyof Events>(event: Key, listener: (...args: Events[Key]) => void): void;
16
+ }
17
+ //# sourceMappingURL=ReplayingSingleUseEventEmitter.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ReplayingSingleUseEventEmitter.d.ts","sourceRoot":"","sources":["../../src/events/ReplayingSingleUseEventEmitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;;;;GAOG;AACH,qBAAa,8BAA8B,CACzC,MAAM,SAAS,YAAY,CAC3B,SAAQ,YAAY,CAAC,MAAM,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAM;IAE9B,IAAI,CAAC,GAAG,SAAS,MAAM,MAAM,EAClC,KAAK,EAAE,GAAG,EACV,GAAG,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC;IAOrB,KAAK,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI;IAO9D,EAAE,CAAC,GAAG,SAAS,MAAM,MAAM,EAChC,KAAK,EAAE,GAAG,EACV,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI;CAO3C"}
@@ -0,0 +1,34 @@
1
+ import { EventEmitter } from "./EventEmitter";
2
+ /**
3
+ * Event Emitter variant that emits a certain event only once to a registered listener.
4
+ * Additionally, if a listener registers to a event that has already been emitted, it
5
+ * re-emits it to said listener.
6
+ * This pattern is especially useful for listening for inclusions of transactions.
7
+ * Those events will only occur once, and listeners could come too late to the party,
8
+ * so we need to make sure they get notified as well in those cases.
9
+ */
10
+ export class ReplayingSingleUseEventEmitter extends EventEmitter {
11
+ constructor() {
12
+ super(...arguments);
13
+ this.emitted = {};
14
+ }
15
+ emit(event, ...parameters) {
16
+ super.emit(event, ...parameters);
17
+ this.emitted[event] = parameters;
18
+ this.listeners[event] = [];
19
+ }
20
+ onAll(listener) {
21
+ Object.entries(this.emitted).forEach(([key, params]) => {
22
+ if (params !== undefined)
23
+ listener(key, params);
24
+ });
25
+ super.onAll(listener);
26
+ }
27
+ on(event, listener) {
28
+ if (this.emitted[event] !== undefined) {
29
+ listener(...this.emitted[event]);
30
+ }
31
+ super.on(event, listener);
32
+ }
33
+ }
34
+ //# sourceMappingURL=ReplayingSingleUseEventEmitter.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ReplayingSingleUseEventEmitter.js","sourceRoot":"","sources":["../../src/events/ReplayingSingleUseEventEmitter.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;;;;GAOG;AACH,MAAM,OAAO,8BAEX,SAAQ,YAAoB;IAF9B;;QAGS,YAAO,GAAoB,EAAE,CAAC;IA2BvC,CAAC;IAzBQ,IAAI,CACT,KAAU,EACV,GAAG,UAAuB;QAE1B,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAC7B,CAAC;IAEM,KAAK,CAAC,QAAwD;QACnE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE;YACrD,IAAI,MAAM,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IAEM,EAAE,CACP,KAAU,EACV,QAAwC;QAExC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE;YACrC,QAAQ,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC,CAAC;SACnC;QACD,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5B,CAAC;CACF"}
package/dist/index.d.ts CHANGED
@@ -1,9 +1,32 @@
1
1
  export * from "./config/ModuleContainer";
2
2
  export * from "./config/ConfigurableModule";
3
+ export * from "./config/ChildContainerProvider";
4
+ export * from "./config/ChildContainerCreatable";
5
+ export * from "./config/injectAlias";
6
+ export * from "./config/Startable";
3
7
  export * from "./types";
4
8
  export * from "./zkProgrammable/ZkProgrammable";
5
9
  export * from "./zkProgrammable/ProvableMethodExecutionContext";
6
10
  export * from "./zkProgrammable/provableMethod";
7
11
  export * from "./utils";
8
- export { default as log } from "loglevel";
12
+ export * from "./dependencyFactory/DependencyFactory";
13
+ export * from "./log";
14
+ export * from "./events/EventEmittingComponent";
15
+ export * from "./events/EventEmitter";
16
+ export * from "./trees/sparse/MerkleTreeStore";
17
+ export * from "./trees/sparse/InMemoryMerkleTreeStorage";
18
+ export * from "./trees/sparse/RollupMerkleTree";
19
+ export * from "./trees/lmt/LinkedLeafStore";
20
+ export * from "./trees/lmt/LinkedMerkleTree";
21
+ export * from "./trees/lmt/InMemoryLinkedLeafStore";
22
+ export * from "./trees/lmt/LinkedMerkleTreeCircuitOps";
23
+ export * from "./trees/lmt/AbstractLinkedMerkleTree";
24
+ export * from "./trees/lmt/LinkedMerkleTreeTypes";
25
+ export * from "./events/EventEmitterProxy";
26
+ export * from "./events/ReplayingSingleUseEventEmitter";
27
+ export * from "./trees/sparse/MockAsyncMerkleStore";
28
+ export * from "./compiling/AtomicCompileHelper";
29
+ export * from "./compiling/CompileRegistry";
30
+ export * from "./compiling/CompilableModule";
31
+ export * from "./compiling/services/ChildVerificationKeyService";
9
32
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,SAAS,CAAC;AACxB,cAAc,iCAAiC,CAAC;AAChD,cAAc,iDAAiD,CAAC;AAChE,cAAc,iCAAiC,CAAC;AAChD,cAAc,SAAS,CAAC;AAExB,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,UAAU,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,iCAAiC,CAAC;AAChD,cAAc,kCAAkC,CAAC;AACjD,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,SAAS,CAAC;AACxB,cAAc,iCAAiC,CAAC;AAChD,cAAc,iDAAiD,CAAC;AAChE,cAAc,iCAAiC,CAAC;AAChD,cAAc,SAAS,CAAC;AACxB,cAAc,uCAAuC,CAAC;AACtD,cAAc,OAAO,CAAC;AACtB,cAAc,iCAAiC,CAAC;AAChD,cAAc,uBAAuB,CAAC;AACtC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,0CAA0C,CAAC;AACzD,cAAc,iCAAiC,CAAC;AAChD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,qCAAqC,CAAC;AACpD,cAAc,wCAAwC,CAAC;AACvD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,yCAAyC,CAAC;AACxD,cAAc,qCAAqC,CAAC;AACpD,cAAc,iCAAiC,CAAC;AAChD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC"}
package/dist/index.js CHANGED
@@ -1,9 +1,32 @@
1
1
  export * from "./config/ModuleContainer";
2
2
  export * from "./config/ConfigurableModule";
3
+ export * from "./config/ChildContainerProvider";
4
+ export * from "./config/ChildContainerCreatable";
5
+ export * from "./config/injectAlias";
6
+ export * from "./config/Startable";
3
7
  export * from "./types";
4
8
  export * from "./zkProgrammable/ZkProgrammable";
5
9
  export * from "./zkProgrammable/ProvableMethodExecutionContext";
6
10
  export * from "./zkProgrammable/provableMethod";
7
11
  export * from "./utils";
8
- // eslint-disable-next-line import/no-unused-modules
9
- export { default as log } from "loglevel";
12
+ export * from "./dependencyFactory/DependencyFactory";
13
+ export * from "./log";
14
+ export * from "./events/EventEmittingComponent";
15
+ export * from "./events/EventEmitter";
16
+ export * from "./trees/sparse/MerkleTreeStore";
17
+ export * from "./trees/sparse/InMemoryMerkleTreeStorage";
18
+ export * from "./trees/sparse/RollupMerkleTree";
19
+ export * from "./trees/lmt/LinkedLeafStore";
20
+ export * from "./trees/lmt/LinkedMerkleTree";
21
+ export * from "./trees/lmt/InMemoryLinkedLeafStore";
22
+ export * from "./trees/lmt/LinkedMerkleTreeCircuitOps";
23
+ export * from "./trees/lmt/AbstractLinkedMerkleTree";
24
+ export * from "./trees/lmt/LinkedMerkleTreeTypes";
25
+ export * from "./events/EventEmitterProxy";
26
+ export * from "./events/ReplayingSingleUseEventEmitter";
27
+ export * from "./trees/sparse/MockAsyncMerkleStore";
28
+ export * from "./compiling/AtomicCompileHelper";
29
+ export * from "./compiling/CompileRegistry";
30
+ export * from "./compiling/CompilableModule";
31
+ export * from "./compiling/services/ChildVerificationKeyService";
32
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,iCAAiC,CAAC;AAChD,cAAc,kCAAkC,CAAC;AACjD,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,SAAS,CAAC;AACxB,cAAc,iCAAiC,CAAC;AAChD,cAAc,iDAAiD,CAAC;AAChE,cAAc,iCAAiC,CAAC;AAChD,cAAc,SAAS,CAAC;AACxB,cAAc,uCAAuC,CAAC;AACtD,cAAc,OAAO,CAAC;AACtB,cAAc,iCAAiC,CAAC;AAChD,cAAc,uBAAuB,CAAC;AACtC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,0CAA0C,CAAC;AACzD,cAAc,iCAAiC,CAAC;AAChD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,qCAAqC,CAAC;AACpD,cAAc,wCAAwC,CAAC;AACvD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,yCAAyC,CAAC;AACxD,cAAc,qCAAqC,CAAC;AACpD,cAAc,iCAAiC,CAAC;AAChD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC"}
package/dist/log.d.ts ADDED
@@ -0,0 +1,37 @@
1
+ import loglevel, { LogLevelDesc, LogLevelNames } from "loglevel";
2
+ declare function time(label?: string): void;
3
+ export declare const log: {
4
+ provable: {
5
+ info: (...args: unknown[]) => void;
6
+ debug: (...args: unknown[]) => void;
7
+ error: (...args: unknown[]) => void;
8
+ trace: (...args: unknown[]) => void;
9
+ warn: (...args: unknown[]) => void;
10
+ };
11
+ time: typeof time;
12
+ timeLog: {
13
+ info: (label?: string) => void;
14
+ debug: (label?: string) => void;
15
+ error: (label?: string) => void;
16
+ trace: (label?: string) => void;
17
+ warn: (label?: string) => void;
18
+ };
19
+ timeEnd: {
20
+ info: (label?: string) => void;
21
+ debug: (label?: string) => void;
22
+ error: (label?: string) => void;
23
+ trace: (label?: string) => void;
24
+ warn: (label?: string) => void;
25
+ };
26
+ info: (...args: unknown[]) => void;
27
+ debug: (...args: unknown[]) => void;
28
+ error: (...args: unknown[]) => void;
29
+ trace: (...args: unknown[]) => void;
30
+ warn: (...args: unknown[]) => void;
31
+ setLevel: (level: LogLevelDesc) => void;
32
+ readonly levels: loglevel.LogLevel;
33
+ getLevel: () => 0 | 2 | 3 | 1 | 4 | 5;
34
+ };
35
+ export declare function assertValidTextLogLevel(level: string | number): asserts level is LogLevelNames;
36
+ export {};
37
+ //# sourceMappingURL=log.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"log.d.ts","sourceRoot":"","sources":["../src/log.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAkCjE,iBAAS,IAAI,CAAC,KAAK,SAAS,QAE3B;AAgBD,eAAO,MAAM,GAAG;;wBAEI,OAAO,EAAE;yBAIR,OAAO,EAAE;yBAIT,OAAO,EAAE;yBAIT,OAAO,EAAE;wBAIV,OAAO,EAAE;;;;uBAQV,MAAM;wBACL,MAAM;wBACN,MAAM;wBACN,MAAM;uBACP,MAAM;;;uBAIN,MAAM;wBACL,MAAM;wBACN,MAAM;wBACN,MAAM;uBACP,MAAM;;oBAGP,OAAO,EAAE;qBAIR,OAAO,EAAE;qBAIT,OAAO,EAAE;qBAIT,OAAO,EAAE;oBAQV,OAAO,EAAE;sBAIP,YAAY;;;CAY/B,CAAC;AAIF,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,GAAG,MAAM,GACrB,OAAO,CAAC,KAAK,IAAI,aAAa,CAOhC"}
package/dist/log.js ADDED
@@ -0,0 +1,114 @@
1
+ import loglevel from "loglevel";
2
+ import { Provable } from "o1js";
3
+ /* eslint-disable @typescript-eslint/no-unsafe-argument */
4
+ function logProvable(logFunction, ...args) {
5
+ Provable.asProver(() => {
6
+ const prettyArguments = [];
7
+ args.forEach((argument) => {
8
+ if (argument?.toPretty !== undefined) {
9
+ prettyArguments.push(argument.toPretty());
10
+ }
11
+ else {
12
+ try {
13
+ prettyArguments.push(JSON.parse(JSON.stringify(argument)));
14
+ }
15
+ catch {
16
+ prettyArguments.push(argument);
17
+ }
18
+ }
19
+ });
20
+ logFunction(...prettyArguments);
21
+ });
22
+ }
23
+ /* eslint-enable */
24
+ // eslint-disable-next-line @typescript-eslint/strict-boolean-expressions
25
+ if (process.env?.IN_CI ?? false) {
26
+ loglevel.setLevel("ERROR");
27
+ }
28
+ const timeMap = {};
29
+ function time(label = "time") {
30
+ timeMap[label] = Date.now();
31
+ }
32
+ function timeLog(label = "time") {
33
+ const prev = timeMap[label];
34
+ if (prev === undefined) {
35
+ return "Label not found";
36
+ }
37
+ return `${label} took ${Date.now() - prev}ms`;
38
+ }
39
+ function timeEnd(label = "time") {
40
+ const str = timeLog(label);
41
+ delete timeMap[label];
42
+ return str;
43
+ }
44
+ export const log = {
45
+ provable: {
46
+ info: (...args) => {
47
+ logProvable(loglevel.info, ...args);
48
+ },
49
+ debug: (...args) => {
50
+ logProvable(loglevel.debug, ...args);
51
+ },
52
+ error: (...args) => {
53
+ logProvable(loglevel.error, ...args);
54
+ },
55
+ trace: (...args) => {
56
+ logProvable(log.trace, ...args);
57
+ },
58
+ warn: (...args) => {
59
+ logProvable(loglevel.warn, ...args);
60
+ },
61
+ },
62
+ time,
63
+ timeLog: {
64
+ info: (label) => loglevel.info(timeLog(label)),
65
+ debug: (label) => loglevel.debug(timeLog(label)),
66
+ error: (label) => loglevel.error(timeLog(label)),
67
+ trace: (label) => loglevel.trace(timeLog(label)),
68
+ warn: (label) => loglevel.warn(timeLog(label)),
69
+ },
70
+ timeEnd: {
71
+ info: (label) => loglevel.info(timeEnd(label)),
72
+ debug: (label) => loglevel.debug(timeEnd(label)),
73
+ error: (label) => loglevel.error(timeEnd(label)),
74
+ trace: (label) => loglevel.trace(timeEnd(label)),
75
+ warn: (label) => loglevel.warn(timeEnd(label)),
76
+ },
77
+ info: (...args) => {
78
+ loglevel.info(...args);
79
+ },
80
+ debug: (...args) => {
81
+ loglevel.debug(...args);
82
+ },
83
+ error: (...args) => {
84
+ loglevel.error(...args);
85
+ },
86
+ trace: (...args) => {
87
+ // Loglevel prints the stack trace by default. To still be able to use trace
88
+ // inside out application, we use the level, but call debug() under the hood
89
+ if (loglevel.getLevel() <= loglevel.levels.TRACE) {
90
+ loglevel.debug(...args);
91
+ }
92
+ },
93
+ warn: (...args) => {
94
+ loglevel.warn(...args);
95
+ },
96
+ setLevel: (level) => {
97
+ // eslint-disable-next-line @typescript-eslint/strict-boolean-expressions
98
+ if (!(process.env?.IN_CI ?? false)) {
99
+ loglevel.setLevel(level);
100
+ }
101
+ },
102
+ get levels() {
103
+ return loglevel.levels;
104
+ },
105
+ getLevel: () => loglevel.getLevel(),
106
+ };
107
+ const validLogLevels = ["TRACE", "DEBUG", "INFO", "WARN", "ERROR", "SILENT"];
108
+ export function assertValidTextLogLevel(level) {
109
+ if (typeof level === "number" ||
110
+ !validLogLevels.includes(level.toUpperCase())) {
111
+ throw new Error(`${level} is not a valid loglevel`);
112
+ }
113
+ }
114
+ //# sourceMappingURL=log.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"log.js","sourceRoot":"","sources":["../src/log.ts"],"names":[],"mappings":"AAAA,OAAO,QAAyC,MAAM,UAAU,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAEhC,0DAA0D;AAC1D,SAAS,WAAW,CAClB,WAAyC,EACzC,GAAG,IAAW;IAEd,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;QACrB,MAAM,eAAe,GAAa,EAAE,CAAC;QAErC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;YACxB,IAAI,QAAQ,EAAE,QAAQ,KAAK,SAAS,EAAE;gBACpC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;aAC3C;iBAAM;gBACL,IAAI;oBACF,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;iBAC5D;gBAAC,MAAM;oBACN,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;iBAChC;aACF;QACH,CAAC,CAAC,CAAC;QACH,WAAW,CAAC,GAAG,eAAe,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC;AACD,mBAAmB;AAEnB,yEAAyE;AACzE,IAAI,OAAO,CAAC,GAAG,EAAE,KAAK,IAAI,KAAK,EAAE;IAC/B,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;CAC5B;AAED,MAAM,OAAO,GAA2B,EAAE,CAAC;AAE3C,SAAS,IAAI,CAAC,KAAK,GAAG,MAAM;IAC1B,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,OAAO,CAAC,KAAK,GAAG,MAAM;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,IAAI,KAAK,SAAS,EAAE;QACtB,OAAO,iBAAiB,CAAC;KAC1B;IACD,OAAO,GAAG,KAAK,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC;AAChD,CAAC;AAED,SAAS,OAAO,CAAC,KAAK,GAAG,MAAM;IAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,GAAG,GAAG;IACjB,QAAQ,EAAE;QACR,IAAI,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;YAC3B,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;YAC5B,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;QACvC,CAAC;QAED,KAAK,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;YAC5B,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;QACvC,CAAC;QAED,KAAK,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;YAC5B,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;YAC3B,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;QACtC,CAAC;KACF;IAED,IAAI;IAEJ,OAAO,EAAE;QACP,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACxD;IAED,OAAO,EAAE;QACP,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACxD;IAED,IAAI,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;QAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,KAAK,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;QAC5B,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;QAC5B,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;QAC5B,4EAA4E;QAC5E,4EAA4E;QAC5E,IAAI,QAAQ,CAAC,QAAQ,EAAE,IAAI,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE;YAChD,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;SACzB;IACH,CAAC;IAED,IAAI,EAAE,CAAC,GAAG,IAAe,EAAE,EAAE;QAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,QAAQ,EAAE,CAAC,KAAmB,EAAE,EAAE;QAChC,yEAAyE;QACzE,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,IAAI,KAAK,CAAC,EAAE;YAClC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAC1B;IACH,CAAC;IAED,IAAI,MAAM;QACR,OAAO,QAAQ,CAAC,MAAM,CAAC;IACzB,CAAC;IAED,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE;CACpC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAE7E,MAAM,UAAU,uBAAuB,CACrC,KAAsB;IAEtB,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAC7C;QACA,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;KACrD;AACH,CAAC"}
@@ -0,0 +1,288 @@
1
+ import { Bool, Field } from "o1js";
2
+ import { RollupMerkleTree } from "../sparse/RollupMerkleTree";
3
+ import { TypedClass } from "../../types";
4
+ import { MerkleTreeStore } from "../sparse/MerkleTreeStore";
5
+ import { LinkedLeafStore } from "./LinkedLeafStore";
6
+ import { LinkedLeafStruct } from "./LinkedMerkleTreeTypes";
7
+ declare const RollupMerkleTreeWitness_base: TypedClass<import("../sparse/RollupMerkleTree").AbstractMerkleWitness> & typeof import("../sparse/RollupMerkleTree").StructTemplate & {
8
+ dummy: () => import("../sparse/RollupMerkleTree").AbstractMerkleWitness;
9
+ };
10
+ declare class RollupMerkleTreeWitness extends RollupMerkleTreeWitness_base {
11
+ }
12
+ type LinkedMerkleWitnessValue = {
13
+ leaf: LinkedLeafStruct;
14
+ merkleWitness: RollupMerkleTreeWitness;
15
+ checkMembership(root: Field, path: Field, value: Field): Bool;
16
+ };
17
+ declare const LinkedMerkleWitnessTemplate_base: (new (value: {
18
+ leaf: LinkedLeafStruct;
19
+ merkleWitness: RollupMerkleTreeWitness;
20
+ }) => {
21
+ leaf: LinkedLeafStruct;
22
+ merkleWitness: RollupMerkleTreeWitness;
23
+ }) & {
24
+ _isStruct: true;
25
+ } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
26
+ leaf: LinkedLeafStruct;
27
+ merkleWitness: RollupMerkleTreeWitness;
28
+ }, {
29
+ leaf: {
30
+ value: bigint;
31
+ path: bigint;
32
+ nextPath: bigint;
33
+ };
34
+ merkleWitness: {
35
+ path: bigint[];
36
+ isLeft: boolean[];
37
+ };
38
+ }>, "fromFields"> & {
39
+ fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
40
+ leaf: LinkedLeafStruct;
41
+ merkleWitness: RollupMerkleTreeWitness;
42
+ };
43
+ } & {
44
+ fromValue: (value: {
45
+ leaf: LinkedLeafStruct | {
46
+ value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
47
+ path: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
48
+ nextPath: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
49
+ };
50
+ merkleWitness: {
51
+ path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
52
+ isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
53
+ } | RollupMerkleTreeWitness;
54
+ }) => {
55
+ leaf: LinkedLeafStruct;
56
+ merkleWitness: RollupMerkleTreeWitness;
57
+ };
58
+ toInput: (x: {
59
+ leaf: LinkedLeafStruct;
60
+ merkleWitness: RollupMerkleTreeWitness;
61
+ }) => {
62
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
63
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
64
+ };
65
+ toJSON: (x: {
66
+ leaf: LinkedLeafStruct;
67
+ merkleWitness: RollupMerkleTreeWitness;
68
+ }) => {
69
+ leaf: {
70
+ value: string;
71
+ path: string;
72
+ nextPath: string;
73
+ };
74
+ merkleWitness: {
75
+ path: string[];
76
+ isLeft: boolean[];
77
+ };
78
+ };
79
+ fromJSON: (x: {
80
+ leaf: {
81
+ value: string;
82
+ path: string;
83
+ nextPath: string;
84
+ };
85
+ merkleWitness: {
86
+ path: string[];
87
+ isLeft: boolean[];
88
+ };
89
+ }) => {
90
+ leaf: LinkedLeafStruct;
91
+ merkleWitness: RollupMerkleTreeWitness;
92
+ };
93
+ empty: () => {
94
+ leaf: LinkedLeafStruct;
95
+ merkleWitness: RollupMerkleTreeWitness;
96
+ };
97
+ };
98
+ declare class LinkedMerkleWitnessTemplate extends LinkedMerkleWitnessTemplate_base {
99
+ checkMembership(root: Field, path: Field, value: Field): Bool;
100
+ }
101
+ type LinkedOperationWitnessValue = {
102
+ leafPrevious: LinkedMerkleWitnessValue;
103
+ leafCurrent: LinkedMerkleWitnessValue;
104
+ };
105
+ declare const LinkedOperationWitnessTemplate_base: (new (value: {
106
+ leafPrevious: LinkedMerkleWitnessTemplate;
107
+ leafCurrent: LinkedMerkleWitnessTemplate;
108
+ }) => {
109
+ leafPrevious: LinkedMerkleWitnessTemplate;
110
+ leafCurrent: LinkedMerkleWitnessTemplate;
111
+ }) & {
112
+ _isStruct: true;
113
+ } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
114
+ leafPrevious: LinkedMerkleWitnessTemplate;
115
+ leafCurrent: LinkedMerkleWitnessTemplate;
116
+ }, {
117
+ leafPrevious: {
118
+ leaf: {
119
+ value: bigint;
120
+ path: bigint;
121
+ nextPath: bigint;
122
+ };
123
+ merkleWitness: {
124
+ path: bigint[];
125
+ isLeft: boolean[];
126
+ };
127
+ };
128
+ leafCurrent: {
129
+ leaf: {
130
+ value: bigint;
131
+ path: bigint;
132
+ nextPath: bigint;
133
+ };
134
+ merkleWitness: {
135
+ path: bigint[];
136
+ isLeft: boolean[];
137
+ };
138
+ };
139
+ }>, "fromFields"> & {
140
+ fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
141
+ leafPrevious: LinkedMerkleWitnessTemplate;
142
+ leafCurrent: LinkedMerkleWitnessTemplate;
143
+ };
144
+ } & {
145
+ fromValue: (value: {
146
+ leafPrevious: LinkedMerkleWitnessTemplate | {
147
+ leaf: LinkedLeafStruct | {
148
+ value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
149
+ path: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
150
+ nextPath: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
151
+ };
152
+ merkleWitness: {
153
+ path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
154
+ isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
155
+ } | RollupMerkleTreeWitness;
156
+ };
157
+ leafCurrent: LinkedMerkleWitnessTemplate | {
158
+ leaf: LinkedLeafStruct | {
159
+ value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
160
+ path: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
161
+ nextPath: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
162
+ };
163
+ merkleWitness: {
164
+ path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
165
+ isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
166
+ } | RollupMerkleTreeWitness;
167
+ };
168
+ }) => {
169
+ leafPrevious: LinkedMerkleWitnessTemplate;
170
+ leafCurrent: LinkedMerkleWitnessTemplate;
171
+ };
172
+ toInput: (x: {
173
+ leafPrevious: LinkedMerkleWitnessTemplate;
174
+ leafCurrent: LinkedMerkleWitnessTemplate;
175
+ }) => {
176
+ fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
177
+ packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
178
+ };
179
+ toJSON: (x: {
180
+ leafPrevious: LinkedMerkleWitnessTemplate;
181
+ leafCurrent: LinkedMerkleWitnessTemplate;
182
+ }) => {
183
+ leafPrevious: {
184
+ leaf: {
185
+ value: string;
186
+ path: string;
187
+ nextPath: string;
188
+ };
189
+ merkleWitness: {
190
+ path: string[];
191
+ isLeft: boolean[];
192
+ };
193
+ };
194
+ leafCurrent: {
195
+ leaf: {
196
+ value: string;
197
+ path: string;
198
+ nextPath: string;
199
+ };
200
+ merkleWitness: {
201
+ path: string[];
202
+ isLeft: boolean[];
203
+ };
204
+ };
205
+ };
206
+ fromJSON: (x: {
207
+ leafPrevious: {
208
+ leaf: {
209
+ value: string;
210
+ path: string;
211
+ nextPath: string;
212
+ };
213
+ merkleWitness: {
214
+ path: string[];
215
+ isLeft: boolean[];
216
+ };
217
+ };
218
+ leafCurrent: {
219
+ leaf: {
220
+ value: string;
221
+ path: string;
222
+ nextPath: string;
223
+ };
224
+ merkleWitness: {
225
+ path: string[];
226
+ isLeft: boolean[];
227
+ };
228
+ };
229
+ }) => {
230
+ leafPrevious: LinkedMerkleWitnessTemplate;
231
+ leafCurrent: LinkedMerkleWitnessTemplate;
232
+ };
233
+ empty: () => {
234
+ leafPrevious: LinkedMerkleWitnessTemplate;
235
+ leafCurrent: LinkedMerkleWitnessTemplate;
236
+ };
237
+ };
238
+ declare class LinkedOperationWitnessTemplate extends LinkedOperationWitnessTemplate_base {
239
+ }
240
+ export interface AbstractLinkedMerkleTree {
241
+ leafStore: LinkedLeafStore;
242
+ tree: RollupMerkleTree;
243
+ /**
244
+ * Returns the root of the [Merkle Tree](https://en.wikipedia.org/wiki/Merkle_tree).
245
+ * @returns The root of the Merkle Tree.
246
+ */
247
+ getRoot(): Field;
248
+ /**
249
+ * Sets the value of a leaf node at a given index to a given value.
250
+ * @param path of the leaf node.
251
+ * @param value New value.
252
+ */
253
+ setLeaf(path: bigint, value?: bigint): LinkedOperationWitnessValue;
254
+ setLeaves(batch: {
255
+ path: bigint;
256
+ value: bigint;
257
+ }[]): void;
258
+ /**
259
+ * Returns a leaf which lives at a given path.
260
+ * Errors otherwise.
261
+ * @param path Index of the node.
262
+ * @returns The data of the leaf.
263
+ */
264
+ getLeaf(path: bigint): LinkedLeafStruct | undefined;
265
+ /**
266
+ * Returns the witness (also known as
267
+ * [Merkle Proof or Merkle Witness](https://computersciencewiki.org/index.php/Merkle_proof))
268
+ * for the leaf at the given path.
269
+ * @param path Position of the leaf node.
270
+ * @returns The witness that belongs to the leaf.
271
+ */
272
+ getReadWitness(path: bigint): LinkedMerkleWitnessValue;
273
+ }
274
+ export interface AbstractLinkedMerkleTreeClass {
275
+ new (store: MerkleTreeStore, leafStore: LinkedLeafStore): AbstractLinkedMerkleTree;
276
+ WITNESS: typeof LinkedOperationWitnessTemplate & {
277
+ fromReadWitness(readWitness: LinkedMerkleWitnessTemplate): LinkedOperationWitnessTemplate;
278
+ };
279
+ READ_WITNESS: typeof LinkedMerkleWitnessTemplate & TypedClass<{
280
+ checkMembership(root: Field, path: Field, value: Field): Bool;
281
+ }>;
282
+ HEIGHT: number;
283
+ EMPTY_ROOT: Field;
284
+ dummyWitness(): LinkedOperationWitnessValue;
285
+ dummyReadWitness(): LinkedMerkleWitnessValue;
286
+ }
287
+ export {};
288
+ //# sourceMappingURL=AbstractLinkedMerkleTree.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AbstractLinkedMerkleTree.d.ts","sourceRoot":"","sources":["../../../src/trees/lmt/AbstractLinkedMerkleTree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAU,MAAM,MAAM,CAAC;AAE3C,OAAO,EAAoB,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;;;;AAE3D,cAAM,uBAAwB,SAAQ,4BAA4B;CAAG;AAErE,KAAK,wBAAwB,GAAG;IAC9B,IAAI,EAAE,gBAAgB,CAAC;IACvB,aAAa,EAAE,uBAAuB,CAAC;IACvC,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;CAC/D,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIF,cAAM,2BAA4B,SAAQ,gCAGxC;IACO,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;CAIrE;AAED,KAAK,2BAA2B,GAAG;IACjC,YAAY,EAAE,wBAAwB,CAAC;IACvC,WAAW,EAAE,wBAAwB,CAAC;CACvC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,cAAM,8BAA+B,SAAQ,mCAG3C;CAAG;AAEL,MAAM,WAAW,wBAAwB;IACvC,SAAS,EAAE,eAAe,CAAC;IAE3B,IAAI,EAAE,gBAAgB,CAAC;IAEvB;;;OAGG;IACH,OAAO,IAAI,KAAK,CAAC;IAEjB;;;;OAIG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,2BAA2B,CAAC;IAEnE,SAAS,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,GAAG,IAAI,CAAC;IAE1D;;;;;OAKG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAC;IAEpD;;;;;;OAMG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,wBAAwB,CAAC;CACxD;AAED,MAAM,WAAW,6BAA6B;IAC5C,KACE,KAAK,EAAE,eAAe,EACtB,SAAS,EAAE,eAAe,GACzB,wBAAwB,CAAC;IAE5B,OAAO,EAAE,OAAO,8BAA8B,GAAG;QAC/C,eAAe,CACb,WAAW,EAAE,2BAA2B,GACvC,8BAA8B,CAAC;KACnC,CAAC;IAEF,YAAY,EAAE,OAAO,2BAA2B,GAC9C,UAAU,CAAC;QACT,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;KAC/D,CAAC,CAAC;IAEL,MAAM,EAAE,MAAM,CAAC;IAEf,UAAU,EAAE,KAAK,CAAC;IAElB,YAAY,IAAI,2BAA2B,CAAC;IAE5C,gBAAgB,IAAI,wBAAwB,CAAC;CAC9C"}
@@ -0,0 +1,22 @@
1
+ import { Bool, Struct } from "o1js";
2
+ import { createMerkleTree } from "../sparse/RollupMerkleTree";
3
+ import { LinkedLeafStruct } from "./LinkedMerkleTreeTypes";
4
+ class RollupMerkleTreeWitness extends createMerkleTree(40).WITNESS {
5
+ }
6
+ // We use the RollupMerkleTreeWitness here, although we will actually implement
7
+ // the RollupMerkleTreeWitnessV2 defined below when instantiating the class.
8
+ class LinkedMerkleWitnessTemplate extends Struct({
9
+ leaf: LinkedLeafStruct,
10
+ merkleWitness: RollupMerkleTreeWitness,
11
+ }) {
12
+ checkMembership(root, path, value) {
13
+ // Mock implementation for typing
14
+ return Bool(true);
15
+ }
16
+ }
17
+ class LinkedOperationWitnessTemplate extends Struct({
18
+ leafPrevious: LinkedMerkleWitnessTemplate,
19
+ leafCurrent: LinkedMerkleWitnessTemplate,
20
+ }) {
21
+ }
22
+ //# sourceMappingURL=AbstractLinkedMerkleTree.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"AbstractLinkedMerkleTree.js","sourceRoot":"","sources":["../../../src/trees/lmt/AbstractLinkedMerkleTree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAS,MAAM,EAAE,MAAM,MAAM,CAAC;AAE3C,OAAO,EAAE,gBAAgB,EAAoB,MAAM,4BAA4B,CAAC;AAKhF,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE3D,MAAM,uBAAwB,SAAQ,gBAAgB,CAAC,EAAE,CAAC,CAAC,OAAO;CAAG;AAQrE,+EAA+E;AAC/E,4EAA4E;AAC5E,MAAM,2BAA4B,SAAQ,MAAM,CAAC;IAC/C,IAAI,EAAE,gBAAgB;IACtB,aAAa,EAAE,uBAAuB;CACvC,CAAC;IACO,eAAe,CAAC,IAAW,EAAE,IAAW,EAAE,KAAY;QAC3D,iCAAiC;QACjC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;CACF;AAOD,MAAM,8BAA+B,SAAQ,MAAM,CAAC;IAClD,YAAY,EAAE,2BAA2B;IACzC,WAAW,EAAE,2BAA2B;CACzC,CAAC;CAAG"}
@@ -0,0 +1,21 @@
1
+ import { LinkedLeafStore, LinkedLeaf } from "./LinkedLeafStore";
2
+ export declare class InMemoryLinkedLeafStore implements LinkedLeafStore {
3
+ leaves: {
4
+ [key: string]: {
5
+ leaf: LinkedLeaf;
6
+ index: bigint;
7
+ };
8
+ };
9
+ maximumIndex?: bigint;
10
+ getLeaf(path: bigint): {
11
+ leaf: LinkedLeaf;
12
+ index: bigint;
13
+ } | undefined;
14
+ setLeaf(index: bigint, value: LinkedLeaf): void;
15
+ getMaximumIndex(): bigint | undefined;
16
+ getPreviousLeaf(path: bigint): {
17
+ leaf: LinkedLeaf;
18
+ index: bigint;
19
+ } | undefined;
20
+ }
21
+ //# sourceMappingURL=InMemoryLinkedLeafStore.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"InMemoryLinkedLeafStore.d.ts","sourceRoot":"","sources":["../../../src/trees/lmt/InMemoryLinkedLeafStore.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEhE,qBAAa,uBAAwB,YAAW,eAAe;IACtD,MAAM,EAAE;QACb,CAAC,GAAG,EAAE,MAAM,GAAG;YAAE,IAAI,EAAE,UAAU,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;KACpD,CAAM;IAEA,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB,OAAO,CACZ,IAAI,EAAE,MAAM,GACX;QAAE,IAAI,EAAE,UAAU,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS;IAI3C,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI;IAa/C,eAAe,IAAI,MAAM,GAAG,SAAS;IAKrC,eAAe,CACpB,IAAI,EAAE,MAAM,GACX;QAAE,IAAI,EAAE,UAAU,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS;CAMnD"}