Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark

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

Split logic for per-query quotient parts #80

Closed weikengchen closed 2 months ago

weikengchen commented 3 months ago

This is a PR that separates the quotient parts from the rest and now repeats the quotients hint generation for all the points.

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 96.78899% with 7 lines in your changes missing coverage. Please review.

Files Coverage Δ
src/fibonacci/mod.rs 97.87% <100.00%> (-0.68%) :arrow_down:
src/fibonacci/quotients.rs 100.00% <100.00%> (ø)
src/fri/mod.rs 100.00% <ø> (ø)
src/merkle_tree/bitcoin_script.rs 100.00% <100.00%> (ø)
src/merkle_tree/mod.rs 100.00% <100.00%> (ø)
src/fibonacci/fiat_shamir.rs 91.42% <91.66%> (+0.95%) :arrow_up: