BTCBTC
💲65766.47
-
0.27%
ETHETH
💲1925.96
+
0.41%
SOLSOL
💲77.54
+
0.36%
USDCUSDC
💲1.00
-
0%
HYPEHYPE
💲59.05
+
1.11%
XAUXAU
💲4119.98
-
0.01%

Zeng Jiajun 曾嘉俊
Zeng Jiajun 曾嘉俊|Jun 12, 2026 16:48
this name is tama de hilarious. let's tama de formally verify all ethereum smart contract.(曾嘉俊 Zeng Jiajun)
+5
Mentioned
Share To

Timeline

Jul 12, 05:30AI agent discovers a vulnerability in the ETH protocol code
Jul 12, 04:22Robinhood version of the Revert data dashboard
Jul 12, 02:29The cumulative effect brought by Ethereum L2 is similar to network effects
Jul 11, 19:20AI Discovers Critical Vulnerability in Ethereum Validators
Jul 11, 17:25AI Discovers Ethereum Validator Crash Vulnerability
Jul 11, 16:52Robinhood Chain is an Ethereum Layer-2 network for tokenized stocks.
Jul 11, 16:15Ethereum's energy consumption is lower than that of the British Museum.
Jul 11, 13:27The Ethereum Foundation uses AI to fix vulnerabilities in the gossipsub protocol
Jul 11, 06:38On-chain Financial Transaction Order Optimization
Jul 10, 16:53Discussion on the updated Ethereum protocol draft

HotFlash

APP

X

Telegram

Facebook

Reddit

CopyLink

Hot Reads