Comparar de manera confidencial números racionales bajo el modelo malicioso

La computación segura multipartita es un tema candente en el campo de la criptografía y también es un medio significativo para realizar la computación privada. El problema de los millonarios es el problema más fundamental entre ellos, que es el módulo básico de los protocolos de computación segura multipartita. Aunque existen muchas soluciones para este problema, hay pocos protocolos anti-maliciosos además de los basados en el circuito encriptado de Yao. Solo algunas soluciones tienen baja eficiencia, y no existe un protocolo para la comparación de números racionales bajo el modelo malicioso, lo que restringe la solución de muchos problemas de computación segura multipartita. En este artículo, se analizan los posibles comportamientos maliciosos en los protocolos existentes del problema de los millonarios. Estos comportamientos se descubren y se toman precauciones a través de la fórmula del área del triángulo, la prueba de conocimiento cero y el método de corte y elección, por lo que se propone un protocolo para comparar de manera confidencial números racionales bajo el modelo malicioso. Y este artículo adopta el paradigma del modelo real/ideal para demostrar la seguridad del protocolo del modelo malicioso. El análisis de eficiencia indica que el protocolo propuesto es más efectivo que los protocolos existentes. El protocolo de comparación de números racionales bajo el modelo malicioso es más adecuado para las aplicaciones prácticas de la computación segura multipartita, lo que tiene una importante significancia teórica y práctica.