Cannot find module '@proto-kit/common/dist/zkProgrammable/ZkProgrammable' or its corresponding type declarations.

Module '"@proto-kit/common"' has no exported member 'provableMethod'.

'"@proto-kit/common"' has no exported member named 'WithZkProgrammable'. Did you mean 'WithZkProgram'?

Module '"@proto-kit/common"' has no exported member 'ZkProgrammable'.

Type '(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: DynamicRuntimeProof, executionData: BlockProverExecutionData, verificationKeyAttestation: RuntimeVerificationKeyAttestation) => Promise<...>' is not assignable to type '((publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: DynamicRuntimeProof, executionData: BlockProverExecutionData, verificationKeyAttestation: RuntimeVerificationKeyAttestation) => Promise<...>) & ((publicInput: BlockProverPublicInput, ...args: any) => Promise<...>)'.

Type '(publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof) => Promise<...>' is not assignable to type '((publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, transactionProof: BlockProverProof) => Promise<...>) & ((publicInput: BlockProverPublicInput, ...args: any) => Promise<...>)'.

Type '(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => Promise<BlockProverPublicOutput>' is not assignable to type '((publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => Promise<BlockProverPublicOutput>) & ((publicInput: BlockProverPublicInput, ...args: TupleToInstances<...>) => Promise<...>)'.

Type '(proof: Proof<undefined, void>) => Promise<boolean>' is not assignable to type 'Verify<BlockProverPublicInput, BlockProverPublicOutput>'.

Type '{ new ({ proof, publicInput, publicOutput, maxProofsVerified, }: { proof: unknown; publicInput: undefined; publicOutput: void; maxProofsVerified: 0 | 2 | 1; }): Proof<undefined, void>; fromJSON<S extends Subclass<typeof Proof>>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOut...' is not assignable to type '{ new ({ proof, publicInput, publicOutput, maxProofsVerified, }: { proof: unknown; publicInput: BlockProverPublicInput; publicOutput: BlockProverPublicOutput; maxProofsVerified: 0 | 2 | 1; }): Proof<...>; ... 8 more ...; _proofToBase64(proof: unknown, maxProofsVerified: 0 | ... 1 more ... | 1): string; } & { ...; }'.

Type '{ proveTransaction: (...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<{ proof: Proof<undefined, void>; auxiliaryOutput: undefined; }>; merge: (...args: TupleToInstances<Tuple<PrivateInput>>) => Promise<{ proof: Proof<undefined, void>; auxiliaryOutput: undefined; }>; }' is not assignable to type 'Record<string, (...args: any) => Promise<{ proof: Proof<BlockProverPublicInput, BlockProverPublicOutput>; auxiliaryOutput: undefined; }>>'.