Hidden Fields Equations

Le Hidden Fields Equations (HFE), in italiano funzioni a campi nascosti, altrimenti note come funzioni botola (trapdoor functions in inglese), sono un sistema crittografico a chiave pubblica presentato per la prima volta all'Eurocrypt, nel 1996, dal francese Jacques Patarin, il quale lo elaborò seguendo le idee preesistenti nel sistema di Matsumoto e Imai. Tale sistema è basato sull'utilizzo di polinomi in campi finiti ${𝔽}_q$ dotati di diversa dimensione, in modo tale da mascherare la relazione tra chiave pubblica e chiave privata. La famiglia di sistemi crittografici HFE si basa sulla difficoltà nel trovare le soluzioni di un sistema a equazioni quadratiche multivariate (chiamato anche Problema MQ). Le HFE hanno trovato un campo applicativo anche nella costruzione di schemi per la firma digitale, come ad esempio Quartz and Sflash.

Basi matematiche

Una delle nozioni principali da assimilare per comprendere in che modo le HFE funzionino è capire che per due estensioni di campo ${𝔽}_{q^n}$ e ${𝔽}_{q^m}$, entrambe contenute nel campo base ${𝔽}_q$, una delle due estensioni può interpretare un sistema a $m$ polinomi multivariati in $n$ variabili, contenuto in ${𝔽}_q$ e rappresentato dalla funzione ${𝔽}_{q^n}\to {𝔽}_{q^m}$, utilizzando una base adatta di ${𝔽}_{q^n}$ su ${𝔽}_q$. Nella quasi totalità delle applicazioni i polinomi sono quadratici, ovvero di grado 2. Partiamo dalla tipologia più semplice di polinomi, chiamati monomi, e verrà mostrato in che modo questi conducono ai sistemi quadratici di equazioni.

Sia ${𝔽}_q$ un campo finito, dove $q$ è una potenza di 2, e sia $K$ un'estensione di campo. Sia ${\beta }_1,...,{\beta }_n$ una base di $K$ come spazio vettoriale di ${𝔽}_q$. Sia $0<h<q^n$ tale che $h=q^{\theta }+1$ sia verificato per distinti valori di $\theta$ e il massimo comune divisore (MCD) sia $(h,q^n-1)=1$ e si prenda un elemento casuale $u\in {𝔽}_{q^n}$. Si rappresenti $u$ rispetto alla base come $u=(u_1,...,u_n)$. Si definisca $v\in {𝔽}_{q^n}$ attraverso

$v=u^{q^{\theta }}u(1)$

La condizione del MCD è equivalente al richiedere che la funzione $u\to u^h$ su $K$ sia in corrispondenza uno a uno e che la sua inversa sia la funzione $u\to u^{h^{\prime }}$, dove $h^{\prime }$ rappresenta l'inverso moltiplicativo di $h{modq}^n-1$. Si scelgano due trasformazioni affini riservate, ovvero due matrici $n\times n$ invertibili, come $S=\{S_{ij}\}$ e $T=\{T_{ij}\}$ con le voci appartenenti a ${𝔽}_q$ e due vettori $c=(c_1,...,c_n)$ e $d=(d_1,...,d_n)$ di dimensione $n$ su ${𝔽}_q$ e si definiscano $x$ e $y$ attraverso:

$u=Sx+cv=Ty+d(2)$

Sia $A^{(k)}=a_{ij}^{(k)}$ una matrice di trasformazioni lineari nella base ${\beta }_1,...,{\beta }_n$ in modo che

${\beta }_i^{q^k}=\sum _{j=1}^n{a}_{ij}^k{\beta }_j,a_{ij}^k\in {𝔽}_q$

per $1\le i,k\le n$. Si scrivano tutti gli elementi della basi in relazione alle basi stesse, ovvero:

${\beta }_i{\beta }_j=\sum _{l=1}^n{m}_{ijl}{\beta }_l,m_{ijl}\in {𝔽}_q$

per ogni $1\le i,j\le n$. Il sistema di $n$ equazioni che è esplicito in $v_i$ e quadratico in $u_j$ può essere ottenuto dall'espansione della (1) e uguagliando a zero i coefficienti di ${\beta }_i$. Usando le relazioni affini nella (2) per rimpiazzare $u_j,v_i$ con $x_k,y_l$, il sistema di $n$ equazioni è lineare in $y_l$ e di secondo grado in $x_k$. Applicando l'algebra lineare il sistema darà $n$ equazioni esplicite, una per ogni $y_l$ sotto forma di polinomi di secondo grado in $x_k$.

Crittosistemi multivariati

L'idea di base della famiglia HFE, ciò che consente l'utilizzo di sistemi multivariati, è la costruzione della chiave privata a partire da un polinomio $P$ in una sconosciuta incognita $x$ e all'interno di un qualche campo finito ${𝔽}_{q^n}$ (normalmente il valore utilizzato è $q=2$). Questo polinomio può essere facilmente invertito in ${𝔽}_{q^n}$, ovvero è fattibile trovare le soluzioni all'equazione $P(x)=y$, ovviamente è condizione necessaria che tali soluzioni esistano. La trasformazione privata o decriptazione e/o la firma digitale sono basate su questa inversione. Come spiegato sopra $P$ può essere identificato con un sistema a $n$ equazioni $(p_1,...,p_n)$ a patto di utilizzare una base prestabilita. Per costruire il crittosistema il polinomio deve essere trasformato in modo tale che le informazioni pubbliche nascondano la struttura originale, evitando così delle possibili inversioni. Questo viene fatto visualizzando il campo finito ${𝔽}_{q^n}$ come uno spazio vettoriale in ${𝔽}_q$ e scegliendo due trasformazioni affini lineari $S$ e $T$. La terzina $(S,P,T)$ costituisce la chiave privata. Il polinomio privato $P$ è definito in ${𝔽}_q$. La chiave pubblica è $(p_1,...,p_n)$. Qui sotto si vede il diagramma per l'MQ-trapdoor$(S,P,T)$ nelle HFE

$\text{input}x\to x=(x_1,...,x_n)\stackrel{\text{secret}:S}{\to }{x}^{\prime }\stackrel{\text{secret}:P}{\to }{y}^{\prime }\stackrel{\text{secret}:T}{\to }\text{output}y$

Polinomi HFE

Il polinomio privato $P$ con grado $d$ in ${𝔽}_{q^n}$ è un elemento di ${𝔽}_{q^n}[x]$. Se i termini del polinomio $P$ hanno al massimo termini quadratici in ${𝔽}_q$, allora questo manterrà le dimensioni del polinomio pubblico ridotte. Nel caso in cui $P$ sia costituito da monomi nella forma $x^{q^{s_i}+q^{t_i}}$, ossia con una doppia potenza di $q$ come esponente, sia ha la forma base delle HFE, e quindi $P$ è scelto come:

$P(x)=\sum c_i{x}^{q^{s_i}+q^{t_i}}$

Il grado $d$ del polinomio è anche conosciuto come parametro sicurezza e maggiore è il valore maggiore sarà la sicurezza dal momento che il risultante set di equazioni quadratiche assomiglia, all'aumentare di $d$, ad un set di equazioni scelto casualmente. Senza contare che un valore maggiore di $d$ rallenta significativamente la decriptazione. Questo dipende dal fatto che $P$ è un polinomio con grado di valore massimo uguale a $d$, ciò comporta che l'inverso di $P$, ossia $P^{-1}$, può essere computato in $d^2(\ln d{)}^{O(1)}{n}^2{𝔽}_q$ operazioni.

Crittografia e decrittografia

La chiave pubblica è data dagli $n$ polinomi multivariati $(p_1,...,p_n)$ in ${𝔽}_q$. È quindi necessario trasferire il messaggio $M$ da ${𝔽}_{q^n}\to {𝔽}_q^n$ per poterlo criptare, ossia si assume che $M$ sia un vettore $(x_1,...,x_n)\in {𝔽}_q^n$. Per criptare il messaggio $M$ si valutano tutti i $p_i$ in $(x_1,...,x_n)$. Il testo cifrato risulta quindi $(p_1(x_1,...,x_n),p_2(x_1,...,x_n),...,p_n(x_1,...,x_n))\in {𝔽}_q^n$.

Per comprendere meglio la decriptazione la si esprima in termini di $S,T,P$. Si noti che questi non sono disponibili al mittente. Valutando i $p_i$ del messaggio viene in primo luogo applicata $S$, che porta $x^{\prime }$ come risultato. A questo punto $x^{\prime }$ viene trasformato da $𝔽q^n\to {𝔽}_{q^n}$ in modo da poter applicare il polinomio privato $P$ che appartiene a ${𝔽}_{q^n}$ dando come risultato $y^{\prime }\in {𝔽}_{q^n}$. Di nuovo, $y^{\prime }$ viene trasferito al vettore $({y_1}^{\prime },...,{y_n}^{\prime })$. Come ultimo passo viene applicata la trasformazione $T$ e l'output finale $y\in {𝔽}_{q^n}$ risulta prodotto da $(y_1,...,y_n)\in {𝔽}_q^n$.

