idk if anyone has posted about it yet but a team in bitcoin is building a SNARK verifier with BitVM

idk if anyone has posted about it yet but a team in bitcoin is building a SNARK verifier with BitVM https://docs.citrea.xyz/technical-specs/characteristics/bitcoin-settlement-trust-minimized-btc-bridge

most stuff is published via zerosync and other contributors githubs + their telegram chat. Links here: https://bitvm.org/

Also, this is probably the best repository of BitVM related content/posts that might have what you're looking for.

janitor for /zk and some more stuff here linktr.ee/randomishwalk

most stuff is published via zerosync and other contributors githubs + their telegram chat. Links here: https://bitvm.org/

Also, this is probably the best repository of BitVM related content/posts that might have what you're looking for. https://github.com/Rsync25/awesome-bitvm?tab=readme-ov-file

can you link to any discussions about this from bitcoin research forums / publications?