zkMIPS / zkm

The universal zkVM empowering Ethereum as the Global Settlement Layer
https://zkm.io
MIT License
92 stars 49 forks source link

fix: reduce degree of contraints for branch/jump/condmov #113

Closed weilzkm closed 5 months ago