lettuce 0.1.3

Healthy lattice consructions in pure Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use crate::*;

use anyhow::Result;

#[test]
fn identity_r1cs() -> Result<()> {
    let r1cs = R1CS::<MilliScalarMont>::identity(10, 10);
    let witness = Vector::new(r1cs.dimension().0);
    assert_eq!(r1cs.eval(&witness)?, witness);
    Ok(())
}