Support Cairo 1 recursive proofs #93
Annotations
3 errors
|
src/air/layouts/dex/public_input.cairo#L22
The number of parameters in the impl function `DexPublicInputImpl::verify` is incompatible with `PublicInputTrait::verify`. Expected: 2, actual: 1.
|
|
This job was cancelled
Loading