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