Skip to content

Simplify MDS product in RPO constraints #505

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

Jump to bottom
Open
Al-Kindi-0 wants to merge 1 commit into
base: al-constraints
Choose a base branch
from
Open

Simplify MDS product in RPO constraints #505

Al-Kindi-0 wants to merge 1 commit into from

Conversation

@Al-Kindi-0
Copy link
Collaborator

@Al-Kindi-0 Al-Kindi-0 commented Nov 1, 2025

Describe your changes

Avoids the use of the Matrix construct when implementing MDS multiplication constraints for RPO

Checklist before requesting a review

  • Repo forked and branch created from next according to naming convention.
  • Commit messages and codestyle follow conventions.
  • Commits are signed.
  • Relevant issues are linked in the PR description.
  • Tests added for new functionality.
  • Documentation/comments updated according to changes.
  • Updated CHANGELOG.md

@Al-Kindi-0 Al-Kindi-0 added MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file labels Nov 1, 2025
@Al-Kindi-0 Al-Kindi-0 mentioned this pull request Nov 1, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Al-Kindi-0