kkrt-labs / kakarot-ssj

Kakarot zkEVM - rewrite in the latest version of Cairo
https://www.kakarot.org
MIT License
137 stars 83 forks source link

dev: use checked math #1009

Closed enitrat closed 1 month ago

enitrat commented 1 month ago

uses checked math to prevent eventual overflow risks. this should not be more costly then regular maths (which abstract the result management with an .expect())


This change is Reviewable