pub enum BagNode {
Peak(usize),
Bag(Vec<BagNode>),
}Expand description
One node of the bag tree.
A Peak(f_idx) is a frontier peak at index f_idx (left-to-right, the
frontier_for_size order); a Bag(children) is a hashing node over its
children left-to-right. The shape is uniquely determined by (peak_count, arity) — never stored, always re-derived — so the producer’s fold and the
verifier’s skeleton cannot drift.
Variants§
Peak(usize)
A frontier peak at index f_idx in the frontier_for_size order.
Bag(Vec<BagNode>)
A hashing bag node over its children, left to right.
Trait Implementations§
impl Eq for BagNode
impl StructuralPartialEq for BagNode
Auto Trait Implementations§
impl Freeze for BagNode
impl RefUnwindSafe for BagNode
impl Send for BagNode
impl Sync for BagNode
impl Unpin for BagNode
impl UnsafeUnpin for BagNode
impl UnwindSafe for BagNode
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more