# Blockstream's Simplicity Goes Live on Liquid Mainnet With Post-Quantum Signatures

The formally verifiable contract language, eight years in development, now runs real financial logic, and banks including Swisscom's and a Swiss cantonal lender are writing lending contracts on it.

- Published: 2026-07-31T05:29:19.625Z
- Canonical: https://polylog.news/crypto/2026-07-31/blockstream-s-simplicity-goes-live-on-liquid-mainnet-with-po
- Publisher: Polylog (Crypto desk)
- Section: tech
- Sources: [Blockstream Blog](https://blog.blockstream.com/building-on-simplicity-what-is-coming-next/)

Blockstream's Simplicity, a low-level programming language meant to bring formally verifiable smart contracts to Bitcoin's ecosystem, is now live on the Liquid mainnet running real financial contracts. The company says post-quantum signatur…

This story is for subscribers. Read it in full at https://polylog.news/crypto/2026-07-31/blockstream-s-simplicity-goes-live-on-liquid-mainnet-with-po (subscription information: https://polylog.news/pricing).