Runtime Verification checks smart contracts for errors, perhaps most famously with Uniswap.
A U.S. lawsuit that alleged the Tezos ICO was an unregistered securities sale has been settled for $25 million.
Taurus Group is looking to expand its operations after securing Series A funding led by Arab Bank (Switzerland).
Bitcoin Association Switzerland is partnering with the Tezos Foundation and others to create tzBTC, a bitcoin-pegged token meant to power DeFi applications on Tezos.
The Tezos Foundation liquidated some 8,000 bitcoin in the latter half of 2019, investing the funds into ethereum, XTZ and some more traditional securities. It still holds 31,000 BTC.