I don't think there's a specific issue for this yet. We don't need to complicate things too much just yet, but we can start by supporting basic things like:
state s = storage::x + 1;
constraint s' == 5;
This means we need to:
Support more things in state programs (not just KeyRange)
Define what s' mean above. It should be equivalent to (storage::x)' + 1 (-ish)
mohammadfawaz
commented
2 weeks ago
I don't think there's a specific issue for this yet. We don't need to complicate things too much just yet, but we can start by supporting basic things like:
This means we need to:
KeyRange)s'mean above. It should be equivalent to(storage::x)' + 1(-ish)