graph_description_keccak.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/stdlib/hash/keccak/keccak.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <array>
#include <unordered_set>

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	field_ct = field_t< Builder >
using	witness_ct = witness_t< Builder >

Functions
template<size_t N>
void	fix_field_array (std::array< field_ct, N > &arr)
	Fix witness for an array of field elements.
	TEST (boomerang_stdlib_keccak, test_graph_for_keccakf1600)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

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

field_ct

using field_ct = field_t<Builder>

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

witness_ct

using witness_ct = witness_t<Builder>

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

Function Documentation

fix_field_array()

template<size_t N>

void fix_field_array

(

std::array< field_ct, N > &

arr

)

Fix witness for an array of field elements.

Static analyzer prints variables that only appear in one gate. By fixing witnesses, we ensure variables appear in at least 2 gates, filtering out false positives.

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

TEST()

TEST	(	boomerang_stdlib_keccak	,
		test_graph_for_keccakf1600
	)

Definition at line 32 of file graph_description_keccak.test.cpp.