Skip to content

Port HOL-Light/x86_64: Replace Keccakx4 intrinsics with assembly and prove correct #982

Open
Open
Port HOL-Light/x86_64: Replace Keccakx4 intrinsics with assembly and prove correct#982
Labels
hol-lightx86_64
@mkannwischer

Description

@mkannwischer
mkannwischer
opened on Mar 2, 2026

Port pq-code-package/mlkem-native#1576

Metadata

Metadata

Assignees

No one assigned

    Labels

    hol-lightx86_64

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions