Incremental Merkle Tree

https://github.com/zcash/incrementalmerkletree
Admin
Incremental Merkle Tree is a Rust project providing a collection of libraries for implementing...
Tokens:1,916
Snippets:21
Trust Score:7.8
Update:4 months ago
Show doc for...
Tokens:
Raw
### BridgeTree Operations Failure Case 2

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

Illustrates a BridgeTree failure case involving appends and checkpoints, resulting in a specific operation sequence. Useful for reproducing regressions.

```rust
cc ac8dad1a92cb9563a291802cbd3dfca2a89da35fe4ed377701f5ad85b43700f4 # shrinks to ops = [Append("a"), Append("a"), Checkpoint, Checkpoint, Checkpoint, Mark, Checkpoint, Authpath(Position(1), 2)]
```

--------------------------------

### BridgeTree Operations Failure Case 4 (Ephemeral)

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

Illustrates a BridgeTree failure case involving ephemeral appends and checkpoint operations. Useful for testing ephemeral data handling.

```rust
cc 4058fadeb645f982bb83d666ea20c9541c9b920438877c145ee750cb09e22337 # shrinks to ops = [Append(SipHashable(0), Ephemeral), Append(SipHashable(0), Ephemeral), CurrentLeaf, CurrentLeaf, Append(SipHashable(0), Ephemeral), Append(SipHashable(0), Ephemeral), Append(SipHashable(0), Checkpoint { id: (), is_marked: true }), Unmark(Position(4))]
```

--------------------------------

### BridgeTree Operations Failure Case 5 (Ephemeral/Checkpoint)

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

Shows a BridgeTree failure case with a mix of ephemeral appends and checkpoint operations, including marked and unmarked states. Useful for debugging complex sequences.

```rust
cc befc65ab8360534feebaa4c0e3da24518d134b03326235f1ccede15ad998d066 # shrinks to ops = [Append("a", Ephemeral), Append("a", Checkpoint { id: (), is_marked: true }), Append("a", Ephemeral), Append("a", Checkpoint { id: (), is_marked: false }), Authpath(Position(1), 0)]
```

--------------------------------

### BridgeTree Operations Failure Case 1

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

Shows a sequence of operations that led to a BridgeTree failure, including appends, checkpoints, and an authpath. Useful for debugging operation sequences.

```rust
cc f1a0c0e8114919f9f675e0b31cdecf37af31579e365119312a7ebefcabb639f1 # shrinks to ops = [Append(SipHashable(0)), Checkpoint, Checkpoint, Mark, Checkpoint, Checkpoint, Checkpoint, Checkpoint, Checkpoint, Authpath(Position(0), 6)]
```

--------------------------------

### BridgeTree Failure Case 2 (Empty)

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

Represents a simplified BridgeTree failure case with no prior bridges or current bridge, indicating an initial or reset state. Useful for testing edge cases.

```rust
cc 736aee7c92f418b3b7391b0ae253ca4dc18f9b6cc625c0c34f0e568d26421e92 # shrinks to tree = BridgeTree {   depth: 8,   prior_bridges: [],   current_bridge: None,   saved: {},   checkpoints: [],   max_checkpoints: 10 }
```

--------------------------------

### BridgeTree Failure Case 1

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

Represents a specific failure case for BridgeTree, showing its internal state after shrinking. Useful for reproducing a particular regression.

```rust
cc a64e0d40c9287f2975a27447d266e4dd7228e44de99d000df39c4610598f486a # shrinks to tree = BridgeTree {   depth: 8,   prior_bridges: [MerkleBridge { prior_position: None, auth_fragments: {}, frontier: NonEmptyFrontier { position: Position(0), leaf: Left("a"), ommers: [] } }, MerkleBridge { prior_position: Some(Position(0)), auth_fragments: {}, frontier: NonEmptyFrontier { position: Position(1), leaf: Right("a", "a"), ommers: [] } }],   current_bridge: Some(MerkleBridge { prior_position: Some(Position(1)), auth_fragments: {Position(1): AuthFragment { position: Position(1), altitudes_observed: 0, values: [] }}, frontier: NonEmptyFrontier { position: Position(1), leaf: Right("a", "a"), ommers: [] } }),   saved: {Position(1): 1},   checkpoints: [Checkpoint { bridges_len: 1, is_witnessed: false, forgotten: {} }],   max_checkpoints: 10 }
```

--------------------------------

### BridgeTree Operations Failure Case 3

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

Shows a sequence of operations for a BridgeTree failure, including appends, marks, and a rewind. Useful for debugging state transitions.

```rust
cc cdab33688ef9270768481b72d1615ff1d209fdb3d8d45be2ad564a8d5e0addc1 # shrinks to ops = [Append(SipHashable(0)), Mark, Mark, Checkpoint, Mark, Rewind, Append(SipHashable(0)), Mark]
```

--------------------------------

### BridgeTree Failure Case 3 (Complex)

Source: https://github.com/zcash/incrementalmerkletree/blob/main/bridgetree/proptest-regressions/lib.txt

A complex BridgeTree failure case demonstrating prior bridges with tracking, ommer handling, and checkpoint details. Useful for advanced regression testing.

```rust
cc cebb95fe896dc1d1e3c9a65efd50e786e6a4a3503c86fb2a6817bb05d25e751e # shrinks to tree = BridgeTree {   depth: 8,   prior_bridges: [MerkleBridge { prior_position: None, tracking: {Address { level: Level(2), index: 0 }}, ommers: {}, frontier: NonEmptyFrontier { position: Position(3), leaf: "a", ommers: ["a", "aa"] } }],   current_bridge: Some(MerkleBridge { prior_position: Some(Position(3)), tracking: {Address { level: Level(2), index: 0 }}, ommers: {}, frontier: NonEmptyFrontier { position: Position(3), leaf: "a", ommers: ["a", "aa"] } }),   saved: {Position(3): 0},   checkpoints: [Checkpoint { bridges_len: 0, marked: {Position(3)}, forgotten: {Position(3): 0} }],   max_checkpoints: 10 }
```
Tokens:
Raw