m4ri-rust

M4RI-based boolean linear algebra

15 unstable releases (3 breaking)

0.3.0 Apr 2, 2019
0.2.2 Mar 13, 2019
0.2.1 Nov 19, 2018
0.1.0 Sep 5, 2018
0.0.2 Mar 23, 2018

#49 in Math

Download history 3/week @ 2019-01-22 1/week @ 2019-01-29 5/week @ 2019-02-05 1/week @ 2019-02-19 26/week @ 2019-02-26 2/week @ 2019-03-05 24/week @ 2019-03-12 3/week @ 2019-03-19 197/week @ 2019-03-26 27/week @ 2019-04-02 5/week @ 2019-04-09 4/week @ 2019-04-16 17/week @ 2019-04-23 6/week @ 2019-04-30

98 downloads per month
Used in 1 crate

GPL-2.0+

478KB
12K SLoC

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

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

~2.5MB
~41K SLoC