This repository has been archived by the owner on Oct 11, 2024. It is now read-only.

This won't work. #15

Open

jdbertron opened this issue Dec 27, 2022 · 0 comments

jdbertron commented Dec 27, 2022

VDF/contracts/Verifier.sol

Line 103 in 5ae11e3

bytes memory part1 = bignum_expmod(modular_add(a, b), 2, mod);

The expressions must be evaluated without modular math first, then only after the division by 4 can you perform one last modulus operation.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.