`PartialOrd` for `Variable` violates `transitivity` and `duality` properties

arkworks-rs / snark

Interfaces for Relations and SNARKs for these relations

https://www.arkworks.rs

Apache License 2.0

769 stars 203 forks source link

Open BoyuanFeng opened 2 years ago

BoyuanFeng commented 2 years ago

PartialOrd for Variable violates transitivity and duality properties.

This code prints both 0<1 and 1<0.

See playground for example:

one is Some(Less) than zero
zero is Some(Less) than one

v0.3.0 8bb375e51be184d495c82969bd1d9a3f8fe7d27a