@proto-kit/protocol 0.1.1-develop.211 → 0.1.1-develop.2137
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 +51 -13
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +52 -13
- 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 +66 -42
- package/dist/model/Option.d.ts.map +1 -1
- package/dist/model/Option.js +58 -45
- 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 +369 -54
- package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
- package/dist/model/StateTransitionProvableBatch.js +74 -51
- 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 +45 -34
- package/dist/protocol/Protocol.d.ts.map +1 -1
- package/dist/protocol/Protocol.js +115 -57
- 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 -6
- package/dist/protocol/ProtocolModule.d.ts.map +1 -1
- package/dist/protocol/ProtocolModule.js +10 -5
- 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 +32 -3
- package/dist/protocol/ProvableTransactionHook.d.ts.map +1 -1
- package/dist/protocol/ProvableTransactionHook.js +25 -0
- package/dist/protocol/ProvableTransactionHook.js.map +1 -0
- package/dist/protocol/TransitioningProtocolModule.d.ts +6 -1
- package/dist/protocol/TransitioningProtocolModule.d.ts.map +1 -1
- package/dist/protocol/TransitioningProtocolModule.js +6 -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 +45 -44
- package/dist/prover/block/BlockProver.d.ts.map +1 -1
- package/dist/prover/block/BlockProver.js +306 -143
- 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 -64
- package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProvable.js +10 -7
- package/dist/prover/statetransition/StateTransitionProvable.js.map +1 -0
- package/dist/prover/statetransition/StateTransitionProver.d.ts +26 -24
- package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.js +159 -93
- 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 +58 -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 +114 -0
- package/dist/settlement/contracts/BridgeContract.d.ts.map +1 -0
- package/dist/settlement/contracts/BridgeContract.js +270 -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 +588 -0
- package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -0
- package/dist/settlement/messages/OutgoingMessageArgument.js +42 -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 +28 -0
- package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts.map +1 -0
- package/dist/settlement/modularity/OutgoingMessageProcessor.js +39 -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 +13 -5
- package/dist/state/State.d.ts.map +1 -1
- package/dist/state/State.js +42 -17
- package/dist/state/State.js.map +1 -0
- package/dist/state/StateMap.d.ts +4 -4
- package/dist/state/StateMap.d.ts.map +1 -1
- package/dist/state/StateMap.js +5 -5
- package/dist/state/StateMap.js.map +1 -0
- package/dist/state/StateService.d.ts +4 -4
- package/dist/state/StateService.d.ts.map +1 -1
- package/dist/state/StateService.js +1 -0
- package/dist/state/StateService.js.map +1 -0
- package/dist/state/StateServiceProvider.d.ts +5 -7
- package/dist/state/StateServiceProvider.d.ts.map +1 -1
- package/dist/state/StateServiceProvider.js +18 -23
- 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 +48 -0
- package/dist/state/WitnessBlockContext.js.map +1 -0
- package/dist/state/assert/assert.d.ts +2 -2
- package/dist/state/assert/assert.d.ts.map +1 -1
- package/dist/state/assert/assert.js +16 -6
- package/dist/state/assert/assert.js.map +1 -0
- package/dist/state/context/RuntimeMethodExecutionContext.d.ts +137 -4
- package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map +1 -1
- package/dist/state/context/RuntimeMethodExecutionContext.js +44 -11
- package/dist/state/context/RuntimeMethodExecutionContext.js.map +1 -0
- package/dist/state/context/TransitionMethodExecutionContext.d.ts.map +1 -1
- package/dist/state/context/TransitionMethodExecutionContext.js +1 -1
- package/dist/state/context/TransitionMethodExecutionContext.js.map +1 -0
- package/dist/state/protocol/ProtocolState.d.ts +8 -2
- package/dist/state/protocol/ProtocolState.d.ts.map +1 -1
- package/dist/state/protocol/ProtocolState.js +36 -20
- 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 +10 -10
- 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/{blockmodules → hooks}/NoopTransactionHook.ts +9 -3
- package/src/index.ts +51 -13
- package/src/model/AppliedStateTransitionBatch.ts +16 -0
- package/src/model/MethodPublicOutput.ts +3 -1
- package/src/model/Option.ts +87 -57
- 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 +94 -73
- 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 +186 -116
- package/src/protocol/ProtocolEnvironment.ts +10 -0
- package/src/protocol/ProtocolModule.ts +18 -11
- package/src/protocol/ProvableBlockHook.ts +67 -0
- package/src/protocol/ProvableTransactionHook.ts +92 -3
- package/src/protocol/TransitioningProtocolModule.ts +8 -1
- 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 +668 -251
- 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 +25 -20
- package/src/prover/statetransition/StateTransitionProver.ts +299 -168
- 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 +64 -0
- package/src/settlement/ContractModule.ts +31 -0
- package/src/settlement/SettlementContractModule.ts +150 -0
- package/src/settlement/contracts/BridgeContract.ts +383 -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 +86 -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 +62 -0
- package/src/settlement/modularity/OutgoingMessageProcessor.ts +78 -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 +49 -19
- package/src/state/StateMap.ts +5 -6
- package/src/state/StateService.ts +5 -5
- package/src/state/StateServiceProvider.ts +18 -18
- package/src/state/WitnessBlockContext.ts +54 -0
- package/src/state/assert/assert.ts +18 -8
- package/src/state/context/RuntimeMethodExecutionContext.ts +68 -11
- package/src/state/context/TransitionMethodExecutionContext.ts +0 -1
- package/src/state/protocol/ProtocolState.ts +61 -26
- 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 +124 -140
- package/test/Protocol.test.ts +14 -21
- 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/{src → test}/state/assert/assert.test.ts +10 -3
- 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/blockmodules/AccountStateModule.d.ts +0 -38
- package/dist/blockmodules/AccountStateModule.d.ts.map +0 -1
- package/dist/blockmodules/AccountStateModule.js +0 -38
- package/dist/blockmodules/NoopTransactionHook.d.ts +0 -6
- package/dist/blockmodules/NoopTransactionHook.d.ts.map +0 -1
- package/dist/blockmodules/NoopTransactionHook.js +0 -5
- 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/state/context/ProtocolMethodExecutionContext.d.ts +0 -22
- package/dist/state/context/ProtocolMethodExecutionContext.d.ts.map +0 -1
- package/dist/state/context/ProtocolMethodExecutionContext.js +0 -28
- 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/blockmodules/AccountStateModule.ts +0 -31
- 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/state/context/ProtocolMethodExecutionContext.ts +0 -36
- 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,110 @@
|
|
|
1
|
+
import { Bool, Field, Scalar, Signature, UInt64 } from "o1js";
|
|
2
|
+
import { RuntimeTransaction } from "./RuntimeTransaction";
|
|
3
|
+
declare const SignedTransaction_base: (new (value: {
|
|
4
|
+
transaction: RuntimeTransaction;
|
|
5
|
+
signature: Signature;
|
|
6
|
+
}) => {
|
|
7
|
+
transaction: RuntimeTransaction;
|
|
8
|
+
signature: Signature;
|
|
9
|
+
}) & {
|
|
10
|
+
_isStruct: true;
|
|
11
|
+
} & import("o1js/dist/node/lib/provable/provable").Provable<{
|
|
12
|
+
transaction: RuntimeTransaction;
|
|
13
|
+
signature: Signature;
|
|
14
|
+
}, {
|
|
15
|
+
transaction: {
|
|
16
|
+
methodId: bigint;
|
|
17
|
+
argsHash: bigint;
|
|
18
|
+
nonce: {
|
|
19
|
+
isSome: boolean;
|
|
20
|
+
value: any;
|
|
21
|
+
};
|
|
22
|
+
sender: {
|
|
23
|
+
isSome: boolean;
|
|
24
|
+
value: any;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
signature: any;
|
|
28
|
+
}> & {
|
|
29
|
+
fromValue: (value: {
|
|
30
|
+
transaction: RuntimeTransaction | {
|
|
31
|
+
methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
32
|
+
argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
33
|
+
nonce: import("./ValueOption").UInt64Option | {
|
|
34
|
+
isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
35
|
+
value: any;
|
|
36
|
+
};
|
|
37
|
+
sender: import("./ValueOption").PublicKeyOption | {
|
|
38
|
+
isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
39
|
+
value: any;
|
|
40
|
+
};
|
|
41
|
+
};
|
|
42
|
+
signature: Signature | {
|
|
43
|
+
r: bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
44
|
+
s: bigint | Scalar;
|
|
45
|
+
};
|
|
46
|
+
}) => {
|
|
47
|
+
transaction: RuntimeTransaction;
|
|
48
|
+
signature: Signature;
|
|
49
|
+
};
|
|
50
|
+
toInput: (x: {
|
|
51
|
+
transaction: RuntimeTransaction;
|
|
52
|
+
signature: Signature;
|
|
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
|
+
transaction: RuntimeTransaction;
|
|
59
|
+
signature: Signature;
|
|
60
|
+
}) => {
|
|
61
|
+
transaction: {
|
|
62
|
+
methodId: string;
|
|
63
|
+
argsHash: string;
|
|
64
|
+
nonce: {
|
|
65
|
+
isSome: boolean;
|
|
66
|
+
value: any;
|
|
67
|
+
};
|
|
68
|
+
sender: {
|
|
69
|
+
isSome: boolean;
|
|
70
|
+
value: any;
|
|
71
|
+
};
|
|
72
|
+
};
|
|
73
|
+
signature: any;
|
|
74
|
+
};
|
|
75
|
+
fromJSON: (x: {
|
|
76
|
+
transaction: {
|
|
77
|
+
methodId: string;
|
|
78
|
+
argsHash: string;
|
|
79
|
+
nonce: {
|
|
80
|
+
isSome: boolean;
|
|
81
|
+
value: any;
|
|
82
|
+
};
|
|
83
|
+
sender: {
|
|
84
|
+
isSome: boolean;
|
|
85
|
+
value: any;
|
|
86
|
+
};
|
|
87
|
+
};
|
|
88
|
+
signature: any;
|
|
89
|
+
}) => {
|
|
90
|
+
transaction: RuntimeTransaction;
|
|
91
|
+
signature: Signature;
|
|
92
|
+
};
|
|
93
|
+
empty: () => {
|
|
94
|
+
transaction: RuntimeTransaction;
|
|
95
|
+
signature: Signature;
|
|
96
|
+
};
|
|
97
|
+
};
|
|
98
|
+
export declare class SignedTransaction extends SignedTransaction_base {
|
|
99
|
+
static getSignatureData(args: {
|
|
100
|
+
methodId: Field;
|
|
101
|
+
nonce: UInt64;
|
|
102
|
+
argsHash: Field;
|
|
103
|
+
}): Field[];
|
|
104
|
+
static dummy(): SignedTransaction;
|
|
105
|
+
hash(): Field;
|
|
106
|
+
getSignatureData(): Field[];
|
|
107
|
+
validateSignature(): Bool;
|
|
108
|
+
}
|
|
109
|
+
export {};
|
|
110
|
+
//# sourceMappingURL=SignedTransaction.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SignedTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE1D,qBAAa,iBAAkB,SAAQ,sBAGrC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;WAIG,KAAK,IAAI,iBAAiB;IAWjC,IAAI,IAAI,KAAK;IAIb,gBAAgB,IAAI,KAAK,EAAE;IAS3B,iBAAiB,IAAI,IAAI;CAMjC"}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
import { Field, Scalar, Signature, Struct } from "o1js";
|
|
2
|
+
import { RuntimeTransaction } from "./RuntimeTransaction";
|
|
3
|
+
export class SignedTransaction extends Struct({
|
|
4
|
+
transaction: RuntimeTransaction,
|
|
5
|
+
signature: Signature,
|
|
6
|
+
}) {
|
|
7
|
+
static getSignatureData(args) {
|
|
8
|
+
return [args.methodId, ...args.nonce.value.toFields(), args.argsHash];
|
|
9
|
+
}
|
|
10
|
+
static dummy() {
|
|
11
|
+
return new SignedTransaction({
|
|
12
|
+
transaction: RuntimeTransaction.dummyTransaction(),
|
|
13
|
+
signature: Signature.fromObject({
|
|
14
|
+
s: Scalar.from(0),
|
|
15
|
+
r: Field(0),
|
|
16
|
+
}),
|
|
17
|
+
});
|
|
18
|
+
}
|
|
19
|
+
hash() {
|
|
20
|
+
return this.transaction.hash();
|
|
21
|
+
}
|
|
22
|
+
getSignatureData() {
|
|
23
|
+
const { methodId, argsHash, nonce } = this.transaction;
|
|
24
|
+
return SignedTransaction.getSignatureData({
|
|
25
|
+
nonce: nonce.value,
|
|
26
|
+
methodId,
|
|
27
|
+
argsHash,
|
|
28
|
+
});
|
|
29
|
+
}
|
|
30
|
+
validateSignature() {
|
|
31
|
+
return this.signature.verify(this.transaction.sender.value, this.getSignatureData());
|
|
32
|
+
}
|
|
33
|
+
}
|
|
34
|
+
//# sourceMappingURL=SignedTransaction.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SignedTransaction.js","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAU,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC;IAC5C,WAAW,EAAE,kBAAkB;IAC/B,SAAS,EAAE,SAAS;CACrB,CAAC;IACO,MAAM,CAAC,gBAAgB,CAAC,IAI9B;QACC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxE,CAAC;IAEM,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,iBAAiB,CAAC;YAC3B,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,EAAE;YAElD,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC;gBAC9B,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBACjB,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;aACZ,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAEM,IAAI;QACT,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IAEM,gBAAgB;QACrB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;QACvD,OAAO,iBAAiB,CAAC,gBAAgB,CAAC;YACxC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAEM,iBAAiB;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAC1B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAC7B,IAAI,CAAC,gBAAgB,EAAE,CACxB,CAAC;IACJ,CAAC;CACF"}
|
|
@@ -0,0 +1,187 @@
|
|
|
1
|
+
import { PublicKey, UInt64 } from "o1js";
|
|
2
|
+
declare const UInt64Option_base: {
|
|
3
|
+
new (value: {
|
|
4
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
5
|
+
value: UInt64;
|
|
6
|
+
}): {
|
|
7
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
8
|
+
value: UInt64;
|
|
9
|
+
};
|
|
10
|
+
fromSome(value: UInt64): {
|
|
11
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
12
|
+
value: UInt64;
|
|
13
|
+
};
|
|
14
|
+
none(value: UInt64): {
|
|
15
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
16
|
+
value: UInt64;
|
|
17
|
+
};
|
|
18
|
+
_isStruct: true;
|
|
19
|
+
toFields: (value: {
|
|
20
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
21
|
+
value: UInt64;
|
|
22
|
+
}) => import("o1js/dist/node/lib/provable/field").Field[];
|
|
23
|
+
toAuxiliary: (value?: {
|
|
24
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
25
|
+
value: UInt64;
|
|
26
|
+
} | undefined) => any[];
|
|
27
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
|
|
28
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
29
|
+
value: UInt64;
|
|
30
|
+
};
|
|
31
|
+
sizeInFields(): number;
|
|
32
|
+
check: (value: {
|
|
33
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
34
|
+
value: UInt64;
|
|
35
|
+
}) => void;
|
|
36
|
+
toValue: (x: {
|
|
37
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
38
|
+
value: UInt64;
|
|
39
|
+
}) => {
|
|
40
|
+
isSome: boolean;
|
|
41
|
+
value: any;
|
|
42
|
+
};
|
|
43
|
+
fromValue: ((x: {
|
|
44
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
45
|
+
value: UInt64;
|
|
46
|
+
} | {
|
|
47
|
+
isSome: boolean;
|
|
48
|
+
value: any;
|
|
49
|
+
}) => {
|
|
50
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
51
|
+
value: UInt64;
|
|
52
|
+
}) & ((value: {
|
|
53
|
+
isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
54
|
+
value: any;
|
|
55
|
+
}) => {
|
|
56
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
57
|
+
value: UInt64;
|
|
58
|
+
});
|
|
59
|
+
toCanonical?: ((x: {
|
|
60
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
61
|
+
value: UInt64;
|
|
62
|
+
}) => {
|
|
63
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
64
|
+
value: UInt64;
|
|
65
|
+
}) | undefined;
|
|
66
|
+
toInput: (x: {
|
|
67
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
68
|
+
value: UInt64;
|
|
69
|
+
}) => {
|
|
70
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
71
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
72
|
+
};
|
|
73
|
+
toJSON: (x: {
|
|
74
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
75
|
+
value: UInt64;
|
|
76
|
+
}) => {
|
|
77
|
+
isSome: boolean;
|
|
78
|
+
value: any;
|
|
79
|
+
};
|
|
80
|
+
fromJSON: (x: {
|
|
81
|
+
isSome: boolean;
|
|
82
|
+
value: any;
|
|
83
|
+
}) => {
|
|
84
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
85
|
+
value: UInt64;
|
|
86
|
+
};
|
|
87
|
+
empty: () => {
|
|
88
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
89
|
+
value: UInt64;
|
|
90
|
+
};
|
|
91
|
+
};
|
|
92
|
+
export declare class UInt64Option extends UInt64Option_base {
|
|
93
|
+
}
|
|
94
|
+
declare const PublicKeyOption_base: {
|
|
95
|
+
new (value: {
|
|
96
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
97
|
+
value: PublicKey;
|
|
98
|
+
}): {
|
|
99
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
100
|
+
value: PublicKey;
|
|
101
|
+
};
|
|
102
|
+
fromSome(value: PublicKey): {
|
|
103
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
104
|
+
value: PublicKey;
|
|
105
|
+
};
|
|
106
|
+
none(value: PublicKey): {
|
|
107
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
108
|
+
value: PublicKey;
|
|
109
|
+
};
|
|
110
|
+
_isStruct: true;
|
|
111
|
+
toFields: (value: {
|
|
112
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
113
|
+
value: PublicKey;
|
|
114
|
+
}) => import("o1js/dist/node/lib/provable/field").Field[];
|
|
115
|
+
toAuxiliary: (value?: {
|
|
116
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
117
|
+
value: PublicKey;
|
|
118
|
+
} | undefined) => any[];
|
|
119
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
|
|
120
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
121
|
+
value: PublicKey;
|
|
122
|
+
};
|
|
123
|
+
sizeInFields(): number;
|
|
124
|
+
check: (value: {
|
|
125
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
126
|
+
value: PublicKey;
|
|
127
|
+
}) => void;
|
|
128
|
+
toValue: (x: {
|
|
129
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
130
|
+
value: PublicKey;
|
|
131
|
+
}) => {
|
|
132
|
+
isSome: boolean;
|
|
133
|
+
value: any;
|
|
134
|
+
};
|
|
135
|
+
fromValue: ((x: {
|
|
136
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
137
|
+
value: PublicKey;
|
|
138
|
+
} | {
|
|
139
|
+
isSome: boolean;
|
|
140
|
+
value: any;
|
|
141
|
+
}) => {
|
|
142
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
143
|
+
value: PublicKey;
|
|
144
|
+
}) & ((value: {
|
|
145
|
+
isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
146
|
+
value: any;
|
|
147
|
+
}) => {
|
|
148
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
149
|
+
value: PublicKey;
|
|
150
|
+
});
|
|
151
|
+
toCanonical?: ((x: {
|
|
152
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
153
|
+
value: PublicKey;
|
|
154
|
+
}) => {
|
|
155
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
156
|
+
value: PublicKey;
|
|
157
|
+
}) | undefined;
|
|
158
|
+
toInput: (x: {
|
|
159
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
160
|
+
value: PublicKey;
|
|
161
|
+
}) => {
|
|
162
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
163
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
164
|
+
};
|
|
165
|
+
toJSON: (x: {
|
|
166
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
167
|
+
value: PublicKey;
|
|
168
|
+
}) => {
|
|
169
|
+
isSome: boolean;
|
|
170
|
+
value: any;
|
|
171
|
+
};
|
|
172
|
+
fromJSON: (x: {
|
|
173
|
+
isSome: boolean;
|
|
174
|
+
value: any;
|
|
175
|
+
}) => {
|
|
176
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
177
|
+
value: PublicKey;
|
|
178
|
+
};
|
|
179
|
+
empty: () => {
|
|
180
|
+
isSome: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
181
|
+
value: PublicKey;
|
|
182
|
+
};
|
|
183
|
+
};
|
|
184
|
+
export declare class PublicKeyOption extends PublicKeyOption_base {
|
|
185
|
+
}
|
|
186
|
+
export {};
|
|
187
|
+
//# sourceMappingURL=ValueOption.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ValueOption.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBzE,qBAAa,YAAa,SAAQ,iBAAoC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEzE,qBAAa,eAAgB,SAAQ,oBAEpC;CAAG"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import { Bool, PublicKey, Struct, UInt64 } from "o1js";
|
|
2
|
+
function genericOptionFactory(valueType) {
|
|
3
|
+
return class Generic extends Struct({
|
|
4
|
+
isSome: Bool,
|
|
5
|
+
value: valueType,
|
|
6
|
+
}) {
|
|
7
|
+
static fromSome(value) {
|
|
8
|
+
return new Generic({
|
|
9
|
+
isSome: Bool(true),
|
|
10
|
+
value,
|
|
11
|
+
});
|
|
12
|
+
}
|
|
13
|
+
static none(value) {
|
|
14
|
+
return new Generic({
|
|
15
|
+
isSome: Bool(false),
|
|
16
|
+
value,
|
|
17
|
+
});
|
|
18
|
+
}
|
|
19
|
+
};
|
|
20
|
+
}
|
|
21
|
+
export class UInt64Option extends genericOptionFactory(UInt64) {
|
|
22
|
+
}
|
|
23
|
+
export class PublicKeyOption extends genericOptionFactory(PublicKey) {
|
|
24
|
+
}
|
|
25
|
+
//# sourceMappingURL=ValueOption.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ValueOption.js","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAEzE,SAAS,oBAAoB,CAAO,SAAiC;IACnE,OAAO,MAAM,OAAQ,SAAQ,MAAM,CAAC;QAClC,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,SAAS;KACjB,CAAC;QACO,MAAM,CAAC,QAAQ,CAAC,KAAW;YAChC,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QAEM,MAAM,CAAC,IAAI,CAAC,KAAW;YAC5B,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;gBACnB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,YAAa,SAAQ,oBAAoB,CAAS,MAAM,CAAC;CAAG;AAEzE,MAAM,OAAO,eAAgB,SAAQ,oBAAoB,CACvD,SAAS,CACV;CAAG"}
|
|
@@ -1,52 +1,63 @@
|
|
|
1
|
-
import { ModuleContainer, ModulesRecord, StringKeyOf, TypedClass } from "@proto-kit/common";
|
|
1
|
+
import { AreProofsEnabled, ChildContainerProvider, ModuleContainer, ModulesRecord, Startable, StringKeyOf, TypedClass } from "@proto-kit/common";
|
|
2
2
|
import { DependencyContainer } from "tsyringe";
|
|
3
3
|
import { BlockProvable } from "../prover/block/BlockProvable";
|
|
4
|
-
import { StateTransitionProver } from "../prover/statetransition/StateTransitionProver";
|
|
5
4
|
import { StateTransitionProvable } from "../prover/statetransition/StateTransitionProvable";
|
|
6
|
-
import { BlockProver } from "../prover/block/BlockProver";
|
|
7
5
|
import { StateServiceProvider } from "../state/StateServiceProvider";
|
|
8
|
-
import {
|
|
6
|
+
import { SimpleAsyncStateService } from "../state/StateService";
|
|
7
|
+
import { BlockHeightHook } from "../hooks/BlockHeightHook";
|
|
8
|
+
import { LastStateRootBlockHook } from "../hooks/LastStateRootBlockHook";
|
|
9
|
+
import { AccountStateHook } from "../hooks/AccountStateHook";
|
|
10
|
+
import { TransactionProvable } from "../prover/transaction/TransactionProvable";
|
|
11
|
+
import { StateTransitionProver } from "../prover/statetransition/StateTransitionProver";
|
|
12
|
+
import { TransactionProver } from "../prover/transaction/TransactionProver";
|
|
13
|
+
import { BlockProver } from "../prover/block/BlockProver";
|
|
9
14
|
import { ProtocolModule } from "./ProtocolModule";
|
|
10
|
-
|
|
11
|
-
|
|
15
|
+
import { ProtocolEnvironment } from "./ProtocolEnvironment";
|
|
16
|
+
export type ProtocolModulesRecord = ModulesRecord<TypedClass<ProtocolModule<unknown>>>;
|
|
17
|
+
export interface TransactionProverType extends ProtocolModule, TransactionProvable {
|
|
12
18
|
}
|
|
13
|
-
interface
|
|
19
|
+
export interface BlockProverType extends ProtocolModule, BlockProvable {
|
|
14
20
|
}
|
|
15
|
-
export interface
|
|
21
|
+
export interface StateTransitionProverType extends ProtocolModule, StateTransitionProvable {
|
|
22
|
+
}
|
|
23
|
+
export type MandatoryProtocolModulesRecord = {
|
|
24
|
+
TransactionProver: TypedClass<TransactionProverType>;
|
|
16
25
|
BlockProver: TypedClass<BlockProverType>;
|
|
17
26
|
StateTransitionProver: TypedClass<StateTransitionProverType>;
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
}
|
|
28
|
-
export declare class Protocol<Modules extends ProtocolModulesRecord> extends ModuleContainer<Modules> {
|
|
29
|
-
static from<Modules extends ProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): Protocol<Modules>;
|
|
30
|
-
definition: ProtocolDefinition<Modules>;
|
|
31
|
-
private readonly stateServiceProviderInstance;
|
|
32
|
-
constructor(definition: ProtocolDefinition<Modules>);
|
|
33
|
-
get stateService(): StateService;
|
|
27
|
+
AccountState: TypedClass<AccountStateHook>;
|
|
28
|
+
BlockHeight: TypedClass<BlockHeightHook>;
|
|
29
|
+
LastStateRoot: TypedClass<LastStateRootBlockHook>;
|
|
30
|
+
};
|
|
31
|
+
export declare class Protocol<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord> extends ModuleContainer<Modules> implements ProtocolEnvironment, Startable {
|
|
32
|
+
static from<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord>(modules: Modules): TypedClass<Protocol<Modules>>;
|
|
33
|
+
definition: Modules;
|
|
34
|
+
constructor(definition: Modules);
|
|
35
|
+
get stateService(): SimpleAsyncStateService;
|
|
34
36
|
get stateServiceProvider(): StateServiceProvider;
|
|
35
37
|
decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
|
|
36
38
|
get dependencyContainer(): DependencyContainer;
|
|
37
39
|
private isModule;
|
|
40
|
+
get transactionProver(): TransactionProvable;
|
|
38
41
|
get blockProver(): BlockProvable;
|
|
39
42
|
get stateTransitionProver(): StateTransitionProvable;
|
|
40
|
-
|
|
41
|
-
export declare const VanillaProtocol: {
|
|
42
|
-
create(stateService?: StateService): Protocol<{
|
|
43
|
+
static defaultModules(): {
|
|
43
44
|
StateTransitionProver: typeof StateTransitionProver;
|
|
45
|
+
TransactionProver: typeof TransactionProver;
|
|
44
46
|
BlockProver: typeof BlockProver;
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
};
|
|
51
|
-
|
|
47
|
+
AccountState: typeof AccountStateHook;
|
|
48
|
+
BlockHeight: typeof BlockHeightHook;
|
|
49
|
+
LastStateRoot: typeof LastStateRootBlockHook;
|
|
50
|
+
};
|
|
51
|
+
static defaultConfig(): {
|
|
52
|
+
StateTransitionProver: {};
|
|
53
|
+
TransactionProver: {};
|
|
54
|
+
BlockProver: {};
|
|
55
|
+
AccountState: {};
|
|
56
|
+
BlockHeight: {};
|
|
57
|
+
LastStateRoot: {};
|
|
58
|
+
};
|
|
59
|
+
getAreProofsEnabled(): AreProofsEnabled;
|
|
60
|
+
create(childContainerProvider: ChildContainerProvider): void;
|
|
61
|
+
start(): Promise<void>;
|
|
62
|
+
}
|
|
52
63
|
//# sourceMappingURL=Protocol.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EAEf,aAAa,EACb,SAAS,EACT,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAa,MAAM,UAAU,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yCAAyC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAgB5D,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAC/C,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,MAAM,WAAW,qBACf,SAAQ,cAAc,EACpB,mBAAmB;CAAG;AAE1B,MAAM,WAAW,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAEzE,MAAM,WAAW,yBACf,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,MAAM,8BAA8B,GAAG;IAC3C,iBAAiB,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC;IACrD,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;IAC7D,YAAY,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,aAAa,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC;CACnD,CAAC;AAEF,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB,EAAE,SAAS;WAE3B,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAU3C,UAAU,EAAE,OAAO,CAAC;gBAER,UAAU,EAAE,OAAO;IAKtC,IAAW,YAAY,IAAI,uBAAuB,CAEjD;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAEM,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAY9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,iBAAiB,IAAI,mBAAmB,CAMlD;IAED,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;WAEa,cAAc;;;;;;;;WAWd,aAAa;;;;;;;;IAWpB,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAyE/C,KAAK;CAYnB"}
|