EigenLayer的拗口概念intersubjective forking是什么？（转）

一个事实，大概可以分为三类：

客观事实（objective）
, v: }! ^8 d: r# b+ Q/ M
# Y6 [5 @4 a( \+ d' ~+ w7 P( g0 W主观事实（subjective）
8 \3 n" D1 E" r5 R2 p% K# b# L1 p
* w/ v0 e$ E1 k& Y: g. s  l介于中间的“主体之间”（intersubjective）事实。
: u; y7 j5 P7 X5 x- l
9 V* D% j+ Z; C" d2 S8 k* }举个例子：

1. 客观事实，比如说，1+1=2 ；
- X, Y$ V+ b. I9 C9 Z6 p. [& Z$ Z( `2 I
2. 主观事实，比如说，有人觉得 @0x_todd 长得帅；
/ F' G- g7 Q" X2 E7 J4 `4 S9 c* M4 m( w
3. “主体之间”的事实，有点抽象，它来自于“社交共识”，比如说：ChatGPT 是当今 AI 的龙头之一。

7 H$ i  u6 R  o/ S“主体之间”的事实，它没有客观事实那么的板上钉钉，也没有主观事实那么的张口就来。
+ g6 ?: C+ |# L
6 E* `- ~& d. k' Z  Z! g它是一个主体之间的——用人话说——它是群众们的共识，尽管可能不是真理。
/ B$ r% c6 ~7 j) `5 k( R1 Q/ f0 L! o
如果到 Crypto，再举几个例子：
6 W# O$ d: E8 I) P( |7 y
0 I# R4 Y  U7 P* Q1. 客观事实，比如说，EVM 执行的代码，如果执行了某个功能，一定会输出某个结果。
8 K. S. R! T+ U0 \+ Z, M7 u- o8 P
2. 主观事实，比如说，一条推特，我觉得 @eigenlayer 给早期持有者划分的比例太少了；

; {: [3 P9 h' G. u' t2 g/ i3. “主体之间”的事实，也同样来自于“社交共识”，比如说，比特币是 crypto 的龙头；或者某节点作恶了，因为它隐瞒了一些数据。
! ]3 A" u) @+ q* B/ W8 w- a; R, @
6 z, c  `) l9 P+ e" Z' V4 Z2 o如今，大家都知道 Re-staking 是做什么的：

用ETH作为押金，完成一些验证工作；
& E- X% h: f; B6 m7 N; n. x
# e9 d: N" I3 N# i1. 验证成功，则赚取佣金；

2. 如果搞砸，则扣除押金。
' t. ?8 W+ s; h7 P$ Y
% q' m" z4 U' V1 u% ]) C# Z但是，怎么判断你到底搞砸还是成功了？押金谁来扣呢？这是一个难题。

: T$ m1 c% `& {8 i验证“客观事实”的还好，有非常明确的判断标准。比如某个智能合约是否执行成功，这很好处理。

, G  ?7 R. c3 O3 Z4 A4 X0 p验证客观事实的，用$ETH 当押金没问题。

) R, S) E8 k, W但是验证“主体之间事实”的就麻烦了，这界定标准也不是那么清晰。这时候你还敢用$ETH 当押金吗？你肯定不敢。

" X. _7 S/ `; H- `+ O所以，Eigenlayer认为，凡是涉及到主体之间事实的验证，不再用ETH作为 re-staking，而是用$Eigen代币。

这仍然没解决我们刚才的问题。到底怎么判断你到底搞砸还是成功了？
- `( n, m7 i$ x' [0 p: W- E- o# j
5 @, J- h! m: S# @  B% l& n1. 靠多数人投票？那么也会带来“多数人暴政”，比如大户可以联手消灭小户。

2. 靠委员会裁决？那我们来 crypto 干嘛？

! j' G( J& \& ~, Z% _/ Z- G所以，Eigen 代币 Staking 准备用第 3 种思路：

3. 依靠 fork（分叉）。如果真的围绕一个“主体之间事实”出现了巨大分歧，那么还有最后手段，就是 fork。

- r' D, C3 _, |7 r2 ^如果你（以及和你站在同一边的人）都认为其他人都错了，哪怕你目前不掌握多数席位，那么你可以直接分叉代币，然后没收其他人的。
. z2 K/ }6 M) o4 N% R0 |7 V
' Q/ ^& ^, d6 L2 [注意，这是最终杀手锏。
; x' \, |+ e- m9 L; `% }
到底什么是围绕一个“主体之间事实”出现的巨大分歧呢？
, W5 n" `6 B7 A/ R举个例子，当年，特朗普因为一点点选票连任失败，拜登当选第 46 任美国总统，但是在某个短暂的窗口，特朗普宣称拜登“偷”了他的票，他才是真正合法的第 46 任美国总统。

在这件事尘埃落定之前，肯定有不少人是坚定相信特朗普是真正的 46 任总统，且他们没有主观作恶的意愿，且双方的支持者都无法说服对方。

Eigenlayer认为，解决这类问题最好的方案：就是相互fork代币，让时间检验这一切，因为最终一定会有一方逐渐失去正统性，接近归零。
9 k6 ~) {; [/ L$ j: S; r% J  @; m& |
( J$ ~' Q: n" Y0 J& b8 z所以：
$ l8 X5 T( d, Y3 J* h$ d: `
8 u  l4 D+ k4 ^! H$ w1. 在特朗普支持者的眼里（即特朗普版的 EIGEN），要把所有拜登支持者的押金全部没收；

& v7 F5 j2 L9 d. g7 g2. 在拜登支持者的视角里（即拜登版的 EIGEN），要把所有特朗普支持者的押金全部没收。
5 M% i0 ?+ O. v0 x5 U
最后的结果我们都清晰了，特朗普在大众视野里并非 46 任总统，特朗普版的 EIGEN 最终归零，所以没收了拜登支持者的代币也无所谓，反正都是 0。
2 u+ y( p! M/ c. v" v
2 c) Y! `# X6 m# Q相反，拜登在大众视野里是 46 任总统，拜登版的 EIGEN 变成正版 EIGEN，特朗普支持者代币之前被没收，也付出了代价。

这就是 intersubjective forking 要解决的问题。
7 N: {8 M# P0 z. A
$ H6 Q4 j& @8 ^/ }% D所以，这些必须用EIGEN币才行，而不能用ETH。ETH fork太难了，而且这也不利于ETH安全。当然，这肯定也有让自己代币尽可能锁住的私心。
. N+ O9 Y! p1 V( \2 q- y  u
; a" ], ?9 N. W  B+ J4 z) _另外还有一个小细节，EIGEN 是一个双代币模型。
" c" U. J6 W' i3 f& a5 f一个是标准的 ERC-20 代币，它不会 Fork，可以用于上交易所或者 DeFi。

1 D+ G8 X3 w6 w9 E4 U5 C一个是真正用于判断事实的代币，如果真的出现了巨大分歧，它理论上可以无限 Fork。
* D) ~8 h5 a. `: e
6 O) i& ?) l, M. ~这两个代币之间是隔离的，但是有一定的映射关系，感兴趣可以去看白皮书，这里不再赘述。
% p8 I% i8 P+ s: e: T
最后概括一下，Eigenlayer抽象出了一类新的事实（intersubjective），它不能用之前的方案（ETH Restaking）解决，所以提出了新的解决方案（基于EIGEN代币的Staking和Slashing），即发行新的工作代币$EIGEN。
  \' ]' m5 g9 C9 R/ S* c; L* H! v
Ebunker，以太坊长期主义者，第一时间关注以太坊技术发展、提案升级和社区变化，分享关于Staking，L2，DeFi等以太坊重点赛道研究和观点。

目前Ebunker包括Ebunker Pool（资金非托管以太坊Staking矿池）和Ebunker Venture（以太坊最大化风投）等业务。
: C! x" M% r% H% e+ |4 @
0 w3 D8 @  n/ B% l

有的东西看看就是了，不要当真

这个倒也是可以求了解下看看了啊。

具体的理论打法还得让老哥来解答啊

你的理论打法，玩起上来确实能控制振幅

这个理论打法是需要向这个朋友多学习一下的。

我的成果的功劳都是老哥像这样的理论分享。

你估计也是一个理论很内行的玩家，谢谢你的分享。

分享的是很好啊，得花时间看一下啊！

楼主的理论打法也是有在记录中的呀?

感谢老哥的理论分享，还是可以了解到好多的。

麻烦的分享才是好玩意儿，花时间学习一下都不错的。

楼主的思路拿来和大家分享了。

我觉得你的分享很不错，必须要给一个赞。

这个理论应该是大伙实践的效果。

学学这之类的经验分享，前人总结的。

理论全体问题不大，关键把握的好了