@proto-kit/protocol 0.1.1-develop.1088 → 0.1.1-develop.1309
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/Constants.js +1 -0
- package/dist/Constants.js.map +1 -0
- package/dist/hooks/AccountStateHook.js +1 -0
- package/dist/hooks/AccountStateHook.js.map +1 -0
- package/dist/hooks/BlockHeightHook.js +1 -0
- package/dist/hooks/BlockHeightHook.js.map +1 -0
- package/dist/hooks/LastStateRootBlockHook.js +1 -0
- package/dist/hooks/LastStateRootBlockHook.js.map +1 -0
- package/dist/hooks/NoopBlockHook.js +1 -0
- package/dist/hooks/NoopBlockHook.js.map +1 -0
- package/dist/hooks/NoopSettlementHook.d.ts +2 -2
- package/dist/hooks/NoopSettlementHook.d.ts.map +1 -1
- package/dist/hooks/NoopSettlementHook.js +1 -0
- package/dist/hooks/NoopSettlementHook.js.map +1 -0
- package/dist/hooks/NoopTransactionHook.js +1 -0
- package/dist/hooks/NoopTransactionHook.js.map +1 -0
- package/dist/index.d.ts +6 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -2
- package/dist/index.js.map +1 -0
- package/dist/model/MethodPublicOutput.js +1 -0
- package/dist/model/MethodPublicOutput.js.map +1 -0
- package/dist/model/Option.js +1 -0
- package/dist/model/Option.js.map +1 -0
- package/dist/model/Path.js +1 -0
- package/dist/model/Path.js.map +1 -0
- package/dist/model/RuntimeLike.js +1 -0
- package/dist/model/RuntimeLike.js.map +1 -0
- package/dist/model/StateTransition.js +1 -0
- package/dist/model/StateTransition.js.map +1 -0
- package/dist/model/StateTransitionProvableBatch.d.ts +28 -2
- package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
- package/dist/model/StateTransitionProvableBatch.js +9 -3
- package/dist/model/StateTransitionProvableBatch.js.map +1 -0
- package/dist/model/network/NetworkState.js +1 -0
- package/dist/model/network/NetworkState.js.map +1 -0
- package/dist/model/transaction/RuntimeTransaction.js +1 -0
- package/dist/model/transaction/RuntimeTransaction.js.map +1 -0
- package/dist/model/transaction/SignedTransaction.js +1 -0
- package/dist/model/transaction/SignedTransaction.js.map +1 -0
- package/dist/model/transaction/ValueOption.js +1 -0
- package/dist/model/transaction/ValueOption.js.map +1 -0
- package/dist/protocol/Protocol.d.ts.map +1 -1
- package/dist/protocol/Protocol.js +31 -6
- package/dist/protocol/Protocol.js.map +1 -0
- package/dist/protocol/ProtocolEnvironment.js +1 -0
- package/dist/protocol/ProtocolEnvironment.js.map +1 -0
- package/dist/protocol/ProtocolModule.d.ts +1 -1
- package/dist/protocol/ProtocolModule.d.ts.map +1 -1
- package/dist/protocol/ProtocolModule.js +2 -1
- package/dist/protocol/ProtocolModule.js.map +1 -0
- package/dist/protocol/ProvableBlockHook.js +1 -0
- package/dist/protocol/ProvableBlockHook.js.map +1 -0
- package/dist/protocol/ProvableTransactionHook.js +1 -0
- package/dist/protocol/ProvableTransactionHook.js.map +1 -0
- package/dist/protocol/TransitioningProtocolModule.js +1 -0
- package/dist/protocol/TransitioningProtocolModule.js.map +1 -0
- package/dist/prover/block/BlockProvable.d.ts +19 -5
- package/dist/prover/block/BlockProvable.d.ts.map +1 -1
- package/dist/prover/block/BlockProvable.js +5 -2
- package/dist/prover/block/BlockProvable.js.map +1 -0
- package/dist/prover/block/BlockProver.d.ts +11 -9
- package/dist/prover/block/BlockProver.d.ts.map +1 -1
- package/dist/prover/block/BlockProver.js +79 -41
- package/dist/prover/block/BlockProver.js.map +1 -0
- package/dist/prover/block/accummulators/BlockHashMerkleTree.js +1 -0
- package/dist/prover/block/accummulators/BlockHashMerkleTree.js.map +1 -0
- package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts +2 -2
- package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js +1 -0
- package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js.map +1 -0
- package/dist/prover/block/services/RuntimeVerificationKeyRootService.js +1 -0
- package/dist/prover/block/services/RuntimeVerificationKeyRootService.js.map +1 -0
- package/dist/prover/statetransition/StateTransitionProvable.d.ts +2 -4
- package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProvable.js +1 -0
- package/dist/prover/statetransition/StateTransitionProvable.js.map +1 -0
- package/dist/prover/statetransition/StateTransitionProver.d.ts +7 -10
- package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.js +27 -28
- package/dist/prover/statetransition/StateTransitionProver.js.map +1 -0
- package/dist/settlement/ContractModule.d.ts +4 -3
- package/dist/settlement/ContractModule.d.ts.map +1 -1
- package/dist/settlement/ContractModule.js +2 -1
- package/dist/settlement/ContractModule.js.map +1 -0
- package/dist/settlement/SettlementContractModule.d.ts +25 -12
- package/dist/settlement/SettlementContractModule.d.ts.map +1 -1
- package/dist/settlement/SettlementContractModule.js +29 -20
- package/dist/settlement/SettlementContractModule.js.map +1 -0
- package/dist/settlement/contracts/BridgeContract.d.ts +97 -0
- package/dist/settlement/contracts/BridgeContract.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgeContract.js +164 -0
- package/dist/settlement/contracts/BridgeContract.js.map +1 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts +14 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.js +30 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +10 -1
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -1
- package/dist/settlement/contracts/DispatchContractProtocolModule.js +24 -2
- package/dist/settlement/contracts/DispatchContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/DispatchSmartContract.d.ts +26 -4
- package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -1
- package/dist/settlement/contracts/DispatchSmartContract.js +139 -19
- package/dist/settlement/contracts/DispatchSmartContract.js.map +1 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts +10 -8
- package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map +1 -1
- package/dist/settlement/contracts/SettlementContractProtocolModule.js +47 -9
- package/dist/settlement/contracts/SettlementContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/SettlementSmartContract.d.ts +98 -17
- package/dist/settlement/contracts/SettlementSmartContract.d.ts.map +1 -1
- package/dist/settlement/contracts/SettlementSmartContract.js +147 -79
- package/dist/settlement/contracts/SettlementSmartContract.js.map +1 -0
- package/dist/settlement/contracts/TokenBridgeTree.d.ts +228 -0
- package/dist/settlement/contracts/TokenBridgeTree.d.ts.map +1 -0
- package/dist/settlement/contracts/TokenBridgeTree.js +60 -0
- package/dist/settlement/contracts/TokenBridgeTree.js.map +1 -0
- package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts +10 -0
- package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts.map +1 -0
- package/dist/settlement/contracts/authorizations/ContractAuthorization.js +2 -0
- package/dist/settlement/contracts/authorizations/ContractAuthorization.js.map +1 -0
- package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts +85 -0
- package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts.map +1 -0
- package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js +11 -0
- package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js.map +1 -0
- package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts +79 -0
- package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts.map +1 -0
- package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js +11 -0
- package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js.map +1 -0
- package/dist/settlement/messages/Deposit.d.ts +13 -0
- package/dist/settlement/messages/Deposit.d.ts.map +1 -1
- package/dist/settlement/messages/Deposit.js +3 -1
- package/dist/settlement/messages/Deposit.js.map +1 -0
- package/dist/settlement/messages/OutgoingMessageArgument.d.ts +8 -0
- package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -1
- package/dist/settlement/messages/OutgoingMessageArgument.js +1 -0
- package/dist/settlement/messages/OutgoingMessageArgument.js.map +1 -0
- package/dist/settlement/messages/Withdrawal.d.ts +13 -0
- package/dist/settlement/messages/Withdrawal.d.ts.map +1 -1
- package/dist/settlement/messages/Withdrawal.js +4 -1
- package/dist/settlement/messages/Withdrawal.js.map +1 -0
- package/dist/settlement/modularity/ProvableSettlementHook.d.ts +5 -3
- package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map +1 -1
- package/dist/settlement/modularity/ProvableSettlementHook.js +1 -0
- package/dist/settlement/modularity/ProvableSettlementHook.js.map +1 -0
- package/dist/settlement/modularity/types.d.ts +8 -0
- package/dist/settlement/modularity/types.d.ts.map +1 -0
- package/dist/settlement/modularity/types.js +2 -0
- package/dist/settlement/modularity/types.js.map +1 -0
- package/dist/settlement/modules/NetworkStateSettlementModule.js +1 -0
- package/dist/settlement/modules/NetworkStateSettlementModule.js.map +1 -0
- package/dist/state/State.js +1 -0
- package/dist/state/State.js.map +1 -0
- package/dist/state/StateMap.js +1 -0
- package/dist/state/StateMap.js.map +1 -0
- package/dist/state/StateService.js +1 -0
- package/dist/state/StateService.js.map +1 -0
- package/dist/state/StateServiceProvider.js +1 -0
- package/dist/state/StateServiceProvider.js.map +1 -0
- package/dist/state/assert/assert.js +1 -0
- package/dist/state/assert/assert.js.map +1 -0
- package/dist/state/context/RuntimeMethodExecutionContext.js +1 -0
- package/dist/state/context/RuntimeMethodExecutionContext.js.map +1 -0
- package/dist/state/context/TransitionMethodExecutionContext.js +1 -0
- package/dist/state/context/TransitionMethodExecutionContext.js.map +1 -0
- package/dist/state/protocol/ProtocolState.js +1 -0
- package/dist/state/protocol/ProtocolState.js.map +1 -0
- package/dist/utils/MinaPrefixedProvableHashList.js +1 -0
- package/dist/utils/MinaPrefixedProvableHashList.js.map +1 -0
- package/dist/utils/PrefixedProvableHashList.js +1 -0
- package/dist/utils/PrefixedProvableHashList.js.map +1 -0
- package/dist/utils/ProvableHashList.js +1 -0
- package/dist/utils/ProvableHashList.js.map +1 -0
- package/dist/utils/ProvableReductionHashList.js +1 -0
- package/dist/utils/ProvableReductionHashList.js.map +1 -0
- package/dist/utils/StateTransitionReductionList.js +1 -0
- package/dist/utils/StateTransitionReductionList.js.map +1 -0
- package/dist/utils/utils.js +1 -0
- package/dist/utils/utils.js.map +1 -0
- package/jest.config.cjs +12 -1
- package/package.json +4 -4
- package/src/hooks/NoopSettlementHook.ts +2 -2
- package/src/index.ts +6 -2
- package/src/model/StateTransitionProvableBatch.ts +24 -4
- package/src/protocol/Protocol.ts +36 -7
- package/src/protocol/ProtocolModule.ts +1 -1
- package/src/prover/block/BlockProvable.ts +9 -9
- package/src/prover/block/BlockProver.ts +94 -58
- package/src/prover/statetransition/StateTransitionProvable.ts +5 -8
- package/src/prover/statetransition/StateTransitionProver.ts +46 -40
- package/src/settlement/ContractModule.ts +17 -10
- package/src/settlement/SettlementContractModule.ts +54 -41
- package/src/settlement/contracts/BridgeContract.ts +237 -0
- package/src/settlement/contracts/BridgeContractProtocolModule.ts +43 -0
- package/src/settlement/contracts/DispatchContractProtocolModule.ts +37 -3
- package/src/settlement/contracts/DispatchSmartContract.ts +213 -23
- package/src/settlement/contracts/SettlementContractProtocolModule.ts +61 -20
- package/src/settlement/contracts/SettlementSmartContract.ts +261 -107
- package/src/settlement/contracts/TokenBridgeTree.ts +73 -0
- package/src/settlement/contracts/authorizations/ContractAuthorization.ts +11 -0
- package/src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts +16 -0
- package/src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts +16 -0
- package/src/settlement/messages/Deposit.ts +2 -1
- package/src/settlement/messages/Withdrawal.ts +3 -1
- package/src/settlement/modularity/ProvableSettlementHook.ts +6 -3
- package/src/settlement/modularity/types.ts +22 -0
- package/test/BlockProver.test.ts +2 -1
- package/test/TestingProtocol.ts +17 -12
- package/test/compiling/types.ts +28 -0
- package/test/modularity/types.ts +35 -0
- package/src/prover/statetransition/StateTransitionWitnessProvider.ts +0 -23
- package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts +0 -17
|
@@ -0,0 +1,228 @@
|
|
|
1
|
+
import { Field, PublicKey, SmartContract } from "o1js";
|
|
2
|
+
declare const TokenBridgeTree_base: import("@proto-kit/common").AbstractMerkleTreeClass;
|
|
3
|
+
/**
|
|
4
|
+
* Merkle tree that contains all the deployed token bridges as a mapping of
|
|
5
|
+
* tokenId => PublicKey
|
|
6
|
+
*
|
|
7
|
+
* It should be used as an append-only tree with incremental indizes - this allows
|
|
8
|
+
* us to reduce the height of it
|
|
9
|
+
*/
|
|
10
|
+
export declare class TokenBridgeTree extends TokenBridgeTree_base {
|
|
11
|
+
indizes: Record<string, bigint>;
|
|
12
|
+
/**
|
|
13
|
+
* Initializes and fills the tree based on all on-chain events that have been
|
|
14
|
+
* emitted by every emit
|
|
15
|
+
*/
|
|
16
|
+
static buildTreeFromEvents(contract: SmartContract & {
|
|
17
|
+
events: {
|
|
18
|
+
"token-bridge-added": typeof TokenBridgeTreeAddition;
|
|
19
|
+
};
|
|
20
|
+
}): Promise<TokenBridgeTree>;
|
|
21
|
+
getIndex(tokenId: Field): bigint;
|
|
22
|
+
}
|
|
23
|
+
export declare class TokenBridgeTreeWitness extends TokenBridgeTree.WITNESS {
|
|
24
|
+
}
|
|
25
|
+
declare const TokenBridgeEntry_base: (new (value: {
|
|
26
|
+
address: PublicKey;
|
|
27
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
28
|
+
}) => {
|
|
29
|
+
address: PublicKey;
|
|
30
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
31
|
+
}) & {
|
|
32
|
+
_isStruct: true;
|
|
33
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
34
|
+
address: PublicKey;
|
|
35
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
36
|
+
}, {
|
|
37
|
+
address: {
|
|
38
|
+
x: bigint;
|
|
39
|
+
isOdd: boolean;
|
|
40
|
+
};
|
|
41
|
+
tokenId: bigint;
|
|
42
|
+
}>, "fromFields"> & {
|
|
43
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
44
|
+
address: PublicKey;
|
|
45
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
46
|
+
};
|
|
47
|
+
} & {
|
|
48
|
+
fromValue: (value: {
|
|
49
|
+
address: PublicKey | {
|
|
50
|
+
x: bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
51
|
+
isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
52
|
+
};
|
|
53
|
+
tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
54
|
+
}) => {
|
|
55
|
+
address: PublicKey;
|
|
56
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
57
|
+
};
|
|
58
|
+
toInput: (x: {
|
|
59
|
+
address: PublicKey;
|
|
60
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
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
|
+
address: PublicKey;
|
|
67
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
68
|
+
}) => {
|
|
69
|
+
address: string;
|
|
70
|
+
tokenId: string;
|
|
71
|
+
};
|
|
72
|
+
fromJSON: (x: {
|
|
73
|
+
address: string;
|
|
74
|
+
tokenId: string;
|
|
75
|
+
}) => {
|
|
76
|
+
address: PublicKey;
|
|
77
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
78
|
+
};
|
|
79
|
+
empty: () => {
|
|
80
|
+
address: PublicKey;
|
|
81
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
82
|
+
};
|
|
83
|
+
};
|
|
84
|
+
export declare class TokenBridgeEntry extends TokenBridgeEntry_base {
|
|
85
|
+
hash(): import("o1js/dist/node/lib/provable/field").Field;
|
|
86
|
+
}
|
|
87
|
+
declare const TokenBridgeAttestation_base: (new (value: {
|
|
88
|
+
witness: TokenBridgeTreeWitness;
|
|
89
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
90
|
+
}) => {
|
|
91
|
+
witness: TokenBridgeTreeWitness;
|
|
92
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
93
|
+
}) & {
|
|
94
|
+
_isStruct: true;
|
|
95
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
96
|
+
witness: TokenBridgeTreeWitness;
|
|
97
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
98
|
+
}, {
|
|
99
|
+
witness: {
|
|
100
|
+
path: bigint[];
|
|
101
|
+
isLeft: boolean[];
|
|
102
|
+
};
|
|
103
|
+
index: bigint;
|
|
104
|
+
}>, "fromFields"> & {
|
|
105
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
106
|
+
witness: TokenBridgeTreeWitness;
|
|
107
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
108
|
+
};
|
|
109
|
+
} & {
|
|
110
|
+
fromValue: (value: {
|
|
111
|
+
witness: {
|
|
112
|
+
path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
|
|
113
|
+
isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
|
|
114
|
+
} | TokenBridgeTreeWitness;
|
|
115
|
+
index: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
116
|
+
}) => {
|
|
117
|
+
witness: TokenBridgeTreeWitness;
|
|
118
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
119
|
+
};
|
|
120
|
+
toInput: (x: {
|
|
121
|
+
witness: TokenBridgeTreeWitness;
|
|
122
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
123
|
+
}) => {
|
|
124
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
125
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
126
|
+
};
|
|
127
|
+
toJSON: (x: {
|
|
128
|
+
witness: TokenBridgeTreeWitness;
|
|
129
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
130
|
+
}) => {
|
|
131
|
+
witness: {
|
|
132
|
+
path: string[];
|
|
133
|
+
isLeft: boolean[];
|
|
134
|
+
};
|
|
135
|
+
index: string;
|
|
136
|
+
};
|
|
137
|
+
fromJSON: (x: {
|
|
138
|
+
witness: {
|
|
139
|
+
path: string[];
|
|
140
|
+
isLeft: boolean[];
|
|
141
|
+
};
|
|
142
|
+
index: string;
|
|
143
|
+
}) => {
|
|
144
|
+
witness: TokenBridgeTreeWitness;
|
|
145
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
146
|
+
};
|
|
147
|
+
empty: () => {
|
|
148
|
+
witness: TokenBridgeTreeWitness;
|
|
149
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
150
|
+
};
|
|
151
|
+
};
|
|
152
|
+
export declare class TokenBridgeAttestation extends TokenBridgeAttestation_base {
|
|
153
|
+
}
|
|
154
|
+
declare const TokenBridgeTreeAddition_base: (new (value: {
|
|
155
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
156
|
+
value: TokenBridgeEntry;
|
|
157
|
+
}) => {
|
|
158
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
159
|
+
value: TokenBridgeEntry;
|
|
160
|
+
}) & {
|
|
161
|
+
_isStruct: true;
|
|
162
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
163
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
164
|
+
value: TokenBridgeEntry;
|
|
165
|
+
}, {
|
|
166
|
+
index: bigint;
|
|
167
|
+
value: {
|
|
168
|
+
address: {
|
|
169
|
+
x: bigint;
|
|
170
|
+
isOdd: boolean;
|
|
171
|
+
};
|
|
172
|
+
tokenId: bigint;
|
|
173
|
+
};
|
|
174
|
+
}>, "fromFields"> & {
|
|
175
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
176
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
177
|
+
value: TokenBridgeEntry;
|
|
178
|
+
};
|
|
179
|
+
} & {
|
|
180
|
+
fromValue: (value: {
|
|
181
|
+
index: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
182
|
+
value: TokenBridgeEntry | {
|
|
183
|
+
address: PublicKey | {
|
|
184
|
+
x: bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
185
|
+
isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
186
|
+
};
|
|
187
|
+
tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
188
|
+
};
|
|
189
|
+
}) => {
|
|
190
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
191
|
+
value: TokenBridgeEntry;
|
|
192
|
+
};
|
|
193
|
+
toInput: (x: {
|
|
194
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
195
|
+
value: TokenBridgeEntry;
|
|
196
|
+
}) => {
|
|
197
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
198
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
199
|
+
};
|
|
200
|
+
toJSON: (x: {
|
|
201
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
202
|
+
value: TokenBridgeEntry;
|
|
203
|
+
}) => {
|
|
204
|
+
index: string;
|
|
205
|
+
value: {
|
|
206
|
+
address: string;
|
|
207
|
+
tokenId: string;
|
|
208
|
+
};
|
|
209
|
+
};
|
|
210
|
+
fromJSON: (x: {
|
|
211
|
+
index: string;
|
|
212
|
+
value: {
|
|
213
|
+
address: string;
|
|
214
|
+
tokenId: string;
|
|
215
|
+
};
|
|
216
|
+
}) => {
|
|
217
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
218
|
+
value: TokenBridgeEntry;
|
|
219
|
+
};
|
|
220
|
+
empty: () => {
|
|
221
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
222
|
+
value: TokenBridgeEntry;
|
|
223
|
+
};
|
|
224
|
+
};
|
|
225
|
+
export declare class TokenBridgeTreeAddition extends TokenBridgeTreeAddition_base {
|
|
226
|
+
}
|
|
227
|
+
export {};
|
|
228
|
+
//# sourceMappingURL=TokenBridgeTree.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TokenBridgeTree.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/TokenBridgeTree.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,KAAK,EAAY,SAAS,EAAE,aAAa,EAAU,MAAM,MAAM,CAAC;;AAEzE;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,oBAAqB;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM;IAE5C;;;OAGG;WACiB,mBAAmB,CACrC,QAAQ,EAAE,aAAa,GAAG;QACxB,MAAM,EAAE;YAAE,oBAAoB,EAAE,OAAO,uBAAuB,CAAA;SAAE,CAAC;KAClE;IAwBI,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,MAAM;CAGxC;AAED,qBAAa,sBAAuB,SAAQ,eAAe,CAAC,OAAO;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEtE,qBAAa,gBAAiB,SAAQ,qBAGpC;IACO,IAAI;CAGZ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,sBAAuB,SAAQ,2BAG1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAG3C;CAAG"}
|
|
@@ -0,0 +1,60 @@
|
|
|
1
|
+
import { createMerkleTree, InMemoryMerkleTreeStorage, log, } from "@proto-kit/common";
|
|
2
|
+
import { Field, Poseidon, PublicKey, Struct } from "o1js";
|
|
3
|
+
/**
|
|
4
|
+
* Merkle tree that contains all the deployed token bridges as a mapping of
|
|
5
|
+
* tokenId => PublicKey
|
|
6
|
+
*
|
|
7
|
+
* It should be used as an append-only tree with incremental indizes - this allows
|
|
8
|
+
* us to reduce the height of it
|
|
9
|
+
*/
|
|
10
|
+
export class TokenBridgeTree extends createMerkleTree(256) {
|
|
11
|
+
constructor() {
|
|
12
|
+
super(...arguments);
|
|
13
|
+
this.indizes = {};
|
|
14
|
+
}
|
|
15
|
+
/**
|
|
16
|
+
* Initializes and fills the tree based on all on-chain events that have been
|
|
17
|
+
* emitted by every emit
|
|
18
|
+
*/
|
|
19
|
+
static async buildTreeFromEvents(contract) {
|
|
20
|
+
const events = await contract.fetchEvents();
|
|
21
|
+
log.debug(`Found ${events.length} token bridge add events`);
|
|
22
|
+
const tree = new TokenBridgeTree(new InMemoryMerkleTreeStorage());
|
|
23
|
+
const indizes = {};
|
|
24
|
+
events.forEach(({ type, event }) => {
|
|
25
|
+
if (type === "token-bridge-added") {
|
|
26
|
+
const addition =
|
|
27
|
+
// eslint-disable-next-line @typescript-eslint/consistent-type-assertions
|
|
28
|
+
event.data;
|
|
29
|
+
tree.setLeaf(addition.index.toBigInt(), addition.value.hash());
|
|
30
|
+
indizes[addition.value.tokenId.toString()] = addition.index.toBigInt();
|
|
31
|
+
}
|
|
32
|
+
});
|
|
33
|
+
tree.indizes = indizes;
|
|
34
|
+
return tree;
|
|
35
|
+
}
|
|
36
|
+
getIndex(tokenId) {
|
|
37
|
+
return this.indizes[tokenId.toString()];
|
|
38
|
+
}
|
|
39
|
+
}
|
|
40
|
+
export class TokenBridgeTreeWitness extends TokenBridgeTree.WITNESS {
|
|
41
|
+
}
|
|
42
|
+
export class TokenBridgeEntry extends Struct({
|
|
43
|
+
address: PublicKey,
|
|
44
|
+
tokenId: Field,
|
|
45
|
+
}) {
|
|
46
|
+
hash() {
|
|
47
|
+
return Poseidon.hash(TokenBridgeEntry.toFields(this));
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
export class TokenBridgeAttestation extends Struct({
|
|
51
|
+
witness: TokenBridgeTreeWitness,
|
|
52
|
+
index: Field,
|
|
53
|
+
}) {
|
|
54
|
+
}
|
|
55
|
+
export class TokenBridgeTreeAddition extends Struct({
|
|
56
|
+
index: Field,
|
|
57
|
+
value: TokenBridgeEntry,
|
|
58
|
+
}) {
|
|
59
|
+
}
|
|
60
|
+
//# sourceMappingURL=TokenBridgeTree.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TokenBridgeTree.js","sourceRoot":"","sources":["../../../src/settlement/contracts/TokenBridgeTree.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,yBAAyB,EACzB,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAiB,MAAM,EAAE,MAAM,MAAM,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,OAAO,eAAgB,SAAQ,gBAAgB,CAAC,GAAG,CAAC;IAA1D;;QACS,YAAO,GAA2B,EAAE,CAAC;IAoC9C,CAAC;IAlCC;;;OAGG;IACI,MAAM,CAAC,KAAK,CAAC,mBAAmB,CACrC,QAEC;QAED,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,WAAW,EAAE,CAAC;QAE5C,GAAG,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,MAAM,0BAA0B,CAAC,CAAC;QAE5D,MAAM,IAAI,GAAG,IAAI,eAAe,CAAC,IAAI,yBAAyB,EAAE,CAAC,CAAC;QAClE,MAAM,OAAO,GAA2B,EAAE,CAAC;QAE3C,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;YACjC,IAAI,IAAI,KAAK,oBAAoB,EAAE;gBACjC,MAAM,QAAQ;gBACZ,yEAAyE;gBACzE,KAAK,CAAC,IAA0C,CAAC;gBAEnD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAE/D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;aACxE;QACH,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,QAAQ,CAAC,OAAc;QAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC1C,CAAC;CACF;AAED,MAAM,OAAO,sBAAuB,SAAQ,eAAe,CAAC,OAAO;CAAG;AAEtE,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC;IAC3C,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,KAAK;CACf,CAAC;IACO,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC;CACF;AAED,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC;IACjD,OAAO,EAAE,sBAAsB;IAC/B,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,MAAM,OAAO,uBAAwB,SAAQ,MAAM,CAAC;IAClD,KAAK,EAAE,KAAK;IACZ,KAAK,EAAE,gBAAgB;CACxB,CAAC;CAAG"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import { Field, PublicKey } from "o1js";
|
|
2
|
+
/**
|
|
3
|
+
* Interface for cross-contract call authorization
|
|
4
|
+
* See https://github.com/proto-kit/framework/issues/202#issuecomment-2407263173
|
|
5
|
+
*/
|
|
6
|
+
export interface ContractAuthorization {
|
|
7
|
+
target: PublicKey;
|
|
8
|
+
hash: () => Field;
|
|
9
|
+
}
|
|
10
|
+
//# sourceMappingURL=ContractAuthorization.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ContractAuthorization.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/ContractAuthorization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAExC;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,SAAS,CAAC;IAElB,IAAI,EAAE,MAAM,KAAK,CAAC;CACnB"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ContractAuthorization.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/ContractAuthorization.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,85 @@
|
|
|
1
|
+
import { PublicKey } from "o1js";
|
|
2
|
+
import { ContractAuthorization } from "./ContractAuthorization";
|
|
3
|
+
declare const TokenBridgeDeploymentAuth_base: (new (value: {
|
|
4
|
+
target: PublicKey;
|
|
5
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
6
|
+
address: PublicKey;
|
|
7
|
+
}) => {
|
|
8
|
+
target: PublicKey;
|
|
9
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
10
|
+
address: PublicKey;
|
|
11
|
+
}) & {
|
|
12
|
+
_isStruct: true;
|
|
13
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
14
|
+
target: PublicKey;
|
|
15
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
16
|
+
address: PublicKey;
|
|
17
|
+
}, {
|
|
18
|
+
target: {
|
|
19
|
+
x: bigint;
|
|
20
|
+
isOdd: boolean;
|
|
21
|
+
};
|
|
22
|
+
tokenId: bigint;
|
|
23
|
+
address: {
|
|
24
|
+
x: bigint;
|
|
25
|
+
isOdd: boolean;
|
|
26
|
+
};
|
|
27
|
+
}>, "fromFields"> & {
|
|
28
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
29
|
+
target: PublicKey;
|
|
30
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
31
|
+
address: PublicKey;
|
|
32
|
+
};
|
|
33
|
+
} & {
|
|
34
|
+
fromValue: (value: {
|
|
35
|
+
target: PublicKey | {
|
|
36
|
+
x: bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
37
|
+
isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
38
|
+
};
|
|
39
|
+
tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
40
|
+
address: PublicKey | {
|
|
41
|
+
x: bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
42
|
+
isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
43
|
+
};
|
|
44
|
+
}) => {
|
|
45
|
+
target: PublicKey;
|
|
46
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
47
|
+
address: PublicKey;
|
|
48
|
+
};
|
|
49
|
+
toInput: (x: {
|
|
50
|
+
target: PublicKey;
|
|
51
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
52
|
+
address: PublicKey;
|
|
53
|
+
}) => {
|
|
54
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
55
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
56
|
+
};
|
|
57
|
+
toJSON: (x: {
|
|
58
|
+
target: PublicKey;
|
|
59
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
60
|
+
address: PublicKey;
|
|
61
|
+
}) => {
|
|
62
|
+
target: string;
|
|
63
|
+
tokenId: string;
|
|
64
|
+
address: string;
|
|
65
|
+
};
|
|
66
|
+
fromJSON: (x: {
|
|
67
|
+
target: string;
|
|
68
|
+
tokenId: string;
|
|
69
|
+
address: string;
|
|
70
|
+
}) => {
|
|
71
|
+
target: PublicKey;
|
|
72
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
73
|
+
address: PublicKey;
|
|
74
|
+
};
|
|
75
|
+
empty: () => {
|
|
76
|
+
target: PublicKey;
|
|
77
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
78
|
+
address: PublicKey;
|
|
79
|
+
};
|
|
80
|
+
};
|
|
81
|
+
export declare class TokenBridgeDeploymentAuth extends TokenBridgeDeploymentAuth_base implements ContractAuthorization {
|
|
82
|
+
hash(): import("o1js/dist/node/lib/provable/field").Field;
|
|
83
|
+
}
|
|
84
|
+
export {};
|
|
85
|
+
//# sourceMappingURL=TokenBridgeDeploymentAuth.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TokenBridgeDeploymentAuth.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,SAAS,EAAU,MAAM,MAAM,CAAC;AAE1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,yBACX,SAAQ,8BAKR,YAAW,qBAAqB;IAEzB,IAAI;CAGZ"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import { Field, Poseidon, PublicKey, Struct } from "o1js";
|
|
2
|
+
export class TokenBridgeDeploymentAuth extends Struct({
|
|
3
|
+
target: PublicKey,
|
|
4
|
+
tokenId: Field,
|
|
5
|
+
address: PublicKey,
|
|
6
|
+
}) {
|
|
7
|
+
hash() {
|
|
8
|
+
return Poseidon.hash(TokenBridgeDeploymentAuth.toFields(this));
|
|
9
|
+
}
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=TokenBridgeDeploymentAuth.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TokenBridgeDeploymentAuth.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAI1D,MAAM,OAAO,yBACX,SAAQ,MAAM,CAAC;IACb,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,KAAK;IACd,OAAO,EAAE,SAAS;CACnB,CAAC;IAGK,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;CACF"}
|
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
import { PublicKey } from "o1js";
|
|
2
|
+
import { ContractAuthorization } from "./ContractAuthorization";
|
|
3
|
+
declare const UpdateMessagesHashAuth_base: (new (value: {
|
|
4
|
+
target: PublicKey;
|
|
5
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
6
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
7
|
+
}) => {
|
|
8
|
+
target: PublicKey;
|
|
9
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
10
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
11
|
+
}) & {
|
|
12
|
+
_isStruct: true;
|
|
13
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
14
|
+
target: PublicKey;
|
|
15
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
16
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
17
|
+
}, {
|
|
18
|
+
target: {
|
|
19
|
+
x: bigint;
|
|
20
|
+
isOdd: boolean;
|
|
21
|
+
};
|
|
22
|
+
executedMessagesHash: bigint;
|
|
23
|
+
newPromisedMessagesHash: bigint;
|
|
24
|
+
}>, "fromFields"> & {
|
|
25
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
26
|
+
target: PublicKey;
|
|
27
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
28
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
29
|
+
};
|
|
30
|
+
} & {
|
|
31
|
+
fromValue: (value: {
|
|
32
|
+
target: PublicKey | {
|
|
33
|
+
x: bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
34
|
+
isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
35
|
+
};
|
|
36
|
+
executedMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
37
|
+
newPromisedMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
38
|
+
}) => {
|
|
39
|
+
target: PublicKey;
|
|
40
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
41
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
42
|
+
};
|
|
43
|
+
toInput: (x: {
|
|
44
|
+
target: PublicKey;
|
|
45
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
46
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
47
|
+
}) => {
|
|
48
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
49
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
50
|
+
};
|
|
51
|
+
toJSON: (x: {
|
|
52
|
+
target: PublicKey;
|
|
53
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
54
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
55
|
+
}) => {
|
|
56
|
+
target: string;
|
|
57
|
+
executedMessagesHash: string;
|
|
58
|
+
newPromisedMessagesHash: string;
|
|
59
|
+
};
|
|
60
|
+
fromJSON: (x: {
|
|
61
|
+
target: string;
|
|
62
|
+
executedMessagesHash: string;
|
|
63
|
+
newPromisedMessagesHash: string;
|
|
64
|
+
}) => {
|
|
65
|
+
target: PublicKey;
|
|
66
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
67
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
68
|
+
};
|
|
69
|
+
empty: () => {
|
|
70
|
+
target: PublicKey;
|
|
71
|
+
executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
72
|
+
newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
73
|
+
};
|
|
74
|
+
};
|
|
75
|
+
export declare class UpdateMessagesHashAuth extends UpdateMessagesHashAuth_base implements ContractAuthorization {
|
|
76
|
+
hash(): import("o1js/dist/node/lib/provable/field").Field;
|
|
77
|
+
}
|
|
78
|
+
export {};
|
|
79
|
+
//# sourceMappingURL=UpdateMessagesHashAuth.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"UpdateMessagesHashAuth.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,SAAS,EAAU,MAAM,MAAM,CAAC;AAE1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,sBACX,SAAQ,2BAKR,YAAW,qBAAqB;IAEzB,IAAI;CAGZ"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import { Field, Poseidon, PublicKey, Struct } from "o1js";
|
|
2
|
+
export class UpdateMessagesHashAuth extends Struct({
|
|
3
|
+
target: PublicKey,
|
|
4
|
+
executedMessagesHash: Field,
|
|
5
|
+
newPromisedMessagesHash: Field,
|
|
6
|
+
}) {
|
|
7
|
+
hash() {
|
|
8
|
+
return Poseidon.hash(UpdateMessagesHashAuth.toFields(this));
|
|
9
|
+
}
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=UpdateMessagesHashAuth.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"UpdateMessagesHashAuth.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAI1D,MAAM,OAAO,sBACX,SAAQ,MAAM,CAAC;IACb,MAAM,EAAE,SAAS;IACjB,oBAAoB,EAAE,KAAK;IAC3B,uBAAuB,EAAE,KAAK;CAC/B,CAAC;IAGK,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC;CACF"}
|
|
@@ -1,16 +1,20 @@
|
|
|
1
1
|
import { PublicKey, UInt64 } from "o1js";
|
|
2
2
|
declare const Deposit_base: (new (value: {
|
|
3
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
3
4
|
address: PublicKey;
|
|
4
5
|
amount: UInt64;
|
|
5
6
|
}) => {
|
|
7
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
6
8
|
address: PublicKey;
|
|
7
9
|
amount: UInt64;
|
|
8
10
|
}) & {
|
|
9
11
|
_isStruct: true;
|
|
10
12
|
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
13
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
11
14
|
address: PublicKey;
|
|
12
15
|
amount: UInt64;
|
|
13
16
|
}, {
|
|
17
|
+
tokenId: bigint;
|
|
14
18
|
address: {
|
|
15
19
|
x: bigint;
|
|
16
20
|
isOdd: boolean;
|
|
@@ -18,21 +22,25 @@ declare const Deposit_base: (new (value: {
|
|
|
18
22
|
amount: bigint;
|
|
19
23
|
}>, "fromFields"> & {
|
|
20
24
|
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
25
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
21
26
|
address: PublicKey;
|
|
22
27
|
amount: UInt64;
|
|
23
28
|
};
|
|
24
29
|
} & {
|
|
25
30
|
fromValue: (value: {
|
|
31
|
+
tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
26
32
|
address: PublicKey | {
|
|
27
33
|
x: bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
28
34
|
isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
29
35
|
};
|
|
30
36
|
amount: bigint | UInt64;
|
|
31
37
|
}) => {
|
|
38
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
32
39
|
address: PublicKey;
|
|
33
40
|
amount: UInt64;
|
|
34
41
|
};
|
|
35
42
|
toInput: (x: {
|
|
43
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
36
44
|
address: PublicKey;
|
|
37
45
|
amount: UInt64;
|
|
38
46
|
}) => {
|
|
@@ -40,20 +48,25 @@ declare const Deposit_base: (new (value: {
|
|
|
40
48
|
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
41
49
|
};
|
|
42
50
|
toJSON: (x: {
|
|
51
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
43
52
|
address: PublicKey;
|
|
44
53
|
amount: UInt64;
|
|
45
54
|
}) => {
|
|
55
|
+
tokenId: string;
|
|
46
56
|
address: string;
|
|
47
57
|
amount: string;
|
|
48
58
|
};
|
|
49
59
|
fromJSON: (x: {
|
|
60
|
+
tokenId: string;
|
|
50
61
|
address: string;
|
|
51
62
|
amount: string;
|
|
52
63
|
}) => {
|
|
64
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
53
65
|
address: PublicKey;
|
|
54
66
|
amount: UInt64;
|
|
55
67
|
};
|
|
56
68
|
empty: () => {
|
|
69
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
57
70
|
address: PublicKey;
|
|
58
71
|
amount: UInt64;
|
|
59
72
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Deposit.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/Deposit.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"Deposit.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/Deposit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAExD,qBAAa,OAAQ,SAAQ,YAI3B;CAAG"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Deposit.js","sourceRoot":"","sources":["../../../src/settlement/messages/Deposit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAExD,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC;IAClC,OAAO,EAAE,KAAK;IACd,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,MAAM;CACf,CAAC;CAAG"}
|