Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark

Building blocks of a Circle STARK verifier in Bitcoin script
https://docs.btcwild.life
MIT License
82 stars 18 forks source link

Precomputed tree proof now includes the circle point coordinates #72

Closed weikengchen closed 3 weeks ago

weikengchen commented 3 weeks ago

This PR follows up on #71 so that now precomputed tree proof includes the circle point and it would be verified in the Bitcoin script.

codecov[bot] commented 3 weeks ago

Codecov Report

Attention: Patch coverage is 98.61111% with 1 line in your changes missing coverage. Please review.

Files Coverage Δ
src/channel/bitcoin_script.rs 100.00% <100.00%> (ø)
src/merkle_tree/bitcoin_script.rs 100.00% <ø> (ø)
src/precomputed_merkle_tree/bitcoin_script.rs 100.00% <100.00%> (ø)
src/precomputed_merkle_tree/mod.rs 100.00% <100.00%> (ø)
src/utils/mod.rs 100.00% <100.00%> (+15.05%) :arrow_up:
src/utils/bitcoin_script.rs 88.33% <95.83%> (+3.71%) :arrow_up: