graph_description_blake2s.test.cpp File Reference

#include "barretenberg/boomerang_value_detection/graph.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/crypto/blake2s/blake2s.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/hash/blake2s/blake2s.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"

Go to the source code of this file.

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

Functions
	TEST (boomerang_stdlib_blake2s, graph_description_single_block_plookup)
	Test graph description for Blake2s hash with single block input.
	TEST (boomerang_stdlib_blake2s, graph_description_double_block_plookup)
	Test graph description for Blake2s hash with double block input.

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

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

byte_array_ct

using byte_array_ct = stdlib::byte_array<Builder>

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

field_ct

using field_ct = stdlib::field_t<Builder>

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

public_witness_t

using public_witness_t = stdlib::public_witness_t<Builder>

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

witness_ct

using witness_ct = stdlib::witness_t<Builder>

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

Function Documentation

TEST() [1/2]

TEST	(	boomerang_stdlib_blake2s	,
		graph_description_double_block_plookup
	)

Test graph description for Blake2s hash with double block input.

This test verifies that:

• The graph has one connected component
• No variables are in one gate
• The plookup implementation correctly processes a multi-block input
• The output matches the expected cryptographic hash

Definition at line 50 of file graph_description_blake2s.test.cpp.

TEST() [2/2]

TEST	(	boomerang_stdlib_blake2s	,
		graph_description_single_block_plookup
	)

Test graph description for Blake2s hash with single block input.

This test verifies that:

• The graph has one connected component
• No variables are in one gate
• The plookup implementation correctly processes a single block input

Definition at line 25 of file graph_description_blake2s.test.cpp.