<?xml version="1.0" encoding="koi8-r"?>
<rss version="0.91">
<channel>
    <title>OpenForum RSS: Криптографический изолятор ITB с формальным доказательством надёжности</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html</link>
    <description>Представлен проект ITB, развивающий симметричный криптографический изолятор, предназначенный для обёртывания стандартных псевдослучайных функций (PRF) и хэш-примитивов (AES, BLAKE2/3, Areion и других) в сцепленный комбинаторный и топологический барьер. В отличие от классических блочных и потоковых режимов шифрования, архитектура ITB нацелена на структурную изоляцию внутреннего примитива, препятствуя распространению дифференциальных и линейных характеристик, алгебраической линеаризации, а также прямых кодировок для решателей SAT/SMT и MILP через границы барьера. Код написан на языке Go с низкоуровневыми оптимизациями на ассемблере для архитектур x86_64 и ARM64 (Aarch64) и распространяется под лицензией Apache 2.0...&lt;br&gt;&lt;br&gt;Подробнее: https://www.opennet.ru/opennews/art.shtml?num=66610&lt;br&gt;</description>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (Sem)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#138</link>
    <pubDate>Tue, 10 Nov 2026 13:27:01 GMT</pubDate>
    <description>Не тратьте свое время на троля&lt;br&gt;</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (everanium)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#137</link>
    <pubDate>Fri, 06 Nov 2026 18:27:33 GMT</pubDate>
    <description>&amp;gt;&amp;gt; Код написан на языке Go &lt;br&gt;&amp;gt; Потом в результате окажется что у него какие-нибудь тупейшие тайминг-атаки из-за этого, &lt;br&gt;&amp;gt; которыми он за полчаса крякается если повезло, и поэтому совсем не &lt;br&gt;&amp;gt; требуется ломиться в запертую дверь...&lt;br&gt;&lt;br&gt;Констант-тайм всё, есть конечно пара исключений на старых процессорах, но у них микрокодовый PEXT/PDEP это Zen 1,2. Не крякается ничего, я с железом всё это предусмотрел, в регистрах и стеке полные очистки никаких тайминг-атак нет.&lt;br&gt;&lt;br&gt;К слову, даже на старых AMD Zen 1/2, где PEXTQ/PDEPQ эмулируются микрокодом, время выполнения микрокода зависит от веса Хэмминга маски (popcount). А в Rank Barrier все маски по построению являются сбалансированными разбиениями со строго константным весом Хэмминга: ровно 16 единичных бит из 48 в 48-битном режиме (и ровно 32 у маски ~m0 в PDEPQ) и суммарно ровно 56 бит из 168 в 168-битном режиме, плюс сами маски одноразовые от скрытого interlock_nonce. На живом Zen 2 (AWS c5a проверялось) 1024 случайные тройки масок и одна фиксированная тройка дают о</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (everanium)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#136</link>
    <pubDate>Fri, 06 Nov 2026 18:23:43 GMT</pubDate>
    <description>&amp;gt; я так и не понял про 16-регистровые - вас кто заставляет на &lt;br&gt;&amp;gt; х86 это писать, да и вообще, кора дуба уже были х64 &lt;br&gt;&amp;gt; + ссе4.1 - хмм7 реально не хватает что ли под ваши &lt;br&gt;&amp;gt; задачи? сэндики 2ххх уже с авх были и 256-битным допом &lt;br&gt;&amp;gt; а если про заявленный битмап2 - так это в комплекте с авх2 &lt;br&gt;&amp;gt; же уже шло вроде, а это ухх15 как минимум, чего у &lt;br&gt;&amp;gt; вас там с стек не убиралось, или вы прям всю логику &lt;br&gt;&amp;gt; в асм что ли?&lt;br&gt;&lt;br&gt;Нет конечно, не вся логика вынесена в ассемблерные ядра, но ITB это не примитив и всё в общем несколько сложнее.&lt;br&gt;&lt;br&gt;Дело в раскладке регистров при пакетной обработке (x4/x8 параллельных линий) и в том, что в ассемблер вынесены не одиночные вызовы примитива, а слитые каскады ChainHash (1..17 раундов каскада по 8..32 компонентам 512..2048-битного сида без возврата в Go).&lt;br&gt;&lt;br&gt;Чтобы не тратить такты на горизонтальные перестановки внутри регистра между колоночными и диагональными раундами в BLAKE2b/2s, BLAKE3 и ChaCha20, ядра работают в транспонированной раскладке (Structure-of-Arrays) с подбором ш</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (Аноним)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#135</link>
    <pubDate>Fri, 06 Nov 2026 14:48:56 GMT</pubDate>
    <description>я так и не понял про 16-регистровые - вас кто заставляет на х86 это писать, да и вообще, кора дуба уже были х64 + ссе4.1 - хмм7 реально не хватает что ли под ваши задачи? сэндики 2ххх уже с авх были и 256-битным допом&lt;br&gt;&lt;br&gt;а если про заявленный битмап2 - так это в комплекте с авх2 же уже шло вроде, а это ухх15 как минимум, чего у вас там с стек не убиралось, или вы прям всю логику в асм что ли?&lt;br&gt;</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (Аноним)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#134</link>
    <pubDate>Fri, 06 Nov 2026 13:20:04 GMT</pubDate>
    <description>&amp;gt; А зачем это всё, если по ssh можно зайти, введя 256 пробелов? &lt;br&gt;&lt;br&gt;Зездочек, Карл! Звездочек :)&lt;br&gt;</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (Аноним)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#133</link>
    <pubDate>Fri, 06 Nov 2026 13:19:33 GMT</pubDate>
    <description>&amp;gt; Код написан на языке Go &lt;br&gt;&lt;br&gt;Потом в результате окажется что у него какие-нибудь тупейшие тайминг-атаки из-за этого, которыми он за полчаса крякается если повезло, и поэтому совсем не требуется ломиться в запертую дверь...&lt;br&gt;</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (Аноним)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#132</link>
    <pubDate>Fri, 06 Nov 2026 09:16:46 GMT</pubDate>
    <description>257&lt;br&gt;</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (Аноним)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#131</link>
    <pubDate>Thu, 05 Nov 2026 21:03:38 GMT</pubDate>
    <description>А зачем это всё, если по ssh можно зайти, введя 256 пробелов? &lt;br&gt;</description>
</item>

<item>
    <title>Криптографический изолятор ITB с формальным доказательством ... (everanium)</title>
    <link>https://www.opennet.ru/openforum/vsluhforumID3/142271.html#130</link>
    <pubDate>Thu, 05 Nov 2026 18:03:45 GMT</pubDate>
    <description>В &quot;пляшущих человечках&quot; (моноалфавитной подстановке) одинаковым символам открытого текста всегда отвечают одинаковые символы шифротекста - в современных шифрах этого, разумеется, нет.&lt;br&gt;&lt;br&gt;Речь в комментарии шла о другом свойстве - о жёсткой позиционной (координатной) привязке в стандартных потоковых и блочных режимах.&lt;br&gt;</description>
</item>

</channel>
</rss>
