add_2_circuit.hpp

#pragma once
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/primitives/witness/witness.hpp"
 
template <typename Builder> class Add2Circuit {
  public:
    typedef proof_system::plonk::stdlib::public_witness_t<Builder> public_witness_ct;
    typedef proof_system::plonk::stdlib::field_t<Builder> field_ct;
 
    // Three public inputs
    static Builder generate(uint256_t inputs[])
    {
 
        Builder builder;
 
        field_ct a(public_witness_ct(&builder, inputs[0]));
        field_ct b(public_witness_ct(&builder, inputs[1]));
        field_ct c(public_witness_ct(&builder, inputs[2]));
        c.assert_equal(a + b);
 
        return builder;
    }
};