No, Citrea is none of these things because Citrea is just a series of blog posts to make VCs thirsty.

There is only one BitVM implementation so far: https://supertestnet.github.io/8bit-cpu-for-bitvm/

I've written about Citea months ago here and I am now disappointed that Citrea hasn't made any progress on its promises.

Not upto the mark on my expectations.

Wait, are they actually serious about verifying STARKs one bit at a time?