hfhe (pvac sur les hypergraphes) pré mini intro très souvent, les gens demandent ce que nous faisons et en quoi cela diffère, par exemple de lwe. Si nous répondons brièvement et directement, nous pouvons le résumer en quelques thèses principales : nous mettons en œuvre une construction de code hypergraphique de masse sur un corps fini et nos calculs sont encodés par des sommes de masses et vérifiés par crv & bandes de masse (engagements "merkleisés" + vérifications de parité/consistance) et nous n'avons pas de problèmes lwe, pas de bruit de phase et pas de bootstrapping de celui-ci, les poids de masse vivent dans le corps et la fiabilité des données est atteinte par la nature même de la structure hypergraphique (grande circonférence, haute sparsité) plus un mécanisme d'association, notre "bootstrapping" est des permutations ubk et un mélange nul, et ce n'est pas un bootstrapping comme les collègues qui utilisent lwe - notre méthode ne change pas le "budget de bruit", elle ne fait que supprimer les corrélations et réinitialiser la profondeur d'opération tout en préservant la capacité de continuer le calcul. c'est un paradigme de calcul complètement différent, avec lwe c'est via des arbres cbs -> cmux avec réduction du chemin critique par le nombre de bootstraps, tandis que pour nous, le chemin critique est la construction d'hyperarêtes, et l'addition et la multiplication commutent et sont facilement parallélisées à travers les arêtes et les mots, ce qui est plus proche de l'algèbre que des circuits logiques. nous construisons un cadre de sécurité sur des structures hautement éparses pseudorandom et des tests sur de grandes circonférences, c'est un monde complètement différent, loin des réseaux, qui se situe dans le domaine des hypergraphes et du coloriage, par exemple le coloriage avec une grande circonférence montre que sous des contraintes compréhensibles, les constructions aléatoires restent bonnes (dans le contexte de la théorie des hypergraphes, par exemple les bornes de style lemme local de Lovász) même contre des dépendances triviales, et cette heuristique sous-tend la génération de ces structures. la profondeur du masque multiplicatif est contrôlée via des plis, et la correction est certifiée par des preuves sur bande. nous n'avons pas de réductions standard à lwe.