pub enum ShapeNode {
Leaf(u64),
Inner(Vec<ShapeNode>),
}Expand description
One node of the materialized proof spine.
A Leaf(position) names a logical cell; an Inner(children) is a hashing
node whose children are shape nodes left-to-right. The shape is uniquely
determined by (size, arity) — never stored, always re-derived — so it
stays in lockstep with the spine topology that inclusion proofs check.
Variants§
Leaf(u64)
A logical leaf cell at this flat position.
Inner(Vec<ShapeNode>)
A hashing inner node over its children, left to right.
Trait Implementations§
impl Eq for ShapeNode
impl StructuralPartialEq for ShapeNode
Auto Trait Implementations§
impl Freeze for ShapeNode
impl RefUnwindSafe for ShapeNode
impl Send for ShapeNode
impl Sync for ShapeNode
impl Unpin for ShapeNode
impl UnsafeUnpin for ShapeNode
impl UnwindSafe for ShapeNode
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