@proto-kit/protocol 0.1.1-develop.164 → 0.1.1-develop.1661
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 +52 -0
- package/dist/hooks/AccountStateHook.d.ts.map +1 -0
- package/dist/hooks/AccountStateHook.js +52 -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 +51 -9
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +52 -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 -29
- 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 -42
- package/dist/model/Option.d.ts.map +1 -1
- package/dist/model/Option.js +62 -47
- 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 +67 -16
- package/dist/model/StateTransition.d.ts.map +1 -1
- package/dist/model/StateTransition.js +18 -2
- 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 +88 -11
- 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 +20 -2
- package/dist/model/network/NetworkState.js.map +1 -0
- package/dist/model/transaction/RuntimeTransaction.d.ts +96 -28
- package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
- package/dist/model/transaction/RuntimeTransaction.js +75 -11
- package/dist/model/transaction/RuntimeTransaction.js.map +1 -0
- package/dist/model/transaction/SignedTransaction.d.ts +107 -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 +173 -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 +27 -25
- package/dist/protocol/Protocol.d.ts.map +1 -1
- package/dist/protocol/Protocol.js +98 -28
- 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 +19 -0
- package/dist/protocol/ProvableBlockHook.d.ts.map +1 -0
- package/dist/protocol/ProvableBlockHook.js +21 -0
- package/dist/protocol/ProvableBlockHook.js.map +1 -0
- package/dist/protocol/ProvableTransactionHook.d.ts +34 -0
- package/dist/protocol/ProvableTransactionHook.d.ts.map +1 -0
- package/dist/protocol/ProvableTransactionHook.js +13 -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/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 +137 -0
- package/dist/prover/accumulators/WitnessedRootHashList.d.ts.map +1 -0
- package/dist/prover/accumulators/WitnessedRootHashList.js +50 -0
- package/dist/prover/accumulators/WitnessedRootHashList.js.map +1 -0
- package/dist/prover/block/BlockProvable.d.ts +869 -65
- package/dist/prover/block/BlockProvable.d.ts.map +1 -1
- package/dist/prover/block/BlockProvable.js +86 -6
- package/dist/prover/block/BlockProvable.js.map +1 -0
- package/dist/prover/block/BlockProver.d.ts +82 -34
- package/dist/prover/block/BlockProver.d.ts.map +1 -1
- package/dist/prover/block/BlockProver.js +505 -86
- 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 +30 -17
- package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.js +169 -74
- package/dist/prover/statetransition/StateTransitionProver.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 +51 -0
- package/dist/settlement/SettlementContractModule.d.ts.map +1 -0
- package/dist/settlement/SettlementContractModule.js +80 -0
- package/dist/settlement/SettlementContractModule.js.map +1 -0
- package/dist/settlement/contracts/BridgeContract.d.ts +116 -0
- package/dist/settlement/contracts/BridgeContract.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgeContract.js +259 -0
- package/dist/settlement/contracts/BridgeContract.js.map +1 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts +16 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.js +41 -0
- package/dist/settlement/contracts/BridgeContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +21 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.js +57 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.js.map +1 -0
- package/dist/settlement/contracts/DispatchSmartContract.d.ts +44 -0
- package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -0
- package/dist/settlement/contracts/DispatchSmartContract.js +229 -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/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 +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 +462 -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 +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.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 +131 -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/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 +19 -0
- package/dist/utils/MinaPrefixedProvableHashList.d.ts.map +1 -0
- package/dist/utils/MinaPrefixedProvableHashList.js +46 -0
- package/dist/utils/MinaPrefixedProvableHashList.js.map +1 -0
- package/dist/utils/PrefixedProvableHashList.d.ts +2 -2
- package/dist/utils/PrefixedProvableHashList.d.ts.map +1 -1
- package/dist/utils/PrefixedProvableHashList.js +2 -1
- package/dist/utils/PrefixedProvableHashList.js.map +1 -0
- package/dist/utils/ProvableHashList.d.ts +23 -4
- package/dist/utils/ProvableHashList.d.ts.map +1 -1
- package/dist/utils/ProvableHashList.js +38 -2
- 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 +20 -0
- package/dist/utils/utils.d.ts.map +1 -0
- package/dist/utils/utils.js +51 -0
- package/dist/utils/utils.js.map +1 -0
- package/jest.config.cjs +12 -1
- package/package.json +10 -9
- package/src/hashing/mina-prefixes.ts +10 -0
- package/src/hashing/protokit-prefixes.ts +37 -0
- package/src/hooks/AccountStateHook.ts +57 -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 +51 -9
- package/src/model/AppliedStateTransitionBatch.ts +16 -0
- package/src/model/MethodPublicOutput.ts +3 -1
- package/src/model/Option.ts +99 -60
- package/src/model/Path.ts +9 -5
- package/src/model/RuntimeLike.ts +12 -0
- package/src/model/StateTransition.ts +25 -3
- package/src/model/StateTransitionProvableBatch.ts +117 -14
- package/src/model/Transaction.ts +3 -1
- package/src/model/network/NetworkState.ts +21 -3
- package/src/model/transaction/RuntimeTransaction.ts +90 -15
- package/src/model/transaction/SignedTransaction.ts +47 -0
- package/src/model/transaction/ValueOption.ts +28 -0
- package/src/protocol/Protocol.ts +166 -74
- package/src/protocol/ProtocolEnvironment.ts +10 -0
- package/src/protocol/ProtocolModule.ts +16 -16
- package/src/protocol/ProvableBlockHook.ts +68 -0
- package/src/protocol/ProvableTransactionHook.ts +77 -0
- package/src/protocol/TransitioningProtocolModule.ts +12 -0
- package/src/prover/accumulators/AppliedBatchHashList.ts +32 -0
- package/src/prover/accumulators/StateTransitionReductionList.ts +92 -0
- package/src/prover/accumulators/TransactionHashList.ts +9 -0
- package/src/prover/accumulators/WitnessedRootHashList.ts +61 -0
- package/src/prover/block/BlockProvable.ts +188 -15
- package/src/prover/block/BlockProver.ts +979 -143
- 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 +338 -130
- package/src/settlement/ContractModule.ts +31 -0
- package/src/settlement/SettlementContractModule.ts +145 -0
- package/src/settlement/contracts/BridgeContract.ts +366 -0
- package/src/settlement/contracts/BridgeContractProtocolModule.ts +48 -0
- package/src/settlement/contracts/DispatchContractProtocolModule.ts +75 -0
- package/src/settlement/contracts/DispatchSmartContract.ts +325 -0
- package/src/settlement/contracts/SettlementContractProtocolModule.ts +113 -0
- package/src/settlement/contracts/SettlementSmartContract.ts +502 -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/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 +22 -0
- package/src/settlement/modules/NetworkStateSettlementModule.ts +42 -0
- package/src/state/State.ts +177 -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/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 +66 -0
- package/src/utils/PrefixedProvableHashList.ts +2 -2
- package/src/utils/ProvableHashList.ts +78 -3
- package/src/utils/ProvableReductionHashList.ts +77 -0
- package/src/utils/utils.ts +44 -55
- 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 +56 -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 +27 -0
- package/dist/config/ConfigurableModule.d.ts +0 -18
- package/dist/config/ConfigurableModule.d.ts.map +0 -1
- package/dist/config/ConfigurableModule.js +0 -20
- package/dist/config/ConfigurationAggregator.d.ts +0 -10
- package/dist/config/ConfigurationAggregator.d.ts.map +0 -1
- package/dist/config/ConfigurationAggregator.js +0 -35
- package/dist/config/ConfigurationReceiver.d.ts +0 -25
- package/dist/config/ConfigurationReceiver.d.ts.map +0 -1
- package/dist/config/ConfigurationReceiver.js +0 -36
- package/dist/config/ModuleContainer.d.ts +0 -44
- package/dist/config/ModuleContainer.d.ts.map +0 -1
- package/dist/config/ModuleContainer.js +0 -89
- package/dist/config/types.d.ts +0 -2
- package/dist/config/types.d.ts.map +0 -1
- package/dist/config/types.js +0 -1
- package/dist/model/MethodPublicInput.d.ts +0 -51
- package/dist/model/MethodPublicInput.d.ts.map +0 -1
- package/dist/model/MethodPublicInput.js +0 -11
- package/dist/model/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/block/BlockScopedModule.d.ts +0 -3
- package/dist/prover/block/BlockScopedModule.d.ts.map +0 -1
- package/dist/prover/block/BlockScopedModule.js +0 -6
- package/dist/prover/statetransition/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/src/model/Option.d.ts +0 -158
- package/dist/src/model/Option.d.ts.map +0 -1
- package/dist/src/model/Option.js +0 -53
- package/dist/src/model/Path.d.ts +0 -35
- package/dist/src/model/Path.d.ts.map +0 -1
- package/dist/src/model/Path.js +0 -51
- package/dist/src/model/StateTransition.d.ts +0 -201
- package/dist/src/model/StateTransition.d.ts.map +0 -1
- package/dist/src/model/StateTransition.js +0 -43
- package/dist/src/utils/PrefixedHashList.d.ts +0 -15
- package/dist/src/utils/PrefixedHashList.d.ts.map +0 -1
- package/dist/src/utils/PrefixedHashList.js +0 -28
- package/dist/src/utils/ProvableHashList.d.ts +0 -30
- package/dist/src/utils/ProvableHashList.d.ts.map +0 -1
- package/dist/src/utils/ProvableHashList.js +0 -43
- package/dist/utils/PrefixedHashList.d.ts +0 -14
- package/dist/utils/PrefixedHashList.d.ts.map +0 -1
- package/dist/utils/PrefixedHashList.js +0 -12
- package/dist/utils/Utils.d.ts +0 -17
- package/dist/utils/Utils.d.ts.map +0 -1
- package/dist/utils/Utils.js +0 -64
- 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/MemoryMerkleTreeStorage.d.ts +0 -26
- package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts.map +0 -1
- package/dist/utils/merkletree/MemoryMerkleTreeStorage.js +0 -79
- package/dist/utils/merkletree/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 -250
- package/src/utils/merkletree/VirtualMerkleTreeStore.ts +0 -21
- package/tsconfig.test.json +0 -9
|
@@ -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"}
|
|
@@ -0,0 +1,77 @@
|
|
|
1
|
+
import { PublicKey, UInt64 } from "o1js";
|
|
2
|
+
declare const Deposit_base: (new (value: {
|
|
3
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
4
|
+
address: PublicKey;
|
|
5
|
+
amount: UInt64;
|
|
6
|
+
}) => {
|
|
7
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
8
|
+
address: PublicKey;
|
|
9
|
+
amount: UInt64;
|
|
10
|
+
}) & {
|
|
11
|
+
_isStruct: true;
|
|
12
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
13
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
14
|
+
address: PublicKey;
|
|
15
|
+
amount: UInt64;
|
|
16
|
+
}, {
|
|
17
|
+
tokenId: bigint;
|
|
18
|
+
address: {
|
|
19
|
+
x: bigint;
|
|
20
|
+
isOdd: boolean;
|
|
21
|
+
};
|
|
22
|
+
amount: bigint;
|
|
23
|
+
}>, "fromFields"> & {
|
|
24
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
25
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
26
|
+
address: PublicKey;
|
|
27
|
+
amount: UInt64;
|
|
28
|
+
};
|
|
29
|
+
} & {
|
|
30
|
+
fromValue: (value: {
|
|
31
|
+
tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
32
|
+
address: 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
|
+
amount: bigint | UInt64;
|
|
37
|
+
}) => {
|
|
38
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
39
|
+
address: PublicKey;
|
|
40
|
+
amount: UInt64;
|
|
41
|
+
};
|
|
42
|
+
toInput: (x: {
|
|
43
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
44
|
+
address: PublicKey;
|
|
45
|
+
amount: UInt64;
|
|
46
|
+
}) => {
|
|
47
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
48
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
49
|
+
};
|
|
50
|
+
toJSON: (x: {
|
|
51
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
52
|
+
address: PublicKey;
|
|
53
|
+
amount: UInt64;
|
|
54
|
+
}) => {
|
|
55
|
+
tokenId: string;
|
|
56
|
+
address: string;
|
|
57
|
+
amount: string;
|
|
58
|
+
};
|
|
59
|
+
fromJSON: (x: {
|
|
60
|
+
tokenId: string;
|
|
61
|
+
address: string;
|
|
62
|
+
amount: string;
|
|
63
|
+
}) => {
|
|
64
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
65
|
+
address: PublicKey;
|
|
66
|
+
amount: UInt64;
|
|
67
|
+
};
|
|
68
|
+
empty: () => {
|
|
69
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
70
|
+
address: PublicKey;
|
|
71
|
+
amount: UInt64;
|
|
72
|
+
};
|
|
73
|
+
};
|
|
74
|
+
export declare class Deposit extends Deposit_base {
|
|
75
|
+
}
|
|
76
|
+
export {};
|
|
77
|
+
//# sourceMappingURL=Deposit.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1,67 @@
|
|
|
1
|
+
import { Field } from "o1js";
|
|
2
|
+
declare const OutgoingMessageKeyStruct_base: (new (value: {
|
|
3
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
4
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
5
|
+
}) => {
|
|
6
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
7
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
8
|
+
}) & {
|
|
9
|
+
_isStruct: true;
|
|
10
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
11
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
12
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
13
|
+
}, {
|
|
14
|
+
index: bigint;
|
|
15
|
+
tokenId: bigint;
|
|
16
|
+
}>, "fromFields"> & {
|
|
17
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
18
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
19
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
20
|
+
};
|
|
21
|
+
} & {
|
|
22
|
+
fromValue: (value: {
|
|
23
|
+
index: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
24
|
+
tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
25
|
+
}) => {
|
|
26
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
27
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
28
|
+
};
|
|
29
|
+
toInput: (x: {
|
|
30
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
31
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
32
|
+
}) => {
|
|
33
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
34
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
35
|
+
};
|
|
36
|
+
toJSON: (x: {
|
|
37
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
38
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
39
|
+
}) => {
|
|
40
|
+
index: string;
|
|
41
|
+
tokenId: string;
|
|
42
|
+
};
|
|
43
|
+
fromJSON: (x: {
|
|
44
|
+
index: string;
|
|
45
|
+
tokenId: string;
|
|
46
|
+
}) => {
|
|
47
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
48
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
49
|
+
};
|
|
50
|
+
empty: () => {
|
|
51
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
52
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
53
|
+
};
|
|
54
|
+
};
|
|
55
|
+
export declare class OutgoingMessageKeyStruct extends OutgoingMessageKeyStruct_base {
|
|
56
|
+
}
|
|
57
|
+
export type OutgoingMessageEvent<T> = {
|
|
58
|
+
key: OutgoingMessageKeyStruct;
|
|
59
|
+
value: T;
|
|
60
|
+
messageType: Field;
|
|
61
|
+
};
|
|
62
|
+
export type OutgoingMessage<T> = {
|
|
63
|
+
value: T;
|
|
64
|
+
messageType: Field;
|
|
65
|
+
};
|
|
66
|
+
export {};
|
|
67
|
+
//# sourceMappingURL=OutgoingMessage.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"OutgoingMessage.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErC,qBAAa,wBAAyB,SAAQ,6BAG5C;CAAG;AAEL,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI;IACpC,GAAG,EAAE,wBAAwB,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC;IACT,WAAW,EAAE,KAAK,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI;IAC/B,KAAK,EAAE,CAAC,CAAC;IACT,WAAW,EAAE,KAAK,CAAC;CACpB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"OutgoingMessage.js","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAErC,MAAM,OAAO,wBAAyB,SAAQ,MAAM,CAAC;IACnD,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,KAAK;CACf,CAAC;CAAG"}
|