2
Может ли какая-либо вычислительная задача быть преобразована в доказательство работы?
Казалось бы, бессмысленность майнинга криптовалюты подняла вопрос о полезных альтернативах, см. Эти вопросы на Bitcoin , CST , MO . Интересно, существует ли алгоритм, который может преобразовать практически любую вычислительную задачу (решение которой может быть эффективно проверено) в другую такую задачу (которая используется для проверки работы), такую, чтоCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) …