blake2s.test.cpp File Reference

#include "barretenberg/crypto/blake2s/blake2s.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "blake2s.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

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

Functions
	TEST (stdlib_blake2s, test_single_block)
	TEST (stdlib_blake2s, test_double_block)
	TEST (stdlib_blake2s, test_witness_and_constant)
	TEST (stdlib_blake2s, test_constant_only)
	TEST (stdlib_blake2s, test_multiple_sized_blocks)
	TEST (stdlib_blake2s, test_edge_case_addition_overflow)

Variables
std::vector< std::string >	test_vectors

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

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

byte_array_ct

using byte_array_ct = byte_array<Builder>

Definition at line 16 of file blake2s.test.cpp.

field_ct

using field_ct = field_t<Builder>

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

public_witness_t

using public_witness_t = public_witness_t<Builder>

Definition at line 17 of file blake2s.test.cpp.

witness_ct

using witness_ct = witness_t<Builder>

Definition at line 15 of file blake2s.test.cpp.

Function Documentation

TEST() [1/6]

TEST	(	stdlib_blake2s	,
		test_constant_only
	)

Definition at line 111 of file blake2s.test.cpp.

TEST() [2/6]

TEST	(	stdlib_blake2s	,
		test_double_block
	)

Definition at line 53 of file blake2s.test.cpp.

TEST() [3/6]

TEST	(	stdlib_blake2s	,
		test_edge_case_addition_overflow
	)

Definition at line 168 of file blake2s.test.cpp.

TEST() [4/6]

TEST	(	stdlib_blake2s	,
		test_multiple_sized_blocks
	)

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

TEST() [5/6]

TEST	(	stdlib_blake2s	,
		test_single_block
	)

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

TEST() [6/6]

TEST	(	stdlib_blake2s	,
		test_witness_and_constant
	)

Definition at line 72 of file blake2s.test.cpp.

Variable Documentation

test_vectors

std::vector<std::string> test_vectors

Initial value:

= { "",
                                          "a",
                                          "ab",
                                          "abc",
                                          "abcd",
                                          "abcdefg",
                                          "abcdefgh",
                                          "abcdefghijklmnopqrstuvwxyz01234",
                                          "abcdefghijklmnopqrstuvwxyz012345",
                                          "abcdefghijklmnopqrstuvwxyz0123456",
                                          "abcdefghijklmnopqrstuvwxyz0123456789abcdefghijklmnopqrstuvwxyz0",
                                          "abcdefghijklmnopqrstuvwxyz0123456789abcdefghijklmnopqrstuvwxyz01",
                                          "abcdefghijklmnopqrstuvwxyz0123456789abcdefghijklmnopqrstuvwxyz012",
                                          "abcdefghijklmnopqrstuvwxyz0123456789abcdefghijklmnopqrstuvwxyz0123456789" }

Definition at line 19 of file blake2s.test.cpp.