如果上述公式不是全部都成立,Alice得知Bob提供虚假数据,结束协议.
Bob判断如下4个公式是否成立
如果上述4个公式都成立,Bob得知Alice是诚实的,并且计算结果为两条线段平行无交点.Bob退出协议.
如果上述公式不是全部都成立,Bob得知Alice提供虚假数据,结束协议.
(2)两条线段所在直线交于一点:Alice计算D(E(ra1
−ra2
))=0后,得知两条线段所在直线交于一点,此时通知Bob结果,双方进行交互性验证,验证方式如下:
步骤i:Alice和Bob分别在本地执行如下计算.其中,Alice计算 j=1的值,Bob计算 j=2的值.
如果mj
≤x≤nj
,则参与者计算yj
=aj
x+bj