Closed weikengchen closed 3 weeks ago
All modified and coverable lines are covered by tests :white_check_mark:
Files | Coverage Δ | |
---|---|---|
src/constraints/bitcoin_script.rs | 100.00% <100.00%> (ø) |
|
src/constraints/mod.rs | 100.00% <100.00%> (ø) |
|
src/fibonacci/mod.rs | 96.65% <100.00%> (+0.48%) |
:arrow_up: |
src/precomputed_merkle_tree/mod.rs | 100.00% <100.00%> (ø) |
This PR adds twin pair vanishing, which performs pair vanishing on two points that are "next to each other" (aka, mirrored across the y axis) together. This saves the computation overhead by half.
Some other changes in this PR is to extend the precomputed Merkle trees to include looking up point coordinates from indices. Consistency tests have been added, but not yet on the script level.