Function ed25519_verify_batch 

pub fn ed25519_verify_batch(
    messages: &[&[u8]],
    signatures: &[&[u8; 64]],
    public_keys: &[&[u8; 32]],
) -> Result<VerifyOutcome, TrustError>

Batch-verify a homogeneous slice of Ed25519 signatures. All three inputs must have the same length. Returns Ok(()) if every signature is valid under its paired (message, public_key); any single invalid signature causes the whole batch to fail with VerifyOutcome::Invalid (you then have to fall back to per-signature verify to find the culprit).

For a homogeneous-message workload (all messages identical — e.g. SVS sync state blobs in a group), callers can pass the same &[u8] multiple times in messages and still get the batch speedup because ed25519_dalek::verify_batch is message-by- reference.