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

Faster evaluation for Keccak_256_bytes #1368

Merged
merged 29 commits into from
Dec 19, 2024
Merged

Faster evaluation for Keccak_256_bytes #1368

Show file tree
Hide file tree
Changes from 28 commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
fa2c265
Start looking at version of keccak operating on words
xrchz Dec 3, 2024
616d3cf
Prove EL_chunks and a bit more progress
xrchz Dec 6, 2024
267f0f4
Make progress on pad10s1_136_64w_thm
xrchz Dec 6, 2024
1e86dcb
More progress on pad10s1_136_64w thm
xrchz Dec 8, 2024
41b366c
Fix part of pad10s1_136_64w and prove some cheats
xrchz Dec 9, 2024
a86754b
Prove remaining cheats in pad10s1_136_64w_thm
xrchz Dec 9, 2024
6b04593
Make progress towards w64 version of Keccak_256_bytes
xrchz Dec 10, 2024
9b03c48
Work on theta word64 version
xrchz Dec 10, 2024
0c92d47
More work on theta_w64
xrchz Dec 11, 2024
dbe340e
Prove theta_w64_thm
xrchz Dec 11, 2024
3c58be8
Use w64 suffix consistently
xrchz Dec 11, 2024
2bfdd3e
Prove rho_w64_thm
xrchz Dec 11, 2024
14b0096
Add MAP2 version of rho_w64
xrchz Dec 11, 2024
32658d2
Prove pi_w64_thm
xrchz Dec 12, 2024
642afd3
Start on chi_w64
xrchz Dec 12, 2024
6015c40
Prove chi_w64_thm
xrchz Dec 12, 2024
1819c6e
Start on iota_w64
xrchz Dec 12, 2024
ce5652e
Prove iota_w64_thm
xrchz Dec 13, 2024
d185b38
Prove Rnd_w64_thm
xrchz Dec 13, 2024
304f6ba
Prove Keccak_p_24_w64_thm
xrchz Dec 13, 2024
a3be6eb
Prove absorb_w64_thm
xrchz Dec 13, 2024
53e43f7
Translate Keccak_256_w64
xrchz Dec 15, 2024
6ecfa87
Prove a cheat
xrchz Dec 15, 2024
1f0faa7
Merge remote-tracking branch 'origin/develop' into keccak
xrchz Dec 18, 2024
2199455
Update after upstreaming
xrchz Dec 18, 2024
dbc44ca
Add Keccak to selftest level 1
xrchz Dec 18, 2024
d5707e1
Comment out cheated theorem
xrchz Dec 18, 2024
30da3bd
Upstream another theorem about word_from_bin_list
xrchz Dec 18, 2024
ef047f0
Merge branch 'develop' into keccak
xrchz Dec 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading