класс ara::crypto::cryp::VerifierPublicCtx

[SWS_CRYPT_24100] Upstream: RS_CRYPTO_02204

class VerifierPublicCtx :             public CryptoContext {...};

Signature Verification Public key Context interface.

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Forwarding-Header	#include "ara/crypto/crypto_fwd.h"
Scope	namespace ara::crypto::cryp
Basisklasse(n)	CryptoContext

Руководство пользователяСОЗДАНО ИИ

Служит для асимметричной верификации цифровых подписей в одношаговом или многоэтапном потоковом режиме.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 6a47846da53d Происхождение Открытые вопросы (1)

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Служит для асимметричной верификации цифровых подписей в одношаговом или многоэтапном потоковом режиме.

Интерфейс ara::crypto::cryp::VerifierPublicCtx служит для верификации цифровых подписей с помощью асимметричных открытых ключей через одиночный вызов (one-shot) или многошаговый поток ([SWS_CRYPT_24112], [SWS_CRYPT_50022]). Перед верификацией контекст должен быть обязательно сконфигурирован с действительным ключом, назначенные права использования которого разрешают проверку подписи ([SWS_CRYPT_24115]). Все методы интерфейса разработаны как исключебнобезопасные и потокобезопасные.

Контекст

Интерфейс ara::crypto::cryp::VerifierPublicCtx служит для верификации цифровых подписей на основе асимметричной криптографии с использованием открытого ключа. Он напрямую взаимодействует с объектами ключей ([SWS_CRYPT_24115]) или внешними хранилищами ключей ([SWS_CRYPT_50018]) и предоставляет методы для проверки подписей либо за один шаг (one-shot), либо в потоковом режиме через несколько промежуточных шагов.

Жизненный цикл

Внутри приложения экземпляры контекста верификации обычно управляются через псевдоним типа умного указателя ara::crypto::cryp::VerifierPublicCtx::Sptr, который определен как std::shared_ptr<VerifierPublicCtx> ([SWS_CRYPT_24101]). Все методы интерфейса объявлены как исключебнобезопасные (exception safe) и потокобезопасные.

Контекст проходит четко разграниченные фазы работы. После создания экземпляр контекста находится в неинициализированном состоянии, в котором вызовы верификации отклоняются с ошибкой ara::crypto::CryptoErrc::kUninitializedContext ([SWS_CRYPT_50019], [SWS_CRYPT_24112]). Только после назначения подходящего ключа с помощью SetKey() контекст переходит в состояние готовности к работе ([SWS_CRYPT_24115], [SWS_CRYPT_50018]). Из этого состояния можно либо выполнить атомарную проверку, либо инициировать потоковый сеанс. После завершения ([SWS_CRYPT_50022]) или прерывания ([SWS_CRYPT_50023]) потокового процесса контекст, предположительно, снова готов к новым проверкам. Вопрос Q-04655e144a821dbd (открытый)

Диаграмма состояний: жизненный цикл и переходы состояний контекста верификации. Источники: [SWS_CRYPT_24115], [SWS_CRYPT_50018], [SWS_CRYPT_50019], [SWS_CRYPT_50021], [SWS_CRYPT_50022], [SWS_CRYPT_50023], [SWS_CRYPT_24112]

Путь использования

Для проверки подписи доступны два взаимодополняющих пути обработки:

One-Shot-верификация: если полное сообщение находится в памяти, после назначения ключа через SetKey() ([SWS_CRYPT_24115]) можно напрямую вызвать Verify() ([SWS_CRYPT_24112]). Если алгоритм поддерживает или требует контекстные данные, специфичные для приложения, используется перегруженный вариант с дополнительным буфером контекста ([SWS_CRYPT_50024]). Оба варианта возвращают ara::core::Result<bool>, булево значение которого указывает на действительность подписи.
Потоковая верификация: при больших объемах данных или пошагово поступающих блоках данных после SetKey() сначала вызывается Start() ([SWS_CRYPT_50019], опционально с буфером контекста согласно [SWS_CRYPT_50020]). Затем фрагменты данных повторно подаются с помощью Update() ([SWS_CRYPT_50021]). Максимальный размер буфера для отдельных фрагментов может быть предварительно определен через GetMaximumChunkSize() ([SWS_CRYPT_50025]). Завершающим этапом является вызов Finish() с передачей подписи и идентификатора ее формата ([SWS_CRYPT_50022]). Текущий потоковый процесс можно в любой момент сбросить через Cancel() ([SWS_CRYPT_50023]).

Диаграмма последовательности: пошаговый процесс проверки подписи в потоковом режиме. Источники: [SWS_CRYPT_24115], [SWS_CRYPT_50019], [SWS_CRYPT_50021], [SWS_CRYPT_50022]

Сценарии ошибок

Все методы, изменяющие состояние и выполняющие верификацию, работают с ara::core::Result и обладают семантикой отката при ошибках:

