value_note.hpp

#pragma once
#include "barretenberg/join_split_example/types.hpp"
#include "commit.hpp"
#include "witness_data.hpp"
 
namespace join_split_example::proofs::notes::circuit::value {
 
using namespace proof_system::plonk::stdlib;
 
struct value_note {
    group_ct owner;
    suint_ct value;
    field_ct secret;
    suint_ct asset_id;
    bool_ct account_required;
    field_ct input_nullifier;
    field_ct commitment;
    field_ct creator_pubkey;
 
    value_note(witness_data const& note)
        : owner(note.owner)
        , value(note.value)
        , secret(note.secret)
        , asset_id(note.asset_id)
        , account_required(note.account_required)
        , input_nullifier(note.input_nullifier)
        , commitment(value::commit(note))
        , creator_pubkey(note.creator_pubkey)
    {}
 
    operator byte_array_ct() const { return byte_array_ct(commitment); }
};
 
} // namespace join_split_example::proofs::notes::circuit::value