aes128.test.cpp File Reference

#include "aes128.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/crypto/aes128/aes128.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
stdlib::field_t< UltraCircuitBuilder >	create_field_element (UltraCircuitBuilder &builder, const uint256_t &value, bool as_witness)
uint256_t	convert_bytes_to_uint256 (const uint8_t *data)
void	test_aes128_combination (bool key_as_witness, bool iv_as_witness, bool input_as_witness)
void	test_aes128_mixed_input (bool key_as_witness, bool iv_as_witness, const std::vector< bool > &input_block_config)
	TEST (stdlib_aes128, encrypt_64_bytes_all_witness)
	TEST (stdlib_aes128, encrypt_64_bytes_all_constant)
	TEST (stdlib_aes128, encrypt_64_bytes_key_witness_iv_constant_input_constant)
	TEST (stdlib_aes128, encrypt_64_bytes_key_constant_iv_witness_input_constant)
	TEST (stdlib_aes128, encrypt_64_bytes_key_constant_iv_constant_input_witness)
	TEST (stdlib_aes128, encrypt_64_bytes_key_witness_iv_witness_input_constant)
	TEST (stdlib_aes128, encrypt_64_bytes_key_witness_iv_constant_input_witness)
	TEST (stdlib_aes128, encrypt_64_bytes_key_constant_iv_witness_input_witness)
	TEST (stdlib_aes128, encrypt_64_bytes_original)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_first_witness_rest_constant)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_alternating_witness_constant)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_first_constant_rest_witness)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_key_witness_mixed_blocks)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_iv_witness_mixed_blocks)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_key_iv_witness_mixed_blocks)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_all_witness_blocks)
	TEST (stdlib_aes128, encrypt_64_bytes_mixed_input_all_constant_blocks)

Function Documentation

convert_bytes_to_uint256()

uint256_t convert_bytes_to_uint256

(

const uint8_t *

data

)

Definition at line 23 of file aes128.test.cpp.

create_field_element()

stdlib::field_t< UltraCircuitBuilder > create_field_element	(	UltraCircuitBuilder &	builder,
		const uint256_t &	value,
		bool	as_witness
	)

Definition at line 11 of file aes128.test.cpp.

TEST() [1/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_all_constant
	)

Definition at line 150 of file aes128.test.cpp.

TEST() [2/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_all_witness
	)

Definition at line 145 of file aes128.test.cpp.

TEST() [3/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_key_constant_iv_constant_input_witness
	)

Definition at line 165 of file aes128.test.cpp.

TEST() [4/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_key_constant_iv_witness_input_constant
	)

Definition at line 160 of file aes128.test.cpp.

TEST() [5/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_key_constant_iv_witness_input_witness
	)

Definition at line 180 of file aes128.test.cpp.

TEST() [6/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_key_witness_iv_constant_input_constant
	)

Definition at line 155 of file aes128.test.cpp.

TEST() [7/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_key_witness_iv_constant_input_witness
	)

Definition at line 175 of file aes128.test.cpp.

TEST() [8/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_key_witness_iv_witness_input_constant
	)

Definition at line 170 of file aes128.test.cpp.

TEST() [9/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_all_constant_blocks
	)

Definition at line 275 of file aes128.test.cpp.

TEST() [10/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_all_witness_blocks
	)

Definition at line 270 of file aes128.test.cpp.

TEST() [11/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_alternating_witness_constant
	)

Definition at line 245 of file aes128.test.cpp.

TEST() [12/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_first_constant_rest_witness
	)

Definition at line 250 of file aes128.test.cpp.

TEST() [13/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_first_witness_rest_constant
	)

Definition at line 240 of file aes128.test.cpp.

TEST() [14/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_iv_witness_mixed_blocks
	)

Definition at line 260 of file aes128.test.cpp.

TEST() [15/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_key_iv_witness_mixed_blocks
	)

Definition at line 265 of file aes128.test.cpp.

TEST() [16/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_mixed_input_key_witness_mixed_blocks
	)

Definition at line 255 of file aes128.test.cpp.

TEST() [17/17]

TEST	(	stdlib_aes128	,
		encrypt_64_bytes_original
	)

Definition at line 186 of file aes128.test.cpp.

test_aes128_combination()

void test_aes128_combination	(	bool	key_as_witness,
		bool	iv_as_witness,
		bool	input_as_witness
	)

Definition at line 34 of file aes128.test.cpp.

test_aes128_mixed_input()

void test_aes128_mixed_input	(	bool	key_as_witness,
		bool	iv_as_witness,
		const std::vector< bool > &	input_block_config
	)

Definition at line 89 of file aes128.test.cpp.