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.

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

Implement SHA2 #112

Closed
3 tasks done
marsella opened this issue Aug 7, 2024 · 1 comment · Fixed by #117
Closed
3 tasks done

Implement SHA2 #112

marsella opened this issue Aug 7, 2024 · 1 comment · Fixed by #117

Comments

@marsella
Copy link
Contributor

marsella commented Aug 7, 2024 •
edited
Loading

We want to add a "gold standard" spec-adherent implementation of SHA2 (e.g. FIPS 180-4 Section 6).

Blocked on #109, #110. Related: #98.

  • Implement the hashing algorithm
  • Find test vectors and make sure they work
  • Try to define the general properties of a hash function (idempotence, collision resistance? sensitivity?)
marsella added a commit that referenced this issue Aug 8, 2024
@marsella
sha2: rename imperative version #112
87eaa2d
marsella added a commit that referenced this issue Aug 8, 2024
@marsella
sha2: rename imperative version #112
df91402
marsella added a commit that referenced this issue Aug 9, 2024
@marsella
sha2: fix renaming bug #112
39711a4
marsella added a commit that referenced this issue Aug 15, 2024
@marsella
sha2: Add message schedule #112
f7e5ada
marsella added a commit that referenced this issue Aug 15, 2024
@marsella
sha2: add hash function implementation #112
606f30f 
- Add tests for SHA256
- I haven't tested this for 512 or for truncated versions
marsella added a commit that referenced this issue Aug 16, 2024
@marsella
sha2: add instantiations + tests for 384, 512 #112
33418e3 
- fixes a bug in the truncation (came from the wrong end)
marsella added a commit that referenced this issue Aug 16, 2024
@marsella
sha2: improve docs, add copyrights #112
771e319
marsella added a commit that referenced this issue Aug 16, 2024
@marsella
sha2: improve docs, add copyrights #112
7398b2d
marsella added a commit that referenced this issue Aug 16, 2024
@marsella
sha2: improve docs, add copyrights #112
f4d61c7
@marsella marsella mentioned this issue Aug 16, 2024
Merged
marsella added a commit that referenced this issue Aug 19, 2024
@marsella
sha2: improve docs #112
166d28a
@marsella marsella mentioned this issue Aug 23, 2024
Open
3 tasks
marsella added a commit that referenced this issue Aug 23, 2024
@marsella
sha2: clarify documentation #112
54cd534
@marsella
Copy link
Contributor Author

I explored what it would take to prove interesting properties of hash functions. Concluded that it is hard and might require some changes to Cryptol itself or some very fancy programming. That task has been deprioritized for now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add SHA2 actual hashing GaloisInc/cryptol-specs
1 participant
@marsella