Signed inequality instructions: STARK constraints

valida-xyz / valida

A STARK-based VM focused on code reuse, performance, and modularity

Apache License 2.0

261 stars 41 forks source link

Open morganthomas opened 2 months ago

morganthomas commented 2 months ago

Implement the STARK constraints for signed inequality instructions: SLT32 and SLTE32.

dorebell commented 1 month ago

I believe that PR #168 closes this issue.