ContextQMD
Back to Foundry

Symbolic Polynomial Normalization

.changelog/symbolic-polynomial-normalization.md

1.8.1168 B
Original Source

Prove more bounded nonlinear EVM word identities, including small polynomial equalities and non-wrapping multiplication, division, and shift bounds, before SMT solving.