Конфигурация ключа: при передаче несовместимого с алгоритмом ключа или KeySlot метод SetKey() возвращает ошибку CryptoErrc::kIncompatibleObject ([SWS_CRYPT_24115], [SWS_CRYPT_50018]). Если у ключа отсутствует право на использование kAllowSigVerification, вызов завершается с ошибкой CryptoErrc::kUsageViolation ([SWS_CRYPT_24115]). Кроме того, SetKey() сообщает CryptoErrc::kUnsupported, если контекст принимает исключительно другую форму ключа (KeySlot или PublicKey соответственно).
Ошибки последовательности и предусловий: если Update(), Finish() или Cancel() вызываются без предшествующего успешного вызова Start(), они завершаются с ошибкой CryptoErrc::kProcessingNotStarted ([SWS_CRYPT_50021], [SWS_CRYPT_50022], [SWS_CRYPT_50023]). Вызов Start() или Verify() без предшествующего связывания ключа приводит к CryptoErrc::kUninitializedContext ([SWS_CRYPT_50019], [SWS_CRYPT_24112]). Для используемых ссылками, но пустых KeySlot возвращается CryptoErrc::kEmptyKeySlot.
Ошибки данных и формата: на некорректные размеры буфера методы реагируют возвратом CryptoErrc::kInvalidInputSize ([SWS_CRYPT_50021], [SWS_CRYPT_50022], [SWS_CRYPT_24112]). Неподдерживаемые форматы подписи вызывают CryptoErrc::kUnsupportedFormat, тогда как структурно поврежденные подписи приводят к CryptoErrc::kInvalidArgument ([SWS_CRYPT_50022], [SWS_CRYPT_24112]). При занятых аппаратных ресурсах возвращается CryptoErrc::kBusyResource.

Настоящее руководство основано исключительно на спецификациях AUTOSAR Adaptive Platform R25-11.

Карта членов

Методы

Cancel Finish GetMaximumChunkSize SetKey Start Update Verify

Псевдонимы типов

Sptr

Диаграмма классов

Hohle Dreieckspfeile = Vererbung (zeigt zur Basisklasse); Klicken öffnet die jeweilige Klassenseite.

Подробный вид

Выберите элемент в оглавлении.

Для этого релиза нет данных об элементах

Методы

Cancel функция

Cancel the ongoing streaming operation that has been initiated by Start() and has not yet been finished.

virtual ara::core::Result< void > Cancel () noexcept=0;

Finish функция

Finish the signature verification and return the verification result.

virtual ara::core::Result< bool > Finish (ReadOnlyMemRegion signature, FormatId signatureFormat) noexcept=0;

GetMaximumChunkSize функция

Get the maximum input buffer size supported for processing in single calls to Update() or Verify() by this context.

virtual std::size_t GetMaximumChunkSize () const noexcept=0;

SetKey функция 2

Configure the context to use the provided key.

Перегрузки SetKey 2

virtual ara::core::Result< void > SetKey (PublicKey::Sptr key) noexcept=0; SWS_CRYPT_24115

virtual ara::core::Result< void > SetKey (KeySlot::Sptr keySlot) noexcept=0; SWS_CRYPT_50018

Start функция 2

Initialize the context for a new signature verification.

Перегрузки Start 2

virtual ara::core::Result< void > Start () noexcept=0; SWS_CRYPT_50019

virtual ara::core::Result< void > Start (ReadOnlyMemRegion context) noexcept=0; SWS_CRYPT_50020

Update функция

Update the signature verification context by a new part of the message.

virtual ara::core::Result< void > Update (ReadOnlyMemRegion data) noexcept=0;

Verify функция 2

Verify the signature of the provided message in a single call.

Перегрузки Verify 2

virtual ara::core::Result< bool > Verify (ReadOnlyMemRegion message, ReadOnlyMemRegion signature, FormatId signatureFormat) const noexcept=0;

SWS_CRYPT_24112

virtual ara::core::Result< bool > Verify (ReadOnlyMemRegion message, ReadOnlyMemRegion context, ReadOnlyMemRegion signature, FormatId signatureFormat) const noexcept=0;

SWS_CRYPT_50024

Псевдонимы типов

Sptr псевдоним типа

Smart pointer of the interface.

using Sptr = std::shared_ptr<VerifierPublicCtx>;

Нажмите на элемент, чтобы увидеть его связи.

Базовый классПроизводныеИспользуетИспользуется вНаследованиеудалено начиная сВстречается вНет связей внутри этого классаФункцииКомментарий ИИОткрыть страницу классаНе удалось загрузить страницу класса.Изменить порядокИзменить ширинуИзменить ширину структурыРазделыВремя чтенияСсылки SWSДиаграммыВернуть в серединуИзменить порядок или перетащить на строку заголовкаОткрепить – показать в содержимомПереместить в среднюю колонкуЗакрепить вкладкой в строке заголовкаЭлементыМодель ИИОткрыть аудиторское досьеДосьеОткрыть краткую версиюОткрыть среднюю версиюОткрыть полную версиюВосстановить вид по умолчаниюВид по умолчанию восстановленОтменитьЗакрыть подробный видСигнатураОбщие сведенияЗначенияПоследнее изменение до выбранного релизаСледующее изменение после негоЩелчок: выбрать релизЗдесь нельзя отпустить: перетащите на строку заголовка, чтобы закрепить, или в среднюю колонку, чтобы открепить.новыйизменёнбез измененийудалённе включёнИзмененияСодержание не изменилосьВпервые вУдалён вДанные о версиях недоступны.Загрузка данных о версиях …ТекстФормулировка в этом релизе не зафиксированаНаведите или щёлкните ячейку: сравнить с выбранным релизом · Щелчок по заголовку релиза: выбрать релизВыбрать релизСведенияРелизЭлементТолько один релиз с формулировкойесть в PDF, текст ещё не импортированТекст сохранён впервыебез изменений с {rel}Цвета выпусковсамый ранний выпусксамый новый выпуск

Документация методов

функция Cancel [SWS_CRYPT_50023] Upstream: RS_CRYPTO_02302

virtual ara::core::Result< void > Cancel () noexcept=0;

Cancel the ongoing streaming operation that has been initiated by Start() and has not yet been finished.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 9071187e47e8 Происхождение Открытые вопросы (1)

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Использование и семантика

