witness_data.hpp

#pragma once
 
#include "../../constants.hpp"
#include "../../native/claim/claim_note.hpp"
#include "../../native/claim/claim_note_tx_data.hpp"
#include "../bridge_call_data.hpp"
#include "barretenberg/join_split_example/types.hpp"
 
namespace join_split_example::proofs::notes::circuit::claim {
 
using namespace proof_system::plonk::stdlib;
 
struct claim_note_witness_data {
    suint_ct deposit_value;
    bridge_call_data bridge_call_data_local;
    suint_ct defi_interaction_nonce;
    suint_ct fee;
    field_ct value_note_partial_commitment;
    field_ct input_nullifier;
 
    claim_note_witness_data(Builder& composer, native::claim::claim_note const& note_data)
    {
        deposit_value =
            suint_ct(witness_ct(&composer, note_data.deposit_value), DEFI_DEPOSIT_VALUE_BIT_LENGTH, "deposit_value");
        bridge_call_data_local = bridge_call_data(&composer, note_data.bridge_call_data);
        defi_interaction_nonce = suint_ct(witness_ct(&composer, note_data.defi_interaction_nonce),
                                          DEFI_INTERACTION_NONCE_BIT_LENGTH,
                                          "defi_interaction_nonce");
        fee = suint_ct(witness_ct(&composer, note_data.fee), TX_FEE_BIT_LENGTH, "fee");
        value_note_partial_commitment = witness_ct(&composer, note_data.value_note_partial_commitment);
        input_nullifier = witness_ct(&composer, note_data.input_nullifier);
    }
};
 
struct partial_claim_note_witness_data {
    suint_ct deposit_value;
    bridge_call_data bridge_call_data_local;
    field_ct note_secret;
    field_ct input_nullifier;
 
    partial_claim_note_witness_data(){};
    partial_claim_note_witness_data(Builder& composer, native::claim::partial_claim_note_data const& note_data)
    {
        deposit_value =
            suint_ct(witness_ct(&composer, note_data.deposit_value), DEFI_DEPOSIT_VALUE_BIT_LENGTH, "deposit_value");
        bridge_call_data_local = bridge_call_data(&composer, note_data.bridge_call_data);
        note_secret = witness_ct(&composer, note_data.note_secret);
        input_nullifier = witness_ct(&composer, note_data.input_nullifier);
    }
};
 
inline std::ostream& operator<<(std::ostream& os, partial_claim_note_witness_data const& tx)
{
    return os << "{ deposit_value: " << tx.deposit_value
              << ", bridge_call_data: " << tx.bridge_call_data_local.to_safe_uint() << " }";
}
} // namespace join_split_example::proofs::notes::circuit::claim