New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Strengthen spec for `montgomery_reduce()` #292

Merged

hanno-becker merged 2 commits into main from fqmul_proof

Oct 31, 2024

Merged

Strengthen spec for `montgomery_reduce()` #292

Avoid non-integral quotient in documentation of fqmul()

DCO-2 / DCO succeeded Oct 31, 2024 in 1s

Check passed!

All commits are signed off, the check passed.

Summary

	Sha	Message	Pass or fail reason
🟢	97b77c7	Strengthen specification for montgomery_reduce()	`Valid sign-off found`
🟢	b3f89d8	Avoid non-integral quotient in documentation of fq...	`Valid sign-off found`

View more details on DCO-2