Experimental News Clipping Site

Tag: smart contract

  • Hacker News: Coq-of-rust: Formal verification tool for Rust

    —

    by

    Kurt Seifried
    in

    Source URL: https://github.com/formal-land/coq-of-rust Source: Hacker News Title: Coq-of-rust: Formal verification tool for Rust Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses “coq-of-rust,” a formal verification tool designed for the Rust programming language, aimed at ensuring that applications are bug-free through mathematical proofs. This tool highlights an innovative approach to bolster software…

  • Rekt: 1Inch – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/1inch-rekt Source: Rekt Title: 1Inch – Rekt Feedly Summary: One hacker transformed 1inch resolver contracts into a $5 million ATM through an integer underflow exploit – all with a negative 512 value. Attacker pocketed $450K as a “bounty" for exposing two years of an undetected vulnerability. AI Summary and Description: Yes Summary: This…

  • Schneier on Security: North Korean Hackers Steal $1.5B in Cryptocurrency

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.schneier.com/blog/archives/2025/02/north-korean-hackers-steal-1-5b-in-cryptocurrency.html Source: Schneier on Security Title: North Korean Hackers Steal $1.5B in Cryptocurrency Feedly Summary: It looks like a very sophisticated attack against the Dubai-based exchange Bybit: Bybit officials disclosed the theft of more than 400,000 ethereum and staked ethereum coins just hours after it occurred. The notification said the digital loot had…

  • Rekt: Infini – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/infini-rekt Source: Rekt Title: Infini – Rekt Feedly Summary: The perfect DeFi hack. No flash loans, no zero-days. Just a rogue dev who built a backdoor, waited 114 days, then drained $49.5M from Infini with admin privileges. Same old story, new-age incompetence. When will protocols learn that admin keys aren’t toys? AI Summary…

  • Hacker News: The $1.5B Bybit Hack: The Era of Operational Security Failures Has Arrived

    —

    by

    Kurt Seifried
    in

    Source URL: https://blog.trailofbits.com/2025/02/21/the-1.5b-bybit-hack-the-era-of-operational-security-failures-has-arrived/ Source: Hacker News Title: The $1.5B Bybit Hack: The Era of Operational Security Failures Has Arrived Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses a significant operation security breach in the cryptocurrency domain, highlighting how sophisticated attackers, particularly North Korean state-sponsored threat actors, have shifted from exploiting vulnerabilities…

  • Rekt: Ionic Money – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/ionic-money-rekt Source: Rekt Title: Ionic Money – Rekt Feedly Summary: Fake LBTC, real losses. Social engineering artists convinced Ionic Money on Mode Network to accept counterfeit collateral, walked away with $6.9M, and left sister protocols holding toxic bags. Previously exploited twice as Midas – third time rekt’s the charm. AI Summary and Description:…

  • The Register: US accuses Canadian math prodigy of $65M crypto scheme

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.theregister.com/2025/02/04/math_prodigy_crypto_scheme/ Source: The Register Title: US accuses Canadian math prodigy of $65M crypto scheme Feedly Summary: Suspect, still at large, said to back concept that ‘code is law’ New York feds today unsealed a five-count criminal indictment charging a 22-year-old Canadian math prodigy with exploiting vulnerabilities in two decentralized finance protocols, allegedly using…