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