snarkVM
snarkVM copied to clipboard
[Bug] integer div circuit needs further review
🐛 Bug Report
The integer div circuit needs further review. It may not be sufficiently constrained on the quotient and remainder.