BTCBTC
💲81547.89
-
2.23%
ETHETH
💲2410.70
-
3.96%
SOLSOL
💲103.85
-
3.51%
XAUXAU
💲4145.23
-
0.43%
ZECZEC
💲1131.31
-
11.3%
USDCUSDC
💲1.00
-
0%

Zeng Jiajun 曾嘉俊
Zeng Jiajun 曾嘉俊|6月 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

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

HotFlash

APP

X

Telegram

Facebook

Reddit

CopyLink

Hot Reads