Building blocks of a Circle STARK verifier in Bitcoin script - View it on GitHub