Per decriptare $y$ i procedimenti sopra citati vengono eseguiti in ordine inverso. Ma questo è possibile solo se la chiave privata $(S,P,T)$ è conosciuta. Il passo cruciale della decifrazione non è l'inversione di $S$ e $T$, piuttosto il calcolo della soluzione di $P(x^{\prime })=y^{\prime }$. Dal momento che $P$ non è necessariamente una biiezione, possono essere trovate più di una soluzione a questa inversione (esistono al più d soluzioni distinte $X^{\prime }=({x_1}^{\prime },...,{x_d}^{\prime })\in {𝔽}_{q^n}$ dal momento che $P$ è un polinomio di grado $d$). La ridondanza denotata $r$ è aggiunta durante il primo passaggio al messaggio $M$ in modo da poter selezionare il giusto $M$ dal set di soluzioni $X^{\prime }$. Il diagramma riportato sotto mostra lo schema base delle HFE per la criptazione

$M\stackrel{+r}{\to }x\stackrel{\text{secret}:S}{\to }{x}^{\prime }\stackrel{\text{secret}:P}{\to }{y}^{\prime }\stackrel{\text{secret}:T}{\to }y$

Variazioni delle HFE

Le Hidden Fields Equations hanno quattro variazioni di base, chiamate +, -, f e v ed è possibile combinarle tra di loro in diversi modi. I principi base che le differenziano sono i seguenti:

01. Il simbolo + indica che viene effettuato un mix lineare tra le equazioni pubbliche e alcune equazioni casuali.

02. Il simbolo - è dovuto ad Adi Shamir e il suo scopo è quello di rimuovere la ridondanza $r$ dalle equazioni pubbliche.

03. Il simbolo f indica che alcune variabili d'ingresso $f$ sono state fissate.

04. Il simbolo v più che indicare un qualche cambiamento definisce una struttura, talvolta notevolmente complessa, tale che l'inversa della funzione può essere calcolata solo se determinate variabili $v$, chiamate variabili aceto, sono state precedentemente fissate.

Le operazioni riportate sopra concorrono a preservare in una certa misura la cosiddetta solvibilità botola (trapdoor solvability in inglese) della funzione. Per chiarire questo aspetto basta sapere che una funzione botola è una funzione facilmente computabile in una direzione, ma difficile da calcolare nella direzione opposta (ossia trovare l'inversa) se non si conoscono determinate informazioni.

Le HFE- e le HFEv sono molto utili, e di conseguenza molto usate, nella creazione di schemi per la firma digitale dal momento che prevengono i rallentamenti nella generazione delle chiavi e garantiscono inoltre una maggiore sicurezza generale delle HFE. Per quanto riguarda la criptazione sia l'HFE- che l'HFEv portano ad un processo di decifratura sensibilmente più lento grazie alle loro peculiarità implementative. Entrambe hanno inoltre avuto un ruolo fondamentale nella creazione di Quartz.

L'HFE+ invece, sempre nell'ambito della criptazione, porta ad una situazione, in linea teorica, ottimale dal momento che il processo di decifrazione richiede la stessa quantità di tempo, anche se le chiavi pubbliche hanno più equazioni che variabili.

Attacchi alle HFE

Esistono due famosi attacchi che sono stati portati di recente alle HFE:

01. L'attacco Shamir-Kipnis: recuperare la chiave privata

Il punto chiave di questo attacco è quello di recuperare la chiave privata sotto forma di polinomi univariati all'interno dell'estensione di campo ${𝔽}_{q^n}$. Questa tipologia di attacco funziona esclusivamente se portato a delle HFE di base, mentre fallisce contro qualsiasi loro variazione.

02. L'attacco Faugere: Basi di Gröbner

L'idea dell'attacco di Faugere è quella di usare gli algoritmi veloci per calcolare una Base di Gröbner del sistema di equazioni polinomiali. Faugere, nel 2002, riuscì a violare le HFE in 96 ore. Dal 2003 Faugere e Joux lavorano insieme sulla sicurezza delle HFE.

Bibliografia

• Nicolas T. Courtouis, Magnus Daum and Patrick Felke, On the Security of HFE, HFEv- and QuartzTemplate:En

Collegamenti esterni

• Template:Cita web