binary_operation.hpp

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZETH_CIRCUITS_BINARY_OPERATION_HPP__
#define __ZETH_CIRCUITS_BINARY_OPERATION_HPP__
 
#include "libzeth/circuits/circuit_utils.hpp"
#include "libzeth/core/bits.hpp"
#include "math.h"
 
#include <libsnark/gadgetlib1/gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
 
namespace libzeth
{
 
template<typename FieldT> class xor_gadget : public libsnark::gadget<FieldT>
{
 
private:
    const libsnark::pb_variable_array<FieldT> a;
    const libsnark::pb_variable_array<FieldT> b;
 
public:
    libsnark::pb_variable_array<FieldT> res;
 
    xor_gadget(
        libsnark::protoboard<FieldT> &pb,
        const libsnark::pb_variable_array<FieldT> &a,
        const libsnark::pb_variable_array<FieldT> &b,
        const libsnark::pb_variable_array<FieldT> &res,
        const std::string &annotation_prefix = "xor_gadget");
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness();
};
 
template<typename FieldT>
class xor_constant_gadget : public libsnark::gadget<FieldT>
{
private:
    const libsnark::pb_variable_array<FieldT> a;
    const libsnark::pb_variable_array<FieldT> b;
    const std::vector<FieldT> c;
 
public:
    libsnark::pb_variable_array<FieldT> res;
 
    xor_constant_gadget(
        libsnark::protoboard<FieldT> &pb,
        const libsnark::pb_variable_array<FieldT> &a,
        const libsnark::pb_variable_array<FieldT> &b,
        const std::vector<FieldT> &c,
        const libsnark::pb_variable_array<FieldT> &res,
        const std::string &annotation_prefix = "xor_constant_gadget");
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness();
};
 
template<typename FieldT> class xor_rot_gadget : public libsnark::gadget<FieldT>
{
private:
    const libsnark::pb_variable_array<FieldT> a;
    const libsnark::pb_variable_array<FieldT> b;
    const size_t shift;
 
public:
    libsnark::pb_variable_array<FieldT> res;
 
    xor_rot_gadget(
        libsnark::protoboard<FieldT> &pb,
        const libsnark::pb_variable_array<FieldT> &a,
        const libsnark::pb_variable_array<FieldT> &b,
        const size_t shift,
        const libsnark::pb_variable_array<FieldT> &res,
        const std::string &annotation_prefix = "xor_rot_gadget");
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness();
};
 
template<typename FieldT>
class double_bit32_sum_eq_gadget : public libsnark::gadget<FieldT>
{
private:
    libsnark::pb_variable_array<FieldT> a;
    libsnark::pb_variable_array<FieldT> b;
 
public:
    libsnark::pb_variable_array<FieldT> res;
 
    double_bit32_sum_eq_gadget(
        libsnark::protoboard<FieldT> &pb,
        const libsnark::pb_variable_array<FieldT> &a,
        const libsnark::pb_variable_array<FieldT> &b,
        const libsnark::pb_variable_array<FieldT> &res,
        const std::string &annotation_prefix = "double_bit32_sum_eq_gadget");
 
    void generate_r1cs_constraints(bool enforce_boolean = true);
    void generate_r1cs_witness();
};
 
} // namespace libzeth
 
#include "libzeth/circuits/binary_operation.tcc"
 
#endif // __ZETH_CIRCUITS_BINARY_OPERATION_HPP__