https://github.com/0xPARC/zk-bug-tracker?tab=readme-ov-file#nondeterministic-circuits

修改后的代码

https://sourcegraph.com/github.com/0xPolygonHermez/zkevm-rom@877328eff50070426f040a8843b7d6eb3140ef22/-/blob/main/utils.zkasm

zkASM 语法 路人中文版

zkASM 语法 官方版

• A = divisor
• E = dividend
• B = quotient
• C = remainder
• D = set to 0 by subroutine

E / A = B + C

E > C ; A > C

missing B > C

101 / 10 = 10 + 1

101 / 9 = 11 + 10

101 / 11 = 9 + 2