STARK proof for BitVM circuit execution

Last updated