m4ri-rust

M4RI-based boolean linear algebra

11 releases

0.1.0 Sep 5, 2018
0.0.10 Jul 6, 2018
0.0.9 Apr 13, 2018
0.0.2 Mar 23, 2018
Download history 13/week @ 2018-10-02 10/week @ 2018-10-09 96/week @ 2018-10-16 13/week @ 2018-10-23 1/week @ 2018-10-30 54/week @ 2018-11-06 27/week @ 2018-11-13 45/week @ 2018-11-20 26/week @ 2018-11-27 66/week @ 2018-12-04 5/week @ 2018-12-11 15/week @ 2018-12-18 104/week @ 2018-12-25

128 downloads per month
Used in 1 crate

GPL-2.0+

479KB
12K SLoC

C 11K SLoC // 0.1% comments Rust 1.5K SLoC // 0.3% comments Shell 40 SLoC

Rust bindings for M4RI

M4RI is a C library that provides efficient implementations of binary matrix operations. This crate aims to expose those functions to Rust and provides a nice wrapper around matrices, vectors and operations on both.

References

Martin Albrecht and Gregory Bard. The M4RI Library. https://malb.bitbucket.io/m4ri

See also the references section of the M4RI docs here.

This was written in the context of:

Thom Wiggers. Solving LPN using Large Covering Codes. Master's Thesis Radboud University, 2018.

See also https://thomwiggers.nl/research/msc-thesis/

Optional features

  • serde: Enable serialization
  • M4RI options:
    • m4rm_mul: Use m4rm as multiplication algorithm
    • naive_mul: Use the naive strategy
    • strassen_mul: Use the Strassen algorithm

Releases

Releases are available with DOI:

DOI

Dependencies

~2MB
~40K SLoC

  • libc 0.2
  • rand 0.5
  • vob 2.0+unsafe_internals+serde
  • optional serde 1.0+derive