Skip to content

Commit

Permalink
Merge pull request #1368 from HOL-Theorem-Prover/keccak
Browse files Browse the repository at this point in the history 
Faster evaluation for Keccak_256_bytes
  • Loading branch information
@xrchz
xrchz authored Dec 19, 2024
2 parents 8db87d7 + ef047f0 commit 1feeec0
Show file tree
Hide file tree
Showing 3 changed files with 2,162 additions and 15 deletions.
Loading

0 comments on commit 1feeec0

Please sign in to comment.