На самом деле формулировка очень общая. Cthulchu прав, что нужно более информации, чтобы судить. И дело тут вовсе не в механизмах доказательств алгоритмов, imho, он давно известен и применяется, дело в самой системе, а точнее ядре и её полному соответствию предъявляемым требованиям..