Blaine Bublitz

Stdlib: Negative indexing discussion

1

In the stdlib, there are some methods (such as `List.insert`, `List.take`, `List.drop`, etc) that fail upon receiving a negative number. This is different than the behavior of something like `String.slice`,...

Compiling BaseUltraVerifier without optimizations results in StackTooDeep

4

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