Verifiable computing
[ru] Протокол проверяемых вычислений