This repository contains a Rust implementation of the LaBRADOR lattice-based argument [BS23], using the lattirust library. Currently, only the core LaBRADOR protocol is implemented, with implementations of reductions from (binary and ring) R1CS in progress.
cargo test
[BS23]: W. Beullens and G. Seiler, “LaBRADOR: Compact Proofs for R1CS from Module-SIS”, CRYPTO 2023. Available at https://eprint.iacr.org/2022/1341.
