Allow non-pure provable types as inputs/outputs in zkprogram #986
Annotations
9 errors
benchmarks (20, sdk-self-hosted-linux-amd64):
src/lib/proof-system/zkprogram.ts#L774
Object literal may only specify known properties, and 'publicInput' does not exist in type 'Field[]'.
|
benchmarks (20, sdk-self-hosted-linux-amd64):
src/lib/proof-system/zkprogram.ts#L779
Object literal may only specify known properties, and 'nonPureInput' does not exist in type '{ proof: unknown; publicInput: InferProvableOrUndefined<Get<StatementType, "publicInput">>; publicOutput: InferProvableOrVoid<Get<StatementType, "publicOutput">>; maxProofsVerified: 0 | ... 1 more ... | 1; }'.
|
benchmarks (20, sdk-self-hosted-linux-amd64):
src/lib/proof-system/zkprogram.ts#L1028
Argument of type 'Field[]' is not assignable to parameter of type 'ProvablePure<unknown>'.
|
benchmarks (20, sdk-self-hosted-linux-amd64)
Process completed with exit code 2.
|
benchmarks (20, sdk-self-hosted-linux-arm64)
The job was canceled because "_20_sdk-self-hosted-linux" failed.
|
benchmarks (20, sdk-self-hosted-linux-arm64):
src/lib/proof-system/zkprogram.ts#L774
Object literal may only specify known properties, and 'publicInput' does not exist in type 'Field[]'.
|
benchmarks (20, sdk-self-hosted-linux-arm64):
src/lib/proof-system/zkprogram.ts#L779
Object literal may only specify known properties, and 'nonPureInput' does not exist in type '{ proof: unknown; publicInput: InferProvableOrUndefined<Get<StatementType, "publicInput">>; publicOutput: InferProvableOrVoid<Get<StatementType, "publicOutput">>; maxProofsVerified: 0 | ... 1 more ... | 1; }'.
|
benchmarks (20, sdk-self-hosted-linux-arm64):
src/lib/proof-system/zkprogram.ts#L1028
Argument of type 'Field[]' is not assignable to parameter of type 'ProvablePure<unknown>'.
|
benchmarks (20, sdk-self-hosted-linux-arm64)
The operation was canceled.
|