What is Lof?

Lof is a zero-knowledge circuit programming language built to catch bugs at compile time. Strong static typing and visibility-aware signals ensure constraints are well-typed and that private witnesses stay private.

Constraint generation stays transparent—what you write is exactly what hits the R1CS. Pattern matching, refinement types, and zero-cost abstractions keep circuits expressive without introducing hidden costs. 

// Range proof for private value
proof RangeProof {
    witness value: field;
    input min: field;
    input max: field;

    assert value >= min;
    assert value <= max;
    1
}