Метод Cancel() прерывает текущую потоковую операцию, которая была ранее инициирована с помощью Start() и ещё не завершена [SWS_CRYPT_50023]. Он определён в заголовочном файле ara/crypto/cryp/verifier_public_ctx.h как чисто виртуальный метод контекста ara::crypto::cryp::VerifierPublicCtx [SWS_CRYPT_50023]. Вызов выполняется синхронно и без аргументов. В качестве возвращаемого значения служит ara::core::Result<void>, которое в случае успеха является пустым и подтверждает успешное прерывание операции [SWS_CRYPT_50023].

Обработка ошибок

Если обработка данных ещё не была начата вызовом метода Start(), операция прерывания завершается сбоем. В этом сценарии функция возвращает ошибочный результат с кодом ошибки ara::crypto::CryptoErrc::kProcessingNotStarted с обеспечением семантики отката [SWS_CRYPT_50023].

Параллелизм и ограничения

Спецификация определяет метод как потокобезопасный (thread-safe) и исключениебезопасный (exception safe) с обозначением noexcept [SWS_CRYPT_50023]. Интерпретация: после успешного прерывания контекст, по всей видимости, должен вернуться в исходное состояние до начала обработки, что позволяет запустить новый процесс потоковой передачи. Вопрос Q-d80d09c8a8311bbc (открытый)

Взаимодействие в модуле crypt

Этот единообразный шаблон прерывания с идентичной сигнатурой и обработкой ошибок согласованно применяется ко всем потоковым контекстам модуля crypt:

MessageAuthnCodeCtx для кодов аутентификации сообщений (Message Authentication Codes) [SWS_CRYPT_50027],
SignerPrivateCtx для формирования цифровых подписей [SWS_CRYPT_50041],
SymmetricCipherCtx для симметричного шифрования и дешифрования [SWS_CRYPT_50046],
HashFunctionCtx для криптографических хеш-операций [SWS_CRYPT_50058],
DecryptorPrivateCtx для асимметричного дешифрования [SWS_CRYPT_50069],
AuthCipherCtx для аутентифицированного шифрования [SWS_CRYPT_50077], а также
EncryptorPublicCtx для асимметричного шифрования [SWS_CRYPT_50089].

Это указание по использованию было сгенерировано автоматически на основе спецификации AUTOSAR R25-11.

Руководство разработчика реализации в подготовке (сложность I1)

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe

Rückgabewert

Typ	Beschreibung
ara::core::Result< void >	an empty result if the ongoing streaming operation was cancelled successfully, or a result containing an error

Fehler

Fehlercode	Beschreibung
ara::crypto::CryptoErrc::kProcessingNotStarted	rollback_semantics if data processing was not started by a call of the Start() method

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50023
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50023@rel:R25-11#0cf94dc6
Content hash: 0cf94dc6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50023

Status: valid/unmigrated Version: rel:R25-11#ccbcbc55 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50023@rel:R25-11#ccbcbc55

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция Finish [SWS_CRYPT_50022] Upstream: RS_CRYPTO_02302, RS_CRYPTO_02203

virtual ara::core::Result< bool > Finish (ReadOnlyMemRegion signature, FormatId signatureFormat) noexcept=0;

Finish the signature verification and return the verification result.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 363425d77de3 Происхождение Открытые вопросы (1)

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Метод Finish в ara::crypto::cryp::VerifierPublicCtx завершает проверку подписи и возвращает результат верификации [SWS_CRYPT_50022]. Через входной буфер signature (тип ReadOnlyMemRegion) он принимает проверяемую подпись, а через signatureFormat (тип FormatId) — её формат [SWS_CRYPT_50022]. Вызов происходит синхронно и согласно спецификации объявлен thread-safe, а также exception safe [SWS_CRYPT_50022].

В качестве возвращаемого значения служит ara::core::Result<bool> [SWS_CRYPT_50022]: при успешной валидации подписи результат содержит true, а при недействительной по содержанию подписи — false. Если же возникает ошибка обработки, возвращается соответствующий код ошибки [SWS_CRYPT_50022]:

ara::crypto::CryptoErrc::kProcessingNotStarted: операция не была предварительно успешно запущена (семантика отката) [SWS_CRYPT_50022].
ara::crypto::CryptoErrc::kInvalidInputSize: размер буфера signature недопустим (семантика отката) [SWS_CRYPT_50022].
ara::crypto::CryptoErrc::kUnsupportedFormat: указанный формат signatureFormat не поддерживается (семантика отката) [SWS_CRYPT_50022].
ara::crypto::CryptoErrc::kInvalidArgument: подпись не соответствует указанному формату (семантика отката) [SWS_CRYPT_50022].

В криптографическом процессе эта функция является аналогом создания подписи через ara::crypto::cryp::SignerPrivateCtx::Finish [SWS_CRYPT_50040], которая записывает подпись в выходной буфер. Все возвращаемые ошибки обладают семантикой отката [SWS_CRYPT_50022], благодаря чему состояние контекста при сбое остается согласованным.

Этот текст был сгенерирован ИИ и служит в качестве ориентировочного руководства.

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe

Parameter (in)

Parameter	Beschreibung
signature	an input buffer containing the signature
signatureFormat	the format in which the signature is provided

Rückgabewert

Typ	Beschreibung
ara::core::Result< bool >	An result containing true if the signature was verified successfully, false if the signature verification failed, or an error.

Fehler

