Diamond iO: Lattice-Based Obfuscation without Bootstrapping from Functional Encryption, toward...

La présentation de Sora Suegami est remarquablement claire et technique, offrant une plongée approfondie dans une construction cryptographique de pointe. La valeur principale réside dans la proposition d’une alternative au bootstrapping FE-iO, qui constitue un goulot d’étranglement majeur pour l’implémentation pratique de l’iO. L’idée de remplacer le chiffrement FE récursif par des multiplications matricielles est élégante et pourrait avoir un impact significatif si elle se confirme. La rigueur scientifique est élevée : l’auteur détaille les hypothèses, les preuves, et surtout, il ne cache pas les faiblesses. Il mentionne explicitement les attaques récentes contre l’evasive LWE et les limitations de sa propre construction. La transparence sur les hypothèses non standard (all-product LWE) est louable, même si elle soulève des questions sur la robustesse à long terme. La présentation des benchmarks, bien que préliminaires, est un point fort : elle ancre la recherche dans une perspective pratique, ce qui est rare dans ce domaine. L’adéquation entre le titre et le contenu est parfaite. En termes de sources, l’auteur s’appuie sur des travaux récents et reconnus (AKY24, BDJ+24, etc.), mais la présentation ne fournit pas de références bibliographiques complètes dans la vidéo elle-même ; le lien vers la page Simons Institute est toutefois fourni. La principale faiblesse réside dans la dépendance à des hypothèses nouvelles et non vérifiées, ce qui limite la certitude quant à la sécurité réelle. De plus, la complexité technique rend le contenu inaccessible à un public non spécialiste, mais cela n’est pas un défaut en soi. Dans l’ensemble, cette présentation est d’une grande qualité et constitue une contribution significative à l’avancement de l’iO pratique.

Le titre reflète bien le contenu : il annonce une construction d'obfuscation sans bootstrapping, ce qui est le cœur de l'exposé.

8/10

Présentation technique détaillée d'une construction cryptographique originale, avec preuves de sécurité et benchmarks, par un chercheur de l'Ethereum Foundation. Les hypothèses non standard sont clairement identifiées et discutées, et les attaques récentes sont mentionnées. La fiabilité est élevée mais limitée par le caractère non vérifié des nouvelles hypothèses.

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

• 00:00Introduction par le présentateur et début de l'exposé de Sora Suegami.
• 01:00Présentation du problème : le bootstrapping FE-iO est un goulot d'étranglement.
• 03:00Idée clé : remplacer le chiffrement FE récursif par des multiplications matricielles.
• 05:00Préliminaires : rappel sur l'obfuscation pseudo-aléatoire et les encodages BGG+.
• 08:00Explication de la construction : combinaison des encodages GGH15 et BGG+.
• 10:00Détail de la génération des encodages par l'obfuscateur et l'évaluateur.
• 12:00Analyse de sécurité : preuve en deux étapes avec evasive LWE.
• 15:00Discussion sur les attaques récentes contre evasive LWE et les contre-mesures.
• 18:00Présentation de la nouvelle hypothèse all-product LWE et de ses limites.
• 20:00Questions ouvertes sur la réduction des hypothèses.
• 25:00Benchmarks de l'implémentation open source.
• 30:00Conclusion et perspectives.

• Simons Institute talk page — Page officielle de la présentation, contenant les informations et éventuellement les slides.

• Agrawal, Kumari, Yamada (ePrint '24) — Schéma FE compact mentionné comme base de la construction.

• Attaques HJL25 et AMY+25 — Attaques récentes contre l'evasive LWE avec la définition d'échantillonneur utilisée dans AKY24, qui affectent également la construction originale de Diamond iO.