Browse Source

Fix testing against KATs

tags/v0.0.1
Henry Case 3 years ago
parent
commit
a8bb139ea6
2 changed files with 12 additions and 1 deletions
  1. +6
    -0
      .github/workflows/main.yml
  2. +6
    -1
      test/katrunner/src/main.rs

+ 6
- 0
.github/workflows/main.yml View File

@@ -24,3 +24,9 @@ jobs:
- name: Build Rust bindings
run: |
cd src/rustapi/pqc-sys && cargo build
- name: Run KAT tests
run: |
cd test/katrunner &&
curl http://amongbytes.com/~flowher/permalinks/kat.zip --output kat.zip
unzip kat.zip
cargo run -- --katdir KAT

+ 6
- 1
test/katrunner/src/main.rs View File

@@ -17,9 +17,14 @@ fn signature_scheme(el: &TestVector) {
unsafe {
let p = pqc_sig_alg_by_id(el.scheme_id as u8);
assert_ne!(p.is_null(), true);
// pqc doesn't use "envelope" API. From the other
// hand in KATs for signature scheme, the signature
// is concatenaed with a message. Use only part with
// the signature.
let sm_len = el.sig.sm.len() - el.sig.msg.len();
assert_eq!(
pqc_sig_verify(p,
el.sig.sm.as_ptr(), el.sig.sm.len() as u64,
el.sig.sm.as_ptr(), sm_len as u64,
el.sig.msg.as_ptr(), el.sig.msg.len() as u64,
el.sig.pk.as_ptr()),
true);


Loading…
Cancel
Save