@proto-kit/protocol 0.1.1-develop.190 → 0.1.1-develop.2024
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/hashing/mina-prefixes.d.ts +10 -0
- package/dist/hashing/mina-prefixes.d.ts.map +1 -0
- package/dist/hashing/mina-prefixes.js +10 -0
- package/dist/hashing/mina-prefixes.js.map +1 -0
- package/dist/hashing/protokit-prefixes.d.ts +10 -0
- package/dist/hashing/protokit-prefixes.d.ts.map +1 -0
- package/dist/hashing/protokit-prefixes.js +24 -0
- package/dist/hashing/protokit-prefixes.js.map +1 -0
- package/dist/hooks/AccountStateHook.d.ts +56 -0
- package/dist/hooks/AccountStateHook.d.ts.map +1 -0
- package/dist/hooks/AccountStateHook.js +62 -0
- package/dist/hooks/AccountStateHook.js.map +1 -0
- package/dist/hooks/BlockHeightHook.d.ts +7 -0
- package/dist/hooks/BlockHeightHook.d.ts.map +1 -0
- package/dist/hooks/BlockHeightHook.js +16 -0
- package/dist/hooks/BlockHeightHook.js.map +1 -0
- package/dist/hooks/LastStateRootBlockHook.d.ts +7 -0
- package/dist/hooks/LastStateRootBlockHook.d.ts.map +1 -0
- package/dist/hooks/LastStateRootBlockHook.js +16 -0
- package/dist/hooks/LastStateRootBlockHook.js.map +1 -0
- package/dist/hooks/NoopBlockHook.d.ts +8 -0
- package/dist/hooks/NoopBlockHook.d.ts.map +1 -0
- package/dist/hooks/NoopBlockHook.js +10 -0
- package/dist/hooks/NoopBlockHook.js.map +1 -0
- package/dist/hooks/NoopSettlementHook.d.ts +6 -0
- package/dist/hooks/NoopSettlementHook.d.ts.map +1 -0
- package/dist/{prover/statetransition/StateTransitionWitnessProvider.js → hooks/NoopSettlementHook.js} +8 -7
- package/dist/hooks/NoopSettlementHook.js.map +1 -0
- package/dist/hooks/NoopTransactionHook.d.ts +6 -0
- package/dist/hooks/NoopTransactionHook.d.ts.map +1 -0
- package/dist/hooks/NoopTransactionHook.js +11 -0
- package/dist/hooks/NoopTransactionHook.js.map +1 -0
- package/dist/index.d.ts +59 -9
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +60 -9
- package/dist/index.js.map +1 -0
- package/dist/model/AppliedStateTransitionBatch.d.ts +114 -0
- package/dist/model/AppliedStateTransitionBatch.d.ts.map +1 -0
- package/dist/model/AppliedStateTransitionBatch.js +16 -0
- package/dist/model/AppliedStateTransitionBatch.js.map +1 -0
- package/dist/model/MethodPublicOutput.d.ts +83 -28
- package/dist/model/MethodPublicOutput.d.ts.map +1 -1
- package/dist/model/MethodPublicOutput.js +4 -1
- package/dist/model/MethodPublicOutput.js.map +1 -0
- package/dist/model/Option.d.ts +70 -46
- package/dist/model/Option.d.ts.map +1 -1
- package/dist/model/Option.js +62 -57
- package/dist/model/Option.js.map +1 -0
- package/dist/model/Path.d.ts +4 -3
- package/dist/model/Path.d.ts.map +1 -1
- package/dist/model/Path.js +6 -5
- package/dist/model/Path.js.map +1 -0
- package/dist/model/RuntimeLike.d.ts +11 -0
- package/dist/model/RuntimeLike.d.ts.map +1 -0
- package/dist/model/RuntimeLike.js +2 -0
- package/dist/model/RuntimeLike.js.map +1 -0
- package/dist/model/StateTransition.d.ts +58 -18
- package/dist/model/StateTransition.d.ts.map +1 -1
- package/dist/model/StateTransition.js +13 -4
- package/dist/model/StateTransition.js.map +1 -0
- package/dist/model/StateTransitionProvableBatch.d.ts +389 -16
- package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
- package/dist/model/StateTransitionProvableBatch.js +87 -10
- package/dist/model/StateTransitionProvableBatch.js.map +1 -0
- package/dist/model/network/NetworkState.d.ts +105 -9
- package/dist/model/network/NetworkState.d.ts.map +1 -1
- package/dist/model/network/NetworkState.js +22 -2
- package/dist/model/network/NetworkState.js.map +1 -0
- package/dist/model/transaction/AuthorizedTransaction.d.ts +122 -0
- package/dist/model/transaction/AuthorizedTransaction.d.ts.map +1 -0
- package/dist/model/transaction/AuthorizedTransaction.js +39 -0
- package/dist/model/transaction/AuthorizedTransaction.js.map +1 -0
- package/dist/model/transaction/RuntimeTransaction.d.ts +94 -34
- package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
- package/dist/model/transaction/RuntimeTransaction.js +72 -11
- package/dist/model/transaction/RuntimeTransaction.js.map +1 -0
- package/dist/model/transaction/SignedTransaction.d.ts +110 -0
- package/dist/model/transaction/SignedTransaction.d.ts.map +1 -0
- package/dist/model/transaction/SignedTransaction.js +34 -0
- package/dist/model/transaction/SignedTransaction.js.map +1 -0
- package/dist/model/transaction/ValueOption.d.ts +187 -0
- package/dist/model/transaction/ValueOption.d.ts.map +1 -0
- package/dist/model/transaction/ValueOption.js +25 -0
- package/dist/model/transaction/ValueOption.js.map +1 -0
- package/dist/protocol/Protocol.d.ts +47 -21
- package/dist/protocol/Protocol.d.ts.map +1 -1
- package/dist/protocol/Protocol.js +127 -26
- package/dist/protocol/Protocol.js.map +1 -0
- package/dist/protocol/ProtocolEnvironment.d.ts +9 -0
- package/dist/protocol/ProtocolEnvironment.d.ts.map +1 -0
- package/dist/protocol/ProtocolEnvironment.js +2 -0
- package/dist/protocol/ProtocolEnvironment.js.map +1 -0
- package/dist/protocol/ProtocolModule.d.ts +7 -7
- package/dist/protocol/ProtocolModule.d.ts.map +1 -1
- package/dist/protocol/ProtocolModule.js +10 -7
- package/dist/protocol/ProtocolModule.js.map +1 -0
- package/dist/protocol/ProvableBlockHook.d.ts +29 -0
- package/dist/protocol/ProvableBlockHook.d.ts.map +1 -0
- package/dist/protocol/ProvableBlockHook.js +20 -0
- package/dist/protocol/ProvableBlockHook.js.map +1 -0
- package/dist/protocol/ProvableTransactionHook.d.ts +35 -0
- package/dist/protocol/ProvableTransactionHook.d.ts.map +1 -0
- package/dist/protocol/ProvableTransactionHook.js +28 -0
- package/dist/protocol/ProvableTransactionHook.js.map +1 -0
- package/dist/protocol/TransitioningProtocolModule.d.ts +10 -0
- package/dist/protocol/TransitioningProtocolModule.d.ts.map +1 -0
- package/dist/protocol/TransitioningProtocolModule.js +9 -0
- package/dist/protocol/TransitioningProtocolModule.js.map +1 -0
- package/dist/prover/accumulators/AppliedBatchHashList.d.ts +18 -0
- package/dist/prover/accumulators/AppliedBatchHashList.d.ts.map +1 -0
- package/dist/prover/accumulators/AppliedBatchHashList.js +25 -0
- package/dist/prover/accumulators/AppliedBatchHashList.js.map +1 -0
- package/dist/prover/accumulators/BlockHashList.d.ts +263 -0
- package/dist/prover/accumulators/BlockHashList.d.ts.map +1 -0
- package/dist/prover/accumulators/BlockHashList.js +97 -0
- package/dist/prover/accumulators/BlockHashList.js.map +1 -0
- package/dist/prover/accumulators/StateTransitionReductionList.d.ts +12 -0
- package/dist/prover/accumulators/StateTransitionReductionList.d.ts.map +1 -0
- package/dist/prover/accumulators/StateTransitionReductionList.js +64 -0
- package/dist/prover/accumulators/StateTransitionReductionList.js.map +1 -0
- package/dist/prover/accumulators/TransactionHashList.d.ts +6 -0
- package/dist/prover/accumulators/TransactionHashList.d.ts.map +1 -0
- package/dist/prover/accumulators/TransactionHashList.js +8 -0
- package/dist/prover/accumulators/TransactionHashList.js.map +1 -0
- package/dist/prover/accumulators/WitnessedRootHashList.d.ts +123 -0
- package/dist/prover/accumulators/WitnessedRootHashList.d.ts.map +1 -0
- package/dist/prover/accumulators/WitnessedRootHashList.js +51 -0
- package/dist/prover/accumulators/WitnessedRootHashList.js.map +1 -0
- package/dist/prover/block/BlockProvable.d.ts +565 -96
- package/dist/prover/block/BlockProvable.d.ts.map +1 -1
- package/dist/prover/block/BlockProvable.js +196 -12
- package/dist/prover/block/BlockProvable.js.map +1 -0
- package/dist/prover/block/BlockProver.d.ts +52 -37
- package/dist/prover/block/BlockProver.d.ts.map +1 -1
- package/dist/prover/block/BlockProver.js +327 -107
- package/dist/prover/block/BlockProver.js.map +1 -0
- package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts +106 -0
- package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts.map +1 -0
- package/dist/prover/block/accummulators/BlockHashMerkleTree.js +25 -0
- package/dist/prover/block/accummulators/BlockHashMerkleTree.js.map +1 -0
- package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts +139 -0
- package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.d.ts.map +1 -0
- package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js +21 -0
- package/dist/prover/block/accummulators/RuntimeVerificationKeyTree.js.map +1 -0
- package/dist/prover/block/services/RuntimeVerificationKeyRootService.d.ts +7 -0
- package/dist/prover/block/services/RuntimeVerificationKeyRootService.d.ts.map +1 -0
- package/dist/prover/{statetransition/StateTransitionWitnessProviderReference.js → block/services/RuntimeVerificationKeyRootService.js} +11 -8
- package/dist/prover/block/services/RuntimeVerificationKeyRootService.js.map +1 -0
- package/dist/prover/statetransition/StateTransitionProvable.d.ts +137 -48
- package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProvable.js +10 -5
- package/dist/prover/statetransition/StateTransitionProvable.js.map +1 -0
- package/dist/prover/statetransition/StateTransitionProver.d.ts +29 -17
- package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.js +171 -73
- package/dist/prover/statetransition/StateTransitionProver.js.map +1 -0
- package/dist/prover/transaction/TransactionProvable.d.ts +626 -0
- package/dist/prover/transaction/TransactionProvable.d.ts.map +1 -0
- package/dist/prover/transaction/TransactionProvable.js +87 -0
- package/dist/prover/transaction/TransactionProvable.js.map +1 -0
- package/dist/prover/transaction/TransactionProver.d.ts +68 -0
- package/dist/prover/transaction/TransactionProver.d.ts.map +1 -0
- package/dist/prover/transaction/TransactionProver.js +301 -0
- package/dist/prover/transaction/TransactionProver.js.map +1 -0
- package/dist/prover/utils.d.ts +19 -0
- package/dist/prover/utils.d.ts.map +1 -0
- package/dist/prover/utils.js +67 -0
- package/dist/prover/utils.js.map +1 -0
- package/dist/settlement/ContractArgsRegistry.d.ts +13 -0
- package/dist/settlement/ContractArgsRegistry.d.ts.map +1 -0
- package/dist/settlement/ContractArgsRegistry.js +53 -0
- package/dist/settlement/ContractArgsRegistry.js.map +1 -0
- package/dist/settlement/ContractModule.d.ts +16 -0
- package/dist/settlement/ContractModule.d.ts.map +1 -0
- package/dist/settlement/ContractModule.js +12 -0
- package/dist/settlement/ContractModule.js.map +1 -0
- package/dist/settlement/SettlementContractModule.d.ts +47 -0
- package/dist/settlement/SettlementContractModule.d.ts.map +1 -0
- package/dist/settlement/SettlementContractModule.js +81 -0
- package/dist/settlement/SettlementContractModule.js.map +1 -0
- package/dist/settlement/contracts/BridgeContract.d.ts +119 -0
- package/dist/settlement/contracts/BridgeContract.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgeContract.js +269 -0
- package/dist/settlement/contracts/BridgeContract.js.map +1 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts +18 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.js +42 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/BridgingSettlementContractModule.d.ts +21 -0
- package/dist/settlement/contracts/BridgingSettlementContractModule.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgingSettlementContractModule.js +81 -0
- package/dist/settlement/contracts/BridgingSettlementContractModule.js.map +1 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +23 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.js +55 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/DispatchSmartContract.d.ts +50 -0
- package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -0
- package/dist/settlement/contracts/DispatchSmartContract.js +234 -0
- package/dist/settlement/contracts/DispatchSmartContract.js.map +1 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts +21 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map +1 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.js +84 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/SettlementSmartContract.d.ts +123 -0
- package/dist/settlement/contracts/SettlementSmartContract.d.ts.map +1 -0
- package/dist/settlement/contracts/SettlementSmartContract.js +310 -0
- package/dist/settlement/contracts/SettlementSmartContract.js.map +1 -0
- package/dist/settlement/contracts/SettlementSmartContractModule.d.ts +20 -0
- package/dist/settlement/contracts/SettlementSmartContractModule.d.ts.map +1 -0
- package/dist/settlement/contracts/SettlementSmartContractModule.js +56 -0
- package/dist/settlement/contracts/SettlementSmartContractModule.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/contracts/settlement/BridgingSettlementContract.d.ts +107 -0
- package/dist/settlement/contracts/settlement/BridgingSettlementContract.d.ts.map +1 -0
- package/dist/settlement/contracts/settlement/BridgingSettlementContract.js +188 -0
- package/dist/settlement/contracts/settlement/BridgingSettlementContract.js.map +1 -0
- package/dist/settlement/contracts/settlement/SettlementBase.d.ts +41 -0
- package/dist/settlement/contracts/settlement/SettlementBase.d.ts.map +1 -0
- package/dist/settlement/contracts/settlement/SettlementBase.js +105 -0
- package/dist/settlement/contracts/settlement/SettlementBase.js.map +1 -0
- package/dist/settlement/contracts/settlement/SettlementContract.d.ts +15 -0
- package/dist/settlement/contracts/settlement/SettlementContract.d.ts.map +1 -0
- package/dist/settlement/contracts/settlement/SettlementContract.js +72 -0
- package/dist/settlement/contracts/settlement/SettlementContract.js.map +1 -0
- package/dist/settlement/messages/Deposit.d.ts +77 -0
- package/dist/settlement/messages/Deposit.d.ts.map +1 -0
- package/dist/settlement/messages/Deposit.js +8 -0
- package/dist/settlement/messages/Deposit.js.map +1 -0
- package/dist/settlement/messages/OutgoingMessage.d.ts +67 -0
- package/dist/settlement/messages/OutgoingMessage.d.ts.map +1 -0
- package/dist/settlement/messages/OutgoingMessage.js +7 -0
- package/dist/settlement/messages/OutgoingMessage.js.map +1 -0
- package/dist/settlement/messages/OutgoingMessageArgument.d.ts +494 -0
- package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -0
- package/dist/settlement/messages/OutgoingMessageArgument.js +40 -0
- package/dist/settlement/messages/OutgoingMessageArgument.js.map +1 -0
- package/dist/settlement/messages/Withdrawal.d.ts +2 -0
- package/dist/settlement/messages/Withdrawal.d.ts.map +1 -0
- package/dist/settlement/messages/Withdrawal.js +3 -0
- package/dist/settlement/messages/Withdrawal.js.map +1 -0
- package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts +25 -0
- package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts.map +1 -0
- package/dist/settlement/modularity/OutgoingMessageProcessor.js +30 -0
- package/dist/settlement/modularity/OutgoingMessageProcessor.js.map +1 -0
- package/dist/settlement/modularity/ProvableSettlementHook.d.ts +26 -0
- package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map +1 -0
- package/dist/settlement/modularity/ProvableSettlementHook.js +4 -0
- package/dist/settlement/modularity/ProvableSettlementHook.js.map +1 -0
- package/dist/settlement/modularity/types.d.ts +9 -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.d.ts +11 -0
- package/dist/settlement/modules/NetworkStateSettlementModule.d.ts.map +1 -0
- package/dist/settlement/modules/NetworkStateSettlementModule.js +15 -0
- package/dist/settlement/modules/NetworkStateSettlementModule.js.map +1 -0
- package/dist/state/SimpleAsyncStateService.d.ts +6 -0
- package/dist/state/SimpleAsyncStateService.d.ts.map +1 -0
- package/dist/state/SimpleAsyncStateService.js +2 -0
- package/dist/state/SimpleAsyncStateService.js.map +1 -0
- package/dist/state/State.d.ts +68 -0
- package/dist/state/State.d.ts.map +1 -0
- package/dist/state/State.js +141 -0
- package/dist/state/State.js.map +1 -0
- package/dist/state/StateMap.d.ts +37 -0
- package/dist/state/StateMap.d.ts.map +1 -0
- package/dist/state/StateMap.js +56 -0
- package/dist/state/StateMap.js.map +1 -0
- package/dist/state/StateService.d.ts +6 -0
- package/dist/state/StateService.d.ts.map +1 -0
- package/dist/state/StateService.js +2 -0
- package/dist/state/StateService.js.map +1 -0
- package/dist/state/StateServiceProvider.d.ts +8 -0
- package/dist/state/StateServiceProvider.d.ts.map +1 -0
- package/dist/state/StateServiceProvider.js +37 -0
- package/dist/state/StateServiceProvider.js.map +1 -0
- package/dist/state/WitnessBlockContext.d.ts +5 -0
- package/dist/state/WitnessBlockContext.d.ts.map +1 -0
- package/dist/state/WitnessBlockContext.js +42 -0
- package/dist/state/WitnessBlockContext.js.map +1 -0
- package/dist/state/assert/assert.d.ts +12 -0
- package/dist/state/assert/assert.d.ts.map +1 -0
- package/dist/state/assert/assert.js +33 -0
- package/dist/state/assert/assert.js.map +1 -0
- package/dist/state/context/RuntimeMethodExecutionContext.d.ts +193 -0
- package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map +1 -0
- package/dist/state/context/RuntimeMethodExecutionContext.js +138 -0
- package/dist/state/context/RuntimeMethodExecutionContext.js.map +1 -0
- package/dist/state/context/TransitionMethodExecutionContext.d.ts +23 -0
- package/dist/state/context/TransitionMethodExecutionContext.d.ts.map +1 -0
- package/dist/state/context/TransitionMethodExecutionContext.js +6 -0
- package/dist/state/context/TransitionMethodExecutionContext.js.map +1 -0
- package/dist/state/protocol/ProtocolState.d.ts +13 -0
- package/dist/state/protocol/ProtocolState.d.ts.map +1 -0
- package/dist/state/protocol/ProtocolState.js +58 -0
- package/dist/state/protocol/ProtocolState.js.map +1 -0
- package/dist/utils/FieldOptions.d.ts +62 -0
- package/dist/utils/FieldOptions.d.ts.map +1 -0
- package/dist/utils/FieldOptions.js +13 -0
- package/dist/utils/FieldOptions.js.map +1 -0
- package/dist/utils/MinaPrefixedProvableHashList.d.ts +20 -0
- package/dist/utils/MinaPrefixedProvableHashList.d.ts.map +1 -0
- package/dist/utils/MinaPrefixedProvableHashList.js +49 -0
- package/dist/utils/MinaPrefixedProvableHashList.js.map +1 -0
- package/dist/utils/PrefixedProvableHashList.d.ts +3 -2
- package/dist/utils/PrefixedProvableHashList.d.ts.map +1 -1
- package/dist/utils/PrefixedProvableHashList.js +5 -1
- package/dist/utils/PrefixedProvableHashList.js.map +1 -0
- package/dist/utils/ProvableHashList.d.ts +27 -4
- package/dist/utils/ProvableHashList.d.ts.map +1 -1
- package/dist/utils/ProvableHashList.js +51 -3
- package/dist/utils/ProvableHashList.js.map +1 -0
- package/dist/utils/ProvableReductionHashList.d.ts +18 -0
- package/dist/utils/ProvableReductionHashList.d.ts.map +1 -0
- package/dist/utils/ProvableReductionHashList.js +54 -0
- package/dist/utils/ProvableReductionHashList.js.map +1 -0
- package/dist/utils/StateTransitionReductionList.d.ts +11 -0
- package/dist/utils/StateTransitionReductionList.d.ts.map +1 -0
- package/dist/utils/StateTransitionReductionList.js +61 -0
- package/dist/utils/StateTransitionReductionList.js.map +1 -0
- package/dist/utils/utils.d.ts +11 -5
- package/dist/utils/utils.d.ts.map +1 -1
- package/dist/utils/utils.js +13 -13
- package/dist/utils/utils.js.map +1 -0
- package/jest.config.cjs +12 -1
- package/package.json +11 -9
- package/src/hashing/mina-prefixes.ts +10 -0
- package/src/hashing/protokit-prefixes.ts +37 -0
- package/src/hooks/AccountStateHook.ts +80 -0
- package/src/hooks/BlockHeightHook.ts +17 -0
- package/src/hooks/LastStateRootBlockHook.ts +25 -0
- package/src/hooks/NoopBlockHook.ts +24 -0
- package/src/hooks/NoopSettlementHook.ts +20 -0
- package/src/hooks/NoopTransactionHook.ts +13 -0
- package/src/index.ts +59 -9
- package/src/model/AppliedStateTransitionBatch.ts +16 -0
- package/src/model/MethodPublicOutput.ts +3 -1
- package/src/model/Option.ts +99 -73
- package/src/model/Path.ts +9 -5
- package/src/model/RuntimeLike.ts +12 -0
- package/src/model/StateTransition.ts +19 -5
- package/src/model/StateTransitionProvableBatch.ts +114 -12
- package/src/model/Transaction.ts +3 -1
- package/src/model/network/NetworkState.ts +22 -2
- package/src/model/transaction/AuthorizedTransaction.ts +50 -0
- package/src/model/transaction/RuntimeTransaction.ts +86 -15
- package/src/model/transaction/ValueOption.ts +28 -0
- package/src/protocol/Protocol.ts +201 -69
- package/src/protocol/ProtocolEnvironment.ts +10 -0
- package/src/protocol/ProtocolModule.ts +16 -15
- package/src/protocol/ProvableBlockHook.ts +67 -0
- package/src/protocol/ProvableTransactionHook.ts +96 -0
- package/src/protocol/TransitioningProtocolModule.ts +12 -0
- package/src/prover/accumulators/AppliedBatchHashList.ts +32 -0
- package/src/prover/accumulators/BlockHashList.ts +117 -0
- package/src/prover/accumulators/StateTransitionReductionList.ts +92 -0
- package/src/prover/accumulators/TransactionHashList.ts +9 -0
- package/src/prover/accumulators/WitnessedRootHashList.ts +62 -0
- package/src/prover/block/BlockProvable.ts +360 -28
- package/src/prover/block/BlockProver.ts +721 -186
- package/src/prover/block/accummulators/BlockHashMerkleTree.ts +24 -0
- package/src/prover/block/accummulators/RuntimeVerificationKeyTree.ts +24 -0
- package/src/prover/block/services/RuntimeVerificationKeyRootService.ts +20 -0
- package/src/prover/statetransition/StateTransitionProvable.ts +26 -19
- package/src/prover/statetransition/StateTransitionProver.ts +337 -126
- package/src/prover/transaction/TransactionProvable.ts +183 -0
- package/src/prover/transaction/TransactionProver.ts +561 -0
- package/src/prover/utils.ts +108 -0
- package/src/settlement/ContractArgsRegistry.ts +60 -0
- package/src/settlement/ContractModule.ts +31 -0
- package/src/settlement/SettlementContractModule.ts +150 -0
- package/src/settlement/contracts/BridgeContract.ts +385 -0
- package/src/settlement/contracts/BridgeContractProtocolModule.ts +49 -0
- package/src/settlement/contracts/BridgingSettlementContractModule.ts +116 -0
- package/src/settlement/contracts/DispatchContractProtocolModule.ts +77 -0
- package/src/settlement/contracts/DispatchSmartContract.ts +359 -0
- package/src/settlement/contracts/SettlementSmartContractModule.ts +79 -0
- 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/contracts/settlement/BridgingSettlementContract.ts +283 -0
- package/src/settlement/contracts/settlement/SettlementBase.ts +249 -0
- package/src/settlement/contracts/settlement/SettlementContract.ts +75 -0
- package/src/settlement/messages/Deposit.ts +7 -0
- package/src/settlement/messages/OutgoingMessage.ts +17 -0
- package/src/settlement/messages/OutgoingMessageArgument.ts +53 -0
- package/src/settlement/modularity/OutgoingMessageProcessor.ts +65 -0
- package/src/settlement/modularity/ProvableSettlementHook.ts +36 -0
- package/src/settlement/modularity/types.ts +23 -0
- package/src/settlement/modules/NetworkStateSettlementModule.ts +42 -0
- package/src/state/State.ts +190 -0
- package/src/state/StateMap.ts +73 -0
- package/src/state/StateService.ts +6 -0
- package/src/state/StateServiceProvider.ts +37 -0
- package/src/state/WitnessBlockContext.ts +50 -0
- package/src/state/assert/assert.ts +38 -0
- package/src/state/context/RuntimeMethodExecutionContext.ts +181 -0
- package/src/state/context/TransitionMethodExecutionContext.ts +26 -0
- package/src/state/protocol/ProtocolState.ts +98 -0
- package/src/utils/FieldOptions.ts +13 -0
- package/src/utils/MinaPrefixedProvableHashList.ts +70 -0
- package/src/utils/PrefixedProvableHashList.ts +6 -2
- package/src/utils/ProvableHashList.ts +109 -4
- package/src/utils/ProvableReductionHashList.ts +77 -0
- package/src/utils/utils.ts +21 -16
- package/test/BlockProver.test.ts +161 -74
- package/test/Protocol.test.ts +20 -10
- package/test/State.test.ts +45 -0
- package/test/StateTransition.test.ts +57 -65
- package/test/TestingProtocol.ts +36 -0
- package/test/compiling/types.ts +28 -0
- package/test/model/Option.test.ts +72 -0
- package/test/model/StateTransitionProvableBatch.test.ts +137 -0
- package/test/modularity/types.ts +35 -0
- package/test/prover/block/BlockProver.test.ts +18 -0
- package/test/prover/statetransition/StateTransitionProver.test.ts +261 -0
- package/test/state/assert/assert.test.ts +56 -0
- package/test/tsconfig.json +7 -0
- package/test/utils/ProvableHashList.test.ts +44 -0
- package/test/utils/ProvableReductionHashList.test.ts +117 -0
- package/test/utils.test.ts +0 -3
- package/LICENSE.md +0 -201
- package/dist/model/transaction/ProtocolTransaction.d.ts +0 -70
- package/dist/model/transaction/ProtocolTransaction.d.ts.map +0 -1
- package/dist/model/transaction/ProtocolTransaction.js +0 -18
- package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts +0 -16
- package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map +0 -1
- package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts +0 -7
- package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts.map +0 -1
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts +0 -25
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map +0 -1
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js +0 -77
- package/dist/utils/merkletree/MerkleTreeStore.d.ts +0 -11
- package/dist/utils/merkletree/MerkleTreeStore.d.ts.map +0 -1
- package/dist/utils/merkletree/MerkleTreeStore.js +0 -1
- package/dist/utils/merkletree/RollupMerkleTree.d.ts +0 -130
- package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +0 -1
- package/dist/utils/merkletree/RollupMerkleTree.js +0 -244
- package/src/model/Option.test.ts +0 -21
- package/src/model/transaction/ProtocolTransaction.ts +0 -25
- package/src/prover/statetransition/StateTransitionWitnessProvider.ts +0 -24
- package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts +0 -17
- package/src/utils/merkletree/InMemoryMerkleTreeStorage.ts +0 -106
- package/src/utils/merkletree/MerkleTreeStore.ts +0 -15
- package/src/utils/merkletree/RollupMerkleTree.ts +0 -255
- package/src/utils/merkletree/VirtualMerkleTreeStore.ts +0 -21
- package/tsconfig.test.json +0 -9
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BridgeContract.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,KAAK,EACL,MAAM,EAEN,QAAQ,EACR,QAAQ,EACR,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,aAAa,EACb,OAAO,GAER,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,IAAI,EAAE,KAAK,EAAc,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE5D,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,mBAAmB,GAEpB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EACL,oBAAoB,GAGrB,MAAM,yBAAyB,CAAC;AAuBjC,yBAAyB;AACzB,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,KAAK;CACf,CAAC;CAAG;AAIE,WAAM,qBAAqB,GAA3B,MAAM,qBAAqB;IAA3B;QACE,SAAI,GAEP,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC5B,CAAC;CAAA,CAAA;AAJY,qBAAqB;IAFjC,UAAU,EAAE;IACZ,SAAS,EAAE;GACC,qBAAqB,CAIjC;AASD,MAAM,CAAC,MAAM,wBAAwB,GAA0C;IAC7E,SAAS,EAAE,UAAU;IACrB,kBAAkB,EAAE,UAAU;IAC9B,iBAAiB,EAAE,UAAU;CAC9B,CAAC;AAEF,MAAM,OAAgB,kBACpB,SAAQ,aAAa;IAGrB,YAAmB,OAAkB,EAAE,OAAe;QACpD,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,qBAAqB;QACnB,OAAO,SAAS;aACb,OAAO,CAAC,oBAAoB,CAAC;aAC7B,OAAO,CAAC,gBAAgB,EAAE,wBAAwB,CAAC,CAAC;IACzD,CAAC;IAQD;;;;;OAKG;IACI,KAAK,CAAC,cAAc,CACzB,eAA4C,EAC5C,gBAAyB,EACzB,WAAwB,EACxB,yBAAoC;QAEpC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;QAEhC,IAAI,CAAC,gBAAgB,EAAE;YACrB,IAAI,eAAe,KAAK,SAAS,EAAE;gBACjC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;aAChE;YACD,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;SAC5D;QAED,aAAa,CAAC,gBAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE1C,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACxB,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG;gBACjC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;aAChB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAE9D,aAAa,CAAC,IAAI,CAAC,WAAW,GAAG;YAC/B,qCAAqC;YACrC,iBAAiB,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YACtE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;SAC7B,CAAC;QAEF,OAAO,aAAa,CAAC;IACvB,CAAC;IAEM,KAAK,CAAC,WAAW;QACtB,IAAI,EAAE,CAAC;IACT,CAAC;IAEM,KAAK,CAAC,mBAAmB,CAAC,IAAW;QAC1C,uEAAuE;QACvE,oCAAoC;QACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE1C,MAAM,yBAAyB,GAC7B,IAAI,CAAC,yBAAyB,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,uBAAuB,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACxD,MAAM,kBAAkB,GAAG,IAAI,uBAAuB,CACpD,yBAAyB,CAC1B,CAAC;QACF,MAAM,aAAa,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9B,CAAC;IAEO,SAAS;QACf,OAAO,CACL,IAAI,CAAC,qBAAqB,EAAE,CAAC,SAAS,IAAI,2BAA2B,CACtE,CAAC;IACJ,CAAC;IAEO,iBAAiB,CAAC,UAAkB,EAAE,IAA6B;QACzE,MAAM,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC3D,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;YAC5C,mEAAmE;YACnE,MAAM,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE;gBAC7D,OAAO,SAAS,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,aAAa,CAChE,UAAU,CACX,CAAC,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;YAEH,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC;gBAC9B,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,KAAK;aACN,CAAC,CAAC;YACH,OAAO;gBACL,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS,CAAC,cAAc,CAAC,KAAK,EAAE;oBACtC,cAAc,EAAE;wBACd,SAAS,EAAE,IAAI,CAAC,OAAO;wBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;qBACtB;iBACF,CAAC;gBACF,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;aACnD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,cAAc,CACnB,UAAkB,EAClB,IAA6B,EAC7B,OAAa;QAEb,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAEzD,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAChC,CAAC,EACD,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAC1E,CAAC;QACF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;QAE5E,MAAM,gBAAgB,GACpB,uBAAuB,CAAC,2BAA2B,CAAC;QACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,CAChC,OAAO,EACP,gBAAgB,EAChB,IAAI,CAAC,WAAW,CACjB,CAAC;QACF,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC;QAEtC,MAAM,MAAM,GAAG,OAAO;aACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,CAAC,CAAC,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CACtD,GAAG,KAAK,CACN,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CACnD,CAAC,IAAI,CAAC,OAAO,CAAC,CAChB,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;aACD,MAAM,CAAC;YACN,WAAW,EAAE,gBAAgB;YAC7B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACd,MAAM,EAAE;gBACN,cAAc,EAAE,KAAK,CAAgB,iBAAiB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;gBACrE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,aAAa,EAAE,SAAS;aACzB;SACF,CAAC;aACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACf,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YAEjD,MAAM,WAAW,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,CAChC,GAAG,EACH,kBAAkB,EAClB,CAAC,CAAC,MAAM,CAAC,cAAc,EACvB,CAAC,CAAC,MAAM,CAAC,cAAc,CACxB,CAAC;YACF,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAClE,IAAI,aAAa,GAAuB,SAAS,CAAC;YAClD,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;gBACrB,IAAI,GAAG,CAAC,SAAS,EAAE,EAAE;oBACnB,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;iBACxC;qBAAM;oBACL,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;iBACxC;YACH,CAAC,CAAC,CAAC;YAEH,OAAO;gBACL,WAAW;gBACX,IAAI;gBACJ,MAAM,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE;aAClD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEL,sEAAsE;QACtE,wEAAwE;QACxE,MAAM,CAAC,WAAW,CAAC,YAAY,CAC7B,cAAc,EACd,qCAAqC,CACtC,CAAC;QAEF,OAAO,MAAM,CAAC;IAChB,CAAC;IAEM,KAAK,CAAC,0BAA0B,CAAC,KAAmC;QACzE,IAAI,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,mBAAmB,EAAE,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QAEvD,0EAA0E;QAC1E,oCAAoC;QACpC,IAAI,sBAAsB,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAEhC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAElC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAEtD,gBAAgB;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CACvB,uBAAuB,CAAC,0BAA0B,EAClD,kBAAkB,EAClB;gBACE,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CACF,CAAC;YAEF,IAAI,CAAC,OAAO;iBACT,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;iBAC9C,EAAE,CAAC,OAAO,CAAC;iBACX,UAAU,CAAC,uCAAuC,CAAC,CAAC;YAEvD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YAE/D,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE;gBACtD,QAAQ,CAAC,GAAG,CAAC,0BAA0B,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;gBAC9D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YAC9B,CAAC,CAAC,CAAC;YACH,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAEhE,sEAAsE;YACtE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc;iBAC9C,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE;gBACrB,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;gBAChE,OAAO,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC;iBACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,sBAAsB,GAAG,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;SAClE;QAED,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAExC,OAAO,sBAAsB,CAAC;IAChC,CAAC;IAES,KAAK,CAAC,UAAU,CAAC,cAA6B;QACtD,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CACtC,IAAI,CAAC,OAAO,EACZ,sDAAsD,CACvD,CAAC;QACF,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG;aAClC,UAAU,EAAE;aACZ,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC;QAE3D,cAAc;QACd,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,cAAc,CAAC,SAAS;YACjC,MAAM;SACP,CAAC,CAAC;QAEH,wCAAwC;QACxC,cAAc,CAAC,IAAI,CAAC,WAAW,GAAG;YAChC,iBAAiB,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YAC7D,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;SAC7B,CAAC;QAEF,YAAY;QACZ,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;CACF;AAED,MAAM,OAAO,cACX,SAAQ,kBAAkB;IAD5B;;QAI2B,8BAAyB,GAAG,KAAK,EAAa,CAAC;QAEnD,cAAS,GAAG,KAAK,EAAS,CAAC;QAE3B,0BAAqB,GAAG,KAAK,EAAS,CAAC;IAgB9D,CAAC;IAbc,AAAN,KAAK,CAAC,eAAe,CAAC,IAAW;QACtC,OAAO,MAAM,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAGY,AAAN,KAAK,CAAC,sBAAsB,CAAC,KAAmC;QACrE,OAAO,MAAM,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;IAGY,AAAN,KAAK,CAAC,MAAM,CAAC,cAA6B;QAC/C,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IAC/C,CAAC;CACF;AApB0B;IAAxB,KAAK,CAAC,SAAS,CAAC;;iEAAuD;AAEnD;IAApB,KAAK,CAAC,KAAK,CAAC;;iDAAmC;AAE3B;IAApB,KAAK,CAAC,KAAK,CAAC;;6DAA+C;AAG/C;IADZ,MAAM;;qCAC4B,KAAK;;qDAEvC;AAGY;IADZ,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;;qCACqB,4BAA4B;;4DAEtE;AAGY;IADZ,MAAM;;qCAC6B,aAAa;;4CAEhD"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { CompileRegistry } from "@proto-kit/common";
|
|
2
|
+
import { ContractModule } from "../ContractModule";
|
|
3
|
+
import { OutgoingMessageProcessor } from "../modularity/OutgoingMessageProcessor";
|
|
4
|
+
import { ContractArgsRegistry } from "../ContractArgsRegistry";
|
|
5
|
+
import { BridgeContract, BridgeContractType } from "./BridgeContract";
|
|
6
|
+
export type BridgeContractConfig = {
|
|
7
|
+
outgoingBatchSize?: number;
|
|
8
|
+
};
|
|
9
|
+
export declare class BridgeContractProtocolModule extends ContractModule<BridgeContractType, BridgeContractConfig> {
|
|
10
|
+
private readonly messageProcessors;
|
|
11
|
+
private readonly contractArgsRegistry;
|
|
12
|
+
constructor(messageProcessors: OutgoingMessageProcessor<unknown>[], contractArgsRegistry: ContractArgsRegistry);
|
|
13
|
+
contractFactory(): typeof BridgeContract;
|
|
14
|
+
compile(registry: CompileRegistry): Promise<{
|
|
15
|
+
BridgeContract: import("@proto-kit/common").CompileArtifact;
|
|
16
|
+
}>;
|
|
17
|
+
}
|
|
18
|
+
//# sourceMappingURL=BridgeContractProtocolModule.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BridgeContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContractProtocolModule.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,cAAc,EAEd,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,oBAAoB,GAAG;IACjC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,qBACa,4BAA6B,SAAQ,cAAc,CAC9D,kBAAkB,EAClB,oBAAoB,CACrB;IAGG,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;gBADpB,iBAAiB,EAAE,wBAAwB,CAAC,OAAO,CAAC,EAAE,EACtD,oBAAoB,EAAE,oBAAoB;IAKtD,eAAe;IAWT,OAAO,CAAC,QAAQ,EAAE,eAAe;;;CAO/C"}
|
|
@@ -0,0 +1,42 @@
|
|
|
1
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
2
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
3
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
4
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
5
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
6
|
+
};
|
|
7
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
8
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
9
|
+
};
|
|
10
|
+
var __param = (this && this.__param) || function (paramIndex, decorator) {
|
|
11
|
+
return function (target, key) { decorator(target, key, paramIndex); }
|
|
12
|
+
};
|
|
13
|
+
import { injectable, injectAll } from "tsyringe";
|
|
14
|
+
import { ContractModule } from "../ContractModule";
|
|
15
|
+
import { ContractArgsRegistry } from "../ContractArgsRegistry";
|
|
16
|
+
import { BridgeContract, } from "./BridgeContract";
|
|
17
|
+
export let BridgeContractProtocolModule = class BridgeContractProtocolModule extends ContractModule {
|
|
18
|
+
constructor(messageProcessors, contractArgsRegistry) {
|
|
19
|
+
super();
|
|
20
|
+
this.messageProcessors = messageProcessors;
|
|
21
|
+
this.contractArgsRegistry = contractArgsRegistry;
|
|
22
|
+
}
|
|
23
|
+
contractFactory() {
|
|
24
|
+
const { config } = this;
|
|
25
|
+
this.contractArgsRegistry.addArgs("BridgeContract", {
|
|
26
|
+
messageProcessors: this.messageProcessors,
|
|
27
|
+
batchSize: config.outgoingBatchSize,
|
|
28
|
+
});
|
|
29
|
+
return BridgeContract;
|
|
30
|
+
}
|
|
31
|
+
async compile(registry) {
|
|
32
|
+
return {
|
|
33
|
+
BridgeContract: await registry.forceProverExists(async () => await registry.compile(BridgeContract)),
|
|
34
|
+
};
|
|
35
|
+
}
|
|
36
|
+
};
|
|
37
|
+
BridgeContractProtocolModule = __decorate([
|
|
38
|
+
injectable(),
|
|
39
|
+
__param(0, injectAll("OutgoingMessageProcessor", { isOptional: true })),
|
|
40
|
+
__metadata("design:paramtypes", [Array, ContractArgsRegistry])
|
|
41
|
+
], BridgeContractProtocolModule);
|
|
42
|
+
//# sourceMappingURL=BridgeContractProtocolModule.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BridgeContractProtocolModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContractProtocolModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAGjD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,cAAc,GAGf,MAAM,kBAAkB,CAAC;AAOnB,WAAM,4BAA4B,GAAlC,MAAM,4BAA6B,SAAQ,cAGjD;IACC,YAEmB,iBAAsD,EACtD,oBAA0C;QAE3D,KAAK,EAAE,CAAC;QAHS,sBAAiB,GAAjB,iBAAiB,CAAqC;QACtD,yBAAoB,GAApB,oBAAoB,CAAsB;IAG7D,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAExB,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAqB,gBAAgB,EAAE;YACtE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,SAAS,EAAE,MAAM,CAAC,iBAAiB;SACpC,CAAC,CAAC;QAEH,OAAO,cAAc,CAAC;IACxB,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,OAAO;YACL,cAAc,EAAE,MAAM,QAAQ,CAAC,iBAAiB,CAC9C,KAAK,IAAI,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,CACnD;SACF,CAAC;IACJ,CAAC;CACF,CAAA;AA9BY,4BAA4B;IADxC,UAAU,EAAE;IAMR,WAAA,SAAS,CAAC,0BAA0B,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;4CAErB,oBAAoB;GAPlD,4BAA4B,CA8BxC"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { ArtifactRecord, ChildVerificationKeyService, CompileRegistry } from "@proto-kit/common";
|
|
2
|
+
import { BlockProvable } from "../../prover/block/BlockProvable";
|
|
3
|
+
import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
|
|
4
|
+
import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
|
|
5
|
+
import { ContractArgsRegistry } from "../ContractArgsRegistry";
|
|
6
|
+
import { BridgingSettlementContractType } from "./settlement/BridgingSettlementContract";
|
|
7
|
+
import { DispatchContractProtocolModule } from "./DispatchContractProtocolModule";
|
|
8
|
+
import { BridgeContractProtocolModule } from "./BridgeContractProtocolModule";
|
|
9
|
+
import { SettlementContractConfig } from "./SettlementSmartContractModule";
|
|
10
|
+
export declare class BridgingSettlementContractModule extends ContractModule<BridgingSettlementContractType, SettlementContractConfig> {
|
|
11
|
+
private readonly hooks;
|
|
12
|
+
private readonly blockProver;
|
|
13
|
+
private readonly dispatchContractModule;
|
|
14
|
+
private readonly bridgeContractModule;
|
|
15
|
+
private readonly childVerificationKeyService;
|
|
16
|
+
private readonly argsRegistry;
|
|
17
|
+
constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable, dispatchContractModule: DispatchContractProtocolModule, bridgeContractModule: BridgeContractProtocolModule, childVerificationKeyService: ChildVerificationKeyService, argsRegistry: ContractArgsRegistry);
|
|
18
|
+
contractFactory(): SmartContractClassFromInterface<BridgingSettlementContractType>;
|
|
19
|
+
compile(registry: CompileRegistry): Promise<ArtifactRecord | undefined>;
|
|
20
|
+
}
|
|
21
|
+
//# sourceMappingURL=BridgingSettlementContractModule.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BridgingSettlementContractModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgingSettlementContractModule.ts"],"names":[],"mappings":"AACA,OAAO,EACL,cAAc,EACd,2BAA2B,EAC3B,eAAe,EAEhB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAG/D,OAAO,EACL,8BAA8B,EAG/B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAEL,wBAAwB,EACzB,MAAM,iCAAiC,CAAC;AAGzC,qBACa,gCAAiC,SAAQ,cAAc,CAClE,8BAA8B,EAC9B,wBAAwB,CACzB;IAGG,OAAO,CAAC,QAAQ,CAAC,KAAK;IAEtB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAE5B,OAAO,CAAC,QAAQ,CAAC,sBAAsB;IAEvC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,2BAA2B;IAC5C,OAAO,CAAC,QAAQ,CAAC,YAAY;gBARZ,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAExC,WAAW,EAAE,aAAa,EAE1B,sBAAsB,EAAE,8BAA8B,EAEtD,oBAAoB,EAAE,4BAA4B,EAClD,2BAA2B,EAAE,2BAA2B,EACxD,YAAY,EAAE,oBAAoB;IAK9C,eAAe,IAAI,+BAA+B,CAAC,8BAA8B,CAAC;IA+B5E,OAAO,CAClB,QAAQ,EAAE,eAAe,GACxB,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC;CA+BvC"}
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
2
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
3
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
4
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
5
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
6
|
+
};
|
|
7
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
8
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
9
|
+
};
|
|
10
|
+
var __param = (this && this.__param) || function (paramIndex, decorator) {
|
|
11
|
+
return function (target, key) { decorator(target, key, paramIndex); }
|
|
12
|
+
};
|
|
13
|
+
import { inject, injectable, injectAll } from "tsyringe";
|
|
14
|
+
import { ChildVerificationKeyService, log, } from "@proto-kit/common";
|
|
15
|
+
import { ContractModule, } from "../ContractModule";
|
|
16
|
+
import { ContractArgsRegistry } from "../ContractArgsRegistry";
|
|
17
|
+
import { BridgingSettlementContract, } from "./settlement/BridgingSettlementContract";
|
|
18
|
+
import { DispatchContractProtocolModule } from "./DispatchContractProtocolModule";
|
|
19
|
+
import { BridgeContractProtocolModule } from "./BridgeContractProtocolModule";
|
|
20
|
+
import { DEFAULT_ESCAPE_HATCH, } from "./SettlementSmartContractModule";
|
|
21
|
+
import { SettlementContract } from "./settlement/SettlementContract";
|
|
22
|
+
export let BridgingSettlementContractModule = class BridgingSettlementContractModule extends ContractModule {
|
|
23
|
+
constructor(hooks, blockProver, dispatchContractModule, bridgeContractModule, childVerificationKeyService, argsRegistry) {
|
|
24
|
+
super();
|
|
25
|
+
this.hooks = hooks;
|
|
26
|
+
this.blockProver = blockProver;
|
|
27
|
+
this.dispatchContractModule = dispatchContractModule;
|
|
28
|
+
this.bridgeContractModule = bridgeContractModule;
|
|
29
|
+
this.childVerificationKeyService = childVerificationKeyService;
|
|
30
|
+
this.argsRegistry = argsRegistry;
|
|
31
|
+
}
|
|
32
|
+
contractFactory() {
|
|
33
|
+
const { hooks, config } = this;
|
|
34
|
+
const dispatchContract = this.dispatchContractModule.contractFactory();
|
|
35
|
+
const bridgeContract = this.bridgeContractModule.contractFactory();
|
|
36
|
+
const escapeHatchSlotsInterval = config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
|
|
37
|
+
this.argsRegistry.addArgs("SettlementContract", {
|
|
38
|
+
DispatchContract: dispatchContract,
|
|
39
|
+
hooks,
|
|
40
|
+
escapeHatchSlotsInterval,
|
|
41
|
+
BridgeContract: bridgeContract,
|
|
42
|
+
ChildVerificationKeyService: this.childVerificationKeyService,
|
|
43
|
+
});
|
|
44
|
+
// Ideally, we don't want to have this cyclic dependency, but we have it in the protocol,
|
|
45
|
+
// So it's logical that we can't avoid that here
|
|
46
|
+
this.argsRegistry.addArgs("BridgeContract", {
|
|
47
|
+
SettlementContract: BridgingSettlementContract,
|
|
48
|
+
});
|
|
49
|
+
this.argsRegistry.addArgs("DispatchContract", {
|
|
50
|
+
settlementContractClass: BridgingSettlementContract,
|
|
51
|
+
});
|
|
52
|
+
return BridgingSettlementContract;
|
|
53
|
+
}
|
|
54
|
+
async compile(registry) {
|
|
55
|
+
// Dependencies
|
|
56
|
+
const bridgeArtifact = await this.bridgeContractModule.compile(registry);
|
|
57
|
+
await this.blockProver.compile(registry);
|
|
58
|
+
this.contractFactory();
|
|
59
|
+
// Init params
|
|
60
|
+
this.argsRegistry.addArgs("SettlementContract", {
|
|
61
|
+
BridgeContractVerificationKey: bridgeArtifact.BridgeContract.verificationKey,
|
|
62
|
+
});
|
|
63
|
+
log.debug("Compiling Settlement Contract");
|
|
64
|
+
const artifact = await registry.forceProverExists(async (reg) => await registry.compile(BridgingSettlementContract, SettlementContract.name));
|
|
65
|
+
return {
|
|
66
|
+
SettlementSmartContract: artifact,
|
|
67
|
+
};
|
|
68
|
+
}
|
|
69
|
+
};
|
|
70
|
+
BridgingSettlementContractModule = __decorate([
|
|
71
|
+
injectable(),
|
|
72
|
+
__param(0, injectAll("ProvableSettlementHook")),
|
|
73
|
+
__param(1, inject("BlockProver")),
|
|
74
|
+
__param(2, inject("DispatchContract")),
|
|
75
|
+
__param(3, inject("BridgeContract")),
|
|
76
|
+
__metadata("design:paramtypes", [Array, Object, DispatchContractProtocolModule,
|
|
77
|
+
BridgeContractProtocolModule,
|
|
78
|
+
ChildVerificationKeyService,
|
|
79
|
+
ContractArgsRegistry])
|
|
80
|
+
], BridgingSettlementContractModule);
|
|
81
|
+
//# sourceMappingURL=BridgingSettlementContractModule.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"BridgingSettlementContractModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgingSettlementContractModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAEL,2BAA2B,EAE3B,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAG/D,OAAO,EAEL,0BAA0B,GAE3B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EACL,oBAAoB,GAErB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAG9D,WAAM,gCAAgC,GAAtC,MAAM,gCAAiC,SAAQ,cAGrD;IACC,YAEmB,KAAwC,EAExC,WAA0B,EAE1B,sBAAsD,EAEtD,oBAAkD,EAClD,2BAAwD,EACxD,YAAkC;QAEnD,KAAK,EAAE,CAAC;QAVS,UAAK,GAAL,KAAK,CAAmC;QAExC,gBAAW,GAAX,WAAW,CAAe;QAE1B,2BAAsB,GAAtB,sBAAsB,CAAgC;QAEtD,yBAAoB,GAApB,oBAAoB,CAA8B;QAClD,gCAA2B,GAA3B,2BAA2B,CAA6B;QACxD,iBAAY,GAAZ,YAAY,CAAsB;IAGrD,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAC/B,MAAM,gBAAgB,GAAG,IAAI,CAAC,sBAAsB,CAAC,eAAe,EAAE,CAAC;QACvE,MAAM,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,EAAE,CAAC;QAEnE,MAAM,wBAAwB,GAC5B,MAAM,CAAC,wBAAwB,IAAI,oBAAoB,CAAC;QAE1D,IAAI,CAAC,YAAY,CAAC,OAAO,CACvB,oBAAoB,EACpB;YACE,gBAAgB,EAAE,gBAAgB;YAClC,KAAK;YACL,wBAAwB;YACxB,cAAc,EAAE,cAAc;YAC9B,2BAA2B,EAAE,IAAI,CAAC,2BAA2B;SAC9D,CACF,CAAC;QAEF,yFAAyF;QACzF,gDAAgD;QAChD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAqB,gBAAgB,EAAE;YAC9D,kBAAkB,EAAE,0BAA0B;SAC/C,CAAC,CAAC;QACH,IAAI,CAAC,YAAY,CAAC,OAAO,CAAuB,kBAAkB,EAAE;YAClE,uBAAuB,EAAE,0BAA0B;SACpD,CAAC,CAAC;QAEH,OAAO,0BAA0B,CAAC;IACpC,CAAC;IAEM,KAAK,CAAC,OAAO,CAClB,QAAyB;QAEzB,eAAe;QACf,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEzE,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEzC,IAAI,CAAC,eAAe,EAAE,CAAC;QAEvB,cAAc;QACd,IAAI,CAAC,YAAY,CAAC,OAAO,CACvB,oBAAoB,EACpB;YACE,6BAA6B,EAC3B,cAAc,CAAC,cAAc,CAAC,eAAe;SAChD,CACF,CAAC;QAEF,GAAG,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAE3C,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,iBAAiB,CAC/C,KAAK,EAAE,GAAG,EAAE,EAAE,CACZ,MAAM,QAAQ,CAAC,OAAO,CACpB,0BAA0B,EAC1B,kBAAkB,CAAC,IAAI,CACxB,CACJ,CAAC;QAEF,OAAO;YACL,uBAAuB,EAAE,QAAQ;SAClC,CAAC;IACJ,CAAC;CACF,CAAA;AAnFY,gCAAgC;IAD5C,UAAU,EAAE;IAMR,WAAA,SAAS,CAAC,wBAAwB,CAAC,CAAA;IAEnC,WAAA,MAAM,CAAC,aAAa,CAAC,CAAA;IAErB,WAAA,MAAM,CAAC,kBAAkB,CAAC,CAAA;IAE1B,WAAA,MAAM,CAAC,gBAAgB,CAAC,CAAA;oDADgB,8BAA8B;QAEhC,4BAA4B;QACrB,2BAA2B;QAC1C,oBAAoB;GAd1C,gCAAgC,CAmF5C"}
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
import { CompileRegistry } from "@proto-kit/common";
|
|
2
|
+
import { RuntimeLike } from "../../model/RuntimeLike";
|
|
3
|
+
import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
|
|
4
|
+
import { ContractArgsRegistry } from "../ContractArgsRegistry";
|
|
5
|
+
import { DispatchContractType } from "./DispatchSmartContract";
|
|
6
|
+
export type DispatchContractConfig = {
|
|
7
|
+
incomingMessagesMethods: Record<string, `${string}.${string}`>;
|
|
8
|
+
};
|
|
9
|
+
export declare class DispatchContractProtocolModule extends ContractModule<DispatchContractType, DispatchContractConfig> {
|
|
10
|
+
private readonly runtime;
|
|
11
|
+
private readonly contractArgsRegistry;
|
|
12
|
+
constructor(runtime: RuntimeLike, contractArgsRegistry: ContractArgsRegistry);
|
|
13
|
+
eventsDefinition(): {
|
|
14
|
+
"token-bridge-added": typeof import("./TokenBridgeTree").TokenBridgeTreeAddition;
|
|
15
|
+
"incoming-message-placeholder": typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
|
|
16
|
+
};
|
|
17
|
+
private checkConfigIntegrity;
|
|
18
|
+
contractFactory(): SmartContractClassFromInterface<DispatchContractType>;
|
|
19
|
+
compile(registry: CompileRegistry): Promise<{
|
|
20
|
+
DispatchSmartContract: import("@proto-kit/common").CompileArtifact;
|
|
21
|
+
}>;
|
|
22
|
+
}
|
|
23
|
+
//# sourceMappingURL=DispatchContractProtocolModule.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DispatchContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContractProtocolModule.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,WAAW,EAA0B,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EAEL,oBAAoB,EAErB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,MAAM,sBAAsB,GAAG;IACnC,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC;CAChE,CAAC;AAEF,qBACa,8BAA+B,SAAQ,cAAc,CAChE,oBAAoB,EACpB,sBAAsB,CACvB;IAEsB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAC3C,OAAO,CAAC,QAAQ,CAAC,oBAAoB;gBADD,OAAO,EAAE,WAAW,EACvC,oBAAoB,EAAE,oBAAoB;IAKtD,gBAAgB;;;;IAKvB,OAAO,CAAC,oBAAoB;IAcrB,eAAe,IAAI,+BAA+B,CAAC,oBAAoB,CAAC;IAiBlE,OAAO,CAAC,QAAQ,EAAE,eAAe;;;CAO/C"}
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
2
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
3
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
4
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
5
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
6
|
+
};
|
|
7
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
8
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
9
|
+
};
|
|
10
|
+
var __param = (this && this.__param) || function (paramIndex, decorator) {
|
|
11
|
+
return function (target, key) { decorator(target, key, paramIndex); }
|
|
12
|
+
};
|
|
13
|
+
import { inject, injectable } from "tsyringe";
|
|
14
|
+
import { PublicKey } from "o1js";
|
|
15
|
+
import { ContractModule, } from "../ContractModule";
|
|
16
|
+
import { ContractArgsRegistry } from "../ContractArgsRegistry";
|
|
17
|
+
import { DispatchSmartContract, } from "./DispatchSmartContract";
|
|
18
|
+
export let DispatchContractProtocolModule = class DispatchContractProtocolModule extends ContractModule {
|
|
19
|
+
constructor(runtime, contractArgsRegistry) {
|
|
20
|
+
super();
|
|
21
|
+
this.runtime = runtime;
|
|
22
|
+
this.contractArgsRegistry = contractArgsRegistry;
|
|
23
|
+
}
|
|
24
|
+
eventsDefinition() {
|
|
25
|
+
return new DispatchSmartContract(PublicKey.empty())
|
|
26
|
+
.events;
|
|
27
|
+
}
|
|
28
|
+
checkConfigIntegrity(incomingMessagesMethods, runtimeMethodIds) {
|
|
29
|
+
const missing = Object.values(incomingMessagesMethods).filter((method) => runtimeMethodIds[method] === undefined);
|
|
30
|
+
if (missing.length > 0) {
|
|
31
|
+
throw new Error(`Incoming messages config references a unknown methods: [${missing}]`);
|
|
32
|
+
}
|
|
33
|
+
}
|
|
34
|
+
contractFactory() {
|
|
35
|
+
const { incomingMessagesMethods } = this.config;
|
|
36
|
+
const methodIdMappings = this.runtime.methodIdResolver.methodIdMap();
|
|
37
|
+
this.checkConfigIntegrity(incomingMessagesMethods, methodIdMappings);
|
|
38
|
+
this.contractArgsRegistry.addArgs("DispatchContract", {
|
|
39
|
+
incomingMessagesPaths: incomingMessagesMethods,
|
|
40
|
+
methodIdMappings,
|
|
41
|
+
});
|
|
42
|
+
return DispatchSmartContract;
|
|
43
|
+
}
|
|
44
|
+
async compile(registry) {
|
|
45
|
+
return {
|
|
46
|
+
DispatchSmartContract: await registry.forceProverExists(async () => await registry.compile(DispatchSmartContract)),
|
|
47
|
+
};
|
|
48
|
+
}
|
|
49
|
+
};
|
|
50
|
+
DispatchContractProtocolModule = __decorate([
|
|
51
|
+
injectable(),
|
|
52
|
+
__param(0, inject("Runtime")),
|
|
53
|
+
__metadata("design:paramtypes", [Object, ContractArgsRegistry])
|
|
54
|
+
], DispatchContractProtocolModule);
|
|
55
|
+
//# sourceMappingURL=DispatchContractProtocolModule.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DispatchContractProtocolModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContractProtocolModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAIjC,OAAO,EACL,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,qBAAqB,GAGtB,MAAM,yBAAyB,CAAC;AAO1B,WAAM,8BAA8B,GAApC,MAAM,8BAA+B,SAAQ,cAGnD;IACC,YACsC,OAAoB,EACvC,oBAA0C;QAE3D,KAAK,EAAE,CAAC;QAH4B,YAAO,GAAP,OAAO,CAAa;QACvC,yBAAoB,GAApB,oBAAoB,CAAsB;IAG7D,CAAC;IAEM,gBAAgB;QACrB,OAAO,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,EAAoB,CAAC;aAClE,MAAM,CAAC;IACZ,CAAC;IAEO,oBAAoB,CAC1B,uBAA8D,EAC9D,gBAAwC;QAExC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC,MAAM,CAC3D,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,SAAS,CACnD,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE;YACtB,MAAM,IAAI,KAAK,CACb,2DAA2D,OAAO,GAAG,CACtE,CAAC;SACH;IACH,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,uBAAuB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QAChD,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAErE,IAAI,CAAC,oBAAoB,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,CAAC;QAErE,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAC/B,kBAAkB,EAClB;YACE,qBAAqB,EAAE,uBAAuB;YAC9C,gBAAgB;SACjB,CACF,CAAC;QAEF,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,OAAO;YACL,qBAAqB,EAAE,MAAM,QAAQ,CAAC,iBAAiB,CACrD,KAAK,IAAI,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAC1D;SACF,CAAC;IACJ,CAAC;CACF,CAAA;AAtDY,8BAA8B;IAD1C,UAAU,EAAE;IAMR,WAAA,MAAM,CAAC,SAAS,CAAC,CAAA;6CACqB,oBAAoB;GANlD,8BAA8B,CAsD1C"}
|
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
import { DeployArgs, Field, ProvableExtended, PublicKey, SmartContract, State, UInt64, Permissions } from "o1js";
|
|
2
|
+
import { TypedClass } from "@proto-kit/common";
|
|
3
|
+
import { RuntimeMethodIdMapping } from "../../model/RuntimeLike";
|
|
4
|
+
import { NaiveObjectSchema, StaticInitializationContract } from "../ContractArgsRegistry";
|
|
5
|
+
import type { BridgingSettlementContractType } from "./settlement/BridgingSettlementContract";
|
|
6
|
+
import { TokenBridgeAttestation, TokenBridgeTreeAddition } from "./TokenBridgeTree";
|
|
7
|
+
export declare const ACTIONS_EMPTY_HASH: import("o1js/dist/node/lib/provable/field").Field;
|
|
8
|
+
export interface DispatchContractType {
|
|
9
|
+
events: {
|
|
10
|
+
"token-bridge-added": typeof TokenBridgeTreeAddition;
|
|
11
|
+
};
|
|
12
|
+
updateMessagesHash: (executedMessagesHash: Field, newPromisedMessagesHash: Field) => Promise<void>;
|
|
13
|
+
enableTokenDeposits: (tokenId: Field, bridgeContractAddress: PublicKey, settlementContractAddress: PublicKey) => Promise<void>;
|
|
14
|
+
promisedMessagesHash: State<Field>;
|
|
15
|
+
deployAndInitialize: (args: DeployArgs | undefined, permissions: Permissions, settlementContract: PublicKey) => Promise<void>;
|
|
16
|
+
}
|
|
17
|
+
export interface DispatchContractArgs {
|
|
18
|
+
methodIdMappings: RuntimeMethodIdMapping;
|
|
19
|
+
incomingMessagesPaths: Record<string, `${string}.${string}`>;
|
|
20
|
+
settlementContractClass: TypedClass<BridgingSettlementContractType> & typeof SmartContract;
|
|
21
|
+
}
|
|
22
|
+
export declare const DispatchContractArgsSchema: NaiveObjectSchema<DispatchContractArgs>;
|
|
23
|
+
export declare abstract class DispatchSmartContractBase extends SmartContract implements StaticInitializationContract<DispatchContractArgs> {
|
|
24
|
+
events: {
|
|
25
|
+
"token-bridge-added": typeof TokenBridgeTreeAddition;
|
|
26
|
+
"incoming-message-placeholder": typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
|
|
27
|
+
};
|
|
28
|
+
abstract promisedMessagesHash: State<Field>;
|
|
29
|
+
abstract honoredMessagesHash: State<Field>;
|
|
30
|
+
abstract settlementContract: State<PublicKey>;
|
|
31
|
+
abstract tokenBridgeRoot: State<Field>;
|
|
32
|
+
abstract tokenBridgeCount: State<Field>;
|
|
33
|
+
getInitializationArgs(): DispatchContractArgs;
|
|
34
|
+
protected updateMessagesHashBase(executedMessagesHash: Field, newPromisedMessagesHash: Field): void;
|
|
35
|
+
protected initializeBase(settlementContract: PublicKey): void;
|
|
36
|
+
protected dispatchMessage<Type>(methodId: Field, value: Type, valueType: ProvableExtended<Type>): void;
|
|
37
|
+
protected enableTokenDepositsBase(tokenId: Field, bridgeContractAddress: PublicKey, settlementContractAddress: PublicKey): Promise<void>;
|
|
38
|
+
}
|
|
39
|
+
export declare class DispatchSmartContract extends DispatchSmartContractBase implements DispatchContractType {
|
|
40
|
+
promisedMessagesHash: State<import("o1js/dist/node/lib/provable/field").Field>;
|
|
41
|
+
honoredMessagesHash: State<import("o1js/dist/node/lib/provable/field").Field>;
|
|
42
|
+
settlementContract: State<PublicKey>;
|
|
43
|
+
tokenBridgeRoot: State<import("o1js/dist/node/lib/provable/field").Field>;
|
|
44
|
+
tokenBridgeCount: State<import("o1js/dist/node/lib/provable/field").Field>;
|
|
45
|
+
deployAndInitialize(args: DeployArgs | undefined, permissions: Permissions, settlementContract: PublicKey): Promise<void>;
|
|
46
|
+
enableTokenDeposits(tokenId: Field, bridgeContractAddress: PublicKey, settlementContractAddress: PublicKey): Promise<void>;
|
|
47
|
+
updateMessagesHash(executedMessagesHash: Field, newPromisedMessagesHash: Field): Promise<void>;
|
|
48
|
+
deposit(amount: UInt64, tokenId: Field, bridgingContract: PublicKey, bridgingContractAttestation: TokenBridgeAttestation, l2Receiver: PublicKey): Promise<void>;
|
|
49
|
+
}
|
|
50
|
+
//# sourceMappingURL=DispatchSmartContract.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DispatchSmartContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchSmartContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,UAAU,EACV,KAAK,EAIL,gBAAgB,EAChB,SAAS,EAET,aAAa,EACb,KAAK,EAGL,MAAM,EACN,WAAW,EACZ,MAAM,MAAM,CAAC;AACd,OAAO,EAA6B,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAG1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAOjE,OAAO,EAEL,iBAAiB,EACjB,4BAA4B,EAC7B,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AAG9F,OAAO,EACL,sBAAsB,EAGtB,uBAAuB,EAExB,MAAM,mBAAmB,CAAC;AAE3B,eAAO,MAAM,kBAAkB,mDAA6B,CAAC;AAE7D,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE;QACN,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;KACtD,CAAC;IAEF,kBAAkB,EAAE,CAClB,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,mBAAmB,EAAE,CACnB,OAAO,EAAE,KAAK,EACd,qBAAqB,EAAE,SAAS,EAChC,yBAAyB,EAAE,SAAS,KACjC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnB,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEnC,mBAAmB,EAAE,CACnB,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,kBAAkB,EAAE,SAAS,KAC1B,OAAO,CAAC,IAAI,CAAC,CAAC;CACpB;AAMD,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,sBAAsB,CAAC;IACzC,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC;IAC7D,uBAAuB,EAAE,UAAU,CAAC,8BAA8B,CAAC,GACjE,OAAO,aAAa,CAAC;CACxB;AAED,eAAO,MAAM,0BAA0B,EAAE,iBAAiB,CAAC,oBAAoB,CAK5E,CAAC;AAEJ,8BAAsB,yBACpB,SAAQ,aACR,YAAW,4BAA4B,CAAC,oBAAoB,CAAC;IAE7D,MAAM;;;MAMJ;IAEF,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAE5C,QAAQ,CAAC,mBAAmB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAE3C,QAAQ,CAAC,kBAAkB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAE9C,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEvC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAExC,qBAAqB,IAAI,oBAAoB;IAM7C,SAAS,CAAC,sBAAsB,CAC9B,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK;IA+BhC,SAAS,CAAC,cAAc,CAAC,kBAAkB,EAAE,SAAS;IAMtD,SAAS,CAAC,eAAe,CAAC,IAAI,EAC5B,QAAQ,EAAE,KAAK,EACf,KAAK,EAAE,IAAI,EACX,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC;cAmCnB,uBAAuB,CACrC,OAAO,EAAE,KAAK,EACd,qBAAqB,EAAE,SAAS,EAGhC,yBAAyB,EAAE,SAAS;CAqDvC;AAED,qBAAa,qBACX,SAAQ,yBACR,YAAW,oBAAoB;IAEV,oBAAoB,2DAAkB;IAEtC,mBAAmB,2DAAkB;IAEjC,kBAAkB,mBAAsB;IAE5C,eAAe,2DAAiC;IAEhD,gBAAgB,2DAAkB;IAE1C,mBAAmB,CAC9B,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,kBAAkB,EAAE,SAAS,GAC5B,OAAO,CAAC,IAAI,CAAC;IASH,mBAAmB,CAC9B,OAAO,EAAE,KAAK,EACd,qBAAqB,EAAE,SAAS,EAChC,yBAAyB,EAAE,SAAS;IAUzB,kBAAkB,CAC7B,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK;IASnB,OAAO,CAClB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,KAAK,EACd,gBAAgB,EAAE,SAAS,EAC3B,2BAA2B,EAAE,sBAAsB,EACnD,UAAU,EAAE,SAAS;CAgDxB"}
|
|
@@ -0,0 +1,234 @@
|
|
|
1
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
2
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
3
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
4
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
5
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
6
|
+
};
|
|
7
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
8
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
9
|
+
};
|
|
10
|
+
import { AccountUpdate, Bool, Field, method, Poseidon, Provable, PublicKey, Reducer, SmartContract, State, state, TokenId, UInt64, } from "o1js";
|
|
11
|
+
import { InMemoryMerkleTreeStorage } from "@proto-kit/common";
|
|
12
|
+
import { container } from "tsyringe";
|
|
13
|
+
import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
|
|
14
|
+
import { MinaActions, MinaEvents, } from "../../utils/MinaPrefixedProvableHashList";
|
|
15
|
+
import { Deposit } from "../messages/Deposit";
|
|
16
|
+
import { ContractArgsRegistry, } from "../ContractArgsRegistry";
|
|
17
|
+
import { TokenBridgeDeploymentAuth } from "./authorizations/TokenBridgeDeploymentAuth";
|
|
18
|
+
import { UpdateMessagesHashAuth } from "./authorizations/UpdateMessagesHashAuth";
|
|
19
|
+
import { TokenBridgeAttestation, TokenBridgeEntry, TokenBridgeTree, TokenBridgeTreeAddition, TokenBridgeTreeWitness, } from "./TokenBridgeTree";
|
|
20
|
+
export const ACTIONS_EMPTY_HASH = Reducer.initialActionState;
|
|
21
|
+
const tokenBridgeRoot = new TokenBridgeTree(new InMemoryMerkleTreeStorage()).getRoot();
|
|
22
|
+
export const DispatchContractArgsSchema = {
|
|
23
|
+
incomingMessagesPaths: "Required",
|
|
24
|
+
methodIdMappings: "Required",
|
|
25
|
+
settlementContractClass: "Required",
|
|
26
|
+
};
|
|
27
|
+
export class DispatchSmartContractBase extends SmartContract {
|
|
28
|
+
constructor() {
|
|
29
|
+
super(...arguments);
|
|
30
|
+
this.events = {
|
|
31
|
+
"token-bridge-added": TokenBridgeTreeAddition,
|
|
32
|
+
// We need a placeholder event here, so that o1js internally adds a identifier to the
|
|
33
|
+
// emitted event-fields. That will lead to the o1js API being able to distinguish the
|
|
34
|
+
// TokenBridgeEvents from the manually emitted events for the incoming messages
|
|
35
|
+
"incoming-message-placeholder": Field,
|
|
36
|
+
};
|
|
37
|
+
}
|
|
38
|
+
getInitializationArgs() {
|
|
39
|
+
return container
|
|
40
|
+
.resolve(ContractArgsRegistry)
|
|
41
|
+
.getArgs("DispatchContract", DispatchContractArgsSchema);
|
|
42
|
+
}
|
|
43
|
+
updateMessagesHashBase(executedMessagesHash, newPromisedMessagesHash) {
|
|
44
|
+
const promisedMessagesHash = this.promisedMessagesHash.getAndRequireEquals();
|
|
45
|
+
this.honoredMessagesHash.getAndRequireEquals();
|
|
46
|
+
executedMessagesHash.assertEquals(promisedMessagesHash);
|
|
47
|
+
this.honoredMessagesHash.set(executedMessagesHash);
|
|
48
|
+
// Assert and apply new promisedMessagesHash
|
|
49
|
+
this.self.account.actionState.requireEquals(newPromisedMessagesHash);
|
|
50
|
+
this.promisedMessagesHash.set(newPromisedMessagesHash);
|
|
51
|
+
const args = this.getInitializationArgs();
|
|
52
|
+
const settlementContractAddress = this.settlementContract.getAndRequireEquals();
|
|
53
|
+
const settlementContract = new args.settlementContractClass(settlementContractAddress);
|
|
54
|
+
settlementContract.authorizationField.requireEquals(new UpdateMessagesHashAuth({
|
|
55
|
+
target: this.address,
|
|
56
|
+
executedMessagesHash,
|
|
57
|
+
newPromisedMessagesHash,
|
|
58
|
+
}).hash());
|
|
59
|
+
this.approve(settlementContract.self);
|
|
60
|
+
}
|
|
61
|
+
initializeBase(settlementContract) {
|
|
62
|
+
this.promisedMessagesHash.set(ACTIONS_EMPTY_HASH);
|
|
63
|
+
this.honoredMessagesHash.set(ACTIONS_EMPTY_HASH);
|
|
64
|
+
this.settlementContract.set(settlementContract);
|
|
65
|
+
}
|
|
66
|
+
dispatchMessage(methodId, value, valueType) {
|
|
67
|
+
const args = valueType.toFields(value);
|
|
68
|
+
// Should be the same as RuntimeTransaction.hash
|
|
69
|
+
const argsHash = Poseidon.hash(args);
|
|
70
|
+
const runtimeTransaction = RuntimeTransaction.fromMessage({
|
|
71
|
+
methodId,
|
|
72
|
+
argsHash,
|
|
73
|
+
});
|
|
74
|
+
// Append tx to incomingMessagesHash
|
|
75
|
+
const actionData = runtimeTransaction.hashData();
|
|
76
|
+
const actionHash = MinaActions.actionHash(actionData);
|
|
77
|
+
this.self.body.actions = {
|
|
78
|
+
hash: actionHash,
|
|
79
|
+
data: [actionData],
|
|
80
|
+
};
|
|
81
|
+
// Find event index of placeholder event that we can use for manual event dispatching
|
|
82
|
+
const eventIndex = Object.keys(this.events)
|
|
83
|
+
.sort()
|
|
84
|
+
.indexOf("incoming-message-placeholder");
|
|
85
|
+
if (eventIndex === -1) {
|
|
86
|
+
throw new Error("Unknown event type for placeholder event");
|
|
87
|
+
}
|
|
88
|
+
const paddedArgs = [Field(eventIndex), ...args];
|
|
89
|
+
const eventHash = MinaEvents.eventHash(paddedArgs);
|
|
90
|
+
this.self.body.events = {
|
|
91
|
+
hash: eventHash,
|
|
92
|
+
data: [paddedArgs],
|
|
93
|
+
};
|
|
94
|
+
}
|
|
95
|
+
async enableTokenDepositsBase(tokenId, bridgeContractAddress,
|
|
96
|
+
// Witness it here, since o1js doesn't fetch this state correctly since
|
|
97
|
+
// its updated in a parent AU
|
|
98
|
+
settlementContractAddress
|
|
99
|
+
// treeWitness: TokenBridgeTreeWitness
|
|
100
|
+
) {
|
|
101
|
+
this.settlementContract.requireEquals(settlementContractAddress);
|
|
102
|
+
const args = this.getInitializationArgs();
|
|
103
|
+
const settlementContract = new args.settlementContractClass(settlementContractAddress);
|
|
104
|
+
// Append bridge address to the tree
|
|
105
|
+
// TODO This not concurrent and will fail if multiple users deploy bridges at the same time
|
|
106
|
+
const counter = this.tokenBridgeCount.getAndRequireEquals();
|
|
107
|
+
const root = this.tokenBridgeRoot.getAndRequireEquals();
|
|
108
|
+
const treeWitness = await Provable.witnessAsync(TokenBridgeTreeWitness, async () => {
|
|
109
|
+
const tree = await TokenBridgeTree.buildTreeFromEvents(this);
|
|
110
|
+
return tree.getWitness(counter.toBigInt());
|
|
111
|
+
});
|
|
112
|
+
treeWitness
|
|
113
|
+
.checkMembership(root, counter, Field(0))
|
|
114
|
+
.assertTrue("Bridge Tree Witness not valid");
|
|
115
|
+
const entry = new TokenBridgeEntry({
|
|
116
|
+
tokenId,
|
|
117
|
+
address: bridgeContractAddress,
|
|
118
|
+
});
|
|
119
|
+
const newRoot = treeWitness.calculateRoot(entry.hash());
|
|
120
|
+
this.tokenBridgeRoot.set(newRoot);
|
|
121
|
+
this.tokenBridgeCount.set(counter.add(1));
|
|
122
|
+
this.emitEvent("token-bridge-added", new TokenBridgeTreeAddition({
|
|
123
|
+
index: counter,
|
|
124
|
+
value: entry,
|
|
125
|
+
}));
|
|
126
|
+
// Authenticate call via callback
|
|
127
|
+
settlementContract.authorizationField.requireEquals(new TokenBridgeDeploymentAuth({
|
|
128
|
+
target: this.address,
|
|
129
|
+
tokenId,
|
|
130
|
+
address: bridgeContractAddress,
|
|
131
|
+
}).hash());
|
|
132
|
+
this.approve(settlementContract.self);
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
export class DispatchSmartContract extends DispatchSmartContractBase {
|
|
136
|
+
constructor() {
|
|
137
|
+
super(...arguments);
|
|
138
|
+
this.promisedMessagesHash = State();
|
|
139
|
+
this.honoredMessagesHash = State();
|
|
140
|
+
this.settlementContract = State();
|
|
141
|
+
this.tokenBridgeRoot = State(tokenBridgeRoot);
|
|
142
|
+
this.tokenBridgeCount = State();
|
|
143
|
+
}
|
|
144
|
+
async deployAndInitialize(args, permissions, settlementContract) {
|
|
145
|
+
await super.deploy(args);
|
|
146
|
+
this.self.account.permissions.set(permissions);
|
|
147
|
+
this.initializeBase(settlementContract);
|
|
148
|
+
}
|
|
149
|
+
async enableTokenDeposits(tokenId, bridgeContractAddress, settlementContractAddress) {
|
|
150
|
+
await this.enableTokenDepositsBase(tokenId, bridgeContractAddress, settlementContractAddress);
|
|
151
|
+
}
|
|
152
|
+
async updateMessagesHash(executedMessagesHash, newPromisedMessagesHash) {
|
|
153
|
+
return this.updateMessagesHashBase(executedMessagesHash, newPromisedMessagesHash);
|
|
154
|
+
}
|
|
155
|
+
async deposit(amount, tokenId, bridgingContract, bridgingContractAttestation, l2Receiver) {
|
|
156
|
+
const childrenMayUseToken = {
|
|
157
|
+
parentsOwnToken: Bool(false),
|
|
158
|
+
// MayUseToken has to be set only for custom tokens
|
|
159
|
+
inheritFromParent: tokenId.equals(TokenId.default).not(),
|
|
160
|
+
};
|
|
161
|
+
// Check that the bridgingContract parameter is valid => is in the offchain tree
|
|
162
|
+
const bridgeTreeRoot = this.tokenBridgeRoot.getAndRequireEquals();
|
|
163
|
+
const entry = new TokenBridgeEntry({
|
|
164
|
+
tokenId,
|
|
165
|
+
address: bridgingContract,
|
|
166
|
+
});
|
|
167
|
+
bridgingContractAttestation.witness
|
|
168
|
+
.checkMembership(bridgeTreeRoot, bridgingContractAttestation.index, entry.hash())
|
|
169
|
+
.assertTrue("Bridging Contract Attestation not valid");
|
|
170
|
+
// Credit the amount to the settlement contract
|
|
171
|
+
const balanceAU = AccountUpdate.create(bridgingContract, tokenId);
|
|
172
|
+
balanceAU.balance.addInPlace(amount);
|
|
173
|
+
balanceAU.body.mayUseToken = childrenMayUseToken;
|
|
174
|
+
this.approve(balanceAU);
|
|
175
|
+
const action = new Deposit({
|
|
176
|
+
tokenId,
|
|
177
|
+
address: l2Receiver,
|
|
178
|
+
amount,
|
|
179
|
+
});
|
|
180
|
+
const { methodIdMappings, incomingMessagesPaths } = this.getInitializationArgs();
|
|
181
|
+
const methodId = Field(methodIdMappings[incomingMessagesPaths.deposit].methodId).toConstant();
|
|
182
|
+
this.dispatchMessage(methodId.toConstant(), action, Deposit);
|
|
183
|
+
this.self.body.mayUseToken = {
|
|
184
|
+
parentsOwnToken: tokenId.equals(TokenId.default).not(),
|
|
185
|
+
inheritFromParent: Bool(false),
|
|
186
|
+
};
|
|
187
|
+
}
|
|
188
|
+
}
|
|
189
|
+
__decorate([
|
|
190
|
+
state(Field),
|
|
191
|
+
__metadata("design:type", Object)
|
|
192
|
+
], DispatchSmartContract.prototype, "promisedMessagesHash", void 0);
|
|
193
|
+
__decorate([
|
|
194
|
+
state(Field),
|
|
195
|
+
__metadata("design:type", Object)
|
|
196
|
+
], DispatchSmartContract.prototype, "honoredMessagesHash", void 0);
|
|
197
|
+
__decorate([
|
|
198
|
+
state(PublicKey),
|
|
199
|
+
__metadata("design:type", Object)
|
|
200
|
+
], DispatchSmartContract.prototype, "settlementContract", void 0);
|
|
201
|
+
__decorate([
|
|
202
|
+
state(Field),
|
|
203
|
+
__metadata("design:type", Object)
|
|
204
|
+
], DispatchSmartContract.prototype, "tokenBridgeRoot", void 0);
|
|
205
|
+
__decorate([
|
|
206
|
+
state(Field),
|
|
207
|
+
__metadata("design:type", Object)
|
|
208
|
+
], DispatchSmartContract.prototype, "tokenBridgeCount", void 0);
|
|
209
|
+
__decorate([
|
|
210
|
+
method,
|
|
211
|
+
__metadata("design:type", Function),
|
|
212
|
+
__metadata("design:paramtypes", [Field,
|
|
213
|
+
PublicKey,
|
|
214
|
+
PublicKey]),
|
|
215
|
+
__metadata("design:returntype", Promise)
|
|
216
|
+
], DispatchSmartContract.prototype, "enableTokenDeposits", null);
|
|
217
|
+
__decorate([
|
|
218
|
+
method,
|
|
219
|
+
__metadata("design:type", Function),
|
|
220
|
+
__metadata("design:paramtypes", [Field,
|
|
221
|
+
Field]),
|
|
222
|
+
__metadata("design:returntype", Promise)
|
|
223
|
+
], DispatchSmartContract.prototype, "updateMessagesHash", null);
|
|
224
|
+
__decorate([
|
|
225
|
+
method,
|
|
226
|
+
__metadata("design:type", Function),
|
|
227
|
+
__metadata("design:paramtypes", [UInt64,
|
|
228
|
+
Field,
|
|
229
|
+
PublicKey,
|
|
230
|
+
TokenBridgeAttestation,
|
|
231
|
+
PublicKey]),
|
|
232
|
+
__metadata("design:returntype", Promise)
|
|
233
|
+
], DispatchSmartContract.prototype, "deposit", null);
|
|
234
|
+
//# sourceMappingURL=DispatchSmartContract.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"DispatchSmartContract.js","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchSmartContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,aAAa,EACb,IAAI,EAEJ,KAAK,EACL,MAAM,EACN,QAAQ,EACR,QAAQ,EAER,SAAS,EACT,OAAO,EACP,aAAa,EACb,KAAK,EACL,KAAK,EACL,OAAO,EACP,MAAM,GAEP,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,yBAAyB,EAAc,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAGrC,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EACL,WAAW,EACX,UAAU,GACX,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EACL,oBAAoB,GAGrB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACjF,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EACf,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,mBAAmB,CAAC;AAE3B,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;AA0B7D,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,IAAI,yBAAyB,EAAE,CAChC,CAAC,OAAO,EAAE,CAAC;AASZ,MAAM,CAAC,MAAM,0BAA0B,GACrC;IACE,qBAAqB,EAAE,UAAU;IACjC,gBAAgB,EAAE,UAAU;IAC5B,uBAAuB,EAAE,UAAU;CACpC,CAAC;AAEJ,MAAM,OAAgB,yBACpB,SAAQ,aAAa;IADvB;;QAIE,WAAM,GAAG;YACP,oBAAoB,EAAE,uBAAuB;YAC7C,qFAAqF;YACrF,qFAAqF;YACrF,+EAA+E;YAC/E,8BAA8B,EAAE,KAAK;SACtC,CAAC;IAyJJ,CAAC;IA7IC,qBAAqB;QACnB,OAAO,SAAS;aACb,OAAO,CAAC,oBAAoB,CAAC;aAC7B,OAAO,CAAC,kBAAkB,EAAE,0BAA0B,CAAC,CAAC;IAC7D,CAAC;IAES,sBAAsB,CAC9B,oBAA2B,EAC3B,uBAA8B;QAE9B,MAAM,oBAAoB,GACxB,IAAI,CAAC,oBAAoB,CAAC,mBAAmB,EAAE,CAAC;QAClD,IAAI,CAAC,mBAAmB,CAAC,mBAAmB,EAAE,CAAC;QAE/C,oBAAoB,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;QAExD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAEnD,4CAA4C;QAC5C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC;QACrE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QAEvD,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC1C,MAAM,yBAAyB,GAC7B,IAAI,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,CAAC;QAChD,MAAM,kBAAkB,GAAG,IAAI,IAAI,CAAC,uBAAwB,CAC1D,yBAAyB,CAC1B,CAAC;QAEF,kBAAkB,CAAC,kBAAkB,CAAC,aAAa,CACjD,IAAI,sBAAsB,CAAC;YACzB,MAAM,EAAE,IAAI,CAAC,OAAO;YACpB,oBAAoB;YACpB,uBAAuB;SACxB,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAES,cAAc,CAAC,kBAA6B;QACpD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAClD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QACjD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAClD,CAAC;IAES,eAAe,CACvB,QAAe,EACf,KAAW,EACX,SAAiC;QAEjC,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvC,gDAAgD;QAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,WAAW,CAAC;YACxD,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;QAEH,oCAAoC;QACpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAEtD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG;YACvB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,UAAU,CAAC;SACnB,CAAC;QAEF,qFAAqF;QACrF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;aACxC,IAAI,EAAE;aACN,OAAO,CAAC,8BAA8B,CAAC,CAAC;QAC3C,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE;YACrB,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;SAC7D;QACD,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;QAEhD,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG;YACtB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,CAAC,UAAU,CAAC;SACnB,CAAC;IACJ,CAAC;IAES,KAAK,CAAC,uBAAuB,CACrC,OAAc,EACd,qBAAgC;IAChC,uEAAuE;IACvE,6BAA6B;IAC7B,yBAAoC;IACpC,sCAAsC;;QAEtC,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC1C,MAAM,kBAAkB,GAAG,IAAI,IAAI,CAAC,uBAAwB,CAC1D,yBAAyB,CAC1B,CAAC;QAEF,oCAAoC;QACpC,2FAA2F;QAC3F,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,mBAAmB,EAAE,CAAC;QAExD,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,YAAY,CAC7C,sBAAsB,EACtB,KAAK,IAAI,EAAE;YACT,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC7D,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7C,CAAC,CACF,CAAC;QAEF,WAAW;aACR,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;aACxC,UAAU,CAAC,+BAA+B,CAAC,CAAC;QAE/C,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAAC;YACjC,OAAO;YACP,OAAO,EAAE,qBAAqB;SAC/B,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1C,IAAI,CAAC,SAAS,CACZ,oBAAoB,EACpB,IAAI,uBAAuB,CAAC;YAC1B,KAAK,EAAE,OAAO;YACd,KAAK,EAAE,KAAK;SACb,CAAC,CACH,CAAC;QAEF,iCAAiC;QACjC,kBAAkB,CAAC,kBAAkB,CAAC,aAAa,CACjD,IAAI,yBAAyB,CAAC;YAC5B,MAAM,EAAE,IAAI,CAAC,OAAO;YACpB,OAAO;YACP,OAAO,EAAE,qBAAqB;SAC/B,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QAEF,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;CACF;AAED,MAAM,OAAO,qBACX,SAAQ,yBAAyB;IADnC;;QAIuB,yBAAoB,GAAG,KAAK,EAAS,CAAC;QAEtC,wBAAmB,GAAG,KAAK,EAAS,CAAC;QAEjC,uBAAkB,GAAG,KAAK,EAAa,CAAC;QAE5C,oBAAe,GAAG,KAAK,CAAQ,eAAe,CAAC,CAAC;QAEhD,qBAAgB,GAAG,KAAK,EAAS,CAAC;IA4FzD,CAAC;IA1FQ,KAAK,CAAC,mBAAmB,CAC9B,IAA4B,EAC5B,WAAwB,EACxB,kBAA6B;QAE7B,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAEzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE/C,IAAI,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;IAC1C,CAAC;IAGY,AAAN,KAAK,CAAC,mBAAmB,CAC9B,OAAc,EACd,qBAAgC,EAChC,yBAAoC;QAEpC,MAAM,IAAI,CAAC,uBAAuB,CAChC,OAAO,EACP,qBAAqB,EACrB,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,kBAAkB,CAC7B,oBAA2B,EAC3B,uBAA8B;QAE9B,OAAO,IAAI,CAAC,sBAAsB,CAChC,oBAAoB,EACpB,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,OAAO,CAClB,MAAc,EACd,OAAc,EACd,gBAA2B,EAC3B,2BAAmD,EACnD,UAAqB;QAErB,MAAM,mBAAmB,GAAyC;YAChE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;YAC5B,mDAAmD;YACnD,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;SACzD,CAAC;QAEF,gFAAgF;QAChF,MAAM,cAAc,GAAG,IAAI,CAAC,eAAe,CAAC,mBAAmB,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAAC;YACjC,OAAO;YACP,OAAO,EAAE,gBAAgB;SAC1B,CAAC,CAAC;QAEH,2BAA2B,CAAC,OAAO;aAChC,eAAe,CACd,cAAc,EACd,2BAA2B,CAAC,KAAK,EACjC,KAAK,CAAC,IAAI,EAAE,CACb;aACA,UAAU,CAAC,yCAAyC,CAAC,CAAC;QAEzD,+CAA+C;QAC/C,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAClE,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACrC,SAAS,CAAC,IAAI,CAAC,WAAW,GAAG,mBAAmB,CAAC;QACjD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAExB,MAAM,MAAM,GAAG,IAAI,OAAO,CAAC;YACzB,OAAO;YACP,OAAO,EAAE,UAAU;YACnB,MAAM;SACP,CAAC,CAAC;QAEH,MAAM,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,GAC/C,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE/B,MAAM,QAAQ,GAAG,KAAK,CACpB,gBAAgB,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,QAAQ,CACzD,CAAC,UAAU,EAAE,CAAC;QACf,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAE7D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG;YAC3B,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YACtD,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC;SAC/B,CAAC;IACJ,CAAC;CACF;AApGsB;IAApB,KAAK,CAAC,KAAK,CAAC;;mEAA8C;AAEtC;IAApB,KAAK,CAAC,KAAK,CAAC;;kEAA6C;AAEjC;IAAxB,KAAK,CAAC,SAAS,CAAC;;iEAAgD;AAE5C;IAApB,KAAK,CAAC,KAAK,CAAC;;8DAAwD;AAEhD;IAApB,KAAK,CAAC,KAAK,CAAC;;+DAA0C;AAe1C;IADZ,MAAM;;qCAEI,KAAK;QACS,SAAS;QACL,SAAS;;gEAOrC;AAGY;IADZ,MAAM;;qCAEiB,KAAK;QACF,KAAK;;+DAM/B;AAGY;IADZ,MAAM;;qCAEG,MAAM;QACL,KAAK;QACI,SAAS;QACE,sBAAsB;QACvC,SAAS;;oDA+CtB"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { ArtifactRecord, ChildVerificationKeyService, CompileRegistry } from "@proto-kit/common";
|
|
2
|
+
import { BlockProvable } from "../../prover/block/BlockProvable";
|
|
3
|
+
import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
|
|
4
|
+
import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
|
|
5
|
+
import { SettlementContractType } from "./SettlementSmartContract";
|
|
6
|
+
import { DispatchContractProtocolModule } from "./DispatchContractProtocolModule";
|
|
7
|
+
import { BridgeContractProtocolModule } from "./BridgeContractProtocolModule";
|
|
8
|
+
export type SettlementContractConfig = {
|
|
9
|
+
escapeHatchSlotsInterval?: number;
|
|
10
|
+
};
|
|
11
|
+
export declare class SettlementContractProtocolModule extends ContractModule<SettlementContractType, SettlementContractConfig> {
|
|
12
|
+
private readonly hooks;
|
|
13
|
+
private readonly blockProver;
|
|
14
|
+
private readonly dispatchContractModule;
|
|
15
|
+
private readonly bridgeContractModule;
|
|
16
|
+
private readonly childVerificationKeyService;
|
|
17
|
+
constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable, dispatchContractModule: DispatchContractProtocolModule, bridgeContractModule: BridgeContractProtocolModule, childVerificationKeyService: ChildVerificationKeyService);
|
|
18
|
+
contractFactory(): SmartContractClassFromInterface<SettlementContractType>;
|
|
19
|
+
compile(registry: CompileRegistry): Promise<ArtifactRecord | undefined>;
|
|
20
|
+
}
|
|
21
|
+
//# sourceMappingURL=SettlementContractProtocolModule.d.ts.map
|