feature/remove-zkProgrammable #682
ejMina226Annotations
30 errors and 4 warnings
|
build
Cannot find module '@proto-kit/common/dist/zkProgrammable/ZkProgrammable' or its corresponding type declarations.
|
|
build
Module '"@proto-kit/common"' has no exported member 'provableMethod'.
|
|
build
'"@proto-kit/common"' has no exported member named 'WithZkProgrammable'. Did you mean 'WithZkProgram'?
|
|
build
Module '"@proto-kit/common"' has no exported member 'ZkProgrammable'.
|
|
build
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<...>)'.
|
|
build
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<...>)'.
|
|
build
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<...>)'.
|
|
build
Type '(proof: Proof<undefined, void>) => Promise<boolean>' is not assignable to type 'Verify<BlockProverPublicInput, BlockProverPublicOutput>'.
|
|
build
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; } & { ...; }'.
|
|
build
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; }>>'.
|
|
lint
Cannot find module '@proto-kit/common/dist/zkProgrammable/ZkProgrammable' or its corresponding type declarations.
|
|
lint
Module '"@proto-kit/common"' has no exported member 'provableMethod'.
|
|
lint
'"@proto-kit/common"' has no exported member named 'WithZkProgrammable'. Did you mean 'WithZkProgram'?
|
|
lint
Module '"@proto-kit/common"' has no exported member 'ZkProgrammable'.
|
|
lint
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<...>)'.
|
|
lint
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<...>)'.
|
|
lint
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<...>)'.
|
|
lint
Type '(proof: Proof<undefined, void>) => Promise<boolean>' is not assignable to type 'Verify<BlockProverPublicInput, BlockProverPublicOutput>'.
|
|
lint
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; } & { ...; }'.
|
|
lint
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; }>>'.
|
|
test
Cannot find module '@proto-kit/common/dist/zkProgrammable/ZkProgrammable' or its corresponding type declarations.
|
|
test
Module '"@proto-kit/common"' has no exported member 'provableMethod'.
|
|
test
'"@proto-kit/common"' has no exported member named 'WithZkProgrammable'. Did you mean 'WithZkProgram'?
|
|
test
Module '"@proto-kit/common"' has no exported member 'ZkProgrammable'.
|
|
test
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<...>)'.
|
|
test
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<...>)'.
|
|
test
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<...>)'.
|
|
test
Type '(proof: Proof<undefined, void>) => Promise<boolean>' is not assignable to type 'Verify<BlockProverPublicInput, BlockProverPublicOutput>'.
|
|
test
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; } & { ...; }'.
|
|
test
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; }>>'.
|
|
install
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|