libsnark::set_membership_proof Struct Reference

#include <set_commitment.hpp>

Public Member Functions
bool	operator== (const set_membership_proof &other) const
size_t	size_in_bits () const

Public Attributes
size_t	address
merkle_authentication_path	merkle_path

Friends
std::ostream &	operator<< (std::ostream &out, const set_membership_proof &other)
std::istream &	operator>> (std::istream &in, set_membership_proof &other)

Detailed Description

Definition at line 24 of file set_commitment.hpp.

Member Function Documentation

operator==()

bool libsnark::set_membership_proof::operator==

(

const set_membership_proof &

other

)

const

Definition at line 14 of file set_commitment.cpp.

{
    return (
        this->address == other.address &&
        this->merkle_path == other.merkle_path);
}

size_in_bits()

size_t libsnark::set_membership_proof::size_in_bits

(

)

const

Definition at line 21 of file set_commitment.cpp.

{
    if (merkle_path.empty()) {
        return (8 * sizeof(address));
    } else {
        return (
            8 * sizeof(address) + merkle_path[0].size() * merkle_path.size());
    }
}

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const set_membership_proof &  other  )

friend

Definition at line 31 of file set_commitment.cpp.

{
    out << proof.address << "\n";
    out << proof.merkle_path.size() << "\n";
    for (size_t i = 0; i < proof.merkle_path.size(); ++i) {
        libff::output_bool_vector(out, proof.merkle_path[i]);
    }
 
    return out;
}

operator>>

std::istream& operator>> ( std::istream &  in, set_membership_proof &  other  )

friend

Definition at line 42 of file set_commitment.cpp.

{
    in >> proof.address;
    libff::consume_newline(in);
    size_t tree_depth;
    in >> tree_depth;
    libff::consume_newline(in);
    proof.merkle_path.resize(tree_depth);
 
    for (size_t i = 0; i < tree_depth; ++i) {
        libff::input_bool_vector(in, proof.merkle_path[i]);
    }
 
    return in;
}

Member Data Documentation

address

size_t libsnark::set_membership_proof::address

Definition at line 25 of file set_commitment.hpp.

merkle_path

merkle_authentication_path libsnark::set_membership_proof::merkle_path

Definition at line 26 of file set_commitment.hpp.

---

The documentation for this struct was generated from the following files:

• /home/runner/work/libsnark/libsnark/libsnark/common/data_structures/set_commitment.hpp
• /home/runner/work/libsnark/libsnark/libsnark/common/data_structures/set_commitment.cpp