Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark

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

Generate Merkle tree hints for intermediate FRI steps #87

Closed weikengchen closed 2 months ago

weikengchen commented 2 months ago

This PR generates the Merkle tree hints that are necessary for the prover to understand the FRI.

A corresponding Bitcoin script should be in a forthcoming PR.

codecov[bot] commented 2 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Files Coverage Δ
src/fibonacci/fold.rs 100.00% <100.00%> (ø)