深入对系统随时间行为的形式化分析。特别关注否决信号、愤怒退出和时间锁定过渡的安全性和活动性保证。

DEEP-8.7%
OVER-0.1%
RAGE8.76%
查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 10
  • 分享
评论
0/400
熊市资深生存者vip
· 06-27 01:10
又宕机了有啥分析的
回复0
NotFinancial_Advicevip
· 06-26 03:23
继续挖掘……老实说,我喜欢看到技术方面的东西
查看原文回复0
区块链Talkervip
· 06-25 07:03
实际上,这就是我从第一天起就一直在宣传的正式认证……终于
查看原文回复0
RumbleValidatorvip
· 06-25 05:26
不靠谱的形式验证根本没用
回复0
智能合约试错员vip
· 06-24 20:22
这次一定没bug
回复0
独孤验证者vip
· 06-24 20:19
好家伙 你这测试跑得真稳
回复0
Degen4Breakfastvip
· 06-24 20:14
可算把老子看晕了
回复0
老韭新镰vip
· 06-24 20:09
又见老套的韭制套路,一眼见穿
回复0
终于从矿工变农民vip
· 06-24 19:55
卧槽大佬这也太硬核了
回复0
SorryRugPulledvip
· 06-24 19:53
这分析这么秀 确实头疼
回复0
查看更多
交易,随时随地
qrCode
扫码下载 Gate APP
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)