Skip to content
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.

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

crypto-spec-scalar xperm4 xperm8 pseudo code fix #202

Open
dansmathers opened this issue Oct 18, 2022 · 2 comments
Open

crypto-spec-scalar xperm4 xperm8 pseudo code fix #202

dansmathers opened this issue Oct 18, 2022 · 2 comments
Assignees

Comments

@dansmathers
Copy link

both xperm4 and xperm8 pseudo code show:
foreach(i from 0 to xlen by

but it should be

foreach(i from 0 to (xlen-1) by

e.g. for xperm8 in rv32, 0, 8, 16, 24. this is similar to what is currently checked in for the sail code.

@kdockser
Copy link
Collaborator

This change should be made to the Scalar Crypto spec. However, I don't know how such clarifications are to be made post-ratification. Does anyone know the policy on this?

@cetola
Copy link
Collaborator

cetola commented Feb 21, 2023

Updates to ratified specifications should be noted in an errata folder, and updated in a revised publication of the specification. See the GitHub policy section containing "errata".

I'm going to work with Ken and Bill T to see that this gets updated.

Also, we will discuss this further on the documentation SIG if folks want to join in there.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants