Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.

Yicong Li, Kuanjiu Zhou, Lin Xu, Meiying Wang, Nan Liu

Browse the full ICA3PP paper archive.