Simplicity, a smart contract language offering enhanced provability and expressiveness, has been deployed on the Liquid Testnet. 

Developers can now program directly in Simplicity or utilize Simfony, a Rust-like language developed by Blockstream, which compiles down to Simplicity.

This marks a significant milestone, as Simplicity's eventual deployment on mainnet will bring smart contracts into direct interaction with actual Bitcoin, providing a true test of their utility and value.

Simplicity Arrives on Liquid Testnet
https://blog.blockstream.com/simplicity-arrives-on-liquid-testnet/