BTCBTC
💲63646.29
-
0.24%
ETHETH
💲1782.96
-
0.54%
SOLSOL
💲81.10
-
1.04%
USDCUSDC
💲1.00
-
0%
HYPEHYPE
💲70.06
-
1.24%
ZECZEC
💲482.33
+
7.22%

jiajun.gwei
jiajun.gwei|Jun 12, 2026 14:50
what if i told you our contract has been formally verified by two independent layers - halmos ( github.com/a16z/halmos) - verity ( veritylang.com) 😵😲🤯(曾嘉俊 Zeng Jiajun)
+6
Mentioned
Share To

Timeline

Jul 07, 16:53There are hundreds of 'best models' in the AI market.
Jul 07, 16:52gpt account restored for use
Jul 07, 15:38The Core Use of HertzFlow Alpha Skill
Jul 07, 14:08LayerZero extends self-custody capabilities to asset issuers
Jul 07, 12:52Ethereum announces the third plan to reshape the protocol
Jul 07, 12:29Zcash plans to launch a new privacy pool Ironwood
Jul 07, 12:02The market needs a transparent and traceable platform
Jul 07, 11:44Upbit launches backtesting tool 'Upbit Strategy Toolkit'
Jul 07, 11:30SummerFi DeFi vulnerability highlights the risks of AI automation surpassing smart contracts
Jul 07, 09:40AI Loop will change the future of work.

HotFlash

APP

X

Telegram

Facebook

Reddit

CopyLink

Hot Reads