Lighter on BriefTechNews.comhttps://brief-tech-news.com/tags/lighter/Recent content in Lighter on BriefTechNews.comHugoenCopyright &copy;2021 <br> Designed &amp; Developed by [Gethugothemes](https://gethugothemes.com/)Mon, 19 Oct 2026 12:25:40 +0000Richard Heart Detained in Istanbul, Circle Margin Realities, and Lean Formal Verificationhttps://brief-tech-news.com/blogs/2026-10-19-crypto/Mon, 19 Oct 2026 12:25:40 +0000https://brief-tech-news.com/blogs/2026-10-19-crypto/Turkish police arrested Hex founder Richard Heart under an Interpol Red Notice, seizing $7.15M in cash, firearms, and six hardware wallets across 15 Istanbul properties. Circle peeled back its unit economics, revealing it kept only 7 cents of net profit per dollar on $1.4B in H1 2026 revenue after paying $819M to distribution partners. Meanwhile, AI-assisted theorem proving in Lean verified Ethereum&rsquo;s Fast Confirmation Rule in under five days and caught a consensus bug before deployment.