Skip to content

CBMC: Prove poly_challenge #113

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Open
mkannwischer opened this issue Apr 9, 2025 · 5 comments · May be fixed by #199
Open

CBMC: Prove poly_challenge #113

mkannwischer opened this issue Apr 9, 2025 · 5 comments · May be fixed by #199
Assignees
@rod-chapman
Labels
cbmc

Comments

@mkannwischer
Copy link
Contributor

mkannwischer commented Apr 9, 2025 •
edited
Loading

Depends on #145 #146 #147 #144.
@jakemas jakemas self-assigned this May 2, 2025
@rod-chapman rod-chapman assigned rod-chapman and unassigned jakemas May 2, 2025
@rod-chapman
Copy link
Contributor

rod-chapman is working on this one following addition of contracts in fips202/fips202.h

@rod-chapman rod-chapman linked a pull request May 2, 2025 that will close this issue
Open
@hanno-becker
Copy link
Contributor

hanno-becker commented May 2, 2025 •
edited
Loading

@rod-chapman Let's respect existing assignments of issues, or was this agreed with @jakemas?

@rod-chapman
Copy link
Contributor

I already told the team I was going to have a look at it.

@jakemas
Copy link
Contributor

jakemas commented May 2, 2025

I wasn't aware, I had assigned myself and was also working on it. No worries

@rod-chapman
Copy link
Contributor

Apologies. Please take a look at my effort and see if it agrees with your assessment.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@rod-chapman rod-chapman

Labels
cbmc
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Proof of poly_challenge() including contracts pq-code-package/mldsa-native
4 participants
@mkannwischer @rod-chapman @hanno-becker @jakemas