Fehlercode	Beschreibung
ara::crypto::CryptoErrc::kProcessingNotStarted	rollback_semantics if the signature generation has not been started sucessfully.
ara::crypto::CryptoErrc::kInvalidInputSize	rollback_semantics if the size of the input buffer is invalid
ara::crypto::CryptoErrc::kUnsupportedFormat	rollback_semantics if the specified format ID is not supported
ara::crypto::CryptoErrc::kInvalidArgument	rollback_semantics if signature does not conform to the specified format

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50022
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50022@rel:R25-11#843e319c
Content hash: 843e319c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50022

Status: valid/unmigrated Version: rel:R25-11#4737b352 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50022@rel:R25-11#4737b352

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция GetMaximumChunkSize [SWS_CRYPT_50025] Upstream: RS_CRYPTO_02309

virtual std::size_t GetMaximumChunkSize () const noexcept=0;

Get the maximum input buffer size supported for processing in single calls to Update() or Verify() by this context.

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe

Rückgabewert

Typ	Beschreibung
std::size_t	the maximum buffer size in bytes

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50025
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50025@rel:R25-11#c4a168f8
Content hash: c4a168f8
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50025

Status: valid/unmigrated Version: rel:R25-11#85142237 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50025@rel:R25-11#85142237

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция SetKey [SWS_CRYPT_24115] Upstream: RS_CRYPTO_02001, RS_CRYPTO_02003

virtual ara::core::Result< void > SetKey (PublicKey::Sptr key) noexcept=0;

Configure the context to use the provided key.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 0edd4bb26214 Происхождение

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Метод SetKey конфигурирует экземпляр VerifierPublicCtx для использования конкретного открытого ключа для проверки подписи ([SWS_CRYPT_24115]). Через параметр key передаётся указатель типа PublicKey::Sptr. Вызов происходит синхронно и возвращает ara::core::Result<void>, который в случае успеха пуст или инкапсулирует специфический код ошибки.

Операция, согласно спецификации, спроектирована как потокобезопасная и исключения-безопасная (exception safe) ([SWS_CRYPT_24115]). Если во время связывания ключа возникает ошибка, для всех случаев ошибок применяется семантика отката, так что контекст остаётся в согласованном состоянии:

CryptoErrc::kIncompatibleObject: переданный ключ несовместим с контекстом проверки подписи ([SWS_CRYPT_24115]).
CryptoErrc::kUsageViolation: права доступа ключа не разрешают проверку подписи (отсутствие флага использования для верификации подписи) ([SWS_CRYPT_24115]).
ara::crypto::CryptoErrc::kUnsupported: реализация контекста поддерживает исключительно привязку ключа через KeySlot ([SWS_CRYPT_24115]).

В криптографическом рабочем процессе SetKey образует открытый аналог SignerPrivateCtx::SetKey ([SWS_CRYPT_23515]). Если контекст не допускает прямую передачу ключа через PublicKey::Sptr или ключи управляются в защищённых слотах, альтернативно доступна перегрузка с помощью KeySlot::Sptr ([SWS_CRYPT_50018]).

Это указание по использованию было создано автоматически на основе данных спецификации AUTOSAR.

Руководство разработчика реализации в подготовке (сложность I2)

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe

Parameter (in)

Parameter	Beschreibung
key	the source key object

Rückgabewert

Typ	Beschreibung
ara::core::Result< void >	An empty result or an error

Fehler

Fehlercode	Beschreibung
CryptoErrc::kIncompatibleObject	rollback_semantics if the provided key object is incompatible with this signature verification context
CryptoErrc::kUsageViolation	rollback_semantics if the allowed usage of the key does not include kAllowSig Verification
ara::crypto::CryptoErrc::kUnsupported	rollback_semantics if the context only supports setting a KeySlot

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_24115
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_24115@rel:R25-11#00796fae
Content hash: 00796fae
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_24115

Status: valid/unmigrated Version: rel:R25-11#4657cfda Versionshistorie & Revisions (1 transition, 7 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_24115@rel:R25-11#4657cfda

Recorded Revisions (7):

R25-11rel:R25-11#b4f2582a2026-09-30
R20-11rel:R20-11#c67a48952026-10-14
R21-11rel:R21-11#68e4b4312026-10-14
R22-11rel:R22-11#c39e34c92026-10-14
R23-11rel:R23-11#8afac6e02026-10-14
R24-11rel:R24-11#e169f3652026-10-14
R25-11rel:R25-11#4657cfda2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция SetKey [SWS_CRYPT_50018] Upstream: RS_CRYPTO_02001, RS_CRYPTO_02003

virtual ara::core::Result< void > SetKey (KeySlot::Sptr keySlot) noexcept=0;

Configure the context to use the key stored in the provided KeySlot at the time the signature verification is started.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 529cb5e9ea06 Происхождение

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Использование

Метод SetKey класса ara::crypto::cryp::VerifierPublicCtx настраивает контекст верификации для использования ключа, сохраненного в переданном KeySlot [SWS_CRYPT_50018]. Ключ задействуется в момент запуска проверки подписи [SWS_CRYPT_50018].

В качестве параметра выступает умный указатель keySlot типа KeySlot::Sptr, который содержит открытый ключ [SWS_CRYPT_50018]. Функция работает синхронно и возвращает ara::core::Result<void> для индикации успешного завершения или ошибки [SWS_CRYPT_50018].

Обработка ошибок и семантика

Операция специфицирована как noexcept и exception safe [SWS_CRYPT_50018]. При возникновении ошибки применяется семантика отката (rollback) [SWS_CRYPT_50018]:

ara::crypto::CryptoErrc::kIncompatibleObject: предоставленный KeySlot несовместим с данным контекстом [SWS_CRYPT_50018].
ara::crypto::CryptoErrc::kUnsupported: контекст поддерживает исключительно прямую установку PublicKey [SWS_CRYPT_50018].

