Struct LogupTransparentProof 

pub struct LogupTransparentProof<Elem> {
    pub index_eval_point: Vec<Elem>,
    pub index_eval_claims: Vec<Vec<Elem>>,
}

The reduced claims of a committed logUp* verification over transparent tables.

Nothing is left on the tables or the pushforwards: both of a table’s claims are opened here, against the one Y commitment. Only the index claims are the caller’s to verify.

Fields

index_eval_point: Vec<Elem>

The point the index claims are drawn from, spanning the deepest looker.

A looker over n variables is claimed at its last n coordinates.

index_eval_claims: Vec<Vec<Elem>>

One entry per table, in the order the tables were given, holding that table’s lookers’ index claims in its own looker order.