INNER CODE UNIT · Rust
is_finalized
risc0/risc0-ethereum · crates/aggregation/src/lib.rs:280
pub fn is_finalized(&self) -> bool {
// If the peak has a max-depth of 255, then the mountain range is finalized and no new
// peaks can be pushed to it. Note that this state can only be achieved by calling
// `finalize` since it is computationally infeasible to push 2^256 nodes onto the MMR,
// although it is theoretically consistent that if an MMR reached a state of being a
// single peak with max depth value of 255, it would be naturally finalized.
self.0.first().is_some_and(|peak| peak.max_depth == u8::MAX)
}
/// Returns true if the [MerkleMountainRange] is empty.
pub fn is_empty(&self) -> bool {
self.0.is_empty()
}
/// A compact encoding for the [MerkleMountainRange] used in encoding the journal designed to
/// be efficient for use in the EVM, and designed to ensure it is possible to construct the
/// journal encoding of a finalized [MerkleMountainRange] given only the finalized root.
pub fn encode(&self) -> Vec<u8> {