@janusz
We did an event with StarkWare in Nashville and Weikeng Chen discussed his team's implementation of a Circle STARK verifier directly in Bitcoin Script!
Might be interesting for ppl interested in ZK! The talk is available here https://www.youtube.com/watch?v=tA-nzWJp1DI