{"id":1597,"date":"2026-05-28T11:35:36","date_gmt":"2026-05-28T11:35:36","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=1597"},"modified":"2026-07-24T08:30:56","modified_gmt":"2026-07-24T08:30:56","slug":"cryptographie","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/cryptographie\/","title":{"rendered":""},"content":{"rendered":"\n\n\nMenu ORIGIN\u2122<\/title>\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=DM+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap');\n \nbody { margin: 0; padding: 0; background: #F4F0EB; font-family: 'DM Sans', sans-serif; min-height: 600px; }\n \n\/* Wrapper full-width \u2014 isolation stricte (all:initial) + 100vw, identique \u00e0 .cidor-page\n pour \u00e9chapper aux contraintes de largeur du th\u00e8me WordPress et garantir le bandeau jusqu'aux bords. *\/\n.menu-bar-wrapper {\n all: initial;\n display: block;\n box-sizing: border-box;\n width: 100vw;\n position: relative;\n left: calc(50% - 50vw);\n background: #0C1829;\n z-index: 9999;\n font-family: 'DM Sans', sans-serif;\n}\n \n.menu-bar {\n width: 100%;\n background: #0C1829;\n padding: 0 2rem;\n display: flex;\n align-items: center;\n justify-content: space-between;\n position: relative;\n z-index: 100;\n box-sizing: border-box;\n}\n.menu-logo {\n font-family: 'DM Sans', sans-serif; font-weight: 700; font-size: 0.95rem;\n color: #fff; padding: 1rem 0; letter-spacing: 0.03em; white-space: nowrap;\n}\n.menu-logo span { color: #C9A96E; }\n.menu-items { display: flex; align-items: center; gap: 0; }\n \n\/* \u2500\u2500 EAS \u00b7 EXPOSITION BUTTON (avec dropdown) \u2500\u2500 *\/\n.menu-eas-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-eas {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-eas::before {\n content: '\u25ce';\n font-size: 0.75rem;\n opacity: 0.7;\n}\n.menu-eas::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-eas:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n.menu-eas-wrap:hover .menu-dropdown-eas { display: block; }\n.menu-dropdown-eas {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 AETZU ARROW AI BUTTON \u2500\u2500 *\/\n.menu-aetzu {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-aetzu::before {\n content: '\u2b21';\n font-size: 0.75rem;\n opacity: 0.7;\n}\n.menu-aetzu::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-aetzu-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-aetzu-wrap:hover .menu-dropdown-aetzu { display: block; }\n.menu-dropdown-aetzu {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-aetzu:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n \n\/* \u2500\u2500 CORTEX WEB & API BUTTON \u2500\u2500 *\/\n.menu-webapi {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-webapi::before {\n content: '\u25a3';\n font-size: 0.75rem;\n opacity: 0.7;\n}\n.menu-webapi::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-webapi-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-webapi-wrap:hover .menu-dropdown-webapi { display: block; }\n.menu-dropdown-webapi {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-webapi:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n \n\/* \u2500\u2500 CORTEX APP\u00c2T & LEURRE BUTTON (avec dropdown \u2014 BAITS) \u2500\u2500 *\/\n.menu-appat-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-appat {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-appat::before {\n content: '\u2b22';\n font-size: 0.7rem;\n opacity: 0.7;\n}\n.menu-appat::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-appat:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n.menu-appat-wrap:hover .menu-dropdown-appat { display: block; }\n.menu-dropdown-appat {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 CORTEX NK BUTTON (avec dropdown) \u2500\u2500 *\/\n.menu-cortexnk-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-cortexnk {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-cortexnk::before {\n content: '\u25c6';\n font-size: 0.7rem;\n opacity: 0.7;\n}\n.menu-cortexnk::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-cortexnk:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n.menu-cortexnk-wrap:hover .menu-dropdown-cortexnk { display: block; }\n.menu-dropdown-cortexnk {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 BENCHMARK & V\u00c9RIFICATION BUTTON (m\u00e9ga-d\u00e9roulant fusionn\u00e9) \u2500\u2500 *\/\n.menu-benchmark-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-benchmark {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(74,144,217,0.10);\n border: 1px solid rgba(74,144,217,0.30);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: rgba(184,212,240,0.85);\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-benchmark::before {\n content: '\u25c8';\n font-size: 0.7rem;\n opacity: 0.65;\n}\n.menu-benchmark::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-benchmark:hover {\n background: rgba(74,144,217,0.22);\n border-color: rgba(74,144,217,0.55);\n color: #fff;\n}\n.menu-benchmark-wrap:hover .mega-dropdown { display: block; }\n \n.menu-item {\n position: relative; padding: 1rem 1rem;\n font-size: 0.78rem; font-weight: 500; color: rgba(184,212,240,0.75);\n cursor: pointer; letter-spacing: 0.02em; transition: color 0.2s;\n white-space: nowrap;\n}\n.menu-item:hover { color: #fff; }\n.menu-item::after {\n content: '\u25be'; margin-left: 0.3rem; font-size: 0.6rem; opacity: 0.5;\n}\n.menu-item.no-drop::after { content: ''; }\n.menu-cta {\n font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n padding: 0.5rem 1.2rem; border-radius: 2px;\n background: rgba(201,169,110,0.15); color: #C9A96E; border: 1px solid rgba(201,169,110,0.3);\n cursor: pointer; transition: all 0.3s; white-space: nowrap;\n}\n.menu-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n \n.menu-dropdown {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 320px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .menu-dropdown { display: block; }\n.menu-dropdown a {\n display: block; padding: 0.5rem 1.5rem; font-size: 0.8rem; color: rgba(184,212,240,0.6);\n text-decoration: none; transition: all 0.2s; line-height: 1.5;\n}\n.menu-dropdown a:hover { color: #fff; background: rgba(74,144,217,0.08); }\n.menu-dropdown .drop-label {\n font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n padding: 0.6rem 1.5rem 0.3rem; display: block;\n}\n.menu-dropdown .drop-sep {\n border: none; border-top: 1px solid rgba(74,144,217,0.08);\n margin: 0.5rem 1.5rem;\n}\n \n.menu-dropdown a.drop-highlight {\n display: flex; align-items: center; justify-content: space-between;\n margin: 0.4rem 0.8rem 0.2rem;\n padding: 0.55rem 1rem;\n background: rgba(201,169,110,0.08);\n border: 1px solid rgba(201,169,110,0.2);\n border-radius: 3px;\n color: #C9A96E;\n font-weight: 600; font-size: 0.78rem;\n transition: all 0.2s;\n}\n.menu-dropdown a.drop-highlight:hover {\n background: rgba(201,169,110,0.18); color: #fff; border-color: rgba(201,169,110,0.45);\n}\n.drop-highlight-arrow { font-size: 0.65rem; opacity: 0.6; margin-left: 8px; }\n \n.menu-dropdown a.drop-sim {\n display: flex; align-items: center; justify-content: space-between;\n margin: 0.25rem 0.8rem;\n padding: 0.5rem 1rem;\n background: rgba(74,144,217,0.06);\n border: 1px solid rgba(74,144,217,0.18);\n border-radius: 3px;\n color: rgba(184,212,240,0.85);\n font-size: 0.78rem;\n transition: all 0.2s;\n}\n.menu-dropdown a.drop-sim:hover {\n background: rgba(74,144,217,0.14); color: #fff; border-color: rgba(74,144,217,0.4);\n}\n.drop-sim-icon { font-size: 0.7rem; opacity: 0.55; margin-left: 8px; }\n.mega-dropdown {\n display: none; position: absolute; top: 100%; left: auto; right: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n width: 680px; padding: 1.5rem; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .mega-dropdown { display: block; }\n.mega-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 0 2rem; }\n.mega-col .drop-label { padding: 0 0 0.3rem; }\n.mega-col .drop-label {\n font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n display: block;\n}\n.mega-col a {\n display: block; padding: 0.35rem 0; font-size: 0.78rem; color: rgba(184,212,240,0.6);\n text-decoration: none; transition: color 0.2s;\n}\n.mega-col a:hover { color: #fff; }\n.mega-col .drop-sep {\n border: none; border-top: 1px solid rgba(74,144,217,0.08);\n}\n.mega-col a.drop-highlight {\n margin: 0.5rem 0 0.2rem; padding: 0.5rem 0.8rem;\n background: rgba(201,169,110,0.08); border: 1px solid rgba(201,169,110,0.2);\n border-radius: 3px; color: #C9A96E; font-weight: 600;\n display: flex; align-items: center; justify-content: space-between;\n}\n.mega-col a.drop-highlight:hover {\n background: rgba(201,169,110,0.18); color: #fff; border-color: rgba(201,169,110,0.45);\n}\n.mega-col a.drop-sim {\n margin: 0.35rem 0; padding: 0.45rem 0.8rem;\n background: rgba(74,144,217,0.06); border: 1px solid rgba(74,144,217,0.18);\n border-radius: 3px; color: rgba(184,212,240,0.85);\n display: flex; align-items: center; justify-content: space-between;\n font-size: 0.78rem;\n}\n.mega-col a.drop-sim:hover {\n background: rgba(74,144,217,0.14); color: #fff; border-color: rgba(74,144,217,0.4);\n}\n\/* \u2500\u2500 BOUTON INVESTISSEURS (CTA primaire, dor\u00e9 plein) \u2500\u2500 *\/\n.menu-investor {\n font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 600;\n letter-spacing: 0.08em; text-transform: uppercase;\n padding: 0.5rem 1.2rem; border-radius: 2px;\n background: #C9A96E; color: #0C1829; border: 1px solid #C9A96E;\n cursor: pointer; transition: all 0.3s; white-space: nowrap; margin-right: 0.6rem;\n text-decoration: none; display: inline-block;\n}\n.menu-investor:hover { background: #d9bd87; border-color: #d9bd87; }\n.preview-hint {\n text-align: center; color: #6b7280; font-family: 'JetBrains Mono', monospace;\n font-size: 0.7rem; padding: 3rem 1rem 1rem; letter-spacing: 0.05em;\n}\n.preview-hint strong { color: #C9A96E; }\n<\/style>\n \n \n \n<div class=\"menu-bar-wrapper\">\n<div class=\"menu-bar\">\n <div class=\"menu-logo\"><span>ORIGIN\u2122<\/span><\/div>\n <div class=\"menu-items\">\n \n <!-- EAS \u00b7 EXPOSITION (entr\u00e9e de premier niveau) -->\n <div class=\"menu-eas-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/\" class=\"menu-eas\">\n EAS \u00b7 EXPOSITION\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-eas\">\n <span class=\"drop-label\">Plateforme CTEM<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/\" class=\"drop-highlight\">\n EAS \u00b7 Exposition externe et interne\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Ce que la plateforme mesure<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#interne\" class=\"drop-sim\">\n P\u00e9rim\u00e8tre interne \u00b7 annuaire LDAP \/ AD\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#gouvernance\" class=\"drop-sim\">\n Gouvernance & trace de d\u00e9cision\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#concurrence\" class=\"drop-sim\">\n Paysage concurrentiel\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#contact\" class=\"drop-highlight\">\n Demander une cartographie\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- AETZU ARROW AI (avec dropdown) -->\n <div class=\"menu-aetzu-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/aetzu-arrow-ai\/\" class=\"menu-aetzu\">\n AETZU ARROW AI\u2122\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-aetzu\">\n <span class=\"drop-label\">AETZU ARROW AI<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/aetzu-arrow-ai\/\" class=\"drop-sim\">\n AETZU ARROW AI\u2122 \u00b7 D\u00e9fense active\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-et-positionnement-2\/\" class=\"drop-highlight\">\n March\u00e9 et positionnement\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- WEB & API (avec dropdown) -->\n <div class=\"menu-webapi-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-idor\/\" class=\"menu-webapi\">\n WEB & API\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-webapi\">\n <span class=\"drop-label\">Web & API<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-idor\/\" class=\"drop-sim\">\n IDOR \u00b7 Passerelle d’autorisation\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/1689-2\/\" class=\"drop-highlight\">\n March\u00e9 et positionnement\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- APP\u00c2T & LEURRE (avec dropdown \u2014 BAITS) -->\n <div class=\"menu-appat-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/appat-leurre-lanterne\/\" class=\"menu-appat\">\n APP\u00c2T & LEURRE\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-appat\">\n <span class=\"drop-label\">Famille App\u00e2t & Leurre<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/appat-leurre-lanterne\/\" class=\"drop-sim\">\n App\u00e2t & Leurre \u00b7 Vue d’ensemble\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/baist\/\" class=\"drop-highlight\">\n BAITS \u00b7 D\u00e9ception active\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-positionnement\/\" class=\"drop-sim\">\n March\u00e9 & positionnement\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- NK (avec dropdown) -->\n <div class=\"menu-cortexnk-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk\/\" class=\"menu-cortexnk\">\n NOYAU NK\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-cortexnk\">\n <span class=\"drop-label\">Famille NK<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk\/\" class=\"drop-sim\">\n NK \u00b7 Micronoyau souverain\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk-3d\/\" class=\"drop-highlight\">\n NK 3D \u00b7 Cybers\u00e9curit\u00e9 active\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Secure Boot<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk-secure-boot\/\" class=\"drop-sim\">\n Secure Boot S1-S10 \u00b7 Module natif\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/secure-boot-tf-a-post-quantique\/\" class=\"drop-highlight\">\n Secure Boot TF-A \u00b7 Post-Quantique\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-et-positionnement\/\" class=\"drop-sim\">\n March\u00e9 & positionnement\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- BENCHMARK & V\u00c9RIFICATION (m\u00e9ga-d\u00e9roulant fusionn\u00e9) -->\n <div class=\"menu-benchmark-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/mttd-benchmark-v2-0-aetzu-arrow-ai\/\" class=\"menu-benchmark\">\n Benchmark\n <\/a>\n <div class=\"mega-dropdown\">\n <div class=\"mega-cols\">\n \n <div class=\"mega-col\">\n <span class=\"drop-label\">D\u00e9monstration<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/demonstration-cortex-nk-2\/\" class=\"drop-highlight\">\n D\u00c9MONSTRATION NK\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Capacit\u00e9s mesur\u00e9es<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cryptographie\/\">Cryptographie<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/secure-boot\/\">Secure Boot<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/auto-containment-2\/\">Auto-Containment<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/audit-log-immuable\/\">Audit Log Immuable<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/attestation-et-orchestration-post-quantique\/\">Mesh v1<\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Tableaux de bord<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/mttd-benchmark-v2-0-aetzu-arrow-ai\/\" class=\"drop-highlight\">\n MTTD Benchmark v2.0\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/1043-2\/\" class=\"drop-highlight\">\n Evaluation Dashboard\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n \n <div class=\"mega-col\">\n <span class=\"drop-label\">CFVL \u2014 Laboratoire formel<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&D<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications & \u00e9valuations<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/827-2\/\">M\u00e9thodologie<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\">Rapport MTTD \/ MTTB<\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Simulations interactives<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/test\/\" class=\"drop-sim\">\n Simulations Attaque\n <span class=\"drop-sim-icon\">\u26a1<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/simulation\/\" class=\"drop-sim\">\n Sch\u00e9ma & Simulations\n <span class=\"drop-sim-icon\">\u25ce<\/span>\n <\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Recherche<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/604-2\/\">AGI Exp\u00e9rimental<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-2\/\">MVP<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\">IA expliqu\u00e9e simplement<\/a>\n <\/div>\n \n <\/div>\n <\/div>\n <\/div>\n \n <!-- INVESTISSEURS -->\n <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires-strategiques\/\" class=\"menu-investor\">Investisseurs<\/a>\n \n <!-- CTA -->\n <a href=\"mailto:press@cortexorigin.com\" style=\"text-decoration:none\">\n <div class=\"menu-cta\">Contact<\/div>\n <\/a>\n \n <\/div>\n<\/div>\n<\/div>\n \n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<div class=\"cr6-wrap\">\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=IBM+Plex+Sans:ital,wght@0,300;0,400;0,500;0,600;1,300;1,400&family=IBM+Plex+Mono:wght@300;400;500&family=IBM+Plex+Serif:ital,wght@0,400;0,500;1,400&display=swap');\n.cr6-wrap{all:initial;display:block;width:100vw;position:relative;left:calc(50% - 50vw);font-family:'IBM Plex Sans','Helvetica Neue',Arial,sans-serif;font-size:15px;line-height:1.6;color:#1A1A2E;background:#FAFAF8;box-sizing:border-box;}\n.cr6-wrap *{box-sizing:border-box;}\n.cr6-hdr{background:#00205B;padding:10px 5%;display:flex;align-items:center;gap:16px;}\n.cr6-num{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:0.2em;color:rgba(255,255,255,0.35);flex-shrink:0;}\n.cr6-label{font-family:'IBM Plex Mono',monospace;font-size:11px;letter-spacing:0.15em;text-transform:uppercase;color:rgba(255,255,255,0.85);font-weight:500;}\n.cr6-line{flex:1;height:1px;background:rgba(255,255,255,0.1);}\n.cr6-sec{padding:52px 5%;background:#FAFAF8;border-bottom:1px solid #D0CEC8;}\n.cr6-title{font-family:'IBM Plex Serif',Georgia,serif;font-size:clamp(26px,3vw,38px);font-weight:500;color:#00205B;margin:0 0 8px 0;line-height:1.15;}\n.cr6-title em{font-style:italic;color:#003F8A;}\n.cr6-desc{font-family:'IBM Plex Sans',sans-serif;font-size:14px;font-weight:300;color:#5A5E70;max-width:760px;line-height:1.8;margin-bottom:36px;}\n.cr6-desc code{font-family:'IBM Plex Mono',monospace;font-size:12px;background:#ECEAE4;padding:1px 6px;border-radius:3px;color:#00205B;}\n.cr6-badge{margin:16px 0 24px;background:linear-gradient(90deg,rgba(176,135,40,0.10) 0%,rgba(176,135,40,0.03) 100%);border-left:4px solid #B08728;padding:16px 22px;display:flex;align-items:center;gap:16px;flex-wrap:wrap;}\n.cr6-badge-icon{font-size:24px;}\n.cr6-badge-body{flex:1;min-width:260px;}\n.cr6-badge-title{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:0.18em;text-transform:uppercase;color:#8A5A00;font-weight:600;margin-bottom:4px;}\n.cr6-badge-text{color:#1A1A2E;font-size:13.5px;line-height:1.55;}\n.cr6-kpi{margin-top:32px;background:linear-gradient(135deg,#00205B 0%,#003F8A 100%);padding:32px 36px;border-left:6px solid #B08728;display:flex;align-items:center;gap:32px;flex-wrap:wrap;}\n.cr6-kpi-block{flex-shrink:0;}\n.cr6-kpi-block.sep{border-left:1px solid rgba(255,255,255,0.2);padding-left:32px;}\n.cr6-kpi-l{font-family:'IBM Plex Mono',monospace;font-size:11px;letter-spacing:0.22em;text-transform:uppercase;color:#B08728;margin-bottom:8px;}\n.cr6-kpi-big{font-family:'IBM Plex Mono',monospace;font-size:56px;font-weight:500;color:#FFFFFF;line-height:1;}\n.cr6-kpi-mid{font-family:'IBM Plex Mono',monospace;font-size:42px;font-weight:500;color:#FFFFFF;line-height:1;}\n.cr6-kpi-u{font-size:24px;color:rgba(255,255,255,0.7);}\n.cr6-kpi-s{font-family:'IBM Plex Mono',monospace;font-size:11px;color:rgba(255,255,255,0.5);margin-top:8px;}\n.cr6-kpi-text{flex:1;min-width:280px;color:rgba(255,255,255,0.85);font-size:14px;line-height:1.7;}\n.cr6-kpi-text strong{color:#FFFFFF;}\n.cr6-h3{font-family:'IBM Plex Serif',Georgia,serif;font-size:24px;font-weight:500;color:#00205B;margin:56px 0 8px 0;line-height:1.15;}\n.cr6-h3 em{font-style:italic;color:#003F8A;}\n.cr6-tw{overflow-x:auto;border:1px solid #D0CEC8;margin-top:0;}\n.cr6-bt{width:100%;border-collapse:collapse;font-family:'IBM Plex Mono',monospace;font-size:12.5px;background:#FFFFFF;}\n.cr6-bt thead tr{background:#00205B;}\n.cr6-bt thead th{padding:12px 16px;font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:0.2em;text-transform:uppercase;color:rgba(255,255,255,0.55);font-weight:400;text-align:left;}\n.cr6-bt thead th.r{text-align:right;}\n.cr6-bt thead th.c{text-align:center;}\n.cr6-bt .grp td{padding:8px 16px;font-family:'IBM Plex Mono',monospace;font-size:9px;letter-spacing:0.24em;text-transform:uppercase;color:#0055B3;font-weight:500;background:#E8EFF8;border-top:1px solid #D0CEC8;border-bottom:1px solid #D0CEC8;}\n.cr6-bt tbody tr{border-bottom:1px solid #ECEAE4;}\n.cr6-bt tbody tr:hover{background:rgba(0,63,138,0.03);}\n.cr6-bt tbody td{padding:9px 16px;color:#1A1A2E;}\n.cr6-bt td.fn{color:#00205B;font-weight:500;}\n.cr6-bt td.std{color:#5A5E70;}\n.cr6-bt td.val{text-align:right;color:#0055B3;font-weight:500;font-size:13.5px;}\n.cr6-bt td.pct{text-align:right;color:#5A5E70;font-size:11px;}\n.cr6-bt td.spr{color:#5A5E70;font-size:11px;}\n.cr6-bt td.c{text-align:center;}\n.cr6-bt .tcbr{background:#FDF0D5;}\n.cr6-bt .tcbr td.fn{color:#8A5A00;}\n.cr6-bt .uniq{background:#E4F3EB;}\n.cr6-bt .uniq td.fn{color:#1A6B3C;}\n.cr6-bt .firstm{background:#FFE9D5;}\n.cr6-bt .firstm td.fn{color:#A04000;}\n.cr6-bt .prodtc{background:#DCF0F2;}\n.cr6-bt .prodtc td.fn{color:#0A5A6B;}\n.cr6-bdg{display:inline-block;font-family:'IBM Plex Mono',monospace;font-size:9px;letter-spacing:0.14em;text-transform:uppercase;padding:2px 7px;border:1px solid;}\n.cr6-bdg.sym{color:#1A6B3C;border-color:rgba(26,107,60,0.3);background:#E4F3EB;}\n.cr6-bdg.pqc{color:#6B2D8C;border-color:rgba(107,45,140,0.3);background:#F0E4F5;}\n.cr6-bdg.fr{color:#8A5A00;border-color:rgba(138,90,0,0.35);background:#FDF0D5;}\n.cr6-bdg.ct{color:#003F8A;border-color:rgba(0,63,138,0.35);background:#E8EFF8;}\n.cr6-bdg.used{color:#1A6B3C;border-color:rgba(26,107,60,0.3);background:#E4F3EB;}\n.cr6-bdg.cat{color:#5A5E70;border-color:rgba(90,94,112,0.3);background:#ECEAE4;}\n.cr6-bdg.uniqb{color:#1A6B3C;border-color:rgba(26,107,60,0.5);background:#E4F3EB;font-weight:500;}\n.cr6-bdg.firstb{color:#A04000;border-color:rgba(160,64,0,0.5);background:#FFE9D5;font-weight:500;}\n.cr6-bdg.prodb{color:#0A5A6B;border-color:rgba(10,90,107,0.55);background:#DCF0F2;font-weight:500;}\n.cr6-bdg.out{color:#9A9AA0;border-color:rgba(154,154,160,0.35);background:#F2F1ED;}\n.cr6-term{margin-top:36px;background:#00205B;color:rgba(255,255,255,0.85);padding:24px 28px;font-family:'IBM Plex Mono',monospace;font-size:12px;line-height:1.9;overflow-x:auto;}\n.cr6-term .tp{color:rgba(255,255,255,0.35);}\n.cr6-term .tc{color:#FFFFFF;}\n.cr6-term .to{color:rgba(255,255,255,0.4);}\n.cr6-term .th{color:#FFD080;font-weight:500;}\n.cr6-term .tok{color:#6DD98A;}\n.cr6-term .tw2{color:#FFB347;}\n.cr6-term .tprod{color:#7FE3F0;font-weight:500;}\n.cr6-nota{margin-top:16px;padding:12px 16px;background:#F5EDD5;border-left:3px solid #B08728;font-family:'IBM Plex Sans',sans-serif;font-size:12.5px;font-weight:300;color:#8A5A00;line-height:1.65;}\n.cr6-nota strong{font-weight:500;color:#8A5A00;}\n.cr6-leg{margin-top:10px;font-family:'IBM Plex Mono',monospace;font-size:10.5px;color:#5A5E70;line-height:1.7;}\n.cr6-leg strong{color:#0A5A6B;font-weight:500;}\n<\/style>\n \n<!-- HEADER SECTION -->\n<div class=\"cr6-hdr\"><div class=\"cr6-num\">06<\/div><div class=\"cr6-line\"><\/div><div class=\"cr6-label\">Stack crypto CORTEX NK\u2122 \u2014 16 primitives prouv\u00e9es CT et benchmark\u00e9es \u00b7 TCB crypto 12\/12 sur toolchain de prod<\/div><div class=\"cr6-line\"><\/div><\/div>\n \n<div class=\"cr6-sec\">\n <h3 class=\"cr6-title\">Cryptographie <em>16 prouv\u00e9es CT \u00b7 TCB crypto 12\/12 sur le binaire livr\u00e9<\/em><\/h3>\n \n <!-- Bandeau dor\u00e9 -->\n <div class=\"cr6-badge\">\n <span class=\"cr6-badge-icon\">\ud83d\udd10<\/span>\n <div class=\"cr6-badge-body\">\n <div class=\"cr6-badge-title\">Preuve sur le binaire livr\u00e9 \u00b7 v\u00e9rifiable en data room<\/div>\n <div class=\"cr6-badge-text\">\n <strong>Le TCB cryptographique de CORTEX NK\u2122 est int\u00e9gralement prouv\u00e9 Constant-Time sur la toolchain de production exacte<\/strong> (gcc-aarch64-elf 16.1.0 -O2 bare-metal) : les 12 primitives crypto du TCB BL2 sont prouv\u00e9es CT au niveau binaire sur le binaire r\u00e9ellement livr\u00e9, et non sur une simple toolchain d’analyse. Aucun autre micronoyau formellement v\u00e9rifi\u00e9 (seL4, Muen, ProvenCore, PikeOS, Green Hills INTEGRITY, CertiKOS) ne publie une preuve CT au binaire sur sa toolchain de production, coupl\u00e9e \u00e0 un TCB minimal (2 287 LOC, \u00d73,8 plus petit que seL4).\n <\/div>\n <\/div>\n <\/div>\n \n <p class=\"cr6-desc\">Stack crypto CORTEX NK\u2122 : <strong>16 primitives BINAIRE prouv\u00e9es Constant-Time<\/strong> au niveau binaire ARM64 + x86-64 via Binsec\/Rel (m\u00e9thodologie CT-slice + composition stricte HACL*), dont <strong>l’int\u00e9gralit\u00e9 des 12 primitives du TCB cryptographique BL2 re-prouv\u00e9es sur la toolchain de production exacte<\/strong> (gcc-aarch64-elf -O2 bare-metal \u2014 campagne CFVL-BINSEC-039\/040\/041). Les 16 primitives prouv\u00e9es CT sont en outre <strong>toutes benchmark\u00e9es en performance<\/strong> (impl\u00e9mentation HACL*, Tableau 3) ; <strong>+ 8 primitives mesur\u00e9es via liboqs 0.10.1 + libsodium<\/strong> dont 5 PQC additionnelles. Standards FIPS 203\/204\/205 + Round 4 NIST (BIKE, HQC). Mesures sur Apple Silicon \u00b7 clang -O2 \u00b7 N=1000 \u00b7 CLOCK_MONOTONIC_RAW. <strong>HQC-256 (Round 4 NIST, candidat fran\u00e7ais INRIA\/UVSQ) inclus et mesur\u00e9.<\/strong> 36 rapports CFVL-BINSEC \u00b7 20 661 lignes d’\u00e9vidence formelle CT\/NI reproductible (snapshot Sprints 65-88 ; \u00e9vidence \u00e9tendue depuis : BINSEC-039 \u00e0 045).<\/p>\n \n <!-- KPI banner -->\n <div class=\"cr6-kpi\">\n <div class=\"cr6-kpi-block\">\n <div class=\"cr6-kpi-l\">Primitives BINAIRE CT<\/div>\n <div class=\"cr6-kpi-big\">16<\/div>\n <div class=\"cr6-kpi-s\">Binsec\/Rel \u00b7 cross-arch \u00b7 72+ preuves<\/div>\n <\/div>\n <div class=\"cr6-kpi-block sep\">\n <div class=\"cr6-kpi-l\">TCB crypto sur toolchain de PROD<\/div>\n <div class=\"cr6-kpi-big\">12\/12<\/div>\n <div class=\"cr6-kpi-s\">gcc-O2 bare-metal \u00b7 binaire BL2 livr\u00e9<\/div>\n <\/div>\n <div class=\"cr6-kpi-block sep\">\n <div class=\"cr6-kpi-l\">Primitives prouv\u00e9es CT \u2014 toutes benchmark\u00e9es<\/div>\n <div class=\"cr6-kpi-big\">16<\/div>\n <div class=\"cr6-kpi-s\">perf HACL* (Tableau 3) \u00b7 + 8 r\u00e9f. liboqs\/libsodium (dont 5 PQC)<\/div>\n <\/div>\n <div class=\"cr6-kpi-text\">\n <strong>Double approche audit-grade.<\/strong> Les preuves CT BINAIRE garantissent math\u00e9matiquement l’absence de fuite par canal temporel au niveau machine. <strong>Point distinctif : les 12 primitives du TCB cryptographique sont prouv\u00e9es Constant-Time sur la toolchain de production exacte<\/strong> \u2014 la preuve porte sur le binaire r\u00e9ellement livr\u00e9, pas sur une toolchain d’analyse. <strong>HQC-256, candidat souverain fran\u00e7ais INRIA\/UVSQ, mesur\u00e9 \u00e0 4,72 ms en encapsulation ; ChaCha20-Poly1305 le plus rapide \u00e0 310,90 ns.<\/strong>\n <\/div>\n <\/div>\n \n <!-- TABLEAU 1 : 8 primitives benchmark\u00e9es -->\n <h3 class=\"cr6-h3\">Tableau 1 \u2014 <em>8 primitives benchmark\u00e9es performance<\/em><\/h3>\n <p class=\"cr6-desc\">Mesures temporelles r\u00e9elles via liboqs 0.10.1 + libsodium \u00b7 N=1000 \u00b7 CLOCK_MONOTONIC_RAW \u00b7 mean\/p50\/p95\/p99. Standards FIPS 203\/204\/205 + Round 4 NIST.<\/p>\n <div class=\"cr6-tw\"><table class=\"cr6-bt\">\n <thead><tr><th>Primitive<\/th><th>Standard \/ source<\/th><th class=\"r\">mean<\/th><th class=\"c\">Classe<\/th><\/tr><\/thead>\n <tbody>\n <tr class=\"grp\"><td colspan=\"4\">Cryptographie sym\u00e9trique et d\u00e9rivation<\/td><\/tr>\n <tr><td class=\"fn\">ChaCha20-Poly1305<\/td><td class=\"std\">RFC 8439 \u00b7 libsodium \u00b7 encrypt 64B<\/td><td class=\"val\">310,90 ns<\/td><td class=\"c\"><span class=\"cr6-bdg sym\">AEAD<\/span><\/td><\/tr>\n <tr><td class=\"fn\">HMAC-SHA256<\/td><td class=\"std\">RFC 2104 \u00b7 libsodium \u00b7 64B input<\/td><td class=\"val\">2 787,50 ns<\/td><td class=\"c\"><span class=\"cr6-bdg sym\">MAC<\/span><\/td><\/tr>\n <tr><td class=\"fn\">HKDF-SHA256<\/td><td class=\"std\">RFC 5869 \u00b7 Extract + Expand 32B<\/td><td class=\"val\">3 805,84 ns<\/td><td class=\"c\"><span class=\"cr6-bdg sym\">KDF<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"4\">Post-quantique \u2014 encapsulation (KEM)<\/td><\/tr>\n <tr><td class=\"fn\">ML-KEM-1024<\/td><td class=\"std\">FIPS 203 \u00b7 NIST PQC \u00b7 encaps<\/td><td class=\"val\">29,45 \u00b5s<\/td><td class=\"c\"><span class=\"cr6-bdg pqc\">PQC<\/span><\/td><\/tr>\n <tr><td class=\"fn\">BIKE-L3<\/td><td class=\"std\">Round 4 NIST \u00b7 diversification \u00b7 encaps<\/td><td class=\"val\">1 326,91 \u00b5s<\/td><td class=\"c\"><span class=\"cr6-bdg pqc\">PQC<\/span><\/td><\/tr>\n <tr class=\"tcbr\"><td class=\"fn\">HQC-256 \ud83c\uddeb\ud83c\uddf7<\/td><td class=\"std\">Round 4 NIST \u00b7 INRIA France \u00b7 encaps<\/td><td class=\"val\">4 720,30 \u00b5s<\/td><td class=\"c\"><span class=\"cr6-bdg fr\">PQC \u00b7 FR<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"4\">Post-quantique \u2014 signature<\/td><\/tr>\n <tr><td class=\"fn\">ML-DSA-87<\/td><td class=\"std\">FIPS 204 \u00b7 NIST PQC \u00b7 sign<\/td><td class=\"val\">494,96 \u00b5s<\/td><td class=\"c\"><span class=\"cr6-bdg pqc\">PQC<\/span><\/td><\/tr>\n <tr><td class=\"fn\">SLH-DSA-256s<\/td><td class=\"std\">FIPS 205 \u00b7 r\u00e9serve ultime \u00b7 sign<\/td><td class=\"val\">481,94 ms<\/td><td class=\"c\"><span class=\"cr6-bdg pqc\">PQC<\/span><\/td><\/tr>\n <\/tbody>\n <\/table><\/div>\n \n <!-- TABLEAU 2 : 16 primitives BINAIRE CT -->\n <h3 class=\"cr6-h3\">Tableau 2 \u2014 <em>16 primitives BINAIRE prouv\u00e9es Constant-Time<\/em><\/h3>\n <p class=\"cr6-desc\">Preuves formelles de Constant-Time au niveau binaire ARM64 + x86-64 via <strong>Binsec\/Rel<\/strong>. M\u00e9thodologie CT-slice + composition stricte HACL* INRIA Prosecco. Reproductibilit\u00e9 via data room \/ sur demande. 36 rapports CFVL-BINSEC associ\u00e9s (snapshot Sprints 65-88).<\/p>\n <div class=\"cr6-tw\"><table class=\"cr6-bt\">\n <thead><tr><th>Primitive<\/th><th>Usage production<\/th><th class=\"r\">Sprint \u00b7 CFVL<\/th><th class=\"c\">Statut<\/th><th class=\"c\">Toolchain PROD<\/th><\/tr><\/thead>\n <tbody>\n <tr class=\"grp\"><td colspan=\"5\">Hashage \u2014 SHA \/ Keccak<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA-256 (1 bloc)<\/td><td class=\"std\">TLS, JWT, signatures<\/td><td class=\"spr\">S65 \u00b7 BINSEC-009<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA-256 multi-bloc (4 bl.)<\/td><td class=\"std\">Hachage volumes<\/td><td class=\"spr\">S83 \u00b7 BINSEC-025<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA-512 (2 blocs)<\/td><td class=\"std\">RFC 6234, certificats<\/td><td class=\"spr\">S84 \u00b7 BINSEC-027<\/td><td class=\"c\"><span class=\"cr6-bdg cat\">CATALOGUE<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA-3 \/ Keccak-256<\/td><td class=\"std\">Ethereum, NIST SP 800-185<\/td><td class=\"spr\">S69 \u00b7 BINSEC-013<\/td><td class=\"c\"><span class=\"cr6-bdg cat\">CATALOGUE<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">Authentification de messages (MAC)<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HMAC-SHA-256<\/td><td class=\"std\">TLS, JWT, capability MAC<\/td><td class=\"spr\">S66 \u00b7 BINSEC-010<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HMAC-SHA-512<\/td><td class=\"std\">IPsec, signatures longues<\/td><td class=\"spr\">S84 \u00b7 BINSEC-028<\/td><td class=\"c\"><span class=\"cr6-bdg cat\">CATALOGUE<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HMAC-BLAKE2b-32<\/td><td class=\"std\">Argon2, WireGuard<\/td><td class=\"spr\">S83 \u00b7 BINSEC-026<\/td><td class=\"c\"><span class=\"cr6-bdg cat\">CATALOGUE<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr><td class=\"fn\">Poly1305-32<\/td><td class=\"std\">AEAD authentication (userspace)<\/td><td class=\"spr\">S67 \u00b7 BINSEC-011<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg out\">hors TCB<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">Chiffrement et AEAD<\/td><\/tr>\n <tr><td class=\"fn\">ChaCha20<\/td><td class=\"std\">Chiffrement flux \u2014 userspace<\/td><td class=\"spr\">S68 \u00b7 BINSEC-012<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg out\">hors TCB<\/span><\/td><\/tr>\n <tr><td class=\"fn\">ChaCha20-Poly1305 AEAD<\/td><td class=\"std\">TLS 1.3, WireGuard, Signal \u2014 userspace<\/td><td class=\"spr\">S79 \u00b7 BINSEC-022<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg out\">hors TCB<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">D\u00e9rivation de cl\u00e9 (KDF)<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HKDF-extract \/ SHA-256<\/td><td class=\"std\">D\u00e9rivation cl\u00e9s TLS 1.3<\/td><td class=\"spr\">S70 \u00b7 BINSEC-014<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HKDF-expand \/ SHA-256<\/td><td class=\"std\">D\u00e9rivation cl\u00e9s TLS 1.3<\/td><td class=\"spr\">S77-B \u00b7 BINSEC-021<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HKDF-expand \/ SHA-512<\/td><td class=\"std\">KDF haute s\u00e9curit\u00e9<\/td><td class=\"spr\">S85.1 \u00b7 BINSEC-029<\/td><td class=\"c\"><span class=\"cr6-bdg cat\">CATALOGUE<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">Asym\u00e9trique \u2014 \u00e9change de cl\u00e9, signature, PQC<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">Ed25519 SIGN \ud83d\udd12<\/td><td class=\"std\">Secure Boot, signatures TLS \/ JWT<\/td><td class=\"spr\">S89 \u00b7 BINSEC-039<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">X25519 ECDH \u2b50<\/td><td class=\"std\">TLS 1.3, WireGuard, Signal, SSH<\/td><td class=\"spr\">S85.2 \u00b7 BINSEC-030\/041<\/td><td class=\"c\"><span class=\"cr6-bdg used\">UTILIS\u00c9E<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg prodb\">\u2713 PROD<\/span><\/td><\/tr>\n <tr class=\"firstm\"><td class=\"fn\">FrodoKEM-64 KEM \ud83d\udd2c<\/td><td class=\"std\">Recherche \u00b7 variante test (prod 640 \u2192 BINSEC-045)<\/td><td class=\"spr\">S88 \u00b7 BINSEC-036<\/td><td class=\"c\"><span class=\"cr6-bdg firstb\">CT BINAIRE (n=64)<\/span><\/td><td class=\"c\"><span class=\"cr6-bdg out\">hors TCB<\/span><\/td><\/tr>\n <\/tbody>\n <\/table><\/div>\n <div class=\"cr6-leg\">\n Colonne <strong>Toolchain PROD<\/strong> \u2014 <strong>\u2713 PROD<\/strong> : primitive du TCB crypto BL2 prouv\u00e9e CT sur la toolchain de production exacte (gcc-aarch64-elf -O2 bare-metal, binaire livr\u00e9) \u00b7 <strong>hors TCB<\/strong> : primitive userspace ou variante-test (preuve CT au binaire sur toolchain d’analyse, hors des 12 primitives du TCB crypto BL2). Bilan : <strong>12 \/ 12 du TCB cryptographique prouv\u00e9es sur le binaire livr\u00e9<\/strong> (vagues CFVL-BINSEC-039 \/ 040 \/ 041).\n <\/div>\n \n <!-- TABLEAU 3 : perf mesuree HACL* -->\n <h3 class=\"cr6-h3\">Tableau 3 \u2014 <em>performance mesur\u00e9e des primitives prouv\u00e9es CT<\/em><\/h3>\n <p class=\"cr6-desc\">Mesure de l’impl\u00e9mentation <strong>HACL*<\/strong> \u2014 celle prouv\u00e9e CT au Tableau 2 \u2014 sur le m\u00eame rig que le Tableau 1 : Apple Silicon M2 \u00b7 clang -O2 \u00b7 CLOCK_MONOTONIC_RAW \u00b7 warmup 1 000 + 10 000 mesures \u00b7 mean \/ p99. FrodoKEM mesur\u00e9 au param\u00e8tre de production 640 (le n=64 du Tableau 2 est une variante de test, non benchmark\u00e9e). R\u00e9f. CFVL-BENCH-CT16-001 v0.1.<\/p>\n <div class=\"cr6-tw\"><table class=\"cr6-bt\">\n <thead><tr><th>Primitive (impl HACL*)<\/th><th>Entr\u00e9e<\/th><th class=\"r\">mean<\/th><th class=\"r\">p99<\/th><th class=\"c\">unit\u00e9<\/th><\/tr><\/thead>\n <tbody>\n <tr class=\"grp\"><td colspan=\"5\">Hashage<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA-256<\/td><td class=\"std\">64 B<\/td><td class=\"val\">485<\/td><td class=\"pct\">625<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA-256 (4 blocs)<\/td><td class=\"std\">256 B<\/td><td class=\"val\">1 196<\/td><td class=\"pct\">1 459<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA-512 (2 blocs)<\/td><td class=\"std\">128 B<\/td><td class=\"val\">588<\/td><td class=\"pct\">666<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">SHA3-256<\/td><td class=\"std\">64 B<\/td><td class=\"val\">764<\/td><td class=\"pct\">834<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"grp\"><td colspan=\"5\">Authentification de messages (MAC)<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HMAC-SHA-256<\/td><td class=\"std\">64 B<\/td><td class=\"val\">1 022<\/td><td class=\"pct\">1 084<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HMAC-SHA-512<\/td><td class=\"std\">64 B<\/td><td class=\"val\">968<\/td><td class=\"pct\">1 041<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HMAC-BLAKE2b<\/td><td class=\"std\">64 B<\/td><td class=\"val\">593<\/td><td class=\"pct\">667<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr><td class=\"fn\">Poly1305<\/td><td class=\"std\">64 B<\/td><td class=\"val\">72<\/td><td class=\"pct\">125<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"grp\"><td colspan=\"5\">Chiffrement et AEAD (userspace)<\/td><\/tr>\n <tr><td class=\"fn\">ChaCha20<\/td><td class=\"std\">1 KiB<\/td><td class=\"val\">1 437<\/td><td class=\"pct\">1 542<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr><td class=\"fn\">ChaCha20-Poly1305 enc<\/td><td class=\"std\">1 KiB<\/td><td class=\"val\">2 228<\/td><td class=\"pct\">2 292<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"grp\"><td colspan=\"5\">D\u00e9rivation de cl\u00e9 (KDF)<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HKDF-extract \/ SHA-256<\/td><td class=\"std\">32 B<\/td><td class=\"val\">709<\/td><td class=\"pct\">750<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HKDF-expand \/ SHA-256<\/td><td class=\"std\">32\u219232 B<\/td><td class=\"val\">717<\/td><td class=\"pct\">791<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">HKDF-expand \/ SHA-512<\/td><td class=\"std\">32\u219232 B<\/td><td class=\"val\">933<\/td><td class=\"pct\">1 000<\/td><td class=\"c\">ns<\/td><\/tr>\n <tr class=\"grp\"><td colspan=\"5\">Asym\u00e9trique<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">Ed25519 sign<\/td><td class=\"std\">msg 32 B<\/td><td class=\"val\">38,33<\/td><td class=\"pct\">56,46<\/td><td class=\"c\">\u00b5s<\/td><\/tr>\n <tr class=\"prodtc\"><td class=\"fn\">X25519 scalarmult<\/td><td class=\"std\">1 op<\/td><td class=\"val\">26,82<\/td><td class=\"pct\">36,25<\/td><td class=\"c\">\u00b5s<\/td><\/tr>\n <tr class=\"grp\"><td colspan=\"5\">Post-quantique \u2014 FrodoKEM-640 (liboqs, hors TCB)<\/td><\/tr>\n <tr class=\"firstm\"><td class=\"fn\">FrodoKEM-640 keygen<\/td><td class=\"std\">n=640<\/td><td class=\"val\">1 233<\/td><td class=\"pct\">1 414<\/td><td class=\"c\">\u00b5s<\/td><\/tr>\n <tr class=\"firstm\"><td class=\"fn\">FrodoKEM-640 encaps<\/td><td class=\"std\">n=640<\/td><td class=\"val\">1 367<\/td><td class=\"pct\">1 458<\/td><td class=\"c\">\u00b5s<\/td><\/tr>\n <tr class=\"firstm\"><td class=\"fn\">FrodoKEM-640 decaps<\/td><td class=\"std\">n=640<\/td><td class=\"val\">1 360<\/td><td class=\"pct\">1 466<\/td><td class=\"c\">\u00b5s<\/td><\/tr>\n <\/tbody>\n <\/table><\/div>\n <div class=\"cr6-nota\">\n <strong>Lecture.<\/strong> Mesure de <strong>performance<\/strong> de l’impl\u00e9mentation HACL* r\u00e9ellement livr\u00e9e (celle prouv\u00e9e CT au Tableau 2), sur host dev Apple Silicon \u2014 <em>distincte<\/em> de la cible bare-metal aarch64-elf de production, et sans rapport avec le statut CT\/TCB (12\/12 inchang\u00e9). Pour les 3 primitives communes au Tableau 1 (ChaCha20-Poly1305, HMAC-SHA256, HKDF), le Tableau 1 reporte la r\u00e9f\u00e9rence <strong>libsodium<\/strong> et ce tableau l’impl\u00e9mentation <strong>HACL*<\/strong> livr\u00e9e \u2014 les \u00e9carts refl\u00e8tent des impl\u00e9mentations et des tailles d’entr\u00e9e distinctes (\u00e0 64 B, HMAC-SHA256 HACL* est m\u00eame plus rapide que la r\u00e9f\u00e9rence libsodium). R\u00e9f. <strong>CFVL-BENCH-CT16-001 v0.1<\/strong>, v\u00e9rifiable en data room.\n <\/div>\n \n <!-- Terminal -->\n <div class=\"cr6-term\">\n <div><span class=\"tp\">$<\/span> <span class=\"tc\">clang -O2 -o bench_nk_crypto bench_nk_crypto.c -loqs -lsodium -lcrypto && .\/bench_nk_crypto<\/span><\/div>\n <div class=\"tp\">===========================================================================<\/div>\n <div class=\"tp\"> Stack crypto CORTEX NK \u2014 16 BINAIRE CT (toutes benchmark\u00e9es, Tab.3) + 8 r\u00e9f liboqs<\/div>\n <div class=\"tp\">===========================================================================<\/div>\n <div><span class=\"tok\">[1\/2] 16 primitives BINAIRE prouv\u00e9es Constant-Time (Binsec\/Rel)<\/span><\/div>\n <div><span class=\"to\"> SHA-256 (1bl, 4bl) \u00b7 SHA-512 \u00b7 SHA-3\/Keccak-256<\/span><\/div>\n <div><span class=\"to\"> HMAC-SHA-256 \u00b7 HMAC-SHA-512 \u00b7 HMAC-BLAKE2b \u00b7 Poly1305<\/span><\/div>\n <div><span class=\"to\"> ChaCha20 \u00b7 ChaCha20-Poly1305 AEAD<\/span><\/div>\n <div><span class=\"to\"> HKDF-extract \u00b7 HKDF-expand SHA256 \u00b7 HKDF-expand SHA512<\/span><\/div>\n <div><span class=\"to\"> Ed25519 SIGN \u00b7 X25519 ECDH<\/span><\/div>\n <div class=\"tp\"> \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/div>\n <div><span class=\"tprod\"> \u2713 12\/12 du TCB CRYPTO prouv\u00e9es sur TOOLCHAIN DE PROD (gcc-O2 baremetal, vagues 0+1+2)<\/span><\/div>\n <div><span class=\"th\"> X25519 \u2b50 CT au binaire (toolchain prod) \u00b7 FrodoKEM CT au binaire (n=64 \u2192 prod 640, BINSEC-045)<\/span><\/div>\n <div class=\"tp\"> \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/div>\n <div><span class=\"tok\">[2\/2] 8 primitives benchmark\u00e9es performance<\/span><\/div>\n <div><span class=\"to\"> Primitive \u2502 mean \u2502 unit<\/span><\/div>\n <div><span class=\"to\"> \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/span><\/div>\n <div><span class=\"to\"> ChaCha20-Poly1305 encrypt 64B \u2502 <\/span><span class=\"th\"> 310,90<\/span><span class=\"to\"> \u2502 ns<\/span><\/div>\n <div><span class=\"to\"> HMAC-SHA256 64B \u2502 <\/span><span class=\"th\"> 2 787,50<\/span><span class=\"to\"> \u2502 ns<\/span><\/div>\n <div><span class=\"to\"> HKDF-SHA256 Extract+Expand 32B \u2502 <\/span><span class=\"th\"> 3 805,84<\/span><span class=\"to\"> \u2502 ns<\/span><\/div>\n <div><span class=\"to\"> ML-KEM-1024 encaps [FIPS 203] \u2502 <\/span><span class=\"tw2\"> 29,45<\/span><span class=\"to\"> \u2502 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> ML-DSA-87 sign [FIPS 204] \u2502 <\/span><span class=\"tw2\"> 494,96<\/span><span class=\"to\"> \u2502 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> BIKE-L3 encaps [Round 4] \u2502 <\/span><span class=\"tw2\"> 1 326,91<\/span><span class=\"to\"> \u2502 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> HQC-256 encaps \ud83c\uddeb\ud83c\uddf7 [Round 4] \u2502 <\/span><span class=\"tw2\"> 4 720,30<\/span><span class=\"to\"> \u2502 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> SLH-DSA-256s sign [FIPS 205] \u2502 <\/span><span class=\"tw2\"> 481,94<\/span><span class=\"to\"> \u2502 ms<\/span><\/div>\n <div class=\"tp\">===========================================================================<\/div>\n <div class=\"tok\">\u2705 16\/16 preuves CT BINAIRE PASS \u00b7 8\/8 benchmarks PASS \u00b7 0 crash<\/div>\n <div class=\"tprod\">\u2705 12\/12 du TCB CRYPTO prouv\u00e9es sur toolchain de PROD \u2014 couverture int\u00e9grale<\/div>\n <div class=\"tok\">\u2705 36 rapports CFVL-BINSEC \u00b7 20 661 lignes \u00e9vidence CT\/NI (snapshot 65-88)<\/div>\n <\/div>\n \n <!-- Note strat\u00e9gique -->\n <div class=\"cr6-nota\">\n <strong>Lecture audit-grade.<\/strong> CORTEX NK\u2122 publie deux propri\u00e9t\u00e9s cryptographiques compl\u00e9mentaires : (1) <strong>16 primitives BINAIRE prouv\u00e9es Constant-Time<\/strong> via Binsec\/Rel au niveau machine ARM64 + x86-64 ; (2) <strong>les 16 primitives prouv\u00e9es CT sont toutes benchmark\u00e9es en performance<\/strong> (impl HACL*, Tableau 3), compl\u00e9t\u00e9es par <strong>8 primitives mesur\u00e9es via liboqs 0.10.1 + libsodium<\/strong> dont 5 PQC (Apple Silicon \u00b7 N=1000 \u00b7 CLOCK_MONOTONIC_RAW). <strong>Point distinctif : le TCB cryptographique de BL2 \u2014 ses 12 primitives \u2014 est int\u00e9gralement prouv\u00e9 Constant-Time sur la toolchain de production exacte<\/strong> (gcc-aarch64-elf 16.1.0 -O2 bare-metal \u2014 campagne CFVL-BINSEC-039 \/ 040 \/ 041). Les preuves portent sur le binaire r\u00e9ellement livr\u00e9, et non sur une simple toolchain d’analyse \u2014 il n’y a plus d’asym\u00e9trie de toolchain dans le p\u00e9rim\u00e8tre du TCB crypto BL2. <em>Cette propri\u00e9t\u00e9 concerne la propri\u00e9t\u00e9 Constant-Time du TCB cryptographique ; elle ne pr\u00e9juge pas des autres propri\u00e9t\u00e9s du noyau (isolation, non-interf\u00e9rence, WCET), trait\u00e9es par des chantiers distincts.<\/em> Les primitives userspace (ChaCha20, Poly1305, ChaCha20-Poly1305) et la variante-test FrodoKEM-64 sont prouv\u00e9es CT au binaire sur la toolchain d’analyse, hors des 12 primitives du TCB crypto. X25519 ECDH (Sprint 85.2) est prouv\u00e9 CT au binaire sur la toolchain de production exacte (BINSEC-041) ; FrodoKEM est prouv\u00e9 CT au binaire de la variante test n=64 (Sprint 88, BINSEC-036) puis au param\u00e8tre de production FrodoKEM-640 \/ NIST L1 (BINSEC-045) \u2014 v\u00e9rifiables en data room sur demande, compl\u00e9mentaires des travaux Formosa\/libcrux c\u00f4t\u00e9 ML-KEM. <strong>PQC de production (hors TCB) :<\/strong> les noyaux sensibles au secret de ML-KEM-768 (FIPS 203, 10 noyaux, BINSEC-043\/044, <code>compress<\/code> DIV-clean) et de FrodoKEM-640 (NIST L1, 6 noyaux, comparaison FO confirm\u00e9e CT \u2014 correctif GJN2020) sont v\u00e9rifi\u00e9s CT au binaire ARM64 de prod, en analyse ind\u00e9pendante (synth\u00e8ses CFVL-SYNTHESE-MLKEM-001 \/ FRODO-001). Aucun concurrent micronoyau (seL4, ProvenRun, Green Hills, Wind River, SYSGO) ne publie une preuve CT au binaire sur sa toolchain de production.\n <\/div>\n \n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Menu ORIGIN\u2122 ORIGIN\u2122 EAS \u00b7 EXPOSITION Plateforme CTEM EAS \u00b7 Exposition externe et interne \u2197 Ce que la plateforme mesure P\u00e9rim\u00e8tre interne \u00b7 annuaire LDAP \/ AD \u2197 Gouvernance & trace de d\u00e9cision \u2197 Paysage concurrentiel \u2197 Demander une cartographie \u2197 AETZU ARROW AI\u2122 AETZU ARROW AI AETZU ARROW AI\u2122 \u00b7 D\u00e9fense active \u2197 Analyse […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1597","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1597","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/comments?post=1597"}],"version-history":[{"count":17,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1597\/revisions"}],"predecessor-version":[{"id":1926,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1597\/revisions\/1926"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=1597"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}