2
Чи можна будь-який обчислювальний виклик перетворити на перевірку роботи?
Начебто безглуздість видобутку криптовалют поставила питання про корисні альтернативи, див. Ці питання на Bitcoin , CST , MO . Цікаво, чи існує алгоритм, який може перетворити практично будь-який обчислювальний виклик (рішення якого можна перевірити ефективно) в інший такий виклик (який використовується для перевірки роботи) таким, щоCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Функція рандомізована, …