Log in Get started

Back to Foundry

Symbolic Boolean Word Mul

.changelog/symbolic-boolean-word-mul.md

1.8.190 B

Original Source

Improved symbolic proofs for branchless state machines that multiply by EVM boolean words.