La solidez es una propiedad de los sistemas de prueba interactivos que requiere que ningún probador pueda hacer que el verificador acepte una declaración incorrecta.excepto con alguna pequeña probabilidad. El límite superior de esta probabilidad se denomina error de solidez de un sistema de prueba.
Más formalmente, para todos los probadores , y cada :
para algunos . Siempre que el error de solidez esté limitado por una fracción polinomial del tiempo de ejecución potencial del verificador (es decir,), siempre es posible amplificar la solidez hasta que el error de solidez se convierta en una función insignificante en relación con el tiempo de ejecución del verificador. Esto se logra repitiendo la prueba y aceptando solo si todas las pruebas se verifican. Después repeticiones, un error de solidez se reducirá a . [1]
Ver también
Referencias
- ^ Goldreich, Oded (2002), Zero-Knowledge veinte años después de su invención , ECCC TR02-063.