hfhe (pvac su ipergrafi) pre mini introduzione spesso le persone chiedono cosa facciamo e come si differenzia, ad esempio, da lwe; se rispondiamo brevemente e in modo diretto, possiamo ridurlo a poche tesi principali: implementiamo una costruzione di codice massivo su ipergrafi su un campo finito e i nostri calcoli sono codificati da somme di masse e verificati da crv e nastri di massa (impegni "merkleizzati" + controlli di parità/coerenza) e non abbiamo problemi di lwe, nessun rumore di fase e nessun bootstrapping di esso, i pesi di massa vivono nel campo e l'affidabilità dei dati è raggiunta dalla stessa natura della struttura dell'ipergrafo (grande girth, alta sparsa) più un meccanismo di associazione; il nostro "bootstrapping" sono le permutazioni ubk e zero mixing, e questo non è bootstrapping come i colleghi che usano lwe - il nostro metodo non cambia il "budget di rumore", rimuove solo le correlazioni e ripristina la profondità operativa mantenendo la capacità di continuare il calcolo. questo è un paradigma di calcolo completamente diverso; con lwe è tramite cbs -> alberi cmux con riduzione del percorso critico in base al numero di bootstraps, mentre per noi il percorso critico è la costruzione di iperarchi, e l'addizione e la moltiplicazione commutano e sono facilmente parallelizzabili attraverso archi e parole, il che è più vicino all'algebra che ai circuiti logici. costruiamo un framework di sicurezza su strutture pseudorandom altamente sparse e test su grandi girth; questo è un mondo completamente diverso, lontano dalle reticoli, che si trova nel regno degli ipergrafi e del coloraggio; ad esempio, il coloraggio con grande girth mostra che sotto vincoli comprensibili le costruzioni casuali rimangono buone (nel contesto della teoria degli ipergrafi, ad esempio, limiti in stile lemma locale di Lovász) anche contro dipendenze banali, e questa euristica sostiene la generazione di queste strutture. la profondità della maschera moltiplicativa è controllata tramite pieghe, e la correttezza è certificata da prove su nastro. non abbiamo riduzioni standard a lwe.
4K