Allow non-pure provable types as inputs/outputs in zkprogram #1940
ymekurialive-tests.yml
on: pull_request
master
4m 2s
compatible
5m 45s
Annotations
8 errors
|
master:
src/lib/proof-system/zkprogram.ts#L774
Object literal may only specify known properties, and 'publicInput' does not exist in type 'Field[]'.
|
|
master:
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; }'.
|
|
master:
src/lib/proof-system/zkprogram.ts#L1028
Argument of type 'Field[]' is not assignable to parameter of type 'ProvablePure<unknown>'.
|
|
master
Process completed with exit code 2.
|
|
compatible:
src/lib/proof-system/zkprogram.ts#L774
Object literal may only specify known properties, and 'publicInput' does not exist in type 'Field[]'.
|
|
compatible:
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; }'.
|
|
compatible:
src/lib/proof-system/zkprogram.ts#L1028
Argument of type 'Field[]' is not assignable to parameter of type 'ProvablePure<unknown>'.
|
|
compatible
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
mina-logs-compatible
Expired
|
115 KB |
|
|
mina-logs-master
Expired
|
82.3 KB |
|