Struct kernel::process_checker::signature::AppCheckerSignature

pub struct AppCheckerSignature<'a, S: SignatureVerify<'static, HL, SL>, H: DigestDataHash<'a, HL>, const HL: usize, const SL: usize> { /* private fields */ }

Checker that validates a correct signature credential.

This checker provides the scaffolding on top of a hasher (&H) and a verifier (&S) for a given TbfFooterV2CredentialsType.

This assumes the TbfFooterV2CredentialsType data format only contains the signature (i.e. the data length of the credential in the TBF footer is the same as SL).

Implementations

impl<'a, S: SignatureVerify<'static, HL, SL>, H: DigestDataHash<'a, HL>, const HL: usize, const SL: usize> AppCheckerSignature<'a, S, H, HL, SL>

pub fn new( hasher: &'a H, verifier: &'a S, hash_buffer: &'static mut [u8; HL], signature_buffer: &'static mut [u8; SL], credential_type: TbfFooterV2CredentialsType ) -> AppCheckerSignature<'a, S, H, HL, SL>

Trait Implementations

impl<'a, S: SignatureVerify<'static, HL, SL>, H: DigestDataHash<'a, HL>, const HL: usize, const SL: usize> AppCredentialsPolicy<'static> for AppCheckerSignature<'a, S, H, HL, SL>

fn require_credentials(&self) -> bool

Whether credentials are required or not.

fn check_credentials( &self, credentials: TbfFooterV2Credentials, binary: &'static [u8] ) -> Result<(), (ErrorCode, TbfFooterV2Credentials, &'static [u8])>

Check a particular credential.

fn set_client(&self, client: &'static dyn AppCredentialsPolicyClient<'static>)

Set the client which gets notified after the credential check completes.

impl<'a, S: SignatureVerify<'static, HL, SL>, H: DigestDataHash<'a, HL>, const HL: usize, const SL: usize> ClientData<HL> for AppCheckerSignature<'a, S, H, HL, SL>

fn add_mut_data_done( &self, _result: Result<(), ErrorCode>, _data: SubSliceMut<'static, u8> )

Called when the data has been added to the digest. data is the SubSliceMut passed in the call to add_mut_data, whose active slice contains the data that was not added. On Ok, data has an active slice of size zero (all data was added). Valid ErrorCode values are:

fn add_data_done( &self, result: Result<(), ErrorCode>, data: SubSlice<'static, u8> )

Called when the data has been added to the digest. data is the SubSlice passed in the call to add_data, whose active slice contains the data that was not added. On Ok, data has an active slice of size zero (all data was added). Valid ErrorCode values are:

impl<'a, S: SignatureVerify<'static, HL, SL>, H: DigestDataHash<'a, HL>, const HL: usize, const SL: usize> ClientHash<HL> for AppCheckerSignature<'a, S, H, HL, SL>

fn hash_done( &self, result: Result<(), ErrorCode>, digest: &'static mut [u8; HL] )

Called when a digest is computed. digest is the same reference passed to run() to store the hash value. If result is Ok, digest stores the computed hash. If result is Err, the data stored in digest is undefined and may have any value. Valid ErrorCode values are:

impl<'a, S: SignatureVerify<'static, HL, SL>, H: DigestDataHash<'a, HL>, const HL: usize, const SL: usize> ClientVerify<HL> for AppCheckerSignature<'a, S, H, HL, SL>

fn verification_done( &self, _result: Result<bool, ErrorCode>, _compare: &'static mut [u8; HL] )

Called when a verification is computed. compare is the reference supplied to verify() and the data stored in compare is unchanged. On Ok the bool indicates if the computed hash matches the value in compare. Valid ErrorCode values are:

impl<'a, S: SignatureVerify<'static, HL, SL>, H: DigestDataHash<'a, HL>, const HL: usize, const SL: usize> ClientVerify<HL, SL> for AppCheckerSignature<'a, S, H, HL, SL>

fn verification_done( &self, result: Result<bool, ErrorCode>, hash: &'static mut [u8; HL], signature: &'static mut [u8; SL] )

Called when the verification is complete.