smt_polynomials.test.cpp File Reference

#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/smt_verification/circuit/ultra_circuit.hpp"
#include "barretenberg/smt_verification/util/smt_util.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	field_t = stdlib::field_t< Builder >
using	witness_t = stdlib::witness_t< Builder >
using	pub_witness_t = stdlib::public_witness_t< Builder >

Functions
msgpack::sbuffer	create_polynomial_evaluation_circuit (size_t n, bool pub_coeffs)
STerm	direct_polynomial_evaluation (UltraCircuit &c, size_t n)
void	model_variables (UltraCircuit &c, Solver *s, STerm &evaluation)
	TEST (PolynomialEvaluation, public)
	TEST (PolynomialEvaluation, private)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

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

field_t

using field_t = stdlib::field_t<Builder>

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

pub_witness_t

using pub_witness_t = stdlib::public_witness_t<Builder>

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

witness_t

using witness_t = stdlib::witness_t<Builder>

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

Function Documentation

create_polynomial_evaluation_circuit()

msgpack::sbuffer create_polynomial_evaluation_circuit	(	size_t	n,
		bool	pub_coeffs
	)

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

direct_polynomial_evaluation()

STerm direct_polynomial_evaluation	(	UltraCircuit &	c,
		size_t	n
	)

Definition at line 49 of file smt_polynomials.test.cpp.

model_variables()

void model_variables	(	UltraCircuit &	c,
		Solver *	s,
		STerm &	evaluation
	)

Definition at line 60 of file smt_polynomials.test.cpp.

TEST() [1/2]

TEST	(	PolynomialEvaluation	,
		private
	)

Definition at line 89 of file smt_polynomials.test.cpp.

TEST() [2/2]

TEST	(	PolynomialEvaluation	,
		public
	)

Definition at line 74 of file smt_polynomials.test.cpp.