@proto-kit/protocol 0.1.1-develop.600 → 0.1.1-develop.833
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/LICENSE.md +201 -201
- package/dist/blockmodules/AccountStateModule.d.ts +37 -37
- package/dist/blockmodules/AccountStateModule.js +43 -43
- package/dist/blockmodules/BlockHeightHook.d.ts +6 -6
- package/dist/blockmodules/BlockHeightHook.js +15 -15
- package/dist/blockmodules/LastStateRootBlockHook.d.ts +7 -7
- package/dist/blockmodules/LastStateRootBlockHook.js +15 -15
- package/dist/blockmodules/NoopBlockHook.d.ts +8 -8
- package/dist/blockmodules/NoopBlockHook.js +9 -9
- package/dist/blockmodules/NoopSettlementHook.d.ts +5 -5
- package/dist/blockmodules/NoopSettlementHook.d.ts.map +1 -1
- package/dist/blockmodules/NoopSettlementHook.js +18 -18
- package/dist/blockmodules/NoopTransactionHook.d.ts +5 -5
- package/dist/blockmodules/NoopTransactionHook.js +4 -4
- package/dist/hooks/AccountStateHook.d.ts +19 -5
- package/dist/hooks/AccountStateHook.d.ts.map +1 -1
- package/dist/hooks/AccountStateHook.js +15 -9
- package/dist/hooks/BlockHeightHook.d.ts +3 -3
- package/dist/hooks/BlockHeightHook.d.ts.map +1 -1
- package/dist/hooks/BlockHeightHook.js +5 -4
- package/dist/hooks/LastStateRootBlockHook.d.ts +8 -0
- package/dist/hooks/LastStateRootBlockHook.d.ts.map +1 -0
- package/dist/hooks/LastStateRootBlockHook.js +15 -0
- package/dist/hooks/NoopBlockHook.d.ts +6 -4
- package/dist/hooks/NoopBlockHook.d.ts.map +1 -1
- package/dist/hooks/NoopBlockHook.js +4 -4
- package/dist/hooks/NoopSettlementHook.d.ts +6 -0
- package/dist/hooks/NoopSettlementHook.d.ts.map +1 -0
- package/dist/hooks/NoopSettlementHook.js +17 -0
- package/dist/hooks/NoopTransactionHook.d.ts +1 -1
- package/dist/hooks/NoopTransactionHook.d.ts.map +1 -1
- package/dist/hooks/NoopTransactionHook.js +4 -1
- package/dist/index.d.ts +18 -8
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +18 -8
- package/dist/model/MethodPublicOutput.d.ts +68 -34
- package/dist/model/MethodPublicOutput.d.ts.map +1 -1
- package/dist/model/Option.d.ts +39 -19
- package/dist/model/Option.d.ts.map +1 -1
- package/dist/model/Option.js +6 -0
- package/dist/model/Path.d.ts +1 -1
- package/dist/model/Path.d.ts.map +1 -1
- package/dist/model/Path.js +0 -2
- package/dist/model/RuntimeLike.d.ts +11 -0
- package/dist/model/RuntimeLike.d.ts.map +1 -0
- package/dist/model/RuntimeLike.js +1 -0
- package/dist/model/StateTransition.d.ts +51 -14
- package/dist/model/StateTransition.d.ts.map +1 -1
- package/dist/model/StateTransition.js +3 -0
- package/dist/model/StateTransitionProvableBatch.d.ts +71 -14
- package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
- package/dist/model/StateTransitionReduction.d.ts +3 -0
- package/dist/model/StateTransitionReduction.d.ts.map +1 -0
- package/dist/model/StateTransitionReduction.js +26 -0
- package/dist/model/network/NetworkState.d.ts +73 -18
- package/dist/model/network/NetworkState.d.ts.map +1 -1
- package/dist/model/network/NetworkState.js +2 -2
- package/dist/model/transaction/ProtocolTransaction.d.ts +69 -69
- package/dist/model/transaction/ProtocolTransaction.js +18 -18
- package/dist/model/transaction/RuntimeTransaction.d.ts +50 -16
- package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
- package/dist/model/transaction/RuntimeTransaction.js +4 -4
- package/dist/model/transaction/SignedTransaction.d.ts +39 -3
- package/dist/model/transaction/SignedTransaction.d.ts.map +1 -1
- package/dist/model/transaction/SignedTransaction.js +1 -1
- package/dist/model/transaction/ValueOption.d.ts +86 -32
- package/dist/model/transaction/ValueOption.d.ts.map +1 -1
- package/dist/model/transaction/ValueOption.js +1 -1
- package/dist/protocol/Protocol.d.ts +14 -20
- package/dist/protocol/Protocol.d.ts.map +1 -1
- package/dist/protocol/Protocol.js +13 -27
- package/dist/protocol/ProtocolEnvironment.d.ts +3 -3
- package/dist/protocol/ProtocolEnvironment.d.ts.map +1 -1
- package/dist/protocol/ProtocolModule.d.ts +1 -0
- package/dist/protocol/ProtocolModule.d.ts.map +1 -1
- package/dist/protocol/ProtocolModule.js +4 -2
- package/dist/protocol/ProvableBlockHook.d.ts +2 -2
- package/dist/protocol/ProvableBlockHook.d.ts.map +1 -1
- package/dist/protocol/ProvableTransactionHook.d.ts +1 -1
- package/dist/protocol/ProvableTransactionHook.d.ts.map +1 -1
- package/dist/prover/block/BlockProvable.d.ts +240 -98
- package/dist/prover/block/BlockProvable.d.ts.map +1 -1
- package/dist/prover/block/BlockProver.d.ts +8 -8
- package/dist/prover/block/BlockProver.d.ts.map +1 -1
- package/dist/prover/block/BlockProver.js +55 -45
- package/dist/prover/block/BlockTransactionPosition.d.ts +35 -35
- package/dist/prover/block/BlockTransactionPosition.js +25 -25
- package/dist/prover/block/BundleTransactionPosition.d.ts +36 -0
- package/dist/prover/block/BundleTransactionPosition.d.ts.map +1 -0
- package/dist/prover/block/BundleTransactionPosition.js +25 -0
- package/dist/prover/block/SplitPrefilledStateService.d.ts +11 -0
- package/dist/prover/block/SplitPrefilledStateService.d.ts.map +1 -0
- package/dist/prover/block/SplitPrefilledStateService.js +1 -0
- package/dist/prover/block/SplitStateService.d.ts +11 -0
- package/dist/prover/block/SplitStateService.d.ts.map +1 -0
- package/dist/prover/block/SplitStateService.js +1 -0
- package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts +35 -16
- package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts.map +1 -1
- package/dist/prover/block/accummulators/BlockHashMerkleTree.js +1 -1
- package/dist/prover/block/acummulators/BlockHashMerkleTree.d.ts +45 -0
- package/dist/prover/block/acummulators/BlockHashMerkleTree.d.ts.map +1 -0
- package/dist/prover/block/acummulators/BlockHashMerkleTree.js +16 -0
- package/dist/prover/statetransition/StateTransitionProvable.d.ts +116 -58
- package/dist/prover/statetransition/StateTransitionProvable.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.d.ts +10 -9
- package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.js +18 -22
- package/dist/prover/statetransition/StateTransitionWitnessProvider.js +1 -2
- package/dist/prover/statetransition/StateTransitionWitnessProviderReference.js +1 -2
- package/dist/settlement/ContractModule.d.ts +15 -0
- package/dist/settlement/ContractModule.d.ts.map +1 -0
- package/dist/settlement/ContractModule.js +11 -0
- package/dist/settlement/DispatchContract.d.ts +20 -0
- package/dist/settlement/DispatchContract.d.ts.map +1 -0
- package/dist/settlement/DispatchContract.js +112 -0
- package/dist/settlement/OutgoingMessageArgument.d.ts +109 -0
- package/dist/settlement/OutgoingMessageArgument.d.ts.map +1 -0
- package/dist/settlement/OutgoingMessageArgument.js +32 -0
- package/dist/settlement/ProvableSettlementHook.d.ts +25 -25
- package/dist/settlement/ProvableSettlementHook.js +3 -3
- package/dist/settlement/SettlementContract.d.ts +229 -229
- package/dist/settlement/SettlementContract.js +346 -346
- package/dist/settlement/SettlementContractModule.d.ts +40 -0
- package/dist/settlement/SettlementContractModule.d.ts.map +1 -0
- package/dist/settlement/SettlementContractModule.js +71 -0
- package/dist/settlement/contracts/DispatchContract.d.ts +21 -0
- package/dist/settlement/contracts/DispatchContract.d.ts.map +1 -0
- package/dist/settlement/contracts/DispatchContract.js +111 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts +12 -0
- package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map +1 -0
- package/dist/{hooks/TransactionFeeHook.js → settlement/contracts/DispatchContractProtocolModule.js} +17 -21
- package/dist/settlement/contracts/DispatchSmartContract.d.ts +22 -0
- package/dist/settlement/contracts/DispatchSmartContract.d.ts.map +1 -0
- package/dist/settlement/contracts/DispatchSmartContract.js +110 -0
- package/dist/settlement/contracts/SettlementContract.d.ts +19 -0
- package/dist/settlement/contracts/SettlementContract.d.ts.map +1 -0
- package/dist/settlement/contracts/SettlementContract.js +43 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts +19 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map +1 -0
- package/dist/settlement/contracts/SettlementContractProtocolModule.js +44 -0
- package/dist/settlement/contracts/SettlementSmartContract.d.ts +42 -0
- package/dist/settlement/contracts/SettlementSmartContract.d.ts.map +1 -0
- package/dist/settlement/contracts/SettlementSmartContract.js +246 -0
- package/dist/settlement/messages/Deposit.d.ts +64 -0
- package/dist/settlement/messages/Deposit.d.ts.map +1 -0
- package/dist/settlement/messages/Deposit.js +6 -0
- package/dist/settlement/messages/OutgoingMessageArgument.d.ts +189 -0
- package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map +1 -0
- package/dist/settlement/messages/OutgoingMessageArgument.js +32 -0
- package/dist/settlement/messages/Withdrawal.d.ts +65 -0
- package/dist/settlement/messages/Withdrawal.d.ts.map +1 -0
- package/dist/settlement/messages/Withdrawal.js +13 -0
- package/dist/settlement/modularity/ProvableSettlementHook.d.ts +24 -0
- package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map +1 -0
- package/dist/settlement/modularity/ProvableSettlementHook.js +3 -0
- package/dist/settlement/modules/NetworkStateSettlementModule.d.ts +3 -3
- package/dist/settlement/modules/NetworkStateSettlementModule.d.ts.map +1 -1
- package/dist/settlement/modules/NetworkStateSettlementModule.js +4 -2
- package/dist/state/State.d.ts +4 -3
- package/dist/state/State.d.ts.map +1 -1
- package/dist/state/State.js +18 -12
- package/dist/state/StateMap.d.ts +3 -3
- package/dist/state/StateMap.d.ts.map +1 -1
- package/dist/state/StateMap.js +4 -5
- package/dist/state/StateService.d.ts +3 -3
- package/dist/state/StateService.d.ts.map +1 -1
- package/dist/state/StateServiceProvider.d.ts +3 -3
- package/dist/state/StateServiceProvider.d.ts.map +1 -1
- package/dist/state/StateServiceProvider.js +1 -3
- package/dist/state/assert/assert.d.ts +1 -1
- package/dist/state/assert/assert.d.ts.map +1 -1
- package/dist/state/assert/assert.js +11 -5
- package/dist/state/context/ProtocolMethodExecutionContext.d.ts +1 -1
- package/dist/state/context/ProtocolMethodExecutionContext.d.ts.map +1 -1
- package/dist/state/context/ProtocolMethodExecutionContext.js +1 -1
- package/dist/state/context/RuntimeMethodExecutionContext.d.ts +55 -4
- package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map +1 -1
- package/dist/state/context/RuntimeMethodExecutionContext.js +6 -6
- package/dist/state/context/TransitionMethodExecutionContext.d.ts.map +1 -1
- package/dist/state/context/TransitionMethodExecutionContext.js +0 -1
- package/dist/state/context/contextExecution.d.ts +14 -0
- package/dist/state/context/contextExecution.d.ts.map +1 -0
- package/dist/state/context/contextExecution.js +30 -0
- package/dist/state/protocol/ProtocolState.d.ts.map +1 -1
- package/dist/state/protocol/ProtocolState.js +0 -3
- package/dist/utils/AppliedBatchHashList.d.ts +17 -0
- package/dist/utils/AppliedBatchHashList.d.ts.map +1 -0
- package/dist/utils/AppliedBatchHashList.js +24 -0
- package/dist/utils/MinaPrefixedProvableHashList.d.ts +2 -2
- package/dist/utils/MinaPrefixedProvableHashList.d.ts.map +1 -1
- package/dist/utils/MinaPrefixedProvableHashList.js +1 -0
- package/dist/utils/PrefixedProvableHashList.d.ts +2 -2
- package/dist/utils/PrefixedProvableHashList.d.ts.map +1 -1
- package/dist/utils/ProvableHashList.d.ts +4 -4
- package/dist/utils/ProvableHashList.d.ts.map +1 -1
- package/dist/utils/ProvableReductionHashList.d.ts +14 -0
- package/dist/utils/ProvableReductionHashList.d.ts.map +1 -0
- package/dist/utils/ProvableReductionHashList.js +50 -0
- package/dist/utils/StateTransitionReductionList.d.ts +11 -0
- package/dist/utils/StateTransitionReductionList.d.ts.map +1 -0
- package/dist/utils/StateTransitionReductionList.js +60 -0
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts +11 -0
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map +1 -0
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js +12 -0
- package/dist/utils/merkletree/MerkleTreeStore.d.ts +5 -0
- package/dist/utils/merkletree/MerkleTreeStore.d.ts.map +1 -0
- package/dist/utils/merkletree/MerkleTreeStore.js +1 -0
- package/dist/utils/merkletree/RollupMerkleTree.d.ts +133 -0
- package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +1 -0
- package/dist/utils/merkletree/RollupMerkleTree.js +255 -0
- package/dist/utils/utils.d.ts +1 -1
- package/dist/utils/utils.d.ts.map +1 -1
- package/dist/utils/utils.js +5 -10
- package/package.json +5 -5
- package/src/{blockmodules/AccountStateModule.ts → hooks/AccountStateHook.ts} +13 -9
- package/src/{blockmodules → hooks}/BlockHeightHook.ts +3 -4
- package/src/{blockmodules → hooks}/LastStateRootBlockHook.ts +4 -4
- package/src/{blockmodules → hooks}/NoopBlockHook.ts +6 -5
- package/src/{blockmodules → hooks}/NoopSettlementHook.ts +3 -4
- package/src/{blockmodules → hooks}/NoopTransactionHook.ts +5 -1
- package/src/index.ts +18 -8
- package/src/model/MethodPublicOutput.ts +2 -2
- package/src/model/Option.ts +21 -1
- package/src/model/Path.ts +1 -3
- package/src/model/RuntimeLike.ts +12 -0
- package/src/model/StateTransition.ts +9 -1
- package/src/model/Transaction.ts +2 -0
- package/src/model/network/NetworkState.ts +2 -2
- package/src/model/transaction/RuntimeTransaction.ts +5 -12
- package/src/model/transaction/SignedTransaction.ts +1 -8
- package/src/model/transaction/ValueOption.ts +1 -1
- package/src/protocol/Protocol.ts +34 -48
- package/src/protocol/ProtocolEnvironment.ts +7 -6
- package/src/protocol/ProtocolModule.ts +8 -4
- package/src/protocol/ProvableBlockHook.ts +3 -3
- package/src/protocol/ProvableTransactionHook.ts +4 -2
- package/src/protocol/TransitioningProtocolModule.ts +1 -1
- package/src/prover/block/BlockProvable.ts +3 -3
- package/src/prover/block/BlockProver.ts +98 -63
- package/src/prover/block/accummulators/BlockHashMerkleTree.ts +2 -2
- package/src/prover/statetransition/StateTransitionProvable.ts +3 -3
- package/src/prover/statetransition/StateTransitionProver.ts +26 -28
- package/src/settlement/ContractModule.ts +24 -0
- package/src/settlement/SettlementContractModule.ts +132 -0
- package/src/settlement/contracts/DispatchContractProtocolModule.ts +39 -0
- package/src/settlement/contracts/DispatchSmartContract.ts +136 -0
- package/src/settlement/contracts/SettlementContractProtocolModule.ts +67 -0
- package/src/settlement/contracts/SettlementSmartContract.ts +350 -0
- package/src/settlement/messages/Deposit.ts +6 -0
- package/src/settlement/messages/OutgoingMessageArgument.ts +42 -0
- package/src/settlement/messages/Withdrawal.ts +14 -0
- package/src/settlement/{ProvableSettlementHook.ts → modularity/ProvableSettlementHook.ts} +9 -13
- package/src/settlement/modules/NetworkStateSettlementModule.ts +8 -5
- package/src/state/State.ts +21 -13
- package/src/state/StateMap.ts +4 -5
- package/src/state/StateService.ts +3 -3
- package/src/state/StateServiceProvider.ts +6 -7
- package/src/state/assert/assert.ts +13 -7
- package/src/state/context/RuntimeMethodExecutionContext.ts +13 -7
- package/src/state/context/TransitionMethodExecutionContext.ts +0 -1
- package/src/state/protocol/ProtocolState.ts +1 -4
- package/src/utils/MinaPrefixedProvableHashList.ts +4 -3
- package/src/utils/PrefixedProvableHashList.ts +2 -2
- package/src/utils/ProvableHashList.ts +2 -2
- package/src/utils/ProvableReductionHashList.ts +68 -0
- package/src/utils/StateTransitionReductionList.ts +89 -0
- package/src/utils/utils.ts +4 -9
- package/test/BlockProver.test.ts +110 -128
- package/test/Protocol.test.ts +14 -21
- package/test/State.test.ts +8 -8
- package/test/StateTransition.test.ts +56 -66
- package/test/TestingProtocol.ts +48 -0
- package/test/model/Option.test.ts +72 -0
- package/{src → test}/state/assert/assert.test.ts +4 -4
- package/test/tsconfig.json +7 -0
- package/test/utils/ProvableReductionHashList.test.ts +117 -0
- package/test/utils.test.ts +0 -3
- package/dist/hooks/TransactionFeeHook.d.ts +0 -16
- package/dist/hooks/TransactionFeeHook.d.ts.map +0 -1
- package/src/blockmodules/SequenceStateTransactionModule.ts +0 -25
- package/src/model/Option.test.ts +0 -21
- package/src/settlement/SettlementContract.ts +0 -444
- package/src/state/context/ProtocolMethodExecutionContext.ts +0 -36
- package/test/Option.test.ts +0 -64
- package/tsconfig.test.json +0 -9
|
@@ -6,47 +6,78 @@ import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
|
|
|
6
6
|
import { NetworkState } from "../../model/network/NetworkState";
|
|
7
7
|
import { BlockHashMerkleTreeWitness } from "./accummulators/BlockHashMerkleTree";
|
|
8
8
|
declare const BlockProverPublicInput_base: (new (value: {
|
|
9
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
10
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
11
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
12
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
13
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
14
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
9
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
10
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
11
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
12
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
13
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
14
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
15
15
|
}) => {
|
|
16
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
17
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
18
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
19
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
20
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
21
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
16
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
17
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
18
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
19
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
20
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
21
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
22
22
|
}) & {
|
|
23
23
|
_isStruct: true;
|
|
24
|
-
} & import("o1js/dist/node/
|
|
25
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
26
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
27
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
28
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
29
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
30
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
31
|
-
}
|
|
24
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
25
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
26
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
27
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
28
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
29
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
30
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
31
|
+
}, {
|
|
32
|
+
transactionsHash: bigint;
|
|
33
|
+
stateRoot: bigint;
|
|
34
|
+
networkStateHash: bigint;
|
|
35
|
+
blockHashRoot: bigint;
|
|
36
|
+
eternalTransactionsHash: bigint;
|
|
37
|
+
incomingMessagesHash: bigint;
|
|
38
|
+
}>, "fromFields"> & {
|
|
39
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
40
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
41
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
42
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
43
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
44
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
45
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
46
|
+
};
|
|
47
|
+
} & {
|
|
48
|
+
fromValue: (value: {
|
|
49
|
+
transactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
50
|
+
stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
51
|
+
networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
52
|
+
blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
53
|
+
eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
54
|
+
incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
55
|
+
}) => {
|
|
56
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
57
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
58
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
59
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
60
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
61
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
62
|
+
};
|
|
32
63
|
toInput: (x: {
|
|
33
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
34
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
35
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
36
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
37
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
38
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
64
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
65
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
66
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
67
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
68
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
69
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
39
70
|
}) => {
|
|
40
|
-
fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
|
|
41
|
-
packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
|
|
71
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
72
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
42
73
|
};
|
|
43
74
|
toJSON: (x: {
|
|
44
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
45
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
46
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
47
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
48
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
49
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
75
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
76
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
77
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
78
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
79
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
80
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
50
81
|
}) => {
|
|
51
82
|
transactionsHash: string;
|
|
52
83
|
stateRoot: string;
|
|
@@ -63,68 +94,115 @@ declare const BlockProverPublicInput_base: (new (value: {
|
|
|
63
94
|
eternalTransactionsHash: string;
|
|
64
95
|
incomingMessagesHash: string;
|
|
65
96
|
}) => {
|
|
66
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
67
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
68
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
69
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
70
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
71
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
97
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
98
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
99
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
100
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
101
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
102
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
103
|
+
};
|
|
104
|
+
empty: () => {
|
|
105
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
106
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
107
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
108
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
109
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
110
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
72
111
|
};
|
|
73
112
|
};
|
|
74
113
|
export declare class BlockProverPublicInput extends BlockProverPublicInput_base {
|
|
75
114
|
}
|
|
76
115
|
declare const BlockProverPublicOutput_base: (new (value: {
|
|
77
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
78
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
79
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
80
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
81
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
82
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
83
|
-
closed: import("o1js/dist/node/lib/bool").Bool;
|
|
84
|
-
blockNumber: import("o1js/dist/node/lib/field").Field;
|
|
116
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
117
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
118
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
119
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
120
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
121
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
122
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
123
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
85
124
|
}) => {
|
|
86
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
87
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
88
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
89
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
90
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
91
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
92
|
-
closed: import("o1js/dist/node/lib/bool").Bool;
|
|
93
|
-
blockNumber: import("o1js/dist/node/lib/field").Field;
|
|
125
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
126
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
127
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
128
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
129
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
130
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
131
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
132
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
94
133
|
}) & {
|
|
95
134
|
_isStruct: true;
|
|
96
|
-
} & import("o1js/dist/node/
|
|
97
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
98
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
99
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
100
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
101
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
102
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
103
|
-
closed: import("o1js/dist/node/lib/bool").Bool;
|
|
104
|
-
blockNumber: import("o1js/dist/node/lib/field").Field;
|
|
105
|
-
}
|
|
135
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
136
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
137
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
138
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
139
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
140
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
141
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
142
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
143
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
144
|
+
}, {
|
|
145
|
+
transactionsHash: bigint;
|
|
146
|
+
stateRoot: bigint;
|
|
147
|
+
networkStateHash: bigint;
|
|
148
|
+
blockHashRoot: bigint;
|
|
149
|
+
eternalTransactionsHash: bigint;
|
|
150
|
+
incomingMessagesHash: bigint;
|
|
151
|
+
closed: boolean;
|
|
152
|
+
blockNumber: bigint;
|
|
153
|
+
}>, "fromFields"> & {
|
|
154
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
155
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
156
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
157
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
158
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
159
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
160
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
161
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
162
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
163
|
+
};
|
|
164
|
+
} & {
|
|
165
|
+
fromValue: (value: {
|
|
166
|
+
transactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
167
|
+
stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
168
|
+
networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
169
|
+
blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
170
|
+
eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
171
|
+
incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
172
|
+
closed: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
173
|
+
blockNumber: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
174
|
+
}) => {
|
|
175
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
176
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
177
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
178
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
179
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
180
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
181
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
182
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
183
|
+
};
|
|
106
184
|
toInput: (x: {
|
|
107
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
108
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
109
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
110
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
111
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
112
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
113
|
-
closed: import("o1js/dist/node/lib/bool").Bool;
|
|
114
|
-
blockNumber: import("o1js/dist/node/lib/field").Field;
|
|
185
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
186
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
187
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
188
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
189
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
190
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
191
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
192
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
115
193
|
}) => {
|
|
116
|
-
fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
|
|
117
|
-
packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
|
|
194
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
195
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
118
196
|
};
|
|
119
197
|
toJSON: (x: {
|
|
120
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
121
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
122
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
123
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
124
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
125
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
126
|
-
closed: import("o1js/dist/node/lib/bool").Bool;
|
|
127
|
-
blockNumber: import("o1js/dist/node/lib/field").Field;
|
|
198
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
199
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
200
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
201
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
202
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
203
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
204
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
205
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
128
206
|
}) => {
|
|
129
207
|
transactionsHash: string;
|
|
130
208
|
stateRoot: string;
|
|
@@ -145,14 +223,24 @@ declare const BlockProverPublicOutput_base: (new (value: {
|
|
|
145
223
|
closed: boolean;
|
|
146
224
|
blockNumber: string;
|
|
147
225
|
}) => {
|
|
148
|
-
transactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
149
|
-
stateRoot: import("o1js/dist/node/lib/field").Field;
|
|
150
|
-
networkStateHash: import("o1js/dist/node/lib/field").Field;
|
|
151
|
-
blockHashRoot: import("o1js/dist/node/lib/field").Field;
|
|
152
|
-
eternalTransactionsHash: import("o1js/dist/node/lib/field").Field;
|
|
153
|
-
incomingMessagesHash: import("o1js/dist/node/lib/field").Field;
|
|
154
|
-
closed: import("o1js/dist/node/lib/bool").Bool;
|
|
155
|
-
blockNumber: import("o1js/dist/node/lib/field").Field;
|
|
226
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
227
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
228
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
229
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
230
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
231
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
232
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
233
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
234
|
+
};
|
|
235
|
+
empty: () => {
|
|
236
|
+
transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
237
|
+
stateRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
238
|
+
networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
239
|
+
blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
|
|
240
|
+
eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
241
|
+
incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
|
|
242
|
+
closed: import("o1js/dist/node/lib/provable/bool").Bool;
|
|
243
|
+
blockNumber: import("o1js/dist/node/lib/provable/field").Field;
|
|
156
244
|
};
|
|
157
245
|
};
|
|
158
246
|
export declare class BlockProverPublicOutput extends BlockProverPublicOutput_base {
|
|
@@ -169,18 +257,67 @@ declare const BlockProverExecutionData_base: (new (value: {
|
|
|
169
257
|
networkState: NetworkState;
|
|
170
258
|
}) & {
|
|
171
259
|
_isStruct: true;
|
|
172
|
-
} & import("o1js/dist/node/lib/provable").Provable<{
|
|
260
|
+
} & import("o1js/dist/node/lib/provable/provable").Provable<{
|
|
173
261
|
transaction: RuntimeTransaction;
|
|
174
262
|
signature: Signature;
|
|
175
263
|
networkState: NetworkState;
|
|
264
|
+
}, {
|
|
265
|
+
transaction: {
|
|
266
|
+
methodId: bigint;
|
|
267
|
+
argsHash: bigint;
|
|
268
|
+
nonce: {
|
|
269
|
+
isSome: boolean;
|
|
270
|
+
value: any;
|
|
271
|
+
};
|
|
272
|
+
sender: {
|
|
273
|
+
isSome: boolean;
|
|
274
|
+
value: any;
|
|
275
|
+
};
|
|
276
|
+
};
|
|
277
|
+
signature: any;
|
|
278
|
+
networkState: {
|
|
279
|
+
block: {
|
|
280
|
+
height: bigint;
|
|
281
|
+
};
|
|
282
|
+
previous: {
|
|
283
|
+
rootHash: bigint;
|
|
284
|
+
};
|
|
285
|
+
};
|
|
176
286
|
}> & {
|
|
287
|
+
fromValue: (value: {
|
|
288
|
+
transaction: RuntimeTransaction | {
|
|
289
|
+
methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
290
|
+
argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
291
|
+
nonce: import("../..").UInt64Option | {
|
|
292
|
+
isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
293
|
+
value: any;
|
|
294
|
+
};
|
|
295
|
+
sender: import("../..").PublicKeyOption | {
|
|
296
|
+
isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
|
|
297
|
+
value: any;
|
|
298
|
+
};
|
|
299
|
+
};
|
|
300
|
+
signature: any;
|
|
301
|
+
networkState: NetworkState | {
|
|
302
|
+
block: import("../../model/network/NetworkState").CurrentBlock | {
|
|
303
|
+
height: bigint | import("o1js/dist/node/lib/provable/int").UInt64;
|
|
304
|
+
};
|
|
305
|
+
previous: import("../../model/network/NetworkState").PreviousBlock | {
|
|
306
|
+
rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
307
|
+
};
|
|
308
|
+
};
|
|
309
|
+
}) => {
|
|
310
|
+
transaction: RuntimeTransaction;
|
|
311
|
+
signature: Signature;
|
|
312
|
+
networkState: NetworkState;
|
|
313
|
+
};
|
|
177
314
|
toInput: (x: {
|
|
178
315
|
transaction: RuntimeTransaction;
|
|
179
316
|
signature: Signature;
|
|
180
317
|
networkState: NetworkState;
|
|
181
318
|
}) => {
|
|
182
|
-
fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
|
|
183
|
-
packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
|
|
319
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
320
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
184
321
|
};
|
|
185
322
|
toJSON: (x: {
|
|
186
323
|
transaction: RuntimeTransaction;
|
|
@@ -236,13 +373,18 @@ declare const BlockProverExecutionData_base: (new (value: {
|
|
|
236
373
|
signature: Signature;
|
|
237
374
|
networkState: NetworkState;
|
|
238
375
|
};
|
|
376
|
+
empty: () => {
|
|
377
|
+
transaction: RuntimeTransaction;
|
|
378
|
+
signature: Signature;
|
|
379
|
+
networkState: NetworkState;
|
|
380
|
+
};
|
|
239
381
|
};
|
|
240
382
|
export declare class BlockProverExecutionData extends BlockProverExecutionData_base {
|
|
241
383
|
}
|
|
242
384
|
export interface BlockProvable extends WithZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput> {
|
|
243
|
-
proveTransaction: (publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData) => BlockProverPublicOutput
|
|
244
|
-
proveBlock: (publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof) => BlockProverPublicOutput
|
|
245
|
-
merge: (publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => BlockProverPublicOutput
|
|
385
|
+
proveTransaction: (publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData) => Promise<BlockProverPublicOutput>;
|
|
386
|
+
proveBlock: (publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof) => Promise<BlockProverPublicOutput>;
|
|
387
|
+
merge: (publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => Promise<BlockProverPublicOutput>;
|
|
246
388
|
}
|
|
247
389
|
export {};
|
|
248
390
|
//# sourceMappingURL=BlockProvable.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAU,MAAM,MAAM,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC
|
|
1
|
+
{"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAU,MAAM,MAAM,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEjF,qBAAa,sBAAuB,SAAQ,2BAO1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAS3C;IACO,MAAM,CACX,KAAK,EAAE,sBAAsB,EAC7B,MAAM,EAAE,IAAI,EACZ,WAAW,EAAE,KAAK,GACjB,IAAI;CAWR;AAED,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,wBAAyB,SAAQ,6BAI5C;CAAG;AAEL,MAAM,WAAW,aACf,SAAQ,kBAAkB,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IAC3E,gBAAgB,EAAE,CAChB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,KACpC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEtC,UAAU,EAAE,CACV,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,KAC/B,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEtC,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,OAAO,CAAC,uBAAuB,CAAC,CAAC;CACvC"}
|
|
@@ -56,14 +56,14 @@ export declare class BlockProverProgrammable extends ZkProgrammable<BlockProverP
|
|
|
56
56
|
* @param executionData
|
|
57
57
|
* @returns The new BlockProver-state to be used as public output
|
|
58
58
|
*/
|
|
59
|
-
applyTransaction(state: BlockProverState, stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): BlockProverState
|
|
60
|
-
assertProtocolTransitions(stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, executionData: BlockProverExecutionData, runtimeProof: Proof<void, MethodPublicOutput>): void
|
|
59
|
+
applyTransaction(state: BlockProverState, stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): Promise<BlockProverState>;
|
|
60
|
+
assertProtocolTransitions(stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, executionData: BlockProverExecutionData, runtimeProof: Proof<void, MethodPublicOutput>): Promise<void>;
|
|
61
61
|
private executeBlockHooks;
|
|
62
62
|
private addTransactionToBundle;
|
|
63
|
-
proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): BlockProverPublicOutput
|
|
63
|
+
proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, runtimeProof: RuntimeProof, executionData: BlockProverExecutionData): Promise<BlockProverPublicOutput>;
|
|
64
64
|
private assertSTProofInput;
|
|
65
|
-
proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): BlockProverPublicOutput
|
|
66
|
-
merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): BlockProverPublicOutput
|
|
65
|
+
proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): Promise<BlockProverPublicOutput>;
|
|
66
|
+
merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): Promise<BlockProverPublicOutput>;
|
|
67
67
|
/**
|
|
68
68
|
* Creates the BlockProver ZkProgram.
|
|
69
69
|
* Recursive linking of proofs is done via the previously
|
|
@@ -81,8 +81,8 @@ export declare class BlockProver extends ProtocolModule implements BlockProvable
|
|
|
81
81
|
readonly runtime: WithZkProgrammable<undefined, MethodPublicOutput>;
|
|
82
82
|
zkProgrammable: BlockProverProgrammable;
|
|
83
83
|
constructor(stateTransitionProver: WithZkProgrammable<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, runtime: WithZkProgrammable<undefined, MethodPublicOutput>, transactionHooks: ProvableTransactionHook<unknown>[], blockHooks: ProvableBlockHook<unknown>[]);
|
|
84
|
-
proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData): BlockProverPublicOutput
|
|
85
|
-
proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): BlockProverPublicOutput
|
|
86
|
-
merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): BlockProverPublicOutput
|
|
84
|
+
proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData): Promise<BlockProverPublicOutput>;
|
|
85
|
+
proveBlock(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof): Promise<BlockProverPublicOutput>;
|
|
86
|
+
merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): Promise<BlockProverPublicOutput>;
|
|
87
87
|
}
|
|
88
88
|
//# sourceMappingURL=BlockProver.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,EAEL,KAAK,KAAK,EAIX,MAAM,MAAM,CAAC;AAEd,OAAO,EACL,gBAAgB,EAChB,cAAc,EAEd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,4CAA4C,CAAC;AAMpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAQhE,OAAO,EACL,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,0BAA0B,EAE3B,MAAM,qCAAqC,CAAC;AAyB7C,MAAM,WAAW,gBAAgB;IAC/B;;OAEG;IACH,SAAS,EAAE,KAAK,CAAC;IAEjB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,aAAa,EAAE,KAAK,CAAC;IAErB;;;;OAIG;IACH,uBAAuB,EAAE,KAAK,CAAC;IAE/B,oBAAoB,EAAE,KAAK,CAAC;CAC7B;AAMD,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,CAAC;AAChF,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;AAE3D,qBAAa,uBAAwB,SAAQ,cAAc,CACzD,sBAAsB,EACtB,uBAAuB,CACxB;IAEG,OAAO,CAAC,QAAQ,CAAC,MAAM;aACP,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC;aACe,OAAO,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACtE,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU;gBAPV,MAAM,EAAE,WAAW,EACpB,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC,EACe,OAAO,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,EACrD,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EACpD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE;IAK3D,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAED;;;;;;;;;OASG;IACU,gBAAgB,CAC3B,KAAK,EAAE,gBAAgB,EACvB,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,YAAY,EAAE,YAAY,EAC1B,aAAa,EAAE,wBAAwB,GACtC,OAAO,CAAC,gBAAgB,CAAC;IAqFf,yBAAyB,CACpC,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,aAAa,EAAE,wBAAwB,EACvC,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC;YA8CjC,iBAAiB;IA8C/B,OAAO,CAAC,sBAAsB;IA4CjB,gBAAgB,CAC3B,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,YAAY,EAAE,YAAY,EAC1B,aAAa,EAAE,wBAAwB,GACtC,OAAO,CAAC,uBAAuB,CAAC;IA8BnC,OAAO,CAAC,kBAAkB;IAqBb,UAAU,CACrB,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,uBAAuB,CAAC;IAkKtB,KAAK,CAChB,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,uBAAuB,CAAC;IAgInC;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,sBAAsB,EACtB,uBAAuB,CACxB;CA6FF;AAED;;;;GAIG;AACH,qBACa,WAAY,SAAQ,cAAe,YAAW,aAAa;aAKpD,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC;aAEe,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC;IATrE,cAAc,EAAE,uBAAuB,CAAC;gBAI7B,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC,EAEe,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAE1E,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EAEpD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE;IAYnC,gBAAgB,CACrB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,GACtC,OAAO,CAAC,uBAAuB,CAAC;IAS5B,UAAU,CACf,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,uBAAuB,CAAC;IAU5B,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,uBAAuB,CAAC;CAGpC"}
|