#криптография

И исследования ·16 июл 2026

Как проверить утверждения о данных, не пересчитывая их самостоятельно

Исследователи из Apple разработали интерактивную систему доказательств, которая позволяет проверить корректность сложного статистического анализа без его полного повторения. Вместо того чтобы самостоятельно обрабатывать все данные, можно проверить утверждения аналитика по небольшой выборке — с гарантией достоверности. Система работает для широкого класса свойств распределений и эффективна как для проверяющей, так и для доказывающей стороны.

0 197
Б безопасность ·13 июл 2026

Microsoft формально верифицирует крипто-код на Rust с помощью Lean и AI-агентов

Microsoft внедряет формальную верификацию криптографических алгоритмов в SymCrypt: код пишут на Rust, доказывают корректность в Lean через инструмент Aeneas, а AI-агенты помогают масштабировать процесс написания доказательств. Уже верифицированы SHA-3 и ML-KEM для постквантовой криптографии, код используется в Windows.

0 82