a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
679 stars 146 forks source link

Improve errors for large M #24

Closed sragss closed 6 months ago

sragss commented 1 year ago

M > 2^20 crashes Lasso.

This is likely due to OOM when constructing the dereferenced memory tuples (address, value, timestamp).

We can likely detect that this will happen ahead of time based on the parameters and provide a more useful error.

sragss commented 6 months ago

For Jolt M is hardcoded, shouldn't be a problem.