Citrea Announced Building Bitcoin’s First ZK Rollup

"For the first time in Bitcoin history, Citrea validity proofs are inscribed and natively verified within the Bitcoin blockchain. Citrea comes with a native ZK proof verifier smart contract on Bitcoin L1, built in BitVM."

https://www.nobsbitcoin.com/introducing-citrea/