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

Compute the FRI answers #77

Closed weikengchen closed 3 months ago

weikengchen commented 3 months ago

This PR now is able to compute the FRI answers. We have code that checks its consistency with the stwo implementation.

The next step is to implement the folding.

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 98.46154% with 4 lines in your changes missing coverage. Please review.

Files Coverage Δ
src/air/mod.rs 100.00% <100.00%> (ø)
src/fibonacci/bitcoin_script/fiat_shamir.rs 100.00% <100.00%> (ø)
src/fibonacci/bitcoin_script/mod.rs 100.00% <100.00%> (ø)
src/fri/bitcoin_script.rs 100.00% <100.00%> (ø)
src/fri/mod.rs 100.00% <100.00%> (ø)
src/oods/mod.rs 100.00% <100.00%> (ø)
src/pow/mod.rs 100.00% <100.00%> (ø)
src/fibonacci/fiat_shamir.rs 90.47% <90.47%> (ø)
src/fibonacci/mod.rs 96.93% <97.18%> (-0.51%) :arrow_down: