Репортаж от Wedoany，Американская компания American Binary объявила, что все 120 свойств безопасности основного сетевого протокола MaxKyber её корпоративного VPN-продукта Ambit Client получили независимую сертификацию, подтверждённую третьей стороной на соответствие всем требованиям «Коммерческого набора национальных алгоритмов безопасности 2.0» (CNSA 2.0). Проверка была проведена авторитетными экспертами из академических и промышленных кругов, доктором Джо Кинири (Dr. Joe Kiniry, PhD) и доктором Томом Шримптоном (Dr. Tom Shrimpton, PhD), в ходе тщательного частного рецензирования их символьных доказательств (Tamarin + ProVerif) и инженерной документации. Оба эксперта имеют долгую карьеру в академических и промышленных кругах, ранее занимая должность главного научного сотрудника в Galois.
На фоне зарождающихся квантовых угроз и непроверенных решений эта формальная сторонняя проверка отличает MaxKyber от традиционных или гибридных подходов, обеспечивая определённость в инженерной реализации и соответствии требованиям национальной безопасности. MaxKyber обеспечивает долгосрочную всеобъемлющую постквантовую безопасность, в отличие от краткосрочных временных решений, таких как гибридные схемы. Этот результат знаменует переход от предположительной безопасности к проверенной, доказуемой устойчивости, устанавливая новый глобальный стандарт для безопасной связи.
American Binary также подписала контракт с лауреатом премии Тьюринга ACM, пионером криптографии и соавтором протокола обмена ключами Диффи-Хеллмана Уитфилдом Диффи (Whitfield Diffie), назначив его ключевым консультантом. Диффи присоединился к существующим консультантам по криптографии Брюсу Шнайеру (Bruce Schneier) и Брайану Ламаккиа (Brian LaMacchia).
Ключевые столпы безопасности сертификации MaxKyber включают: защиту от атак «собери сейчас, расшифруй позже» (HNDL) путём исключительного использования алгоритмов CNSA 2.0, включая ML-KEM-1024 без каких-либо вариантов классического обмена ключами, для защиты сегодняшних данных от квантовых противников; всеобъемлющую символьную проверку, охватывающую 120 свойств безопасности в 11 ключевых категориях; а также архитектурную стабильность, основанную на проверенных временем и надёжных шаблонах проектирования.
Эта фундаментальная архитектура безопасности приводит к четырём ключевым последствиям. Последствие первое: чёткая безопасность и смягчение атак «собери сейчас, расшифруй позже». MaxKyber достигает окончательной чистоты постквантовой криптографии, используя исключительно постквантовый обмен ключами CNSA 2.0, заменяя обмен ключами Диффи-Хеллмана операциями ML-KEM-1024. MaxKyber эксклюзивно применяет алгоритмы, одобренные CNSA 2.0, а именно ML-KEM-1024 (FIPS 203), AES-256-GCM и SHA-512/256, обеспечивая максимально доступный на сегодняшний день уровень безопасности.
Последствие второе: оптимизированная производительность от мобильных сред с потерей пакетов до высокопроизводительных сценариев. MaxKyber оптимизирует эффективность с помощью «аутентифицированного обмена ключами» (AKE), обеспечивая двустороннюю аутентификацию за один цикл обмена, что значительно снижает сетевую нагрузку. Количественно, по сравнению с неоптимальными решениями, AKE экономит около 4 600 байт за рукопожатие. Один из партнёров провёл бенчмаркинг Ambit Client с MaxKyber и обнаружил, что скорость загрузки на 70% выше, чем у корпоративных VPN с классическим шифрованием. Кроме того, MaxKyber подходит для высокопроизводительных сценариев, таких как рабочие нагрузки ИИ, обработка 3D-моделей и т.д., благодаря векторной обработке пакетов и набору инструментов для разработки плоскости данных, сводя накладные расходы к техническому минимуму.
Последствие третье: экономия затрат на соответствие требованиям. Для директоров по информационной безопасности (CISO) и юридических отделов формальная верификация обеспечивает прозрачное представление безопасности «стеклянного ящика», выходящее за рамки традиционного тестирования. Для партнёров по интеграции символьные доказательства значительно сокращают цикл комплексной проверки, позволяя партнёрам сократить этап исследования, необходимый для новых криптографических реализаций.
Последствие четвёртое: ускорение исследований и разработок. Для инженерных команд, желающих интегрировать или адаптировать эту технологию, документация American Binary предоставляет предварительно проверенную, исчерпывающую и высококачественную документацию, служащую кратчайшим путём к быстрой интеграции. Объём предоставленной документации и формальных моделей беспрецедентен в индустрии VPN, позволяя партнёрам по интеграции сэкономить месяцы или даже годы исследовательских и опытно-конструкторских работ.
American Binary — лидер в области глубокотехнологичной кибербезопасности, специализирующийся на разработке постквантовых криптографических решений CNSA 2.0, обеспечивающих доказуемую основу для безопасной и устойчивой связи в квантовую эпоху.
