@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.
- package/dist/compiling/AtomicCompileHelper.d.ts +13 -0
- package/dist/compiling/AtomicCompileHelper.d.ts.map +1 -0
- package/dist/compiling/AtomicCompileHelper.js +40 -0
- package/dist/compiling/AtomicCompileHelper.js.map +1 -0
- package/dist/compiling/CompilableModule.d.ts +6 -0
- package/dist/compiling/CompilableModule.d.ts.map +1 -0
- package/dist/compiling/CompilableModule.js +2 -0
- package/dist/compiling/CompilableModule.js.map +1 -0
- package/dist/compiling/CompileRegistry.d.ts +26 -0
- package/dist/compiling/CompileRegistry.d.ts.map +1 -0
- package/dist/compiling/CompileRegistry.js +69 -0
- package/dist/compiling/CompileRegistry.js.map +1 -0
- package/dist/compiling/services/ChildVerificationKeyService.d.ts +10 -0
- package/dist/compiling/services/ChildVerificationKeyService.d.ts.map +1 -0
- package/dist/compiling/services/ChildVerificationKeyService.js +27 -0
- package/dist/compiling/services/ChildVerificationKeyService.js.map +1 -0
- package/dist/config/ChildContainerCreatable.d.ts +5 -0
- package/dist/config/ChildContainerCreatable.d.ts.map +1 -0
- package/dist/config/ChildContainerCreatable.js +2 -0
- package/dist/config/ChildContainerCreatable.js.map +1 -0
- package/dist/config/ChildContainerProvider.d.ts +5 -0
- package/dist/config/ChildContainerProvider.d.ts.map +1 -0
- package/dist/config/ChildContainerProvider.js +2 -0
- package/dist/config/ChildContainerProvider.js.map +1 -0
- package/dist/config/ConfigurableModule.d.ts +6 -2
- package/dist/config/ConfigurableModule.d.ts.map +1 -1
- package/dist/config/ConfigurableModule.js +5 -0
- package/dist/config/ConfigurableModule.js.map +1 -0
- package/dist/config/ModuleContainer.d.ts +70 -17
- package/dist/config/ModuleContainer.d.ts.map +1 -1
- package/dist/config/ModuleContainer.js +164 -22
- package/dist/config/ModuleContainer.js.map +1 -0
- package/dist/config/Startable.d.ts +4 -0
- package/dist/config/Startable.d.ts.map +1 -0
- package/dist/config/Startable.js +2 -0
- package/dist/config/Startable.js.map +1 -0
- package/dist/config/injectAlias.d.ts +18 -0
- package/dist/config/injectAlias.d.ts.map +1 -0
- package/dist/config/injectAlias.js +47 -0
- package/dist/config/injectAlias.js.map +1 -0
- package/dist/dependencyFactory/DependencyFactory.d.ts +29 -0
- package/dist/dependencyFactory/DependencyFactory.d.ts.map +1 -0
- package/dist/dependencyFactory/DependencyFactory.js +2 -0
- package/dist/dependencyFactory/DependencyFactory.js.map +1 -0
- package/dist/dummyVerificationKey.d.ts +3 -0
- package/dist/dummyVerificationKey.d.ts.map +1 -0
- package/dist/dummyVerificationKey.js +8 -0
- package/dist/dummyVerificationKey.js.map +1 -0
- package/dist/events/EventEmitter.d.ts +19 -0
- package/dist/events/EventEmitter.d.ts.map +1 -0
- package/dist/events/EventEmitter.js +35 -0
- package/dist/events/EventEmitter.js.map +1 -0
- package/dist/events/EventEmitterProxy.d.ts +18 -0
- package/dist/events/EventEmitterProxy.d.ts.map +1 -0
- package/dist/events/EventEmitterProxy.js +35 -0
- package/dist/events/EventEmitterProxy.js.map +1 -0
- package/dist/events/EventEmittingComponent.d.ts +9 -0
- package/dist/events/EventEmittingComponent.d.ts.map +1 -0
- package/dist/events/EventEmittingComponent.js +2 -0
- package/dist/events/EventEmittingComponent.js.map +1 -0
- package/dist/events/ReplayingSingleUseEventEmitter.d.ts +17 -0
- package/dist/events/ReplayingSingleUseEventEmitter.d.ts.map +1 -0
- package/dist/events/ReplayingSingleUseEventEmitter.js +34 -0
- package/dist/events/ReplayingSingleUseEventEmitter.js.map +1 -0
- package/dist/index.d.ts +24 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +25 -2
- package/dist/index.js.map +1 -0
- package/dist/log.d.ts +37 -0
- package/dist/log.d.ts.map +1 -0
- package/dist/log.js +114 -0
- package/dist/log.js.map +1 -0
- package/dist/trees/lmt/AbstractLinkedMerkleTree.d.ts +288 -0
- package/dist/trees/lmt/AbstractLinkedMerkleTree.d.ts.map +1 -0
- package/dist/trees/lmt/AbstractLinkedMerkleTree.js +22 -0
- package/dist/trees/lmt/AbstractLinkedMerkleTree.js.map +1 -0
- package/dist/trees/lmt/InMemoryLinkedLeafStore.d.ts +21 -0
- package/dist/trees/lmt/InMemoryLinkedLeafStore.d.ts.map +1 -0
- package/dist/trees/lmt/InMemoryLinkedLeafStore.js +26 -0
- package/dist/trees/lmt/InMemoryLinkedLeafStore.js.map +1 -0
- package/dist/trees/lmt/LinkedLeafStore.d.ts +16 -0
- package/dist/trees/lmt/LinkedLeafStore.d.ts.map +1 -0
- package/dist/trees/lmt/LinkedLeafStore.js +2 -0
- package/dist/trees/lmt/LinkedLeafStore.js.map +1 -0
- package/dist/trees/lmt/LinkedMerkleTree.d.ts +11 -0
- package/dist/trees/lmt/LinkedMerkleTree.d.ts.map +1 -0
- package/dist/trees/lmt/LinkedMerkleTree.js +241 -0
- package/dist/trees/lmt/LinkedMerkleTree.js.map +1 -0
- package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.d.ts +113 -0
- package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.d.ts.map +1 -0
- package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.js +113 -0
- package/dist/trees/lmt/LinkedMerkleTreeCircuitOps.js.map +1 -0
- package/dist/trees/lmt/LinkedMerkleTreeTypes.d.ts +74 -0
- package/dist/trees/lmt/LinkedMerkleTreeTypes.d.ts.map +1 -0
- package/dist/trees/lmt/LinkedMerkleTreeTypes.js +50 -0
- package/dist/trees/lmt/LinkedMerkleTreeTypes.js.map +1 -0
- package/dist/trees/sparse/InMemoryMerkleTreeStorage.d.ts +11 -0
- package/dist/trees/sparse/InMemoryMerkleTreeStorage.d.ts.map +1 -0
- package/dist/trees/sparse/InMemoryMerkleTreeStorage.js +13 -0
- package/dist/trees/sparse/InMemoryMerkleTreeStorage.js.map +1 -0
- package/dist/trees/sparse/MerkleTreeStore.d.ts +5 -0
- package/dist/trees/sparse/MerkleTreeStore.d.ts.map +1 -0
- package/dist/trees/sparse/MerkleTreeStore.js +2 -0
- package/dist/trees/sparse/MerkleTreeStore.js.map +1 -0
- package/dist/trees/sparse/MockAsyncMerkleStore.d.ts +9 -0
- package/dist/trees/sparse/MockAsyncMerkleStore.d.ts.map +1 -0
- package/dist/trees/sparse/MockAsyncMerkleStore.js +20 -0
- package/dist/trees/sparse/MockAsyncMerkleStore.js.map +1 -0
- package/dist/trees/sparse/RollupMerkleTree.d.ts +157 -0
- package/dist/trees/sparse/RollupMerkleTree.d.ts.map +1 -0
- package/dist/trees/sparse/RollupMerkleTree.js +272 -0
- package/dist/trees/sparse/RollupMerkleTree.js.map +1 -0
- package/dist/types.d.ts +16 -0
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js +12 -1
- package/dist/types.js.map +1 -0
- package/dist/utils.d.ts +62 -0
- package/dist/utils.d.ts.map +1 -1
- package/dist/utils.js +155 -0
- package/dist/utils.js.map +1 -0
- package/dist/zkProgrammable/ProvableMethodExecutionContext.d.ts +4 -3
- package/dist/zkProgrammable/ProvableMethodExecutionContext.d.ts.map +1 -1
- package/dist/zkProgrammable/ProvableMethodExecutionContext.js +2 -3
- package/dist/zkProgrammable/ProvableMethodExecutionContext.js.map +1 -0
- package/dist/zkProgrammable/ZkProgrammable.d.ts +15 -7
- package/dist/zkProgrammable/ZkProgrammable.d.ts.map +1 -1
- package/dist/zkProgrammable/ZkProgrammable.js +34 -15
- package/dist/zkProgrammable/ZkProgrammable.js.map +1 -0
- package/dist/zkProgrammable/provableMethod.d.ts +8 -5
- package/dist/zkProgrammable/provableMethod.d.ts.map +1 -1
- package/dist/zkProgrammable/provableMethod.js +15 -13
- package/dist/zkProgrammable/provableMethod.js.map +1 -0
- package/jest.config.cjs +12 -1
- package/package.json +8 -7
- package/src/compiling/AtomicCompileHelper.ts +62 -0
- package/src/compiling/CompilableModule.ts +6 -0
- package/src/compiling/CompileRegistry.ts +79 -0
- package/src/compiling/services/ChildVerificationKeyService.ts +26 -0
- package/src/config/ChildContainerCreatable.ts +5 -0
- package/src/config/ChildContainerProvider.ts +5 -0
- package/src/config/ConfigurableModule.ts +15 -2
- package/src/config/ModuleContainer.ts +287 -46
- package/src/config/Startable.ts +3 -0
- package/src/config/injectAlias.ts +70 -0
- package/src/dependencyFactory/DependencyFactory.ts +57 -0
- package/src/dummyVerificationKey.ts +10 -0
- package/src/events/EventEmitter.ts +61 -0
- package/src/events/EventEmitterProxy.ts +81 -0
- package/src/events/EventEmittingComponent.ts +11 -0
- package/src/events/ReplayingSingleUseEventEmitter.ts +42 -0
- package/src/index.ts +24 -2
- package/src/log.ts +143 -0
- package/src/trees/lmt/AbstractLinkedMerkleTree.ts +102 -0
- package/src/trees/lmt/InMemoryLinkedLeafStore.ts +42 -0
- package/src/trees/lmt/LinkedLeafStore.ts +13 -0
- package/src/trees/lmt/LinkedMerkleTree.ts +335 -0
- package/src/trees/lmt/LinkedMerkleTreeCircuitOps.ts +188 -0
- package/src/trees/lmt/LinkedMerkleTreeTypes.ts +53 -0
- package/src/trees/sparse/InMemoryMerkleTreeStorage.ts +17 -0
- package/src/trees/sparse/MerkleTreeStore.ts +5 -0
- package/src/trees/sparse/MockAsyncMerkleStore.ts +30 -0
- package/src/trees/sparse/RollupMerkleTree.ts +427 -0
- package/src/types.ts +43 -2
- package/src/utils.ts +287 -0
- package/src/zkProgrammable/ProvableMethodExecutionContext.ts +6 -6
- package/src/zkProgrammable/ZkProgrammable.ts +61 -29
- package/src/zkProgrammable/provableMethod.ts +38 -21
- package/test/config/ContainerEvents.test.ts +65 -0
- package/test/config/ModuleContainer.test.ts +146 -15
- package/test/config/injectAlias.test.ts +28 -0
- package/test/trees/LinkedMerkleTree.test.ts +124 -0
- package/test/trees/LinkedMerkleTreeCircuitOps.test.ts +147 -0
- package/test/trees/MerkleTree.test.ts +220 -0
- package/test/tsconfig.json +5 -2
- package/test/zkProgrammable/ZkProgrammable.test.ts +135 -114
- package/tsconfig.json +1 -1
- package/dist/Constants.d.ts +0 -4
- package/dist/Constants.d.ts.map +0 -1
- package/dist/Constants.js +0 -3
- package/dist/config/ConfigurationAggregator.d.ts +0 -10
- package/dist/config/ConfigurationAggregator.d.ts.map +0 -1
- package/dist/config/ConfigurationAggregator.js +0 -35
- package/dist/config/ConfigurationReceiver.d.ts +0 -25
- package/dist/config/ConfigurationReceiver.d.ts.map +0 -1
- package/dist/config/ConfigurationReceiver.js +0 -36
- package/dist/config/types.d.ts +0 -2
- package/dist/config/types.d.ts.map +0 -1
- package/dist/config/types.js +0 -1
- package/dist/model/MethodPublicInput.d.ts +0 -51
- package/dist/model/MethodPublicInput.d.ts.map +0 -1
- package/dist/model/MethodPublicInput.js +0 -11
- package/dist/model/Option.d.ts +0 -89
- package/dist/model/Option.d.ts.map +0 -1
- package/dist/model/Option.js +0 -86
- package/dist/model/Path.d.ts +0 -31
- package/dist/model/Path.d.ts.map +0 -1
- package/dist/model/Path.js +0 -44
- package/dist/model/StateTransition.d.ts +0 -85
- package/dist/model/StateTransition.d.ts.map +0 -1
- package/dist/model/StateTransition.js +0 -58
- package/dist/model/StateTransitionProvableBatch.d.ts +0 -56
- package/dist/model/StateTransitionProvableBatch.d.ts.map +0 -1
- package/dist/model/StateTransitionProvableBatch.js +0 -20
- package/dist/prover/block/BlockProver.d.ts +0 -199
- package/dist/prover/block/BlockProver.d.ts.map +0 -1
- package/dist/prover/block/BlockProver.js +0 -119
- package/dist/prover/block/BlockScopedModule.d.ts +0 -3
- package/dist/prover/block/BlockScopedModule.d.ts.map +0 -1
- package/dist/prover/block/BlockScopedModule.js +0 -6
- package/dist/prover/statetransition/StateTransitionProver.d.ts +0 -92
- package/dist/prover/statetransition/StateTransitionProver.d.ts.map +0 -1
- package/dist/prover/statetransition/StateTransitionProver.js +0 -127
- package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts +0 -16
- package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map +0 -1
- package/dist/prover/statetransition/StateTransitionWitnessProvider.js +0 -17
- package/dist/src/model/Option.d.ts +0 -158
- package/dist/src/model/Option.d.ts.map +0 -1
- package/dist/src/model/Option.js +0 -53
- package/dist/src/model/Path.d.ts +0 -35
- package/dist/src/model/Path.d.ts.map +0 -1
- package/dist/src/model/Path.js +0 -51
- package/dist/src/model/StateTransition.d.ts +0 -201
- package/dist/src/model/StateTransition.d.ts.map +0 -1
- package/dist/src/model/StateTransition.js +0 -43
- package/dist/src/utils/PrefixedHashList.d.ts +0 -15
- package/dist/src/utils/PrefixedHashList.d.ts.map +0 -1
- package/dist/src/utils/PrefixedHashList.js +0 -28
- package/dist/src/utils/ProvableHashList.d.ts +0 -30
- package/dist/src/utils/ProvableHashList.d.ts.map +0 -1
- package/dist/src/utils/ProvableHashList.js +0 -43
- package/dist/utils/PrefixedHashList.d.ts +0 -14
- package/dist/utils/PrefixedHashList.d.ts.map +0 -1
- package/dist/utils/PrefixedHashList.js +0 -12
- package/dist/utils/PrefixedProvableHashList.d.ts +0 -8
- package/dist/utils/PrefixedProvableHashList.d.ts.map +0 -1
- package/dist/utils/PrefixedProvableHashList.js +0 -12
- package/dist/utils/ProvableHashList.d.ts +0 -26
- package/dist/utils/ProvableHashList.d.ts.map +0 -1
- package/dist/utils/ProvableHashList.js +0 -35
- package/dist/utils/Utils.d.ts +0 -22
- package/dist/utils/Utils.d.ts.map +0 -1
- package/dist/utils/Utils.js +0 -41
- package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts +0 -26
- package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts.map +0 -1
- package/dist/utils/merkletree/MemoryMerkleTreeStorage.js +0 -79
- package/dist/utils/merkletree/RollupMerkleTree.d.ts +0 -143
- package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +0 -1
- package/dist/utils/merkletree/RollupMerkleTree.js +0 -246
- 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
|
|
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
|
package/dist/index.d.ts.map
CHANGED
|
@@ -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;
|
|
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
|
-
|
|
9
|
-
export
|
|
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
|
package/dist/log.js.map
ADDED
|
@@ -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"}
|