
ohxiyu
Feed
Feed
Compound's Proposal 289 nearly transferred 499,000 COMP tokens (about $24 million) into a yield vault; the proposal passed in July 2024 due to a last-minute surge in voting, after which the protocol…
Governance vulnerabilities in leading lending protocols could undermine market trust in DAO-governed DeFi, potentially increasing the risk premium for governance tokens like COMP and driving users toward protocols with clearer protection mechanisms.
On September 4th, Trezor updated its announcement stating that its logistics service provider's data breach incident affected approximately 67,000 US customers, bringing the total to about 80,700.
The leaked data covers US orders from November 2019 to August 2021, including names, emails, phone numbers, addresses, and order numbers, which could be used for targeted phishing and scam calls. Trezor stated that wallet systems, mnemonic phrases, private keys, and funds were not affected, and no related downstream attacks have been confirmed yet.
Anthropic recently announced that its Claude AI independently completed the formal proof of Fermat's Last Theorem in 11 days, generating about 13 million lines of machine-verifiable code, which has been validated by mathematician Kevin Buzzard.
This work was advanced in parallel by dozens of Claude agents, using the collaborative tool Prove2Me developed by Peng Tianyi's team, coordinating tasks with a real-time to-do list; about 7% of the proof lines came from early failed attempts. The formalization process used the Lean language, allowing each logical step to be checked by a computer.
Someone told me $ZEC would rise to over $2000.
I believe it,
but I don't have it.
🤷


