join_split_tx.hpp

#pragma once
#include "../notes/native/claim/claim_note_tx_data.hpp"
#include "../notes/native/value/value_note.hpp"
#include "barretenberg/crypto/schnorr/schnorr.hpp"
#include "barretenberg/join_split_example/types.hpp"
#include "barretenberg/stdlib/merkle_tree/hash_path.hpp"
 
namespace join_split_example {
namespace proofs {
namespace join_split {
 
struct join_split_tx {
    uint32_t proof_id;
    uint256_t public_value;
    barretenberg::fr public_owner;
    uint32_t asset_id;
    uint32_t num_input_notes;
    std::array<uint32_t, 2> input_index;
    barretenberg::fr old_data_root;
    std::array<proof_system::plonk::stdlib::merkle_tree::fr_hash_path, 2> input_path;
    std::array<notes::native::value::value_note, 2> input_note;
    std::array<notes::native::value::value_note, 2> output_note;
 
    notes::native::claim::partial_claim_note_data partial_claim_note;
 
    grumpkin::fr account_private_key;
    barretenberg::fr alias_hash;
    bool account_required;
    uint32_t account_note_index;
    proof_system::plonk::stdlib::merkle_tree::fr_hash_path account_note_path;
    grumpkin::g1::affine_element signing_pub_key;
 
    barretenberg::fr backward_link; // 0: no link, otherwise: any commitment.
    uint32_t allow_chain;           // 0: none, 1: output_note1, 2: output_note2
 
    crypto::schnorr::signature signature;
 
    bool operator==(join_split_tx const&) const = default;
};
 
void read(uint8_t const*& it, join_split_tx& tx);
void write(std::vector<uint8_t>& buf, join_split_tx const& tx);
 
std::ostream& operator<<(std::ostream& os, join_split_tx const& tx);
 
} // namespace join_split
} // namespace proofs
} // namespace join_split_example