3 sats \ 0 replies \ @nullcount 14 Apr \ on: Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVM bitcoin
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/