codecov[bot]
commented
1 month ago Codecov Report
All modified and coverable lines are covered by tests :white_check_mark:
| Files | Coverage Δ | |
|---|---|---|
| src/merkle_tree/mod.rs | 100.00% <100.00%> (ø) |
Closed weikengchen closed 1 month ago
codecov[bot]
commented
1 month ago All modified and coverable lines are covered by tests :white_check_mark:
| Files | Coverage Δ | |
|---|---|---|
| src/merkle_tree/mod.rs | 100.00% <100.00%> (ø) |
Stwo has a mechanism to store Merkle proofs in a very succinct format by avoiding redundancy. However, it is difficult to handle in the Bitcoin script.
Previously, in #53, we have a new implementation of Merkle trees and proofs that have deterministic structures. This PR converts the Merkle proofs that appear in the stwo original proof into these deterministic proofs.