Параллелизм и взаимодействие

Метод специфицирован как thread-safe [SWS_CRYPT_50018]. В качестве альтернативы KeySlot класс VerifierPublicCtx предоставляет перегрузку для непосредственной установки PublicKey [SWS_CRYPT_24115]. Соответствующая конфигурация ключа через KeySlot аналогично существует и в других контекстах, таких как SignerPrivateCtx [SWS_CRYPT_50036] или MessageAuthnCodeCtx [SWS_CRYPT_50026].

Данное указание по использованию было сгенерировано ИИ на основе спецификации.

Руководство разработчика реализации в подготовке (сложность I2)

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe

Parameter (in)

Parameter	Beschreibung
keySlot	a keyslot containing a public key

Rückgabewert

Typ	Beschreibung
ara::core::Result< void >	An empty result or an error

Fehler

Fehlercode	Beschreibung
ara::crypto::CryptoErrc::kIncompatibleObject	rollback_semantics if the provided keySlot is incompatible with this context
ara::crypto::CryptoErrc::kUnsupported	rollback_semantics if the context only supports setting a PublicKey

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50018
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50018@rel:R25-11#ee00900d
Content hash: ee00900d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50018

Status: valid/unmigrated Version: rel:R25-11#9f29f516 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50018@rel:R25-11#9f29f516

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция Start [SWS_CRYPT_50019] Upstream: RS_CRYPTO_02302

virtual ara::core::Result< void > Start () noexcept=0;

Initialize the context for a new signature verification.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: b446929a6cac Происхождение Открытые вопросы (1)

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Использование

Синхронный метод Start() интерфейса ara::crypto::cryp::VerifierPublicCtx ([SWS_CRYPT_50019]) инициализирует контекст для новой криптографической проверки подписи в потоковом режиме. Функция не принимает входных параметров, объявлена как noexcept и возвращает ara::core::Result<void>, которое пусто в случае успеха.

Обработка ошибок и откат

Если при выполнении возникает ошибка, действует семантика отката ([SWS_CRYPT_50019]), благодаря чему контекст остается в согласованном состоянии. Возможными причинами ошибок являются:

UninitializedContext: контексту предварительно не был назначен криптографический ключ.
ara::crypto::CryptoErrc::kUsageViolation: назначенный ключ не разрешен для проверки подписи (kAllowSig Verification).
ara::crypto::CryptoErrc::kEmptyKeySlot: сконфигурированный для верификации KeySlot в данный момент пуст.
ara::crypto::CryptoErrc::kUnsupported: контекст не поддерживает потоковую обработку или метод строго требует контекстного значения.
ara::crypto::CryptoErrc::kBusyResource: необходимый для операции ресурс в данный момент занят.

Параллелизм и взаимодействие

Хотя спецификация определяет метод как потокобезопасный ([SWS_CRYPT_50019]), параллельный вызов на одном и том же экземпляре контекста во время текущей верификации, вероятно, приведет к сбросу существующей операции или к сбою из-за занятых ресурсов. Вопрос Q-af5e08ff9d905a29 (открытый)

После успешной инициализации части сообщения передаются последовательно через Update() ([SWS_CRYPT_50021]). Текущую потоковую операцию при необходимости можно прервать досрочно с помощью Cancel() ([SWS_CRYPT_50023]). Если алгоритм строго требует контекстного значения, вместо этого должна вызываться перегруженная функция Start(ReadOnlyMemRegion context) ([SWS_CRYPT_50020]).

Это указание по использованию было сгенерировано автоматически на основе спецификации AUTOSAR R25-11.

Руководство разработчика реализации в подготовке (сложность I1)

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe ara::crypto::CryptoErrc::k rollback_semantics

Rückgabewert

Typ	Beschreibung
ara::core::Result< void >	An empty result or an error

Fehler

Fehlercode	Beschreibung
UninitializedContext	if the context was not initialized by deploying a key
ara::crypto::CryptoErrc::kUnsupported	rollback_semantics if the context does not support streaming or the algorithm requires setting a context value
ara::crypto::CryptoErrc::kBusyResource	rollback_semantics a required resource is busy
ara::crypto::CryptoErrc::kEmptyKeySlot	rollback_semantics if a KeySlot was configured that is currently is empty
ara::crypto::CryptoErrc::kUsageViolation	rollback_semantics if the allowed usage of the key does not include kAllowSig Verification

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50019
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50019@rel:R25-11#64c175a7
Content hash: 64c175a7
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50019

Status: valid/unmigrated Version: rel:R25-11#d79f5341 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50019@rel:R25-11#d79f5341

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция Start [SWS_CRYPT_50020] Upstream: RS_CRYPTO_02302

virtual ara::core::Result< void > Start (ReadOnlyMemRegion context) noexcept=0;

Initialize the context for a new signature verification.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: c4af2edd4646 Происхождение Открытые вопросы (1)

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Использование

Функция Start инициализирует согласно [SWS_CRYPT_50020] контекст верификации класса ara::crypto::cryp::VerifierPublicCtx для новой проверки подписи. В качестве входного параметра она принимает context типа ReadOnlyMemRegion, предоставляющий специфическое для приложения значение контекста. В качестве альтернативы без данных контекста существует перегрузка [SWS_CRYPT_50019]. Возвращаемым значением является ara::core::Result<void>; интерпретация: поскольку не определены ни колбэки, ни объекты будущих результатов (futures), вызов, вероятно, выполняется чисто синхронно. Вопрос Q-4e10cdb1a4343a3a (открытый)

Обработка ошибок

