keccak.test.cpp File Reference

#include "barretenberg/crypto/keccak/keccak.hpp"
#include "../../primitives/plookup/plookup.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "keccak.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	byte_array = stdlib::byte_array< Builder >
using	public_witness_t = stdlib::public_witness_t< Builder >
using	field_ct = stdlib::field_t< Builder >
using	witness_ct = stdlib::witness_t< Builder >

Functions
	TEST (stdlib_keccak, keccak_format_input_table)
	TEST (stdlib_keccak, keccak_format_output_table)
	TEST (stdlib_keccak, keccak_theta_output_table)
	TEST (stdlib_keccak, keccak_rho_output_table)
	TEST (stdlib_keccak, keccak_chi_output_table)
	TEST (stdlib_keccak, test_format_input_lanes)
	TEST (stdlib_keccak, test_single_block)
	TEST (stdlib_keccak, test_double_block)
	TEST (stdlib_keccak, test_permutation_opcode_single_block)
	TEST (stdlib_keccak, test_permutation_opcode_double_block)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

Definition at line 10 of file keccak.test.cpp.

byte_array

using byte_array = stdlib::byte_array<Builder>

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

field_ct

using field_ct = stdlib::field_t<Builder>

Definition at line 13 of file keccak.test.cpp.

public_witness_t

using public_witness_t = stdlib::public_witness_t<Builder>

Definition at line 12 of file keccak.test.cpp.

witness_ct

using witness_ct = stdlib::witness_t<Builder>

Definition at line 14 of file keccak.test.cpp.

Function Documentation

TEST() [1/10]

TEST	(	stdlib_keccak	,
		keccak_chi_output_table
	)

Definition at line 103 of file keccak.test.cpp.

TEST() [2/10]

TEST	(	stdlib_keccak	,
		keccak_format_input_table
	)

Definition at line 20 of file keccak.test.cpp.

TEST() [3/10]

TEST	(	stdlib_keccak	,
		keccak_format_output_table
	)

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

TEST() [4/10]

TEST	(	stdlib_keccak	,
		keccak_rho_output_table
	)

Definition at line 66 of file keccak.test.cpp.

TEST() [5/10]

TEST	(	stdlib_keccak	,
		keccak_theta_output_table
	)

Definition at line 48 of file keccak.test.cpp.

TEST() [6/10]

TEST	(	stdlib_keccak	,
		test_double_block
	)

Definition at line 198 of file keccak.test.cpp.

TEST() [7/10]

TEST	(	stdlib_keccak	,
		test_format_input_lanes
	)

Definition at line 139 of file keccak.test.cpp.

TEST() [8/10]

TEST	(	stdlib_keccak	,
		test_permutation_opcode_double_block
	)

Definition at line 242 of file keccak.test.cpp.

TEST() [9/10]

TEST	(	stdlib_keccak	,
		test_permutation_opcode_single_block
	)

Definition at line 223 of file keccak.test.cpp.

TEST() [10/10]

TEST	(	stdlib_keccak	,
		test_single_block
	)

Definition at line 179 of file keccak.test.cpp.