1
1
mirror of https://github.com/henrydcase/pqc.git synced 2024-11-22 23:48:58 +00:00

Add duplicate consistency checks

This commit is contained in:
Joost Rijneveld 2019-04-17 11:30:05 +02:00
parent c6af1c768e
commit 3d09ea3ad5
No known key found for this signature in database
GPG Key ID: A4FE39CF49CBC553
36 changed files with 1116 additions and 0 deletions

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- thash_haraka_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-simple
implementation: clean
files:
- thash_haraka_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- thash_haraka_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-simple
implementation: clean
files:
- thash_haraka_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- thash_haraka_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-simple
implementation: clean
files:
- thash_haraka_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- thash_haraka_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-simple
implementation: clean
files:
- thash_haraka_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- thash_haraka_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-simple
implementation: clean
files:
- thash_haraka_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- thash_haraka_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-haraka-256s-robust
implementation: clean
files:
- hash_haraka.c
- source:
scheme: sphincs-haraka-256s-simple
implementation: clean
files:
- thash_haraka_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- thash_sha256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-simple
implementation: clean
files:
- thash_sha256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- thash_sha256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-simple
implementation: clean
files:
- thash_sha256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- thash_sha256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-simple
implementation: clean
files:
- thash_sha256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- thash_sha256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-simple
implementation: clean
files:
- thash_sha256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- thash_sha256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-simple
implementation: clean
files:
- thash_sha256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- thash_sha256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-sha256-256s-robust
implementation: clean
files:
- hash_sha256.c
- source:
scheme: sphincs-sha256-256s-simple
implementation: clean
files:
- thash_sha256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- thash_shake256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-simple
implementation: clean
files:
- thash_shake256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- thash_shake256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-128s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-simple
implementation: clean
files:
- thash_shake256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- thash_shake256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-simple
implementation: clean
files:
- thash_shake256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- thash_shake256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-192s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-simple
implementation: clean
files:
- thash_shake256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- thash_shake256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256f-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-simple
implementation: clean
files:
- thash_shake256_simple.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- thash_shake256_robust.c

View File

@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- address.c
- address.h
- fors.c
- fors.h
- hash.h
- sign.c
- thash.h
- utils.c
- utils.h
- wots.c
- wots.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- params.h
- source:
scheme: sphincs-shake256-256s-robust
implementation: clean
files:
- hash_shake256.c
- source:
scheme: sphincs-shake256-256s-simple
implementation: clean
files:
- thash_shake256_simple.c