search

Zokrates / ZoKrates

A toolbox for zkSNARKs on Ethereum
https://zokrates.github.io
GNU Lesser General Public License v3.0
1.8k stars 360 forks source link

Detect division by zero in typed propagation #1326

Closed dark64 closed 1 year ago

dark64 commented 1 year ago

Closes https://github.com/Zokrates/ZoKrates/issues/1325