BLAKE2b gadget #4603
Annotations
10 errors
|
Build examples:
src/lib/provable/test/arithmetic.unit-test.ts#L29
Type '(a: Field) => Promise<{ remainder: Field; quotient: Field; }>' is not assignable to type '((a: Field) => Promise<{ remainder: Field; quotient: Field; }>) & ((...args: TupleToInstances<[typeof Field & ((x: string | number | bigint | FieldConst | FieldVar | Field) => Field)]>) => Promise<...>)'.
|
|
Build examples:
src/lib/provable/test/arithmetic.unit-test.ts#L85
Argument of type '(x: Field) => Promise<void>' is not assignable to parameter of type '(args_0: Field) => { remainder: Field; quotient: Field; } | Promise<{ remainder: Field; quotient: Field; }>'.
|
|
Build examples:
src/lib/provable/test/arithmetic.unit-test.ts#L96
Property 'publicOutput' does not exist on type '{ proof: Proof<undefined, void>; auxiliaryOutput: undefined; }'.
|
|
Build examples:
src/lib/provable/test/bitwise.unit-test.ts#L62
Type '(a: Field, b: Field) => Promise<Field>' is not assignable to type '((a: Field, b: Field) => Promise<Field>) & ((...args: TupleToInstances<[typeof Field & ((x: string | number | bigint | FieldConst | FieldVar | Field) => Field), typeof Field & ((x: string | ... 4 more ... | Field) => Field)]>) => Promise<...>)'.
|
|
Build examples:
src/lib/provable/test/bitwise.unit-test.ts#L158
Argument of type '(x: Field, y: Field) => Promise<void>' is not assignable to parameter of type '(args_0: Field, args_1: Field) => Field | Promise<Field>'.
|
|
Build examples:
src/lib/provable/test/bitwise.unit-test.ts#L168
Argument of type '(x: Field) => Promise<void>' is not assignable to parameter of type '(args_0: Field) => Field | Promise<Field>'.
|
|
Build examples:
src/lib/provable/test/blake2b.unit-test.ts#L40
Type '(preImage: Bytes) => Promise<Bytes>' is not assignable to type '((preImage: Bytes) => Promise<Bytes>) & ((...args: TupleToInstances<[typeof Bytes]>) => Promise<{ publicOutput: Bytes; }>)'.
|
|
Build examples:
src/lib/provable/test/blake2b.unit-test.ts#L59
Argument of type '{ proof: Proof<undefined, void>; auxiliaryOutput: undefined; }' is not assignable to parameter of type 'Proof<undefined, void>'.
|
|
Build examples:
src/lib/provable/test/blake2b.unit-test.ts#L60
Property 'publicOutput' does not exist on type '{ proof: Proof<undefined, void>; auxiliaryOutput: undefined; }'.
|
|
Build examples
Process completed with exit code 2.
|
Loading