Анотація. Запропоновано розв’язання проблеми цілісності арифметичних програм, які виконуються на віддаленому обчислювальному ресурсі. Підхід до розв’язання полягає у заміні арифметичних операцій, таких як множення і ділення, процедурами додавальної машини (addition machine), введеної Р. Флойдом і Д. Кнутом. Обчислення і послідовність команд підписуються динамічним цифровим підписом, що є гомоморфним за додаванням/відніманням. Верифікація цифрових підписів гарантує виявлення будь-яких несанкціонованих змін у вихідному тексті програми і результатах обчислень.

Ключові слова: додавальна машина, цифровий підпис, гомоморфна криптографія.