Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
4 changes: 2 additions & 2 deletions .github/workflows/integration-opentitan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ jobs:
contents: 'read'
id-token: 'write'
runs-on: ubuntu-latest
if: ${{ always() }} # Make this step non-cancellable to avoid orphaned instances
if: ${{ github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork }}
outputs:
label: ${{ steps.start-ec2-runner.outputs.label }}
ec2-instance-id: ${{ steps.start-ec2-runner.outputs.ec2-instance-id }}
Expand Down Expand Up @@ -98,7 +98,7 @@ jobs:
- start-ec2-runner
- opentitan_build # required to wait when the main job is done
runs-on: ubuntu-latest
if: ${{ always() }} # required to stop the runner even if errors occur
if: ${{ always() && needs.start-ec2-runner.result != 'skipped' }} # required to stop the runner even if errors occur
steps:
- name: Configure AWS credentials
uses: aws-actions/configure-aws-credentials@8df5847569e6427dd6c4fb1cf565c83acfa8afa7 # v6.0.0
Expand Down
7 changes: 7 additions & 0 deletions integration/liboqs/ML-DSA-44_META.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ claimed-security: SUF-CMA
length-public-key: 1312
length-secret-key: 2560
length-signature: 2420
length-mu: 64
nistkat-sha256: 9a196e7fb32fbc93757dc2d8dc1924460eab66303c0c08aeb8b798fb8d8f8cf3
testvectors-sha256: 5f0d135c0f7fd43f3fb9727265fcd6ec3651eb8c67c04ea5f3d8dfa1d99740d2
principal-submitters:
Expand All @@ -27,6 +28,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA44_C_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA44_C_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA44_C_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA44_C_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA44_C_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_c.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand All @@ -41,6 +44,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_x86_64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand All @@ -65,6 +70,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_aarch64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand Down
7 changes: 7 additions & 0 deletions integration/liboqs/ML-DSA-65_META.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ claimed-security: SUF-CMA
length-public-key: 1952
length-secret-key: 4032
length-signature: 3309
length-mu: 64
nistkat-sha256: 7cb96242eac9907a55b5c84c202f0ebd552419c50b2e986dc2e28f07ecebf072
testvectors-sha256: 14bf84918ee90e7afbd580191d3eb890d4557e0900b1145e39a8399ef7dd3fba
principal-submitters:
Expand All @@ -27,6 +28,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA65_C_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA65_C_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA65_C_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA65_C_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA65_C_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_c.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand All @@ -41,6 +44,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_x86_64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand All @@ -65,6 +70,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_aarch64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand Down
7 changes: 7 additions & 0 deletions integration/liboqs/ML-DSA-87_META.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ claimed-security: SUF-CMA
length-public-key: 2592
length-secret-key: 4896
length-signature: 4627
length-mu: 64
nistkat-sha256: 4537905d2aabcf302fab2f242baed293459ecda7c230e6a67063b02c7e2840ed
testvectors-sha256: 759a3ba35210c7e27ff90a7ce5e399295533b82ef125e6ec98af158e00268e44
principal-submitters:
Expand All @@ -27,6 +28,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA87_C_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA87_C_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA87_C_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA87_C_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA87_C_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_c.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand All @@ -41,6 +44,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_x86_64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand All @@ -65,6 +70,8 @@ implementations:
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_keypair
signature_signature: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_signature
signature_verify: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_verify
signature_signature_extmu: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_signature_extmu
signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_verify_extmu
api-with-context-string: true
sources: integration/liboqs/config_aarch64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
Expand Down
Loading