Saltar al contenido
uencoder

Standard Model

El modelo estándar se refiere a las pruebas de seguridad criptográfica que no introducen supuestos idealizados (como oráculos aleatorios o grupos ideales), apoyándose solo en supuestos de complejidad computacional (p. ej., DDH, LWE).

Propósito

Ofrece garantías de seguridad más fuertes que el modelo del oráculo aleatorio, evitando la degradación cuando los supuestos idealizados se instancian.

Mecanismo

Las pruebas en el modelo estándar deben descansar en supuestos refutables como DDH, CDH y LWE, sin idealizar los hashes. Las pruebas son más difíciles, pero la seguridad es más fuerte.

Casos de uso

  • Pruebas de seguridad estrictas
  • Análisis de esquemas post-cuánticos
  • Teoría criptográfica

Herramientas relacionadas

References