A social media discussion about DefiLlama's protocol revenue, mentioning Railgun as a privacy protocol. The post references Vitalik Buterin's use of Railgun for private ETH transactions and cites it as DefiLlama's top revenue privacy protocol.
Vlad Tenev argues that AI will enable mathematical proofs of code correctness, making cybersecurity defense-favoring despite AI-driven hacking threats. He contends that formal security definitions, though complex, represent a smaller attack surface than implementations and can be additively combined, making them tractable for verification with better tooling.