zero-knowledge

#306 addresses a term-precedence bug with exponentiation. However, we do not have an end-to-end test case for this.
It should be included, ideally for all operators.

🚀 Feature

We should support the operators <,<=,>,>= on the field type.
Blocked: This depends on snarkVM first implementing these features.

Motivation

Allows more standard operations with the field type.

Implementation

Field Gadget

• Implement the impl<F: PrimeField> EvaluateLtGadget<F> for Field trait leo/compiler/src/value/field/field_type.rs.

Tests

This is a clear example, looks like current_component is a tuple of elements of the same type; if it was an array you could just loop it or call iter().product() or fold.

Originally posted by @ZER0 in dusk-network/plonk#561 (comment)