graph_description_blake3s.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/streams.hpp"
#include "barretenberg/crypto/blake3s/blake3s.hpp"
#include "barretenberg/stdlib/hash/blake3s/blake3s.hpp"
#include "barretenberg/stdlib/primitives/byte_array/byte_array.hpp"
#include "graph.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	byte_array_plookup = stdlib::byte_array< bb::UltraCircuitBuilder >
using	public_witness_t_plookup = stdlib::public_witness_t< bb::UltraCircuitBuilder >
using	UltraBuilder = UltraCircuitBuilder

Functions
	TEST (boomerang_stdlib_blake3s, test_single_block_plookup)
	Test graph description for blake3s hash with different block sizes.
	TEST (boomerang_stdlib_blake3s, test_double_block_plookup)
	Test graph description for blake3s with a double block input.

Typedef Documentation

byte_array_plookup

using byte_array_plookup = stdlib::byte_array<bb::UltraCircuitBuilder>

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

public_witness_t_plookup

using public_witness_t_plookup = stdlib::public_witness_t<bb::UltraCircuitBuilder>

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

UltraBuilder

using UltraBuilder = UltraCircuitBuilder

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

Function Documentation

TEST() [1/2]

TEST	(	boomerang_stdlib_blake3s	,
		test_double_block_plookup
	)

Test graph description for blake3s with a double block input.

The result should be one connected component with no variables in one gate, verifying that multi-block processing maintains proper connectivity

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

TEST() [2/2]

TEST	(	boomerang_stdlib_blake3s	,
		test_single_block_plookup
	)

Test graph description for blake3s hash with different block sizes.

These tests verify that the graph description of circuits for blake3s hash always produces a single connected component, regardless of input size.

Test graph description for blake3s with a single block input

The result should be one connected component with no variables in one gate, verifying proper connectivity through the hash operation

Definition at line 29 of file graph_description_blake3s.test.cpp.