Multivariat kryptografi: Polynomial-baseret sikkerhed

Multivariat kryptografi baserer sikkerhed på løsning af systemer af polynomielle ligninger. Mens SynX kvantebestandig pung bruger hash og gitter-baserede skemaer, multivariate tilgange repræsenterer en anden post-kvante familie.

MQ-problemet

Multivariat kvadratisk (MQ) problem:

• Givet mange andengradsligninger over endelige felter
• Find løsningsværdier, der opfylder alle ligninger
• NP-komplet i almindeligt tilfælde
• Ingen kendt kvantealgoritme giver signifikant speedup

Sådan fungerer multivariate signaturer

Grundlæggende konstruktion:

• Privat nøgle: to inverterbare transformationer + centralt kort
• Offentlig nøgle: sammensætning vises tilfældig
• Signering: Inverter ved hjælp af privat struktur
• Verifikation: Evaluer offentlige polynomier

NIST-kandidater

Rainbows fiasko

Ligesom SIKE blev Rainbow brudt i 2022:

• Strukturen muliggjorde klassisk angreb
• Weekendberegning på standard pc
• Forstærket behov for konservative valg

Fordele ved multivariat

• Meget små signaturstørrelser (når sikker)
• Hurtig verifikation
• Et andet matematisk grundlag end gitter
• Lang forskningshistorie

Udfordringer

• Flere kandidater brudt for nylig
• Store nøglestørrelser til sikre parametre
• Kompleks at implementere korrekt
• Mindre forskningssamfund end gitter

Hvorfor SynX bruger SPHINCS+ i stedet

De SynX kvantebestandig pung valgte hash-baserede signaturer:

• Minimale antagelser (bare hashfunktionssikkerhed)
• Ingen algebraisk struktur at udnytte
• NIST primære valg
• Konservativ trods større størrelse

Mangfoldighed i PQC-landskab

Flere familier giver økosystemresiliens:

• Gitter (Kyber, Dilithium)
• Hash-baseret (SPHINCS+)
• Kodebaseret (Classic McEliece)
• Multivariat (igangværende forskning)

Ofte stillede spørgsmål

Kunne multivariat blive mainstream?

Muligt med nybyggeri. Strøm SynX kvantebestandig pung valg er bevist sikre i dag.

Hvorfor bliver underskrifter ved med at blive ødelagt?

PQC er nyere end klassisk kryptografi. NIST-processen hjælper med at identificere svagheder før implementering.