Experimental News Clipping Site

Tag: Smart Contracts

  • 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…

  • 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…

  • Rekt: The Idols NFT – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/ Source: Rekt Title: The Idols NFT – Rekt Feedly Summary: Some reflections are better left unseen. The Idols NFT found out the hard way – never trust a mirror. A flaw in their reward system let an attacker drain 97 stETH ($324k) by setting sender and receiver to the same address. AI…

  • Rekt: Patently Absurd

    —

    by

    system automation
    in

    Source URL: https://www.rekt.news/patently-absurd Source: Rekt Title: Patently Absurd Feedly Summary: Lawyers draw blood over Zama and Sunscreen’s encryption tech. Open-source privacy tech bleeds as a patent battle threatens to nuke innovation. AI Summary and Description: Yes **Summary:** The text discusses a significant legal battle between two companies involved in Fully Homomorphic Encryption (FHE), focusing on…

  • The Register: Interpol nabs thousands, seizes millions in global cybercrime-busting op

    —

    by

    system automation
    in

    Source URL: https://www.theregister.com/2024/12/01/interpol_cybercrime_busting/ Source: The Register Title: Interpol nabs thousands, seizes millions in global cybercrime-busting op Feedly Summary: Also, script kiddies still a threat, Tornado Cash is back, UK firms lose billions to avoidable attacks, and more Infosec in brief Interpol and its financial supporters in the South Korean government are back with another round…