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

Computing denominators in FRI answers for the first point #73

Closed weikengchen closed 3 months ago

weikengchen commented 3 months ago

Note: this PR builds up from #72 and should be merged only after #72 is merged and this PR has been rebased.

This PR engages in the computation of the FRI answers for the first point.

codecov[bot] commented 3 months ago

Codecov Report

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/bitcoin_script/mod.rs 100.00% <100.00%> (ø)
src/fibonacci/mod.rs 96.83% <100.00%> (+0.18%) :arrow_up:
src/precomputed_merkle_tree/bitcoin_script.rs 100.00% <100.00%> (ø)
src/precomputed_merkle_tree/constants.rs 100.00% <100.00%> (ø)