Это вторая часть из трёх частей серии, посвящённой последним результатам в области «верифицируемых вычислений» и возможным подводным камням. Этот пост будет непонятен без контекста, поэтому настоятельно рекомендую начать с первой части. В предыдущем посте мы ввели несколько концепций, включая… Продолжение: Как доказать ложные утверждения? (Часть 2)