В случае ошибки функция возвращает ara::core::Result с подходящим кодом ошибки из ara::crypto::CryptoErrc, причем специфицирована семантика отката (rollback) [SWS_CRYPT_50020]:

kUninitializedContext: Контекст еще не был инициализирован назначением ключа.
kEmptyKeySlot: Сконфигурированный KeySlot в данный момент пуст.
kUsageViolation: Разрешенное использование назначенного ключа не включает kAllowSigVerification.
kInvalidInputSize: Размер буфера переданного значения контекста недопустим для данного алгоритма.
kUnsupported: Контекст не поддерживает потоковую обработку или алгоритм не поддерживает задание значения контекста.
kBusyResource: Необходимый ресурс занят.

Параллелизм и ограничения

Согласно [SWS_CRYPT_50020], метод классифицирован как thread-safe, а также exception-safe. Он не генерирует исключений (noexcept).

Взаимодействие

После успешного выполнения Start входное сообщение может пошагово передаваться через повторные вызовы Update [SWS_CRYPT_50021]. Выполняющийся процесс потоковой обработки, инициированный через Start, при необходимости может быть досрочно прерван через Cancel [SWS_CRYPT_50023].

Этот текст был сформирован автоматически. Все сведения основаны исключительно на спецификации AUTOSAR.

Руководство разработчика реализации в подготовке (сложность I1)

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe ara::crypto::CryptoErrc::k rollback_semantics

Parameter (in)

Parameter	Beschreibung
context	a context value

Rückgabewert

Typ	Beschreibung
ara::core::Result< void >	An empty result or an error

Fehler

Fehlercode	Beschreibung
UninitializedContext	if the context was not initialized by deploying a key
ara::crypto::CryptoErrc::kUnsupported	rollback_semantics if the context does not support streaming or the algorithm does not support setting a context value
ara::crypto::CryptoErrc::kBusyResource	rollback_semantics a required resource is busy
ara::crypto::CryptoErrc::kEmptyKeySlot	rollback_semantics if a KeySlot was configured that is currently is empty
ara::crypto::CryptoErrc::kUsageViolation	rollback_semantics if the allowed usage of the key does not include kAllowSig Verification
ara::crypto::CryptoErrc::kInvalidInputSize	rollback_semantics if the size of the context is invalid

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50020
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50020@rel:R25-11#4430cb7a
Content hash: 4430cb7a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50020

Status: valid/unmigrated Version: rel:R25-11#4700c295 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50020@rel:R25-11#4700c295

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция Update [SWS_CRYPT_50021] Upstream: RS_CRYPTO_02302

virtual ara::core::Result< void > Update (ReadOnlyMemRegion data) noexcept=0;

Update the signature verification context by a new part of the message.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: d18fb124c521 Происхождение Открытые вопросы (1)

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Использование

Метод Update() служит для того, чтобы пошагово обновлять контекст проверки подписи следующей частью входного сообщения [SWS_CRYPT_50021]. В качестве параметра передается область памяти data типа ReadOnlyMemRegion. Функция возвращает ara::core::Result<void>; интерпретация: на основании этого типа возвращаемого значения обработка, вероятно, происходит синхронно. Вопрос Q-f98391030b3b4684 (открытый)

Обработка ошибок

В случае ошибки возвращается соответствующий код ошибки с семантикой отката (rollback) [SWS_CRYPT_50021]:

ara::crypto::CryptoErrc::kProcessingNotStarted: Проверка подписи не была предварительно инициирована вызовом метода Start() [SWS_CRYPT_50021].
ara::crypto::CryptoErrc::kInvalidInputSize: Размер предоставленных данных в data не поддерживается [SWS_CRYPT_50021].

Параллелизм и взаимодействие

Операция классифицирована в спецификации как thread-safe и exception safe [SWS_CRYPT_50021]. Перед вызовом обязательно должна быть выполнена инициализация через Start() [SWS_CRYPT_50021]. Чтобы предотвратить возникновение kInvalidInputSize, максимально допустимый размер буфера для отдельных вызовов можно запросить через метод GetMaximumChunkSize() того же контекста [SWS_CRYPT_50025]. Комплементарным аналогом для поблочного формирования подписи выступает Update() в SignerPrivateCtx [SWS_CRYPT_50039].

Это указание по использованию было сгенерировано автоматически на основе спецификации.

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe

Parameter (in)

Parameter	Beschreibung
data	a part of the input message that should be processed

Rückgabewert

Typ	Beschreibung
ara::core::Result< void >	An empty result or an error

Fehler

Fehlercode	Beschreibung
ara::crypto::CryptoErrc::kProcessingNotStarted	rollback_semantics if the signature verification was not initiated by a call of the Start() method
ara::crypto::CryptoErrc::kInvalidInputSize	rollback_semantics if the size of provided data is not supported

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50021
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50021@rel:R25-11#e1bda91a
Content hash: e1bda91a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50021

Status: valid/unmigrated Version: rel:R25-11#353f95ae Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50021@rel:R25-11#353f95ae

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция Verify [SWS_CRYPT_24112] Upstream: RS_CRYPTO_02204

virtual ara::core::Result< bool > Verify (ReadOnlyMemRegion message, ReadOnlyMemRegion signature, FormatId signatureFormat) const noexcept=0;

Verify the signature of the provided message in a single call.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 2cecc26c2fc4 Происхождение Открытые вопросы (1)

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Использование

Метод Verify контекста ara::crypto::cryp::VerifierPublicCtx служит для верификации подписи предоставленного сообщения за один вызов [SWS_CRYPT_24112]. В качестве параметров передаются буфер сообщения message, подпись signature, а также формат signatureFormat [SWS_CRYPT_24112]. Возвращаемое значение ara::core::Result<bool> при успешной проверке содержит true, при несовпадении — false или код ошибки [SWS_CRYPT_24112]. Интерпретация: из-за синхронного типа результата процесс проверки, вероятно, выполняется блокирующим образом в вызывающем потоке. Вопрос Q-671054c6e2b581c6 (открытый)

Обработка ошибок и параллелизм

Функция специфицирована как exception safe и thread-safe [SWS_CRYPT_24112]. В случае сбоя для кодов ошибок применяется семантика отката [SWS_CRYPT_24112]. Возможные причины ошибок включают:

UninitializedContext, если контекст не был инициализирован ключом [SWS_CRYPT_24112],
ara::crypto::CryptoErrc::kEmptyKeySlot при пустом слоте ключа или kUsageViolation, если у ключа отсутствуют права kAllowSig Verification [SWS_CRYPT_24112],
ara::crypto::CryptoErrc::kInvalidInputSize при недопустимом размере буфера [SWS_CRYPT_24112],
ara::crypto::CryptoErrc::kUnsupportedFormat или kInvalidArgument при некорректном или несовместимом формате подписи [SWS_CRYPT_24112],
ara::crypto::CryptoErrc::kBusyResource, если требуемые ресурсы заняты [SWS_CRYPT_24112].

Взаимодействие

Максимальный размер буфера для одиночных вызовов можно запросить через GetMaximumChunkSize() [SWS_CRYPT_50025]. Если алгоритм строго требует контекстного значения, возвращается ara::crypto::CryptoErrc::kUnsupported [SWS_CRYPT_24112]; в этом случае следует выбрать перегрузку с дополнительным параметром context [SWS_CRYPT_50024]. Для проверок кодов аутентификации сообщений (Message Authentication Codes), в отличие от этого, существует ara::crypto::cryp::MessageAuthnCodeCtx::Verify [SWS_CRYPT_50031].

Это указание по использованию основано на спецификации AUTOSAR R25-11.

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe ara::crypto::CryptoErrc::k rollback_semantics

Parameter (in)

Parameter	Beschreibung
message	an input buffer containing the message
signature	an input buffer containing the signature
signatureFormat	the format in which the signature is provided

Rückgabewert

Typ	Beschreibung
ara::core::Result< bool >	An result containing true if the signature was verified successfully, false if the signature verification failed, or an error.

Fehler

Fehlercode	Beschreibung
UninitializedContext	if the context was not initialized by a key value
ara::crypto::CryptoErrc::kInvalidInputSize	rollback_semantics if the size of the input buffer is invalid
ara::crypto::CryptoErrc::kUnsupported	rollback_semantics if the signature algorithm requires a context value
ara::crypto::CryptoErrc::kUnsupportedFormat	rollback_semantics if the specified format ID is not supported
ara::crypto::CryptoErrc::kInvalidArgument	rollback_semantics if signature does not conform to the specified format.
ara::crypto::CryptoErrc::kBusyResource	rollback_semantics a required resource is busy
ara::crypto::CryptoErrc::kEmptyKeySlot	rollback_semantics if a KeySlot was configured that is currently is empty
ara::crypto::CryptoErrc::kUsageViolation	rollback_semantics if the allowed usage of the key does not include kAllowSig Verification

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_24112
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_24112@rel:R25-11#9f9cabb4
Content hash: 9f9cabb4
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_24112

Status: valid/unmigrated Version: rel:R25-11#5528778e Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_24112@rel:R25-11#5528778e

Recorded Revisions (8):

R25-11rel:R25-11#fff71a402026-09-30
R19-11rel:R19-11#66da619a2026-10-14
R20-11rel:R20-11#a7cb40442026-10-14
R21-11rel:R21-11#4c73f9ac2026-10-14
R22-11rel:R22-11#9330d7cf2026-10-14
R23-11rel:R23-11#25763dfd2026-10-14
R24-11rel:R24-11#c2cd046c2026-10-14
R25-11rel:R25-11#5528778e2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

функция Verify [SWS_CRYPT_50024] Upstream: RS_CRYPTO_02204

virtual ara::core::Result< bool > Verify (ReadOnlyMemRegion message, ReadOnlyMemRegion context, ReadOnlyMemRegion signature, FormatId signatureFormat) const noexcept=0;

Verify the signature of the provided message with context in a single call.

СОЗДАНО ИИ не проверено Модель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 736777e34122 Происхождение

переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал

Синхронный метод Verify проверяет цифровую подпись переданного сообщения с учётом пользовательского значения контекста за один вызов ([SWS_CRYPT_50024]). В качестве входных параметров метод ожидает буферы message, context и signature, каждый в виде ReadOnlyMemRegion, а также формат подписи через signatureFormat ([SWS_CRYPT_50024]). Возвращаемым значением является ara::core::Result<bool>: он содержит true при успешной верификации, false при некорректной подписи или соответствующий код ошибки ([SWS_CRYPT_50024]).

В случае ошибки действует семантика отката ([SWS_CRYPT_50024]). Специфические коды ошибок включают, среди прочего:

UninitializedContext, если контекст верификации ещё не был инициализирован значением ключа ([SWS_CRYPT_50024]),
ara::crypto::CryptoErrc::kInvalidInputSize при недопустимом размере буфера ([SWS_CRYPT_50024]),
ara::crypto::CryptoErrc::kUnsupported, если выбранный алгоритм подписи не поддерживает указание значения контекста ([SWS_CRYPT_50024]),
ara::crypto::CryptoErrc::kUnsupportedFormat или ara::crypto::CryptoErrc::kInvalidArgument, если указанный формат подписи не поддерживается или подпись не соответствует формату ([SWS_CRYPT_50024]),
ara::crypto::CryptoErrc::kUsageViolation, если разрешённое использование ключа не включает kAllowSigVerification, а также ara::crypto::CryptoErrc::kEmptyKeySlot и ara::crypto::CryptoErrc::kBusyResource ([SWS_CRYPT_50024]).

