I got a project on github which I want to use for a school project and all relevant data for the question is in the “KAT” folder. However, I got 1 problem. It contains .rsp1 files with the parameters count, seed, mlen, msg, pk, sk, smlen, sm. I know what these mean and in this project the author says that these files are SHA256 hashed into the .txt files because the keys are extremely long which I of course can see.
project on github: https://github.com/mjosaarinen/uov-py/tree/main