alu_gadget.tcc

Go to the documentation of this file.

/** @file
 *****************************************************************************
 
 Implementation of interfaces for the TinyRAM ALU gadget.
 
 See alu.hpp .
 
 *****************************************************************************
 * @author     This file is part of libsnark, developed by SCIPR Lab
 *             and contributors (see AUTHORS).
 * @copyright  MIT license (see LICENSE file)
 *****************************************************************************/
 
#ifndef ALU_GADGET_TCC_
#define ALU_GADGET_TCC_
 
namespace libsnark
{
 
template<typename FieldT> void ALU_gadget<FieldT>::generate_r1cs_constraints()
{
    for (size_t i = 0; i < 1ul << this->pb.ap.opcode_width(); ++i) {
        if (components[i]) {
            components[i]->generate_r1cs_constraints();
        }
    }
}
 
template<typename FieldT> void ALU_gadget<FieldT>::generate_r1cs_witness()
{
    for (size_t i = 0; i < 1ul << this->pb.ap.opcode_width(); ++i) {
        if (components[i]) {
            components[i]->generate_r1cs_witness();
        }
    }
}
 
} // namespace libsnark
 
#endif // ALU_GADGET_TCC_