gadgetlib2::R1P_InnerProduct_Gadget Class Reference

#include <gadget.hpp>

Inheritance diagram for gadgetlib2::R1P_InnerProduct_Gadget:

Collaboration diagram for gadgetlib2::R1P_InnerProduct_Gadget:

Public Member Functions
void	generateConstraints ()
void	generateWitness ()
Public Member Functions inherited from gadgetlib2::R1P_Gadget
	R1P_Gadget (ProtoboardPtr pb)
virtual	~R1P_Gadget ()=0
virtual void	addRank1Constraint (const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name)
Public Member Functions inherited from gadgetlib2::Gadget
	Gadget (ProtoboardPtr pb)
void	addUnaryConstraint (const LinearCombination &a, const ::std::string &name)
void	addRank1Constraint (const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name)
void	enforceBooleanity (const Variable &var)
FElem &	val (const Variable &var)
FElem	val (const LinearCombination &lc)
FieldType	fieldType () const
bool	flagIsSet (const FlagVariable &flag) const

Public Attributes
const VariableArray	A_
const VariableArray	B_
const Variable	result_

Friends
class	InnerProduct_Gadget

Additional Inherited Members
Protected Attributes inherited from gadgetlib2::Gadget
ProtoboardPtr	pb_

Detailed Description

Definition at line 332 of file gadget.hpp.

Member Function Documentation

generateConstraints()

void gadgetlib2::R1P_InnerProduct_Gadget::generateConstraints ( )

virtual

Implements gadgetlib2::Gadget.

Definition at line 399 of file gadget.cpp.

{
    const int n = A_.size();
    if (n == 1) {
        addRank1Constraint(A_[0], B_[0], result_, "A[0] * B[0] = result");
        return;
    }
    // else (n > 1)
    addRank1Constraint(
        A_[0], B_[0], partialSums_[0], "A[0] * B[0] = partialSums[0]");
    for (int i = 1; i <= n - 2; ++i) {
        addRank1Constraint(
            A_[i],
            B_[i],
            partialSums_[i] - partialSums_[i - 1],
            GADGETLIB2_FMT(
                "A[%u] * B[%u] = partialSums[%u] - partialSums[%u]",
                i,
                i,
                i,
                i - 1));
    }
    addRank1Constraint(
        A_[n - 1],
        B_[n - 1],
        result_ - partialSums_[n - 2],
        "A[n-1] * B[n-1] = result - partialSums[n-2]");
}

Here is the call graph for this function:

generateWitness()

void gadgetlib2::R1P_InnerProduct_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 428 of file gadget.cpp.

{
    const int n = A_.size();
    if (n == 1) {
        val(result_) = val(A_[0]) * val(B_[0]);
        return;
    }
    // else (n > 1)
    val(partialSums_[0]) = val(A_[0]) * val(B_[0]);
    for (int i = 1; i <= n - 2; ++i) {
        val(partialSums_[i]) =
            val(partialSums_[i - 1]) + val(A_[i]) * val(B_[i]);
    }
    val(result_) = val(partialSums_[n - 2]) + val(A_[n - 1]) * val(B_[n - 1]);
}

Here is the call graph for this function:

Friends And Related Function Documentation

InnerProduct_Gadget

friend class InnerProduct_Gadget

friend

Definition at line 350 of file gadget.hpp.

Member Data Documentation

A_

const VariableArray gadgetlib2::R1P_InnerProduct_Gadget::A_

Definition at line 346 of file gadget.hpp.

B_

const VariableArray gadgetlib2::R1P_InnerProduct_Gadget::B_

Definition at line 346 of file gadget.hpp.

result_

const Variable gadgetlib2::R1P_InnerProduct_Gadget::result_

Definition at line 347 of file gadget.hpp.

---

The documentation for this class was generated from the following files:

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/gadget.hpp
• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/gadget.cpp