search

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

Progress on FRI verifier commit phase #50

Closed weikengchen closed 1 month ago

weikengchen commented 1 month ago

Currently, the code has moved into the FRI verifier commit method. This ongoing PR records the pending work.

codecov[bot] commented 1 month ago

Codecov Report

Attention: Patch coverage is 97.34043% with 5 lines in your changes missing coverage. Please review.

Files Coverage Δ
src/channel/bitcoin_script.rs 100.00% <100.00%> (+9.23%) :arrow_up:
src/channel/mod.rs 96.42% <100.00%> (+1.78%) :arrow_up:
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% <ø> (ø)
src/pow/bitcoin_script.rs 100.00% <100.00%> (ø)
src/pow/mod.rs 100.00% <100.00%> (ø)
src/fibonacci/mod.rs 94.07% <93.24%> (+0.07%) :arrow_up:
weikengchen commented 1 month ago

Next step: finish the derivation of FRI sample points and then, we can take out of the Fiat-Shamir part of the "simplified" FRI example.