BTCBTC
💲64208.29
+
0.93%
ETHETH
💲1808.39
+
0.8%
CATCAT
💲0.000001402
-
0.99%
SOLSOL
💲82.52
+
0.86%
USDCUSDC
💲1.00
-
0%
HYPEHYPE
💲71.25
-
0.27%

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

Timeline

7月 06, 21:31The supply of cryptocurrency can be independently verified
7月 06, 21:00Standard security tools cannot protect user data trails
7月 06, 18:38AI proxy verification technology is now online and supports applications
7月 06, 17:07wstETH cross-chain to RobinhoodCrypto
7月 06, 15:58Vitalik Buterin proposes a minimalist chain proposal
7月 06, 15:35Ethereum developers support Vitalik Buterin's long-term vision
7月 06, 14:30Vitalik Buterin Outlines a Streamlined Ethereum Roadmap
7月 06, 12:05MarsChain uses mathematics to hedge first-mover advantage
7月 06, 10:17Lean Ethereum is referred to as the third major iteration
7月 06, 09:58The next Ethereum upgrade will be as important as the Merge.

HotFlash

APP

X

Telegram

Facebook

Reddit

CopyLink

Hot Reads