acvm_blackbox_solver 1.0.0-beta.26

A solver for the blackbox functions found in ACIR and Brillig
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

use crate::BlackBoxResolutionError;
use aes::cipher::{BlockModeEncrypt, KeyIvInit, block_padding::NoPadding};

type Aes128CbcEnc = cbc::Encryptor<aes::Aes128>; // cSpell:disable-line

pub fn aes128_encrypt(
    inputs: &[u8],
    iv: [u8; 16],
    key: [u8; 16],
) -> Result<Vec<u8>, BlackBoxResolutionError> {
    if !inputs.len().is_multiple_of(16) {
        return Err(BlackBoxResolutionError::Failed(
            acir::BlackBoxFunc::AES128Encrypt,
            "input length must be a multiple of 16".to_string(),
        ));
    }

    let mut buffer = inputs.to_vec();
    // This blackbox does not apply padding; callers must pad inputs in Noir before calling.
    // The expect cannot fail because we verify block-alignment above.
    Aes128CbcEnc::new(&key.into(), &iv.into())
        .encrypt_padded::<NoPadding>(&mut buffer, inputs.len())
        .expect("input length is block-aligned");

    Ok(buffer)
}