Метод объявлен как const noexcept, считается исключебезопасным и специфицирован как thread-safe ([SWS_CRYPT_50024]). При взаимодействии с контекстом максимальный размер буфера для одиночных вызовов может быть определён через GetMaximumChunkSize ([SWS_CRYPT_50025]). Для верификаций без контекста доступна альтернативная перегрузка Verify ([SWS_CRYPT_24112]).

Это указание по использованию было сгенерировано автоматически на основе спецификации.

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe ara::crypto::CryptoErrc::k rollback_semantics

Parameter (in)

Parameter	Beschreibung
message	an input buffer containing the message
context	a user supplied "context"
signature	an input buffer containing the signature
signatureFormat	the format in which the signature is provided

Rückgabewert

Typ	Beschreibung
ara::core::Result< bool >	An result containing true if the signature was verified successfully, false if the signature verification failed, or an error.

Fehler

Fehlercode	Beschreibung
UninitializedContext	if the context was not initialized by a key value
ara::crypto::CryptoErrc::kInvalidInputSize	rollback_semantics if the size of the input buffer is invalid
ara::crypto::CryptoErrc::kUnsupported	rollback_semantics if the signature algorithm does not support a context value
ara::crypto::CryptoErrc::kUnsupportedFormat	rollback_semantics if the specified format ID is not supported
ara::crypto::CryptoErrc::kInvalidArgument	rollback_semantics if signature does not conform to the specified format
ara::crypto::CryptoErrc::kBusyResource	rollback_semantics a required resource is busy
ara::crypto::CryptoErrc::kEmptyKeySlot	rollback_semantics if a KeySlot was configured that is currently is empty
ara::crypto::CryptoErrc::kUsageViolation	rollback_semantics if the allowed usage of the key does not include kAllowSig Verification

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_50024
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_50024@rel:R25-11#1a5f8aa6
Content hash: 1a5f8aa6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_50024

Status: valid/unmigrated Version: rel:R25-11#424fa98e Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_50024@rel:R25-11#424fa98e

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

Документация псевдонимов типов

псевдоним типа Sptr [SWS_CRYPT_24101] Upstream: RS_CRYPTO_02204

using Sptr = std::shared_ptr<VerifierPublicCtx>;

Smart pointer of the interface.

Header-Datei	#include "ara/crypto/cryp/verifier_public_ctx.h"
Scope	class ara::crypto::cryp::VerifierPublicCtx
Symbol	Sptr

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CRYPT_24101
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CRYPT_24101@rel:R25-11#5aa95be5
Content hash: 5aa95be5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Cryptography.pdf#nameddest=SWS_CRYPT_24101

Status: valid/unmigrated Version: rel:R25-11#44b9f060 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CRYPT_24101@rel:R25-11#44b9f060

Recorded Revisions (8):

R25-11rel:R25-11#4ff468462026-09-30
R19-11rel:R19-11#723b4f232026-10-14
R20-11rel:R20-11#03e0c2472026-10-14
R21-11rel:R21-11#03e0c2472026-10-14
R22-11rel:R22-11#cd4d7bb92026-10-14
R23-11rel:R23-11#4372989f2026-10-14
R24-11rel:R24-11#4372989f2026-10-14
R25-11rel:R25-11#44b9f0602026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

класс ara::crypto::cryp::VerifierPublicCtx

Руководство пользователяСОЗДАНО ИИ

Контекст

Жизненный цикл

Путь использования

Сценарии ошибок

Карта членов

Методы

Псевдонимы типов

Диаграмма классов

Подробный вид

Методы

Псевдонимы типов

Документация методов

функция Cancel [SWS_CRYPT_50023] Upstream: RS_CRYPTO_02302

Использование и семантика

Обработка ошибок

Параллелизм и ограничения

Взаимодействие в модуле crypt

Rückgabewert

Fehler

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

функция Finish [SWS_CRYPT_50022] Upstream: RS_CRYPTO_02302, RS_CRYPTO_02203

Parameter (in)

Rückgabewert

Fehler

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

функция GetMaximumChunkSize [SWS_CRYPT_50025] Upstream: RS_CRYPTO_02309

Rückgabewert

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

функция SetKey [SWS_CRYPT_24115] Upstream: RS_CRYPTO_02001, RS_CRYPTO_02003

Parameter (in)

Rückgabewert

Fehler

Recorded Revisions (7):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

функция SetKey [SWS_CRYPT_50018] Upstream: RS_CRYPTO_02001, RS_CRYPTO_02003

Использование

Обработка ошибок и семантика

Параллелизм и взаимодействие

Parameter (in)

Rückgabewert

Fehler

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

функция Start [SWS_CRYPT_50019] Upstream: RS_CRYPTO_02302

Использование

Обработка ошибок и откат

Параллелизм и взаимодействие

Rückgabewert

Fehler

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

функция Start [SWS_CRYPT_50020] Upstream: RS_CRYPTO_02302

Использование

Обработка ошибок

Параллелизм и ограничения

Взаимодействие

Parameter (in)

Rückgabewert

Fehler

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

функция Update [SWS_CRYPT_50021] Upstream: RS_CRYPTO_02302

Использование

Обработка ошибок

Параллелизм и взаимодействие

Parameter (in)

Rückgabewert