Implementation of the modular command line MRHS solver (RZ solver + HC solver currently).
make bin/mrhs -h
Read code for more info.
Non-commercial use only.
If you use this code, cite the following articles:
RZ solver: Raddum H, Zajac P. MRHS solver based on linear algebra and exhaustive search. Journal of Mathematical Cryptology. 2018 Sep 1;12(3):143-57. https://eprint.iacr.org/2018/111
HC solver: Zajac, P.: On solving sparse MRHS equations with bit-flipping, Publ.Math.Debrecen (2022). https://konferencia.unideb.hu/sites/default/files/upload_documents/10_5486_pmd.2022.suppl_.8.pdf
General MRHS cryptanalysis: Zajac, P. Algebraic Cryptanalysis with MRHS Equations. Cryptography 2023, 7, 19. https://doi.org/10.3390/cryptography7020019