| Subject | English | Russian |
| Makarov. | algorithm proof | доказательство правильности алгоритма |
| IT | proof checker algorithm | алгоритм проверки доказательств (gitbook.io Alex_Odeychuk) |
| gen. | proof-of-work algorithm | алгоритм доказательства выполнения работы (технология блокчейн, криптовалюта igorabramov_trans) |