Under-Constrained Problem within PaymentAmountVerifyer

[Koukyosyumei]

PaymentAmountVerifyer does not check the output of IsEqual, resulting in the under-constrained problem. Then, this problem propagates to PaymentProcesser and BulkPaymentProcesser.

Specifically, the following malicious assignment satisfies the constraint of PaymentAmountVerifyer:

║    🔍 Assignment Details:
║           ➡️ main.views = 21888242871839275222246405745257275088548364400416034343698204186575808495568
║           ➡️ main.secret = 21888242871839275222246405745257275088548364400416034343698204186575808495606
║           ➡️ main.inv_denominator = 0
║           ➡️ main.secret_mul_denom = 0
║           ➡️ main.out = 0

[Koukyosyumei]

In addition, it might be better to provide constraints corresponding to the assert statements if it is the expected behavior.