Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Test FrodoKEM using Known Answer Tests (KATs) #10

Merged
merged 47 commits into from
May 22, 2023
Merged

Test FrodoKEM using Known Answer Tests (KATs) #10

merged 47 commits into from
May 22, 2023

Conversation

itzmeanjan
Copy link
Owner

Write test cases for ensuring correctness and conformance of this FrodoKEM library implementation with the specification.

Note KATs are generated following https://gist.github.com/itzmeanjan/38d506a69073bdeb0933245401f42186

Run all tests by issuing

make

@itzmeanjan
FrodoKEM known answer tests
3a931ab 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
given hex encoded string parse it as byte array
72f8668 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
get rid of extra empty line at end of KAT files
9c8d595 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
test if frodo640 KEM is implemented correctly and it's conformant wit…
42a5101 
…h specification

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update KAT based testing loop exit condition, also check equality of …
1d307f3 
…expected and computed public key

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
test correctness and conformance of Frodo-976 KEM implementation usin…
bf7533d 
…g KATs

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
test correctness and conformance of Frodo-1344 KEM implementation usi…
ecd5763 
…ng KATs

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
run tests which ensures that Frodo KEM is implemented correctly as pe…
070d0bd 
…r the spec.

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Merge branch 'master' into kat
9f54769
@itzmeanjan
update KAT based test so that equality check on secret key is not per…
a1b86ca 
…formed

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
correctly compute Frodo KEM secret key length
f1839aa 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
serialize/ deserialize m x n matrix to/ from little-endian byte array
6223e0b 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
correct how secret key is byte (de)serialized
a3cf7f9 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update comment about Frodo-640 KEM secret key byte length
257d93c 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update KAT based test cases to also check for equality of expected an…
a9da826 
…d computed secret keys

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
refactor arithmetic over Zq s.t. D is a template parameter | q = 1<<D
9546b00 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update Z mod q arithmetic related test cases to work with new API
9f637bb 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update matrix wrapper type interface to accomodate changes from Zq in…
1c05f1e 
…terface

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update tests on matrix operations
37e3957 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update compile-time executable check for ensuring mod Q has correct v…
bfceeb9 
…alue

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
correctly encode bit string to matrix and reverse
8b8751e 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update test for correct encoding/ decoding of matrix from/ to bit string
c1ac74a 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update how packing/ unpacking of matrices are done
6e02287 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update tests related to matrix packing/ unpacking
56bd8b9 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update how sampling from error distribution is performed
e6ad8b8 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
remove functions for compile-time computing byte length of Frodo PKE …
3b2ea8c 
…keypair/ cipher text

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
remove Frodo PKE API along with respective tests/ benchmarks/ examples
97be64c 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
compile-time executable constraints for FrodoKEM parameters
0bb4eb0 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update Frodo KEM interface
c635dff 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
use C++ concepts for constraining what values FrodoKEM template param…
2cebf13 
…eters can take

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update instantiations of FrodoKEM routines
45347ca 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update frodo KEM test cases (ensures assumption correctness)
cc3fd83 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
correct typing mistake in sampling routine
ceee65e 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
enable all test cases ensuring correctness and conformance of FrodoKEM
80305c3 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
remove FrodoPKE benchmark registrations
1788fc3 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
simplify compile-time executable (based on C++ concepts) constrains
34ca8e9 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
remove unnecessary function for computing logarithm base 2
c330e2c 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update to_hex interface to take a std::span, instead of (pointer, len…
efc276a 
…gth) pair

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update Frodo640 KEM example, as effect of updating to_hex routine's…
03d12e5 
… signature

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
new example demonstrating usage of Frodo-976 KEM API
0b1a8ac 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
add another example showing how to use frodo-1344 KEM API
a99a0ed 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update PRNG initializing (seeding) and squeezing interface to conform…
1c64ab6 
… with std::span

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
reflect PRNG interface changes onto frodo KEM tests/ benchmarks/ exam…
f42d7e6 
…ples

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
display benchmark time taken in ms
bfc1f48 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update project documentation - remove mentions of FrodoPKE
1e1ab84 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update benchmark results in README
f383e68 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
update CI script to run proper examples
29ab1d5 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan itzmeanjan marked this pull request as ready for review May 22, 2023 13:02
@itzmeanjan
Copy link
Owner Author

Improvements in FrodoKEM keygen/ encaps/ decaps implementations

Note Comparison between commit 11bef1e (old) and 29ab1d5 (new)

Screenshot from 2023-05-22 16-59-02

@itzmeanjan itzmeanjan merged commit 8e4b49c into master May 22, 2023
@itzmeanjan itzmeanjan deleted the kat branch May 22, 2023 13:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@itzmeanjan