| We continue to be guided by the visionary action plan for a nuclear-weapon-free and non-violent world presented by Prime Minister Rajiv Gandhi in 1988, which sets out a road map for achieving nuclear disarmament in a time-bound, universal, non-discriminatory, phased and verifiable manner. | Мы по-прежнему руководствуемся прозорливым планом действий, посвященным созданию свободного от ядерного оружия и ненасильственного мира и представленным премьер-министром Радживом Ганди в 1988 году, который служит основой «дорожной карты» для достижения ядерного разоружения с помощью всеобщих, недискриминационных, поэтапных и проверяемых мер с ограниченными сроками. |
| Gennaro et al. defined the notion of verifiable computation scheme as a protocol between two polynomial time parties to collaborate on the computation of a function F: {0,1}n -> {0,1}m. | Дженейро, Гентри и Парно определили протокол проверяемых вычислений как протокол между двумя участниками: клиентом и исполнителем - для вычисления функции F: {0,1}n -> {0,1}m. |