BitcoinOS Releases Open-Source BitSNARK to Expand Smart Contracts on Bitcoin

TL;DR BitSNARK v0.2 allows verifying any complex computation on Bitcoin efficiently and securely, without changing its core protocol. The new version reduces transaction size to less than 100 KB and requires only six interactions to complete verification. It opens the door to trustless crypto bridges, rollups to scale the network, and DeFi applications like exchanges ... source: https://crypto-economy.com/bitcoinos-releases-open-source-bitsnark-to-expand-smart-contracts-on-bitcoin/