aztec-verifier-contracts icon indicating copy to clipboard operation
aztec-verifier-contracts copied to clipboard

Compiling BaseUltraVerifier without optimizations results in StackTooDeep

Open phated opened this issue 2 years ago • 4 comments

When copying the verifier contracts into Remix IDE, it errors with StackTooDeep. This goes away when optimizations are enabled (they are disabled by default).

phated avatar Apr 12 '23 21:04 phated

If I recall correctly, this should be solved by #12 which flattens the yul. Will do a rebase and assign someone not Zac to review it so it can get in.

LHerskind avatar Apr 13 '23 08:04 LHerskind

Closed by #12

TomAFrench avatar Apr 13 '23 13:04 TomAFrench

Seems like this is still an issue

TomAFrench avatar Apr 13 '23 15:04 TomAFrench

Still happening in Remix with the error Variable p is 1 slot(s) too deep inside the stack.

phated avatar Apr 13 '23 15:04 phated