{"id":476544,"date":"2026-04-19T12:15:56","date_gmt":"2026-04-19T12:15:56","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=476544"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=476544","title":{"rendered":"Design by Contract \u0432 \u044d\u043f\u043e\u0445\u0443 AI: \u043a\u0430\u043a \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u041c\u0435\u0439\u0435\u0440\u0430 \u0437\u0430\u0449\u0438\u0449\u0430\u044e\u0442 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u044e \u0442\u0430\u043c, \u0433\u0434\u0435 \u0442\u0435\u0441\u0442\u044b \u043c\u043e\u043b\u0447\u0430\u0442"},"content":{"rendered":"
\n

Design by Contract \u041c\u0435\u0439\u0435\u0440\u0430 \u043d\u0435 \u0432\u0437\u043b\u0435\u0442\u0435\u043b \u0432 1986 \u0438\u0437-\u0437\u0430 \u0434\u0432\u043e\u0439\u043d\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b. AI-\u0430\u0433\u0435\u043d\u0442 \u0443\u0431\u0438\u0440\u0430\u0435\u0442 \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443. \u042f \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u043b PKI-\u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0441 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u043c TRNG, \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430\u043c\u0438 \u043d\u0430 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u044e \u0438 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u043c \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0435\u043c, \u0447\u0442\u043e\u0431\u044b \u044d\u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c.<\/em><\/p>\n

1. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430: AI \u043b\u043e\u043c\u0430\u0435\u0442 \u0431\u044b\u0441\u0442\u0440\u0435\u0435, \u0447\u0435\u043c \u043b\u044e\u0434\u0438 \u0447\u0438\u043d\u044f\u0442<\/h3>\n

\u0412 \u043c\u0430\u0440\u0442\u0435 2026-\u0433\u043e \u0443\u0442\u0435\u043a\u043b\u0438 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0435 \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u044b Anthropic \u043e \u043c\u043e\u0434\u0435\u043b\u0438 Claude Mythos. \u0427\u0435\u0440\u0435\u0437 \u043f\u0430\u0440\u0443 \u043d\u0435\u0434\u0435\u043b\u044c \u043e\u043d\u0438 \u0441\u0430\u043c\u0438 \u0435\u0451 \u0430\u043d\u043e\u043d\u0441\u0438\u0440\u043e\u0432\u0430\u043b\u0438. Mythos \u043d\u0430\u0448\u0451\u043b 0-day \u0432 OpenBSD, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0441\u0438\u0434\u0435\u043b \u0432 \u043a\u043e\u0434\u0435 \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u0441\u0435\u043c\u044c \u043b\u0435\u0442. \u0414\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u0441\u0435\u043c\u044c. \u0412 FFmpeg \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b\u0441\u044f \u043f\u043e\u0445\u043e\u0436\u0438\u0439, \u0448\u0435\u0441\u0442\u043d\u0430\u0434\u0446\u0430\u0442\u0438\u043b\u0435\u0442\u043d\u0435\u0439 \u0434\u0430\u0432\u043d\u043e\u0441\u0442\u0438, \u0430 Linux kernel \u0442\u043e\u0436\u0435 \u0437\u0430\u0446\u0435\u043f\u0438\u043b\u043e. \u041d\u0430 \u043f\u043e\u0438\u0441\u043a \u0431\u0430\u0433\u0430 \u0432 OpenBSD \u0443\u0448\u043b\u043e \u043c\u0435\u043d\u044c\u0448\u0435 \u043f\u044f\u0442\u0438\u0434\u0435\u0441\u044f\u0442\u0438 \u0434\u043e\u043b\u043b\u0430\u0440\u043e\u0432 compute. FFmpeg \u0434\u043e \u044d\u0442\u043e\u0433\u043e \u0441\u043a\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u043b\u0438 \u043c\u0438\u043b\u043b\u0438\u043e\u043d\u044b \u0440\u0430\u0437 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438, \u0438 \u043d\u0438\u0447\u0435\u0433\u043e.<\/p>\n

\u041b\u0430\u0434\u043d\u043e, \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c, \u044d\u0442\u043e \u0432\u043f\u0435\u0447\u0430\u0442\u043b\u044f\u0435\u0442. \u041d\u043e \u0447\u0442\u043e \u0441 \u044d\u0442\u0438\u043c \u0434\u0435\u043b\u0430\u0442\u044c? \u0417\u0430\u043f\u0440\u0435\u0442\u0438\u0442\u044c AI \u0438\u0441\u043a\u0430\u0442\u044c \u0431\u0430\u0433\u0438 \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f. \u0417\u043d\u0430\u0447\u0438\u0442, \u043d\u0443\u0436\u043d\u043e \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0442\u0430\u043a, \u0447\u0442\u043e\u0431\u044b \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u043d\u0435 \u0434\u043e\u0436\u0438\u0432\u0430\u043b\u0438 \u0434\u043e \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u043d\u0430.<\/p>\n

\u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0439 \u043e\u0442\u0432\u0435\u0442: \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u043d\u0430 Rust. \u0414\u043b\u044f memory corruption \u044d\u0442\u043e \u0438 \u043f\u0440\u0430\u0432\u0434\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 (\u0445\u043e\u0442\u044f \u0438 \u043d\u0435 \u0434\u043b\u044f \u0432\u0441\u0435\u0433\u043e legacy), ownership model \u043d\u0435 \u0434\u0430\u0451\u0442 \u0441\u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c use-after-free \u0438 buffer overflow, \u0438 \u0431\u0430\u0433\u0438 \u0432 OpenBSD \u0441 FFmpeg \u0431\u044b\u043b\u0438 \u043a\u0430\u043a \u0440\u0430\u0437 \u0438\u0437 \u044d\u0442\u043e\u0439 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438. \u041d\u043e \u0432\u043e\u0442 \u0432 \u0447\u0451\u043c \u0448\u0442\u0443\u043a\u0430. \u0415\u0441\u0442\u044c \u0446\u0435\u043b\u044b\u0439 \u043a\u043b\u0430\u0441\u0441 \u043e\u0448\u0438\u0431\u043e\u043a, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0438 \u043e\u0434\u0438\u043d \u044f\u0437\u044b\u043a \u043d\u0435 \u0432\u0438\u0434\u0438\u0442, \u0438 \u044d\u0442\u043e \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438. \u0412\u044b\u0431\u0440\u0430\u043b \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 padding \u0434\u043b\u044f RSA, \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043c\u043e\u043b\u0447\u0438\u0442. \u0417\u0430\u0431\u044b\u043b \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c revocation \u0441\u0435\u0440\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u0430 \u0438\u043b\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u043b \u0441\u044b\u0440\u0443\u044e entropy \u0432 DRBG \u0431\u0435\u0437 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430, \u0442\u0435\u0441\u0442\u044b \u0437\u0435\u043b\u0451\u043d\u044b\u0435. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043d\u0438\u043a\u0442\u043e \u043d\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u0442\u0435\u0441\u0442 \u043d\u0430 \u044d\u0442\u043e.<\/p>\n

\u0422\u0435\u0441\u0442\u044b \u0432\u043e\u043e\u0431\u0449\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442 \u0440\u043e\u0432\u043d\u043e \u0442\u043e, \u0447\u0442\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0434\u043e\u0434\u0443\u043c\u0430\u043b\u0441\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c. \u0423\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u044c \u0432 OpenBSD \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u0441\u0435\u043c\u044c \u043b\u0435\u0442 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u043b\u0430 \u0432\u0441\u0435 \u0442\u0435\u0441\u0442\u044b. \u0412\u0441\u0435 \u0434\u043e \u0435\u0434\u0438\u043d\u043e\u0433\u043e.<\/p>\n

\u041d\u0443\u0436\u0435\u043d \u043f\u043e\u0434\u0445\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441\u0430, \u0430 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u043d\u044b\u0445 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0439. \u041a\u043e\u0442\u043e\u0440\u044b\u0439 \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u0435\u0442 \u201c\u0447\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043e\u0431\u044f\u0437\u0430\u043d\u0430 \u0434\u0435\u043b\u0430\u0442\u044c\u201d \u0434\u043e \u043f\u0435\u0440\u0432\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u043a\u043e\u0434\u0430. \u041d\u0435 \u201c\u043a\u0430\u043a \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c\u201d, \u0430 \u201c\u0447\u0442\u043e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u201d. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0438\u0430\u043b\u044c\u043d\u0430\u044f: \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u0442\u044c, \u0430 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u044f \u043b\u0438\u0431\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f, \u043b\u0438\u0431\u043e \u043d\u0435\u0442.<\/p>\n

\u0418\u0441\u0442\u043e\u0440\u0438\u0447\u0435\u0441\u043a\u0438, \u0442\u0430\u043a\u043e\u0439 \u043f\u043e\u0434\u0445\u043e\u0434 \u0443\u0436\u0435 \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u043b\u0438. \u0412 1986 \u0433\u043e\u0434\u0443. \u0410\u0432\u0442\u043e\u0440: \u0411\u0435\u0440\u0442\u0440\u0430\u043d \u041c\u0435\u0439\u0435\u0440. Design by Contract. \u0418 \u0435\u0441\u0442\u044c \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u0430\u044f \u043f\u0440\u0438\u0447\u0438\u043d\u0430, \u043f\u043e\u0447\u0435\u043c\u0443 \u0432\u044b \u0441\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043e \u043d\u0451\u043c \u043d\u0435 \u0441\u043b\u044b\u0448\u0430\u043b\u0438.<\/p>\n

\u0414\u0430\u043b\u044c\u0448\u0435: \u043f\u043e\u0447\u0435\u043c\u0443 DbC \u043d\u0435 \u0432\u0437\u043b\u0435\u0442\u0435\u043b, \u0447\u0442\u043e \u043c\u0435\u043d\u044f\u0435\u0442 AI-\u0430\u0433\u0435\u043d\u0442, \u0438 \u043a\u0430\u043a \u044d\u0442\u043e \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043d\u0430 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0439 PKI-\u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u0441 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u043c \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0435\u043c.<\/p>\n

2. DbC \u041c\u0435\u0439\u0435\u0440\u0430: \u043f\u043e\u0447\u0435\u043c\u0443 \u043d\u0435 \u0432\u0437\u043b\u0435\u0442\u0435\u043b\u043e<\/h3>\n

\u0418\u0434\u0435\u044f \u043f\u0440\u043e\u0441\u0442\u0430\u044f. \u041a\u0430\u0436\u0434\u044b\u0439 \u043c\u043e\u0434\u0443\u043b\u044c \u044f\u0432\u043d\u043e \u0434\u0435\u043a\u043b\u0430\u0440\u0438\u0440\u0443\u0435\u0442 \u0442\u0440\u0438 \u0432\u0435\u0449\u0438: \u0447\u0442\u043e \u043e\u0436\u0438\u0434\u0430\u0435\u0442 \u043d\u0430 \u0432\u0445\u043e\u0434\u0435 (\u043f\u0440\u0435\u0434\u0443\u0441\u043b\u043e\u0432\u0438\u044f, PRE), \u0447\u0442\u043e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434\u0435 (\u043f\u043e\u0441\u0442\u0443\u0441\u043b\u043e\u0432\u0438\u044f, POST), \u0447\u0442\u043e \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043d\u0430\u0440\u0443\u0448\u0438\u0442 (\u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u044b, INV). \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0434\u0435\u043b\u0435\u043d\u0438\u044f: PRE: \u0434\u0435\u043b\u0438\u0442\u0435\u043b\u044c \u2260 0, POST: \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u00d7 \u0434\u0435\u043b\u0438\u0442\u0435\u043b\u044c == \u0434\u0435\u043b\u0438\u043c\u043e\u0435. \u041f\u0440\u043e\u0441\u0442\u043e, \u043d\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e.<\/p>\n

\u0421\u0442\u0440\u043e\u0433\u043e. \u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e. \u0418 \u0432 mainstream \u043d\u0435 \u043f\u0440\u0438\u0436\u0438\u043b\u043e\u0441\u044c, \u0447\u0442\u043e, \u0432 \u043e\u0431\u0449\u0435\u043c, \u043f\u0440\u0435\u0434\u0441\u043a\u0430\u0437\u0443\u0435\u043c\u043e.<\/p>\n

\u041f\u0440\u0438\u0447\u0438\u043d\u0430 \u0431\u0430\u043d\u0430\u043b\u044c\u043d\u0430\u044f: \u0434\u0432\u043e\u0439\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430. \u041d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u044d\u0442\u043e \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a: \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043f\u0438\u0448\u0435\u0448\u044c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442. \u041f\u043e\u0442\u043e\u043c \u043f\u0438\u0448\u0435\u0448\u044c \u043a\u043e\u0434. \u041f\u043e\u0442\u043e\u043c \u043f\u0438\u0448\u0435\u0448\u044c \u0442\u0435\u0441\u0442\u044b. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u044d\u0442\u043e \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u043d\u0430\u0433\u0440\u0443\u0437\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043d\u0435 \u0434\u0430\u0451\u0442 \u043d\u0435\u043c\u0435\u0434\u043b\u0435\u043d\u043d\u043e\u0439 \u043e\u0442\u0434\u0430\u0447\u0438. \u041a\u043e\u0433\u0434\u0430 \u0433\u043e\u0440\u0438\u0442 \u0434\u0435\u0434\u043b\u0430\u0439\u043d, \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432\u044b\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u044e\u0442 \u043f\u0435\u0440\u0432\u044b\u043c\u0438.<\/p>\n

\u0412 safety-critical \u043e\u0431\u043b\u0430\u0441\u0442\u044f\u0445 DbC \u0432\u044b\u0436\u0438\u043b. Ada\/SPARK \u0432 \u0430\u0432\u0438\u0430\u0446\u0438\u0438, ISO 26262 \u0432 automotive. \u041f\u043e \u0441\u0443\u0442\u0438 \u0442\u0435 \u0436\u0435 PRE\/POST\/INV, \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0434 \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u0438\u043c\u0435\u043d\u0430\u043c\u0438 \u0438 \u0441 \u0434\u0440\u0443\u0433\u0438\u043c \u0431\u044e\u0434\u0436\u0435\u0442\u043e\u043c. \u0422\u0430\u043c \u0446\u0435\u043d\u0430 \u043e\u0448\u0438\u0431\u043a\u0438 \u0442\u0430\u043a\u0430\u044f, \u0447\u0442\u043e \u0434\u0432\u043e\u0439\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u043e\u043f\u0440\u0430\u0432\u0434\u0430\u043d\u0430. \u0412 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0435: \u043d\u0435\u0442. \u0418 \u0432\u0441\u0435 \u044d\u0442\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u043b\u0438.<\/p>\n

Eiffel, \u044f\u0437\u044b\u043a \u041c\u0435\u0439\u0435\u0440\u0430 \u0441\u043e \u0432\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u043c\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430\u043c\u0438, \u043e\u0441\u0442\u0430\u043b\u0441\u044f \u043d\u0438\u0448\u0435\u0432\u044b\u043c. Microsoft Code Contracts \u0434\u043b\u044f C#: \u0437\u0430\u0431\u0440\u043e\u0448\u0435\u043d. Java \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0430 assert \u0432 1.4, \u043d\u043e \u0431\u0435\u0437 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438. D language \u0432\u0441\u0442\u0440\u043e\u0438\u043b \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441, \u0438 \u0442\u043e\u0436\u0435 \u043d\u0435 \u0441\u0442\u0430\u043b \u043c\u0435\u0439\u043d\u0441\u0442\u0440\u0438\u043c\u043e\u043c. \u0418\u0434\u0435\u044f \u0440\u0430\u0441\u043f\u043e\u043b\u0437\u043b\u0430\u0441\u044c \u043f\u043e assert\u2019\u0430\u043c, \u0430\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u044f\u043c, \u0442\u0438\u043f\u0430\u043c. \u041d\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 PRE\/POST\/INV \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u044b \u0442\u0430\u043a \u0438 \u043d\u0435 \u0441\u0442\u0430\u043b\u0438 \u043d\u043e\u0440\u043c\u043e\u0439.<\/p>\n

\n
\n\n\n\n\n\n\n\n
\n

\n<\/th>\n

\n

\u041c\u0435\u0439\u0435\u0440 (1986)<\/p>\n<\/th>\n

\n

\u0427\u0442\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c<\/p>\n<\/th>\n<\/tr>\n

\n

\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442<\/p>\n<\/td>\n

\n

\u041f\u0438\u0448\u0435\u0442 \u0447\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n

\n

\u041f\u0438\u0448\u0435\u0442 \u0447\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n<\/tr>\n

\n

\u041a\u043e\u0434<\/p>\n<\/td>\n

\n

\u041f\u0438\u0448\u0435\u0442 \u0447\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n

\n

\u041f\u0438\u0448\u0435\u0442 \u0447\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n<\/tr>\n

\n

\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430<\/p>\n<\/td>\n

\n

\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 Eiffel<\/p>\n<\/td>\n

\n

\u0427\u0435\u043b\u043e\u0432\u0435\u043a (\u0442\u0435\u0441\u0442\u044b)<\/p>\n<\/td>\n<\/tr>\n

\n

\u0418\u0442\u043e\u0433<\/p>\n<\/td>\n

\n

\u0414\u0432\u043e\u0439\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430<\/p>\n<\/td>\n

\n

\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432\u044b\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u044e\u0442<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n

40 \u043b\u0435\u0442 DbC \u0436\u0434\u0430\u043b \u043c\u043e\u043c\u0435\u043d\u0442\u0430, \u043a\u043e\u0433\u0434\u0430 \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443 \u0440\u0430\u0431\u043e\u0442\u044b \u043c\u043e\u0436\u043d\u043e \u0431\u0443\u0434\u0435\u0442 \u043e\u0442\u0434\u0430\u0442\u044c \u043a\u043e\u043c\u0443-\u0442\u043e \u0434\u0440\u0443\u0433\u043e\u043c\u0443. \u0418 \u043f\u043e\u0445\u043e\u0436\u0435, \u044d\u0442\u043e\u0442 \u043c\u043e\u043c\u0435\u043d\u0442 \u043d\u0430\u0441\u0442\u0443\u043f\u0438\u043b.<\/p>\n

\u041a\u0441\u0442\u0430\u0442\u0438, \u044f \u043d\u0435 \u043e\u0434\u0438\u043d \u044d\u0442\u043e \u0437\u0430\u043c\u0435\u0442\u0438\u043b. \u0412 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 \u043f\u0430\u0440\u0443 \u043b\u0435\u0442 \u043f\u043e\u0448\u043b\u0438 \u0430\u043a\u0430\u0434\u0435\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u043d\u0430 \u0441\u0442\u044b\u043a\u0435 DbC \u0438 LLM. \u201cA DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design\u201d (arxiv:2508.03665<\/a>): \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043d\u044b\u0439 \u0441\u043b\u043e\u0439 \u043c\u0435\u0436\u0434\u0443 LLM \u0438 \u0432\u044b\u0445\u043e\u0434\u043e\u043c. \u201cFormal Specification and Runtime Enforcement for Reliable Autonomous AI Agents\u201d (arxiv:2602.22302<\/a>): ABC-\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0434\u043b\u044f AI-\u0430\u0433\u0435\u043d\u0442\u043e\u0432. Fun2spec (openreview<\/a>): LLM \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0434\u043b\u044f \u043c\u0438\u043b\u043b\u0438\u043e\u043d\u043e\u0432 \u0441\u0442\u0440\u043e\u043a C\/C++. \u0412 \u0431\u043b\u043e\u0433\u0430\u0445 \u043f\u0438\u0448\u0443\u0442 \u043f\u0440\u043e \u201cprompt contracts\u201d \u0438 \u201cfiles as contracts\u201d.<\/p>\n

\u041d\u043e \u0432\u0441\u0435 \u044d\u0442\u0438 \u0440\u0430\u0431\u043e\u0442\u044b: \u043b\u0438\u0431\u043e \u0442\u0435\u043e\u0440\u0438\u044f \u0431\u0435\u0437 production proof, \u043b\u0438\u0431\u043e \u043f\u0440\u043e\u043c\u0442-\u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0438\u044f \u0431\u0435\u0437 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 PRE\/POST\/INV. \u0421\u0432\u044f\u0437\u043a\u0443 \u201cDbC + AI-\u0430\u0433\u0435\u043d\u0442 + \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u044f + \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0439 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439\u201d \u043f\u043e\u043a\u0430 \u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u0430\u043b \u043d\u0438\u043a\u0442\u043e. \u041c\u043d\u0435 \u0431\u044b\u043b\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c.<\/p>\n

3. \u0427\u0442\u043e \u043c\u0435\u043d\u044f\u0435\u0442 AI-\u0430\u0433\u0435\u043d\u0442<\/h3>\n

\u0427\u0435\u043b\u043e\u0432\u0435\u043a \u043f\u0438\u0448\u0435\u0442 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442. \u0410\u0433\u0435\u043d\u0442 \u0431\u0435\u0440\u0451\u0442 \u0435\u0433\u043e \u0438 \u043f\u0438\u0448\u0435\u0442 \u043a\u043e\u0434, \u0442\u0435\u0441\u0442\u044b, \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438. \u0410 \u0447\u0435\u043b\u043e\u0432\u0435\u043a \u043f\u043e\u0442\u043e\u043c \u0441\u043c\u043e\u0442\u0440\u0438\u0442 \u043d\u0430 10 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 \u0432\u043c\u0435\u0441\u0442\u043e \u0442\u044b\u0441\u044f\u0447\u0438 \u0441\u0442\u0440\u043e\u043a \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0438 \u0440\u0435\u0448\u0430\u0435\u0442, \u0432\u0441\u0451 \u043b\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e.<\/p>\n

\u0421\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0432\u0441\u0451. \u0410\u0433\u0435\u043d\u0442 \u0431\u0435\u0440\u0451\u0442 \u043d\u0430 \u0441\u0435\u0431\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u0438 \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u0442\u0435\u0441\u0442\u043e\u0432, \u0430 \u0434\u0432\u043e\u0439\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u0431\u0438\u043b\u0430 DbC, \u0438\u0441\u0447\u0435\u0437\u0430\u0435\u0442. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0435\u0439 \u0447\u0435\u043b\u043e\u0432\u0435\u043a\u0430.<\/p>\n

\n
\n\n\n\n\n\n\n\n
\n

\n<\/th>\n

\n

\u041c\u0435\u0439\u0435\u0440 (1986)<\/p>\n<\/th>\n

\n

\u0421 AI-\u0430\u0433\u0435\u043d\u0442\u043e\u043c<\/p>\n<\/th>\n<\/tr>\n

\n

\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442<\/p>\n<\/td>\n

\n

\u0427\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n

\n

\u0427\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n<\/tr>\n

\n

\u041a\u043e\u0434<\/p>\n<\/td>\n

\n

\u0427\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n

\n

\u0410\u0433\u0435\u043d\u0442<\/p>\n<\/td>\n<\/tr>\n

\n

\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430<\/p>\n<\/td>\n

\n

\u041a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 Eiffel<\/p>\n<\/td>\n

\n

\u0410\u0433\u0435\u043d\u0442 + \u0442\u0435\u0441\u0442\u044b + \u0430\u0432\u0442\u043e\u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f<\/p>\n<\/td>\n<\/tr>\n

\n

\u041f\u043e\u0447\u0435\u043c\u0443 \u043d\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u043b\u043e<\/p>\n<\/td>\n

\n

\u0414\u0432\u043e\u0439\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430<\/p>\n<\/td>\n

\n

\u0414\u0435\u043b\u0435\u0433\u0438\u0440\u043e\u0432\u0430\u043d\u043e<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n

\u041d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u043e\u0434\u0438\u043d \u0446\u0438\u043a\u043b \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a. \u041f\u0438\u0448\u0443 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442: \u201cPKCS#1 v1.5 == \u0417\u0410\u041f\u0420\u0415\u0429\u0415\u041d\u041e\u201d. \u0410\u0433\u0435\u043d\u0442 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 crypto_engine.py \u0441 RSA-PSS. \u041f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 contract-\u0442\u0435\u0441\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u0432\u044b\u0437\u0432\u0430\u0442\u044c PKCS#1 v1.5 \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0447\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0435\u0433\u043e \u043e\u0442\u0432\u0435\u0440\u0433\u0430\u0435\u0442. \u0422\u0435\u0441\u0442 \u043f\u0440\u043e\u0448\u0451\u043b, \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0441\u043e\u0431\u043b\u044e\u0434\u0451\u043d. \u0423\u043f\u0430\u043b: \u0430\u0433\u0435\u043d\u0442 \u043f\u0440\u0430\u0432\u0438\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e, \u043d\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442: \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a \u0438\u0441\u0442\u0438\u043d\u044b. \u0415\u0433\u043e \u043d\u0435 \u0442\u0440\u043e\u0433\u0430\u044e\u0442.<\/p>\n

\u041e\u0448\u0438\u0431\u043a\u0430 \u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0435 \u0442\u043e\u0436\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u0430, \u043a\u043e\u043d\u0435\u0447\u043d\u043e. \u041d\u043e \u0432 \u0442\u0438\u043f\u0438\u0447\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c 10 \u0441\u0442\u0440\u043e\u043a \u0434\u0435\u043a\u043b\u0430\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u043c\u0435\u0440\u0435\u043d\u0438\u044f, \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u0435\u0441\u043b\u0438 \u0441\u0432\u0435\u0440\u044f\u0435\u0448\u044c \u0441 NIST \u0438\u043b\u0438 RFC, \u043f\u0440\u043e\u0449\u0435, \u0447\u0435\u043c \u0438\u0441\u043a\u0430\u0442\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u043e\u0448\u0438\u0431\u043a\u0443 \u0432 1000 \u0441\u0442\u0440\u043e\u043a \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u044d\u0442\u043e \u0442\u043e\u0447\u043a\u0430 \u0444\u043e\u043a\u0443\u0441\u0430. \u0412\u043c\u0435\u0441\u0442\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430 \u201c\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043b\u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d \u043a\u043e\u0434?\u201d \u0442\u044b \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0448\u044c \u043d\u0430 \u0432\u043e\u043f\u0440\u043e\u0441 \u201c\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043b\u0438 \u044f \u043e\u043f\u0438\u0441\u0430\u043b, \u0447\u0442\u043e \u0445\u043e\u0447\u0443?\u201d. \u0412\u0442\u043e\u0440\u043e\u0439 \u0432\u043e\u043f\u0440\u043e\u0441 \u043f\u0440\u043e\u0449\u0435.<\/p>\n

4. Proof: PKI \u0441 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u043c TRNG<\/h3>\n

\u042f \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u043b PKI-\u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0441 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u043c \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0447\u0438\u0441\u0435\u043b, \u0438 \u0445\u043e\u0447\u0443 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u0442\u044c \u043a\u0430\u043a \u044d\u0442\u043e \u0431\u044b\u043b\u043e. \u0426\u0435\u043b\u044c \u043a\u0435\u0439\u0441\u0430: \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e DbC + AI-\u0430\u0433\u0435\u043d\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435 \u0432 \u0442\u0435\u043e\u0440\u0438\u0438, \u0430 \u043d\u0430 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u043c fullstack embedded \u043f\u0440\u043e\u0435\u043a\u0442\u0435 \u0441 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0435\u0439. \u041e\u0442 \u0438 \u0434\u043e. \u041d\u0430 \u0432\u0445\u043e\u0434\u0435 \u0442\u0435\u043f\u043b\u043e\u0432\u043e\u0439 \u0448\u0443\u043c \u0441 ADC \u043c\u0438\u043a\u0440\u043e\u043a\u043e\u043d\u0442\u0440\u043e\u043b\u043b\u0435\u0440\u0430. \u041e\u043d \u0438\u0434\u0451\u0442 \u0432 DRBG \u043f\u043e NIST SP 800-90A, \u043e\u0442\u0442\u0443\u0434\u0430 \u0432 \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u043a\u043b\u044e\u0447\u0435\u0439, \u043f\u043e\u0442\u043e\u043c CA \u0432\u044b\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u0441\u0435\u0440\u0442\u0438\u0444\u0438\u043a\u0430\u0442 X.509. \u0420\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0448\u043b\u0430 \u043d\u0430 Windows, \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u043d \u043a\u0440\u0443\u0442\u0438\u0442\u0441\u044f \u043d\u0430 Linux ARM64 (RK3328, Cortex-A53), \u0430 firmware \u0436\u0438\u0432\u0451\u0442 \u043d\u0430 STM32.<\/p>\n

\u0421\u0442\u0435\u043a \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a: STM32G431 \u0441\u043d\u0438\u043c\u0430\u0435\u0442 \u0442\u0435\u043f\u043b\u043e\u0432\u043e\u0439 \u0448\u0443\u043c \u0441 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0433\u043e ADC \u0438 \u043e\u0442\u0434\u0430\u0451\u0442 \u0441\u044b\u0440\u0443\u044e \u044d\u043d\u0442\u0440\u043e\u043f\u0438\u044e \u0447\u0435\u0440\u0435\u0437 USB HID. \u041d\u0430 \u0445\u043e\u0441\u0442\u0435 (RK3328) Python-\u0434\u0435\u043c\u043e\u043d \u0447\u0438\u0442\u0430\u0435\u0442 \u044d\u0442\u0438 \u0431\u0430\u0439\u0442\u044b, \u043f\u0440\u043e\u0433\u043e\u043d\u044f\u0435\u0442 \u0447\u0435\u0440\u0435\u0437 health check \u043f\u043e NIST 800-90B, \u0438 \u0441\u043a\u0430\u0440\u043c\u043b\u0438\u0432\u0430\u0435\u0442 \u0432 HMAC-DRBG. \u0414\u0430\u043b\u044c\u0448\u0435 CryptoEngine \u0431\u0435\u0440\u0451\u0442 \u0432\u044b\u0445\u043e\u0434 DRBG \u0438 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 RSA\/ECDSA \u043a\u043b\u044e\u0447\u0438. KeyStorage \u0448\u0438\u0444\u0440\u0443\u0435\u0442 \u043f\u0440\u0438\u0432\u0430\u0442\u043d\u044b\u0435 \u043a\u043b\u044e\u0447\u0438 AES-256-GCM \u0438 \u043a\u043b\u0430\u0434\u0451\u0442 \u043d\u0430 \u0434\u0438\u0441\u043a. CA-\u0441\u0435\u0440\u0432\u0438\u0441 \u043f\u043e\u0434\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0441\u0435\u0440\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u044b. \u041f\u044f\u0442\u044c \u043c\u043e\u0434\u0443\u043b\u0435\u0439, \u043a\u0430\u0436\u0434\u044b\u0439 \u0441\u043e \u0441\u0432\u043e\u0438\u043c \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u043c \u043d\u0430 \u0441\u0442\u044b\u043a\u0435.<\/p>\n

\u0412\u043e\u0442 \u0446\u0438\u0444\u0440\u044b. \u0413\u043b\u0430\u0432\u043d\u043e\u0435 \u0437\u0434\u0435\u0441\u044c: \u0434\u0432\u0435 CRITICAL \u0443\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u0438 \u043d\u0430\u0439\u0434\u0435\u043d\u044b \u0438\u043c\u0435\u043d\u043d\u043e \u0447\u0435\u0440\u0435\u0437 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043d\u044b\u0439 \u043f\u043e\u0434\u0445\u043e\u0434, \u0434\u043e \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u043d\u0430.<\/p>\n

\n
\n\n\n\n\n\n\n\n\n\n\n\n
\n

\u041c\u0435\u0442\u0440\u0438\u043a\u0430<\/p>\n<\/th>\n

\n

\u0417\u043d\u0430\u0447\u0435\u043d\u0438\u0435<\/p>\n<\/th>\n<\/tr>\n

\n

\u041a\u043e\u043c\u043c\u0438\u0442\u043e\u0432<\/p>\n<\/td>\n

\n

131<\/p>\n<\/td>\n<\/tr>\n

\n

\u0414\u043d\u0438 \u0430\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b<\/p>\n<\/td>\n

\n

11 (\u0438\u0437 17 \u043a\u0430\u043b\u0435\u043d\u0434\u0430\u0440\u043d\u044b\u0445)<\/p>\n<\/td>\n<\/tr>\n

\n

\u0410\u0432\u0442\u043e\u0440<\/p>\n<\/td>\n

\n

1 \u0447\u0435\u043b\u043e\u0432\u0435\u043a<\/p>\n<\/td>\n<\/tr>\n

\n

\u0422\u0435\u0441\u0442\u043e\u0432<\/p>\n<\/td>\n

\n

62 contract + 15 HW + unit<\/p>\n<\/td>\n<\/tr>\n

\n

MCU \u0431\u043e\u0440\u0434\u044b<\/p>\n<\/td>\n

\n

3 (STM32G474, STM32G431, STM32H750)<\/p>\n<\/td>\n<\/tr>\n

\n

\u0426\u0435\u043b\u0435\u0432\u0430\u044f \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u0430<\/p>\n<\/td>\n

\n

RK3328 ARM64 (Cortex-A53)<\/p>\n<\/td>\n<\/tr>\n

\n

\u0421\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u044c \u0436\u0435\u043b\u0435\u0437\u0430<\/p>\n<\/td>\n

\n

~$129<\/p>\n<\/td>\n<\/tr>\n

\n

\u0421\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u044c AI<\/p>\n<\/td>\n

\n

1780\u20bd (~$16) \u0437\u0430 30 \u0441\u0435\u0441\u0441\u0438\u0439 \u0441 \u0442\u0440\u0435\u043a\u0438\u043d\u0433\u043e\u043c<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n

\u0420\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439 \u043e\u0442\u043a\u0440\u044b\u0442: github.com\/vasilievsv\/hw.pki-on-box<\/a><\/p>\n

SELinux \u0432 enforcing, eBPF-\u0444\u0438\u043b\u044c\u0442\u0440\u044b, systemd sandboxing, \u0432\u0441\u0451 \u043a\u0430\u043a \u043f\u043e\u043b\u043e\u0436\u0435\u043d\u043e. \u041f\u043e firmware: 12 \u043f\u0443\u043d\u043a\u0442\u043e\u0432 \u043a\u0440\u0438\u043f\u0442\u043e\u0430\u0443\u0434\u0438\u0442\u0430 \u043f\u043e NIST 800-90B, \u0432\u0441\u0435 12 \u0437\u0430\u043a\u0440\u044b\u0442\u044b, \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u043d\u043e\u043b\u044c.<\/p>\n

\u0420\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0448\u043b\u0430 \u0432 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0444\u0430\u0437. \u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u0430\u0443\u0434\u0438\u0442 \u043f\u0440\u043e\u0442\u043e\u0442\u0438\u043f\u0430 \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u043c\u043e\u0434\u0443\u043b\u044c. \u041f\u043e\u0442\u043e\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f core: TRNG, DRBG, CryptoEngine, KeyStorage, CA-\u0441\u0435\u0440\u0432\u0438\u0441, CRL. \u041f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e contract-\u0442\u0435\u0441\u0442\u044b, \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043d\u0430 \u043c\u043e\u043a\u0430\u0445 (62 \u0442\u0435\u0441\u0442\u0430), \u043f\u043e\u0442\u043e\u043c \u043d\u0430 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u043c \u0436\u0435\u043b\u0435\u0437\u0435 (15 HW-\u0442\u0435\u0441\u0442\u043e\u0432). \u041e\u0442\u0434\u0435\u043b\u044c\u043d\u0430\u044f \u0444\u0430\u0437\u0430 \u043d\u0430 firmware: \u0442\u0440\u0438 \u0431\u043e\u0440\u0434\u044b STM32, \u043d\u043e\u0432\u0430\u044f \u043f\u0440\u043e\u0448\u0438\u0432\u043a\u0430 \u0434\u043b\u044f G431, 12 \u043f\u0443\u043d\u043a\u0442\u043e\u0432 \u043a\u0440\u0438\u043f\u0442\u043e\u0430\u0443\u0434\u0438\u0442\u0430. \u0418 \u0444\u0438\u043d\u0430\u043b: \u0434\u0435\u043f\u043b\u043e\u0439 \u043d\u0430 RK3328, \u043f\u0435\u0440\u0435\u0441\u0431\u043e\u0440\u043a\u0430 \u044f\u0434\u0440\u0430 5.10 \u0441 SELinux \u0438 eBPF, smoke-\u0442\u0435\u0441\u0442\u044b \u043d\u0430 \u0436\u0438\u0432\u043e\u0439 \u0436\u0435\u043b\u0435\u0437\u043a\u0435. \u041a\u0430\u0436\u0434\u0430\u044f \u0444\u0430\u0437\u0430 \u044d\u0442\u043e \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u0430\u044f \u0441\u0435\u0441\u0441\u0438\u044f \u0441 \u0430\u0433\u0435\u043d\u0442\u043e\u043c, \u0441\u043e \u0441\u0432\u043e\u0435\u0439 \u0440\u043e\u043b\u044c\u044e \u0438 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u043e\u043c. \u0420\u043e\u043b\u0438 \u0432\u0430\u0436\u043d\u044b: \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0449\u0438\u043a \u043d\u0435 \u043f\u0438\u0448\u0435\u0442 \u043a\u043e\u0434, \u043a\u043e\u0434\u0435\u0440 \u043d\u0435 \u043c\u0435\u043d\u044f\u0435\u0442 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b, \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u043e\u0440 \u043d\u0435 \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u0442\u0435\u0441\u0442\u044b. \u042d\u0442\u043e \u043d\u0435 \u0431\u044e\u0440\u043e\u043a\u0440\u0430\u0442\u0438\u044f, \u044d\u0442\u043e \u0441\u043f\u043e\u0441\u043e\u0431 \u043d\u0435 \u0434\u0430\u0442\u044c \u0430\u0433\u0435\u043d\u0442\u0443 \u0443\u0439\u0442\u0438 \u0432 \u0441\u0442\u043e\u0440\u043e\u043d\u0443. \u041a\u043e\u0433\u0434\u0430 \u0443 \u0441\u0435\u0441\u0441\u0438\u0438 \u0435\u0441\u0442\u044c \u0440\u043e\u043b\u044c \u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, \u0430\u0433\u0435\u043d\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0432 \u0440\u0430\u043c\u043a\u0430\u0445. \u0411\u0435\u0437 \u0440\u0430\u043c\u043e\u043a \u043e\u043d \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442 \u201c\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u044c\u201d \u0438 \u043b\u043e\u043c\u0430\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e \u0443\u0436\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442.<\/p>\n

5. \u0414\u0432\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 \u043d\u0430 \u0434\u0432\u0443\u0445 \u0441\u0442\u044b\u043a\u0430\u0445<\/h3>\n

\u0412\u0441\u044f \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u044f \u0432 pki-on-box \u0434\u0435\u0440\u0436\u0438\u0442\u0441\u044f \u043d\u0430 \u0434\u0432\u0443\u0445 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430\u0445, \u0438 \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043d\u0438\u0445 \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u043e\u0434\u0438\u043d \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u043d\u044b\u0439 \u0441\u0442\u044b\u043a. \u0421\u0442\u044b\u043a\u0438 \u0432\u044b\u0431\u0440\u0430\u043d\u044b \u043d\u0435 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e: \u0438\u043c\u0435\u043d\u043d\u043e \u043d\u0430 \u0433\u0440\u0430\u043d\u0438\u0446\u0430\u0445 \u043c\u043e\u0434\u0443\u043b\u0435\u0439 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u044e\u0442 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 \u043c\u043e\u0434\u0443\u043b\u044f \u043d\u0435 \u0432\u0438\u0434\u043d\u044b. DRBG \u043e\u0442\u0434\u0430\u0451\u0442 \u0431\u0430\u0439\u0442\u044b, CryptoEngine \u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442. \u0415\u0441\u043b\u0438 \u043d\u0430 \u044d\u0442\u043e\u043c \u0441\u0442\u044b\u043a\u0435 \u043d\u0435 \u0437\u0430\u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u043a\u0430\u043a\u043e\u0439 padding \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c, \u043e\u0448\u0438\u0431\u043a\u0430 \u043d\u0435\u0438\u0437\u0431\u0435\u0436\u043d\u0430. \u041d\u0438\u0436\u0435 \u0443\u043f\u0440\u043e\u0449\u0451\u043d\u043d\u044b\u0435 \u0432\u0435\u0440\u0441\u0438\u0438 \u0434\u043b\u044f \u0438\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u0438, \u043f\u043e\u043b\u043d\u044b\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0432 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0438.<\/p>\n

\u041f\u0435\u0440\u0432\u044b\u0439, \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044f \u043a\u043b\u044e\u0447\u0435\u0439:<\/p>\n

contract: key_generation  PRE:    - DRBG.seeded == true    - DRBG.reseed_counter < max_requests    - algorithm \u2208 {RSA-2048, RSA-4096, ECDSA-P384, Ed25519}  POST:    - private_key.encrypted(AES-256-GCM)    - nonce.unique()    - public_key = derive(private_key)  INV:    - padding == RSA-PSS (\u043f\u043e\u0434\u043f\u0438\u0441\u044c) | RSA-OAEP (\u0448\u0438\u0444\u0440\u043e\u0432\u0430\u043d\u0438\u0435)    - PKCS#1 v1.5 == \u0417\u0410\u041f\u0420\u0415\u0429\u0415\u041d\u041e<\/code>
<\/a><\/div><\/pre>\n
\u041f\u043e\u0447\u0435\u043c\u0443 PKCS#1 v1.5 \u0437\u0430\u043f\u0440\u0435\u0449\u0451\u043d. \u041d\u0435 \u043a\u0430\u043f\u0440\u0438\u0437. \u0410\u0442\u0430\u043a\u0430 \u0411\u043b\u0435\u0439\u0445\u0435\u043d\u0431\u0430\u0445\u0435\u0440\u0430 (1998) \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 padding oracle \u0432 PKCS#1 v1.5 \u0434\u043b\u044f \u0432\u043e\u0441\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u044f plaintext. \u042d\u0442\u043e \u043d\u0435 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0430\u0442\u0430\u043a\u0430, \u0435\u0451 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b\u0438 \u043d\u0430 \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0445. RSA-PSS \u0438 RSA-OAEP \u0441\u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u044b \u0442\u0430\u043a, \u0447\u0442\u043e\u0431\u044b \u044d\u0442\u043e\u0442 \u043a\u043b\u0430\u0441\u0441 \u0430\u0442\u0430\u043a \u0431\u044b\u043b \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u0435\u043d. \u0418\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0432 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0435 \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u044d\u0442\u043e \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u044b. \u0414\u043e \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043a\u0442\u043e-\u0442\u043e \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e \u0432\u044b\u0431\u0435\u0440\u0435\u0442 v1.5 \u201c\u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0432 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043d\u0430 StackOverflow \u0431\u044b\u043b\u043e \u0442\u0430\u043a\u201d.<\/p>\n
\u0412\u0442\u043e\u0440\u043e\u0439 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, \u0432\u044b\u043f\u0443\u0441\u043a \u0441\u0435\u0440\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u0430:<\/p>\n
contract: certificate_issuance  PRE:    - issuer_ca.valid() && !issuer_ca.revoked()    - csr.signature.verify() == true  POST:    - cert.serial.unique()    - cert.signature.verify(issuer_ca.public_key) == true    - cert.extensions.key_usage.set()  INV:    - cert_chain.depth <= max_path_length    - root_ca.offline == true (air-gapped)<\/code>
<\/a><\/div><\/pre>\n
\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0447\u0435\u0440\u0435\u0437 contract-\u0442\u0435\u0441\u0442\u044b \u043d\u0430\u0448\u043b\u0430 \u0434\u0432\u0435 CRITICAL \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b: \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 padding (PKCS#1 v1.5 \u0432\u043c\u0435\u0441\u0442\u043e RSA-PSS) \u0438 \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 AES mode.<\/p>\n
\u041f\u043e\u0447\u0435\u043c\u0443 \u043e\u0431\u044b\u0447\u043d\u044b\u0435 \u0442\u0435\u0441\u0442\u044b \u044d\u0442\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u044e\u0442? \u041e\u0431\u0435 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438, \u0438 \u043d\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440, \u043d\u0438 \u043b\u0438\u043d\u0442\u0435\u0440 \u0442\u0443\u0442 \u0431\u0435\u0441\u043f\u043e\u043b\u0435\u0437\u043d\u044b. \u041e\u0431\u044b\u0447\u043d\u044b\u0435 unit-\u0442\u0435\u0441\u0442\u044b, \u043c\u043e\u0436\u0435\u0442, \u0438 \u043f\u043e\u0439\u043c\u0430\u043b\u0438 \u0431\u044b, \u043d\u043e \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043a\u0442\u043e-\u0442\u043e \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u043b \u0434\u043e\u0433\u0430\u0434\u0430\u0442\u044c\u0441\u044f \u0438\u0445 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c. \u0410 contract-\u0442\u0435\u0441\u0442\u044b \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u044e\u0442\u0441\u044f \u0438\u0437 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. \u0418\u043c \u043d\u0435 \u043d\u0443\u0436\u043d\u043e, \u0447\u0442\u043e\u0431\u044b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u043e \u0447\u0451\u043c-\u0442\u043e \u0434\u043e\u0433\u0430\u0434\u044b\u0432\u0430\u043b\u0441\u044f.<\/p>\n
\u0420\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f: test_crypto_engine_contract.py<\/a><\/p>\n
\u0412\u043e\u0442 \u043a\u0430\u043a \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043e\u0434\u0438\u043d \u0438\u0437 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u0445 \u0442\u0435\u0441\u0442\u043e\u0432 \u0432 \u043a\u043e\u0434\u0435:<\/p>\n
class TestCryptoEngineInvariants:    def test_rejects_pkcs1v15_padding(self, crypto):        priv, pub = crypto.generate_rsa_keypair(bits=2048)        data = b\"invariant check\"        sig = crypto.sign_data(priv, data)        # PSS \u043e\u0431\u044f\u0437\u0430\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c        pub.verify(sig, data, padding.PSS(            mgf=padding.MGF1(hashes.SHA256()),            salt_length=padding.PSS.AUTO        ), hashes.SHA256())        # PKCS1v15 \u043e\u0431\u044f\u0437\u0430\u043d \u0441\u043b\u043e\u043c\u0430\u0442\u044c\u0441\u044f        with pytest.raises(Exception):            pub.verify(sig, data, padding.PKCS1v15(), hashes.SHA256())<\/code>
<\/a><\/div><\/pre>\n
\u0422\u0435\u0441\u0442 \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u201c\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043b\u0438 \u043f\u043e\u0434\u043f\u0438\u0441\u044c\u201d. \u041e\u043d \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0438\u0437 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430: \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u043e\u0434\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 RSA-PSS, \u0438 PKCS#1 v1.5 \u043e\u0431\u044f\u0437\u0430\u043d \u0441\u043b\u043e\u043c\u0430\u0442\u044c\u0441\u044f \u043f\u0440\u0438 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. \u0415\u0441\u043b\u0438 \u043a\u0442\u043e-\u0442\u043e \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0438\u0442 padding, \u044d\u0442\u043e\u0442 \u0442\u0435\u0441\u0442 \u0443\u043f\u0430\u0434\u0451\u0442. \u041d\u0435 \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0434\u043e\u0433\u0430\u0434\u0430\u043b\u0441\u044f, \u0430 \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b.<\/p>\n
6. \u041a\u0430\u043a \u044d\u0442\u043e \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0432 \u0440\u0430\u0431\u043e\u0442\u0435<\/h3>\n
\u041f\u0440\u043e\u0446\u0435\u0441\u0441 \u043d\u0435 \u043b\u0438\u043d\u0435\u0439\u043d\u044b\u0439, \u043d\u043e \u0435\u0441\u043b\u0438 \u0443\u043f\u0440\u043e\u0449\u0430\u0442\u044c, \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a.<\/p>\n
\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u044f \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u0443\u044e \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, PRE\/POST\/INV \u043d\u0430 \u0441\u0442\u044b\u043a\u0435 \u043c\u043e\u0434\u0443\u043b\u0435\u0439. \u0414\u043b\u044f \u043c\u0435\u043d\u044f \u044d\u0442\u043e \u0441\u0430\u043c\u0430\u044f \u0441\u043b\u043e\u0436\u043d\u0430\u044f \u0447\u0430\u0441\u0442\u044c, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043d\u0430\u0434\u043e \u0437\u0430\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0441\u0435\u0431\u044f \u0434\u0443\u043c\u0430\u0442\u044c \u043d\u0435 \u043f\u0440\u043e \u043a\u043e\u0434, \u0430 \u043f\u0440\u043e \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0438: \u0447\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043e\u0431\u044f\u0437\u0430\u043d\u0430 \u0434\u0435\u043b\u0430\u0442\u044c, \u0447\u0442\u043e \u0435\u0439 \u0437\u0430\u043f\u0440\u0435\u0449\u0435\u043d\u043e.<\/p>\n
\u041d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u044d\u0442\u043e \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a. \u041e\u0442\u043a\u0440\u044b\u0432\u0430\u044e \u043d\u043e\u0432\u0443\u044e \u0441\u0435\u0441\u0441\u0438\u044e, \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e \u0440\u043e\u043b\u044c (coder, tester, architect), \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u044e \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0440\u0430\u0431\u043e\u0442\u044b. \u041f\u0438\u0448\u0443 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0432 yaml: PRE, POST, INV. \u0418\u043d\u043e\u0433\u0434\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0440\u043e\u0436\u0434\u0430\u0435\u0442\u0441\u044f \u0437\u0430 \u043f\u044f\u0442\u044c \u043c\u0438\u043d\u0443\u0442, \u0435\u0441\u043b\u0438 \u0441\u0442\u044b\u043a \u043f\u043e\u043d\u044f\u0442\u043d\u044b\u0439. \u0418\u043d\u043e\u0433\u0434\u0430 \u0441\u0438\u0436\u0443 \u043f\u043e\u043b\u0447\u0430\u0441\u0430, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043d\u0435 \u043c\u043e\u0433\u0443 \u0441\u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442. \u042d\u0442\u043e \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e. \u0415\u0441\u043b\u0438 \u043d\u0435 \u043c\u043e\u0436\u0435\u0448\u044c \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u044e \u0432 \u043e\u0434\u043d\u0443 \u0441\u0442\u0440\u043e\u043a\u0443, \u0437\u043d\u0430\u0447\u0438\u0442 \u0435\u0449\u0451 \u043d\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u0435\u0448\u044c, \u0447\u0442\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0434\u043e\u043b\u0436\u043d\u0430 \u0434\u0435\u043b\u0430\u0442\u044c.<\/p>\n
\u0414\u0430\u043b\u044c\u0448\u0435 \u0430\u0433\u0435\u043d\u0442 \u0431\u0435\u0440\u0451\u0442 \u044d\u0442\u043e\u0442 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0438 \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e, \u0430 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e \u0435\u0449\u0451 \u0438 contract-\u0442\u0435\u0441\u0442\u044b, \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0435 postcondition \u0438\u043b\u0438 \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u043d\u0430\u0440\u0443\u0448\u0438\u0442\u044c \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442.<\/p>\n
\u0422\u0435\u0441\u0442 \u0443\u043f\u0430\u043b, \u0430\u0433\u0435\u043d\u0442 \u043f\u0440\u0430\u0432\u0438\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043d\u0435 \u0442\u0440\u043e\u0433\u0430\u0435\u0442. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043c\u0435\u043d\u044f\u044e \u0442\u043e\u043b\u044c\u043a\u043e \u044f, \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0435\u0441\u043b\u0438 \u043f\u043e\u043d\u0438\u043c\u0430\u044e, \u0447\u0442\u043e \u0441\u0430\u043c \u043e\u0448\u0438\u0431\u0441\u044f \u0432 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. \u041d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u0435 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 \u044d\u0442\u043e \u043d\u0435 warning \u0438 \u043d\u0435 TODO, \u044d\u0442\u043e \u043f\u043e\u043b\u043d\u0430\u044f \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430. \u041a\u043e\u0434 \u043d\u0435 \u043c\u0435\u0440\u0436\u0438\u0442\u0441\u044f, \u043f\u043e\u043a\u0430 \u0432\u0441\u0435 postconditions \u043d\u0435 \u0437\u0435\u043b\u0451\u043d\u044b\u0435.<\/p>\n
\u041a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440. \u0412 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0435 key_generation \u0441\u0442\u043e\u0438\u0442 INV: padding == RSA-PSS. \u0410\u0433\u0435\u043d\u0442 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043b CryptoEngine, \u0438 \u043f\u0435\u0440\u0432\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f sign_data() \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b\u0430 PKCS1v15. Contract-\u0442\u0435\u0441\u0442 test_rejects_pkcs1v15_padding \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0439\u043c\u0430\u043b \u043d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u0435: \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0447\u0435\u0440\u0435\u0437 PSS \u0443\u043f\u0430\u043b\u0430, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043f\u043e\u0434\u043f\u0438\u0441\u044c \u0431\u044b\u043b\u0430 \u0441\u043e\u0437\u0434\u0430\u043d\u0430 \u0441 \u0434\u0440\u0443\u0433\u0438\u043c padding. \u0410\u0433\u0435\u043d\u0442 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043b sign_data() \u043d\u0430 PSS, \u0442\u0435\u0441\u0442\u044b \u043f\u043e\u0437\u0435\u043b\u0435\u043d\u0435\u043b\u0438. \u0412\u0435\u0441\u044c \u0446\u0438\u043a\u043b: \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0443\u0436\u0435 \u0431\u044b\u043b, \u0442\u0435\u0441\u0442 \u0443\u0436\u0435 \u0431\u044b\u043b, \u0447\u0435\u043b\u043e\u0432\u0435\u043a \u043d\u0435 \u0443\u0447\u0430\u0441\u0442\u0432\u043e\u0432\u0430\u043b. \u042f \u0443\u0432\u0438\u0434\u0435\u043b \u0437\u0435\u043b\u0451\u043d\u044b\u0439 \u043f\u0440\u043e\u0433\u043e\u043d \u0432 \u043b\u043e\u0433\u0435 \u0438 \u043f\u043e\u0448\u0451\u043b \u0434\u0430\u043b\u044c\u0448\u0435.<\/p>\n
\u041d\u0430 pki-on-box \u0432\u0435\u0441\u044c \u044d\u0442\u043e\u0442 \u0446\u0438\u043a\u043b \u0437\u0430\u043d\u044f\u043b 52 \u0441\u0435\u0441\u0441\u0438\u0438 \u0441 \u0430\u0433\u0435\u043d\u0442\u043e\u043c (\u0441\u0435\u0441\u0441\u0438\u044f = \u043e\u0434\u0438\u043d \u0447\u0430\u0442 \u0441 \u043e\u0434\u043d\u043e\u0439 \u0440\u043e\u043b\u044c\u044e \u0438 \u0437\u0430\u0434\u0430\u0447\u0435\u0439), \u0438\u0442\u043e\u0433\u043e 1780\u20bd \u043d\u0430 compute. Embedded, DevOps \u0438 \u043a\u0440\u0438\u043f\u0442\u043e \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e, \u043e\u0434\u0438\u043d \u0447\u0435\u043b\u043e\u0432\u0435\u043a. \u0411\u0435\u0437 \u0430\u0433\u0435\u043d\u0442\u0430 \u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u044f \u0431\u044b \u0437\u0430\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u043b 60+ \u0447\u0430\u0441\u043e\u0432, \u0438 \u044d\u0442\u043e \u043e\u043f\u0442\u0438\u043c\u0438\u0441\u0442\u0438\u0447\u043d\u043e. \u0422\u0440\u0438 \u0434\u043e\u043c\u0435\u043d\u0430 (firmware, backend, infra), \u0442\u0440\u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043a\u0438 (Windows \u0434\u043b\u044f \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438, Linux ARM64 \u0434\u043b\u044f \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u043d\u0430, bare metal \u0434\u043b\u044f MCU). \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0443\u044e\u0442 \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044f \u0437\u0430\u0440\u0430\u043d\u0435\u0435, \u0438 \u0430\u0433\u0435\u043d\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u0438\u0445 \u0431\u0435\u0437 \u043e\u0442\u043a\u043b\u043e\u043d\u0435\u043d\u0438\u0439. \u041d\u0435 \u043d\u0430\u0434\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0442\u044c \u0435\u043c\u0443 \u043f\u043e \u0432\u0442\u043e\u0440\u043e\u043c\u0443 \u043a\u0440\u0443\u0433\u0443, \u043f\u043e\u0447\u0435\u043c\u0443 PKCS#1 v1.5 \u043d\u0435\u043b\u044c\u0437\u044f. \u042d\u0442\u043e \u0437\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0432 INV.<\/p>\n
7. \u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u0438 \u0447\u0435\u0441\u0442\u043d\u044b\u0435 \u043e\u0433\u043e\u0432\u043e\u0440\u043a\u0438<\/h3>\n
\u0420\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435 \u0441 \u043b\u044e\u0431\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u044c\u044e. \u041c\u043e\u0434\u0435\u043b\u044c \u0434\u043e\u043b\u0436\u043d\u0430 \u0443\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0442\u044c \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043f\u0440\u043e\u0442\u044f\u0436\u0435\u043d\u0438\u0438 \u0434\u043b\u0438\u043d\u043d\u043e\u0439 \u0441\u0435\u0441\u0441\u0438\u0438 \u0438 \u043d\u0435 \u0437\u0430\u0431\u044b\u0432\u0430\u0442\u044c \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u044b \u043d\u0430 \u043f\u044f\u0442\u0438\u0434\u0435\u0441\u044f\u0442\u043e\u043c \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0438 \u0432 \u0447\u0430\u0442\u0435. Frontier-\u043c\u043e\u0434\u0435\u043b\u0438 \u0441 \u044d\u0442\u0438\u043c \u0441\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f. \u041b\u043e\u043a\u0430\u043b\u044c\u043d\u044b\u0435 \u043d\u0430 7B \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u043f\u043e\u043a\u0430 \u043d\u0435 \u0442\u044f\u043d\u0443\u0442, \u043d\u043e \u044d\u0442\u043e \u0432\u043e\u043f\u0440\u043e\u0441 \u0432\u0440\u0435\u043c\u0435\u043d\u0438.<\/p>\n
\u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0442\u043e\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e, \u0438 \u044d\u0442\u043e \u0432\u0430\u0436\u043d\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c. \u0415\u0441\u043b\u0438 \u0432 INV \u0437\u0430\u0431\u044b\u0442\u044c \u0437\u0430\u043f\u0440\u0435\u0442\u0438\u0442\u044c CBC mode \u0434\u043b\u044f AES \u0438 \u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e GCM, \u0430\u0433\u0435\u043d\u0442 \u043f\u043e\u0441\u043b\u0443\u0448\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 CBC, \u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u0431\u043b\u044e\u0434\u0451\u043d. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043d\u0435 \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u0442 \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u0438\u0437\u0443. \u041e\u043d \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e \u0442\u044b \u0443\u0436\u0435 \u0437\u043d\u0430\u0435\u0448\u044c. \u0415\u0441\u043b\u0438 \u043d\u0435 \u0437\u043d\u0430\u0435\u0448\u044c, \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u0447\u0435\u0433\u043e. \u041d\u0430 pki-on-box \u044f \u0434\u0432\u0430\u0436\u0434\u044b \u043b\u043e\u0432\u0438\u043b \u0441\u0435\u0431\u044f \u043d\u0430 \u0442\u043e\u043c, \u0447\u0442\u043e \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043d\u0435\u043f\u043e\u043b\u043d\u044b\u0439: \u043e\u0434\u0438\u043d \u0440\u0430\u0437 \u0437\u0430\u0431\u044b\u043b \u043f\u0440\u043e AES mode (\u043f\u043e\u0439\u043c\u0430\u043b \u043d\u0430 \u0440\u0435\u0432\u044c\u044e), \u0432\u0442\u043e\u0440\u043e\u0439 \u0440\u0430\u0437 \u043d\u0435 \u0443\u043a\u0430\u0437\u0430\u043b \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u0443\u044e \u0434\u043b\u0438\u043d\u0443 entropy seed \u0434\u043b\u044f DRBG. \u041e\u0431\u0430 \u0440\u0430\u0437\u0430 \u0444\u0438\u043a\u0441 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u0430 \u0437\u0430\u043d\u044f\u043b \u043e\u0434\u043d\u0443 \u0441\u0442\u0440\u043e\u043a\u0443, \u043d\u043e \u0431\u0435\u0437 \u043d\u0435\u0433\u043e \u0430\u0433\u0435\u043d\u0442 \u0431\u044b \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043b \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u044b\u0439, \u043d\u043e \u0443\u044f\u0437\u0432\u0438\u043c\u044b\u0439 \u043a\u043e\u0434.<\/p>\n
DbC \u043d\u0435 \u0441\u0435\u0440\u0435\u0431\u0440\u044f\u043d\u0430\u044f \u043f\u0443\u043b\u044f. \u041e\u043d \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u043d\u0430 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u043d\u044b\u0445 \u0441\u0442\u044b\u043a\u0430\u0445, \u0438 \u0442\u043e\u043b\u044c\u043a\u043e. Memory corruption \u044d\u0442\u043e \u043a Rust, race conditions \u043a \u043c\u043e\u0434\u0435\u043b\u0438 \u043f\u0430\u043c\u044f\u0442\u0438, supply chain \u043a \u0441\u043e\u0432\u0441\u0435\u043c \u0434\u0440\u0443\u0433\u0438\u043c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u043c. \u0418 \u0435\u0449\u0451: \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u043c\u043e\u0434\u0443\u043b\u0435\u0439, \u043d\u0435 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439. \u041f\u0438\u0441\u0430\u0442\u044c PRE\/POST \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u0433\u0435\u0442\u0442\u0435\u0440 \u0431\u0435\u0441\u0441\u043c\u044b\u0441\u043b\u0435\u043d\u043d\u043e. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u0438\u043c\u0435\u0435\u0442 \u0441\u043c\u044b\u0441\u043b \u0442\u0430\u043c, \u0433\u0434\u0435 \u0435\u0441\u0442\u044c \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u043d\u044b\u0439 \u0441\u0442\u044b\u043a \u0438 \u0446\u0435\u043d\u0430 \u043e\u0448\u0438\u0431\u043a\u0438 \u0432\u044b\u0441\u043e\u043a\u0430\u044f.<\/p>\n
\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h3>\n
\u041c\u0435\u0439\u0435\u0440 \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u043b Design by Contract \u0441\u043e\u0440\u043e\u043a \u043b\u0435\u0442 \u043d\u0430\u0437\u0430\u0434. \u0418\u0434\u0435\u044f \u0431\u044b\u043b\u0430 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e\u0439, \u043d\u043e \u043c\u043e\u043c\u0435\u043d\u0442 \u043d\u0435 \u0442\u043e\u0442, \u0438 \u0434\u0432\u043e\u0439\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u0443\u0431\u0438\u0432\u0430\u043b\u0430 adoption.<\/p>\n
\u0421\u0435\u0439\u0447\u0430\u0441, \u0432 2026, AI \u0437\u0430\u0431\u0438\u0440\u0430\u0435\u0442 \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443 \u044d\u0442\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b. \u0427\u0435\u043b\u043e\u0432\u0435\u043a \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u0443\u0435\u0442 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442, \u0430 \u0430\u0433\u0435\u043d\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442. \u0422\u043e, \u0447\u0442\u043e \u0440\u0430\u043d\u044c\u0448\u0435 \u0431\u044b\u043b\u043e \u201c\u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043e\u0440\u043e\u0433\u043e\u201d, \u043f\u0440\u0435\u0432\u0440\u0430\u0442\u0438\u043b\u043e\u0441\u044c \u0432 \u201c\u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0435, \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e \u0434\u0435\u043b\u0430\u0442\u044c\u201d.<\/p>\n
\u0423 \u043c\u0435\u043d\u044f \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c 131 \u043a\u043e\u043c\u043c\u0438\u0442 \u0437\u0430 11 \u0434\u043d\u0435\u0439, $129 \u043d\u0430 \u0436\u0435\u043b\u0435\u0437\u043e, 1780\u20bd \u043d\u0430 compute. \u0418 \u0434\u0432\u0435 CRITICAL, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u0448\u043b\u0438\u0441\u044c \u0438\u043c\u0435\u043d\u043d\u043e \u0447\u0435\u0440\u0435\u0437 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043d\u044b\u0439 \u043f\u043e\u0434\u0445\u043e\u0434, \u0434\u043e \u043f\u0440\u043e\u0434\u0430\u043a\u0448\u043d\u0430.<\/p>\n
Mythos \u043f\u043e\u043a\u0430\u0437\u0430\u043b, \u0447\u0442\u043e AI \u043b\u043e\u043c\u0430\u0435\u0442 \u0431\u044b\u0441\u0442\u0440\u0435\u0435, \u0447\u0435\u043c \u043b\u044e\u0434\u0438 \u0447\u0438\u043d\u044f\u0442. \u041e\u0442 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043e\u0448\u0438\u0431\u043e\u043a \u044f\u0437\u044b\u043a \u043d\u0435 \u0441\u043f\u0430\u0441\u0430\u0435\u0442, \u0430 \u0442\u0435\u0441\u0442\u044b \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u043e, \u043e \u0447\u0451\u043c \u0434\u043e\u0434\u0443\u043c\u0430\u043b\u0441\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442. \u041a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0438\u043d\u0430\u0447\u0435: \u043e\u043d\u0438 \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u044e\u0442 \u0442\u043e, \u0447\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043e\u0431\u044f\u0437\u0430\u043d\u0430 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c. \u0414\u043e\u0434\u0443\u043c\u0430\u043b\u0441\u044f \u043a\u0442\u043e-\u0442\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0442\u0435\u0441\u0442 \u0438\u043b\u0438 \u043d\u0435\u0442.<\/p>\n
\u0421\u043e\u0440\u043e\u043a \u043b\u0435\u0442 \u043d\u0430\u0437\u0430\u0434 \u041c\u0435\u0439\u0435\u0440 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0438\u043b \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u044d\u0442\u0438 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0438 \u044f\u0432\u043d\u043e. \u0422\u043e\u0433\u0434\u0430 \u044d\u0442\u043e \u0441\u0442\u043e\u0438\u043b\u043e \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043e\u0440\u043e\u0433\u043e. \u0421\u0435\u0439\u0447\u0430\u0441 \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u043e\u0432\u0438\u043d\u0443 \u0440\u0430\u0431\u043e\u0442\u044b \u0431\u0435\u0440\u0451\u0442 \u043d\u0430 \u0441\u0435\u0431\u044f \u0430\u0433\u0435\u043d\u0442, \u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u0430\u0440\u0442\u0435\u0444\u0430\u043a\u0442\u043e\u043c, \u0437\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442 \u0447\u0435\u043b\u043e\u0432\u0435\u043a. \u0414\u0435\u0441\u044f\u0442\u044c \u0441\u0442\u0440\u043e\u043a yaml \u0432\u043c\u0435\u0441\u0442\u043e \u0442\u044b\u0441\u044f\u0447\u0438 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0434\u0430.<\/p>\n
\u0415\u0441\u043b\u0438 \u0443 \u0432\u0430\u0441 \u0432 \u043f\u0440\u043e\u0435\u043a\u0442\u0435 \u0435\u0441\u0442\u044c \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u044f, \u043f\u043b\u0430\u0442\u0451\u0436\u043d\u0430\u044f \u043b\u043e\u0433\u0438\u043a\u0430, \u0438\u043b\u0438 \u043b\u044e\u0431\u043e\u0439 \u0434\u0440\u0443\u0433\u043e\u0439 \u043a\u043e\u0434 \u0433\u0434\u0435 \u043e\u0448\u0438\u0431\u043a\u0430 \u0432 \u043b\u043e\u0433\u0438\u043a\u0435 \u043e\u043f\u0430\u0441\u043d\u0435\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u0432 \u043f\u0430\u043c\u044f\u0442\u0438, \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0439\u0442\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043e\u0434\u0438\u043d \u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442 \u043d\u0430 \u0441\u0430\u043c\u044b\u0439 \u043a\u0440\u0438\u0442\u0438\u0447\u043d\u044b\u0439 \u0441\u0442\u044b\u043a. PRE\/POST\/INV, \u0434\u0435\u0441\u044f\u0442\u044c \u0441\u0442\u0440\u043e\u043a. \u0414\u0430\u0439\u0442\u0435 \u0430\u0433\u0435\u043d\u0442\u0443 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0438 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u0435\u0441\u0442\u044b. \u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u0442\u0435, \u0447\u0442\u043e \u043e\u043d \u043d\u0430\u0439\u0434\u0451\u0442.<\/p>\n\n
\u0421\u0441\u044b\u043b\u043a\u0438:<\/p>\n