ВЫЧИСЛИТЕЛЬНОЕ УСТРОЙСТВО, КОНФИГУРИРУЕМОЕ С ПОМОЩЬЮ ТАБЛИЧНОЙ СЕТИ

1. Вычислительное устройство, выполненное с возможностью вычисления функции (f) данных на входном значении (w) функции, причем устройство содержит электронное хранилище, хранящее первую табличную сеть, сконфигурированную для функции (f) данных,
причем вычислительное устройство содержит электронный процессор, подключенный к хранилищу и выполненный с возможностью получения множественных входов первой таблицы для первой табличной сети, причем множественные входы (x=E(w,s)) первой таблицы включают в себя входное значение (w) функции, и вычисления функции (f) данных путем применения первой табличной сети к множественным входам (x) первой таблицы для создания множественных выходов (u=E(f(w), g(w,s)) первой таблицы, причем множественные выходы (u) первой таблицы включают в себя выходное значение (f(w)) функции, причем выходное значение (f(w)) функции соответствует результату применения функции (f) данных к входному значению (w) функции, в котором
электронное хранилище дополнительно хранит вторую табличную сеть, выполненную с возможностью взаимодействия с первой табличной сетью для противодействия модификациям, вносимым в первую табличную сеть, причем электронный процессор выполнен с возможностью получения множественных входов второй таблицы для второй табличной сети, причем входы второй таблицы включают в себя множественные выходы (u) первой таблицы, и входы второй таблицы совместно используют по меньшей мере один вход с множественными входами (w; s) первой таблицы, и применения второй табличной сети к множественным входам второй таблицы, причем вторая табличная сеть выполнена с возможностью проверки для, по меньшей мере, конкретного одного (f(w) или g(w,s)) из множественных выходов первой таблицы, могла ли немодифицированная первая табличная сеть получить упомянутый конкретный один из множественных выходов (f(w); g(w,s)) первой таблицы из данного по меньшей мере одного из множественных входов (w; s) первой таблицы,
вторая табличная сеть создает выходы (v=E(w', s')) второй таблицы, включающие в себя защищенный выход (w') функции, причем защищенный выход функции равен выходу (f(w)) функции в случае успешной проверки, и защищенный выход (w') функции не равен выходу функции в случае неуспешной проверки для, по меньшей мере, некоторых значений множественных входов первой таблицы.
2. Вычислительное устройство по п. 1, в котором
множественные входы первой таблицы включают в себя входное значение состояния, и множественные выходы первой таблицы включают в себя выходное значение состояния, причем выходное значение состояния равно результату применения функции (g) состояния к входному значению состояния, и
вторая табличная сеть выполнена таким образом, что входы второй таблицы, совместно используемые с множественными входами первой таблицы, включают в себя входное значение состояния, вторая табличная сеть выполнена таким образом, что защищенный выход функции равен выходу (f(w)) функции в случае, когда результат применения функции (g) состояния к входному значению состояния равен значению состояния, включенному во множественные выходы первой таблицы, вводимые во вторую табличную сеть.
3. Вычислительное устройство по п. 1, в котором
первая табличная сеть выполнена с возможностью использовать в качестве входа закодированное входное значение (x), причем закодированное входное значение объединяет входное значение функции с входным значением состояния, совместно зашифрованные в единое значение (x), и
первая табличная сеть выполнена с возможностью создания, в качестве выхода, первого закодированного выходного значения (u=F(x)), причем первое закодированное выходное значение объединяет выходное значение функции с выходным значением состояния, совместно зашифрованные в единое значение, причем выходное значение состояния равно результату применения функции (g) состояния к входному значению состояния,
вторая табличная сеть выполнена с возможностью использовать в качестве входа первое закодированное выходное значение (u) первой табличной сети и по меньшей мере одно из входного значения состояния и входного значения функции, причем вторая табличная сеть выполнена с возможностью создания, в качестве выхода, второго закодированного выходного значения (v), причем закодированное выходное значение содержит защищенный выход функции.
4. Вычислительное устройство по п. 3, в котором вторая табличная сеть выполнена с возможностью создания, в качестве выхода, второго закодированного выходного значения (v), причем закодированное выходное значение объединяет защищенное выходное значение функции с защищенным выходным значением состояния, совместно зашифрованные в единое значение, причем защищенное выходное значение состояния равно результату применения перестановки состояний к выходному значению состояния.
5. Вычислительное устройство по п. 2, в котором вторая табличная сеть содержит сеть таблиц состояний и сеть таблиц совмещения, причем таблица состояний сконфигурирована для функции состояния, процессор выполнен с возможностью применения таблицы состояний к входному значению состояния для получения параллельного выходного значения состояния, сеть таблиц совмещения выполнена с возможностью принимать в качестве входа, по меньшей мере, параллельное выходное значение состояния и выходное значение состояния, принятое от первой табличной сети.
6. Вычислительное устройство по п. 2, в котором вторая табличная сеть содержит модифицированную таблицу состояний и сеть таблиц совмещения, таблица состояний выполнена с возможностью принимать в качестве входа входное значение состояния и вычислять модифицированное значение состояния, причем модифицированное значение состояния равно результату применения функции состояния к входному значению состояния, а затем дополнительной функции состояния, сеть таблиц совмещения выполнена с возможностью использовать в качестве входа выходное значение состояния и модифицированное выходное значение состояния и проверять, что дополнительная функция состояния, применяемая к выходному значению состояния, дает модифицированное выходное значение состояния.
7. Вычислительное устройство по п. 5, в котором параллельно поддерживаются закодированная переменная, содержащая в закодированной форме значение функции и значение состояния, и переменная состояния.
8. Вычислительное устройство по п. 1, в котором вторая табличная сеть выполнена с возможностью использовать в качестве входа входное значение функции, вторая табличная сеть выполнена таким образом, что защищенный выход функции равен выходу (f(w)) функции в случае, когда результат применения функции (f) данных к входному значению функции равен выходному значению функции, закодированному в первом закодированном выходном значении (u).
9. Компилятор, выполненный с возможностью приема функции данных и создания первой и второй табличной сети, в котором
первая табличная сеть выполнена с возможностью принимать множественные входы первой таблицы для первой табличной сети, причем множественные входы (x=E(w,s)) первой таблицы включают в себя входное значение (w) функции, и создавать множественные выходы (u=E(f(w), g(w,s))) первой таблицы, причем множественные выходы (u) первой таблицы включают в себя выходное значение (f(w)) функции, причем выходное значение (f(w)) функции соответствует результату применения функции (f) данных к входному значению (w) функции, в котором
вторая табличная сеть выполнена с возможностью взаимодействия с первой табличной сетью для противодействия модификациям, вносимым в первую табличную сеть, вторая табличная сеть выполнена с возможностью принимать множественные входы второй таблицы, причем входы второй таблицы включают в себя множественные выходы (u) первой таблицы, и входы второй таблицы совместно используют по меньшей мере один вход с множественными входами (w или s) первой таблицы, причем вторая табличная сеть выполнена с возможностью проверки для, по меньшей мере, конкретного одного (f(w) или g(w,s)) из множественных выходов первой таблицы, могла ли немодифицированная первая табличная сеть получить упомянутый конкретный один из множественных выходов (f(w) или g(w,s)) первой таблицы из данного по меньшей мере одного из множественных входов (w или s) первой таблицы,
вторая табличная сеть создает выходы (v=E(w', s')) второй таблицы, включающие в себя защищенный выход (w') функции, причем защищенный выход функции равен выходу (f(w)) функции в случае успешной проверки, и защищенный выход (w') функции не равен выходу функции в случае неуспешной проверки для, по меньшей мере, некоторых значений множественных входов первой таблицы.
10. Электронный способ вычисления функции (f) данных на входном значении (w) функции, содержащий этапы, на которых:
сохраняют в электронном хранилище первую табличную сеть, сконфигурированную для функции (f) данных,
получают множественные входы первой таблицы для первой табличной сети, причем множественные входы (x=E(w,s)) первой таблицы включают в себя входное значение (w) функции,
вычисляют функцию (f) данных путем применения первой табличной сети к множественным входам (x) первой таблицы для создания множественных выходов (u=E(f(w), g(w,s))) первой таблицы, причем множественные выходы (u) первой таблицы включают в себя выходное значение (f(w)) функции, причем выходное значение (f(w)) функции соответствует результату применения функции (f) данных к входному значению (w) функции,
сохраняют вторую табличную сеть, выполненную с возможностью взаимодействия с первой табличной сетью для противодействия модификациям, вносимым в первую табличную сеть,
получают множественные входы второй таблицы для второй табличной сети, причем входы второй таблицы включают в себя множественные выходы (u) первой таблицы, и входы второй таблицы совместно используют по меньшей мере один вход с множественными входами (w или s) первой таблицы, и применяют вторую табличную сеть к множественным входам второй таблицы, причем вторая табличная сеть выполнена с возможностью проверки для, по меньшей мере, конкретного одного (f(w) или g(w,s)) из множественных выходов первой таблицы, могла ли немодифицированная первая табличная сеть получить упомянутый конкретный один из множественных выходов (f(w) или g(w,s)) первой таблицы из данного по меньшей мере одного из множественных входов (w или s) первой таблицы, вторая табличная сеть создает выходы (v=E(w', s')) второй таблицы, включающие в себя защищенный выход (w') функции, причем защищенный выход функции равен выходу (f(w)) функции в случае успешной проверки, и защищенный выход (w') функции не равен выходу функции в случае неуспешной проверки для, по меньшей мере, некоторых значений множественных входов первой таблицы.
11. Компьютерная программа, содержащая средство кода компьютерной программы, выполненное с возможностью осуществления всех этапов по п. 10, когда компьютерная программа выполняется на компьютере.
12. Компьютерная программа по п. 11, реализованная на считываемом компьютером носителе.