virtual bool gt(const MemoryValue &a, const MemoryValue &b)=0
virtual bool gt(const FF &a, const FF &b)=0
virtual bool gt(const uint128_t &a, const uint128_t &b)=0
virtual ~GreaterThanInterface()=default
AVM range check gadget for witness generation.
unsigned __int128 uint128_t