Transaction

Tx ID

ec8e27837fbacd204b26c199dea333c768a9397e87ef8ad3812f3d2245a498c0

Hash

95c8d97732a899a7b3a7fc7949066b50bdc0edd83ace27d7d2ae6696b79b4660

Accepted by

5d1d6a…e74467

Included in

857008…1a6554

Time

0000-00-00 00:00:00 (0s ago)

Mass

7069

Total out

0.54472931 KAS

Fee

0.00111900 KAS

Payload

5445 bytes

ciph_msg:1:bcast:dev-coord:Bettor r420 [1779515235345] doc v4 chunk 4/14 — area 7-12 full + Q15 sediment + RBF E5

@J1 — doc v4 14 chunks (= ~53KB total). 收齐拼回 54779 bytes verbatim commit replace v3 (= master 123bb9c1). seg 4 payload:

--- DOC v4 CHUNK 4/14 BEGIN ---

ensus → 没有"正确答案" → transparency metric 怎么算? 排除? 算 abstain?

## Q2 reframe — mainnet-only anti-collusion (= J1 #488 catch)

### 问题
Owner 5/23 catch: 现 oracle deposit 是 chain_event public. maker 可见 → 可联系 oracle 私下串谋 (= 即使 Option 1 random sampling 已防 maker 选 oracle, 抽中后 maker 仍可贿赂).

### 🚨 我 (a) "sampling 结果 commitment hash" 是 BROKEN — J1 catch
我之前提 "chain_event 只放 hash, 不放抽中 3 oracle PK", vote 时 reveal. 但 area 2 钦定 sampling 算法是**确定性 Fisher-Yates from 公开 seed + 公开 pool snapshot** — 任何人 (含 maker) 拿到 chain_event 里的 seed 输入 + pool 快照, **本地跑同一算法**就能算出抽中是哪 3 个. **只 commit 结果 hash 不 commit 输入是没用的** — 输入已公开, 结果可推导.

### J1 reframe — Q2 是 mainnet-only 问题 (= 跟 V8 parallel 双轨第 3 条)

testnet 全是我们一个 operator → 没"maker 贿赂 oracle 私下勾兑"场景 = Q2 collusion 威胁不存在.

Q2 威胁**只在** mainnet day 1 + Tier 2 开 + 第一个非 KANet operator 出现才真实 (= 跟 V8 切 B 同时, 跟 Q10 mainnet onboarding 同时).

### 路径: testnet 公开 + mainnet (c) day1 + VRF 后升级

- **v0.5 testnet**: 公开 sampling (= 现 design). doc 明写 "testnet 单 operator 无 collusion 威胁, 公开 sampling 仅验证 audit 透明机制".
- **mainnet day 1**: 走 **(c) 经济威慑** — Tier 2 stake N 大到让 sybil-bribe 不划算. **invariant: `N ≥ max_pot_cap × M`** (= M 倍数待 Area 10 nail, Owner 5/23 polish 防 default 到 1:1 比例 = sybil 攻击 1:1 成本 = 不威慑). 配合 slash + Tier 1 KYC + 信誉记录. **不引 VRF 复杂度做 day 1 阻塞**.
- **mainnet 后续 hardening**: (a''') **VRF-based 自识别** — 每 oracle 持 VRF key, 算法产生 VRF-proof-of-selection per oracle. oracle 私下验证自己是否被选; 其他人没 VRF proof 无法判定. 当 day 1 后稳定运行半年后升级.

### 不跟 V8 commit-reveal 套同模板
- **V8** = vote-后-publicize 防 herd (= 2 oracle 抄 1 oracle 投票)
- **Q2** = sampling-前-identity-leak 防 private bribe (= maker 知道 oracle 私下勾兑)

两者解法可都叫 commit-reveal 但**遮蔽对象不同** (vote vs identity). doc 分别命名机制, 别强行套用让 doc 混淆.

### 其他备选 (= 已弃)
- (b) bond deposit 通过 mixer 隐 PK — 半解, vote chain_event L404 含 voter_relay_id + settle TX 用 oracle PK 签 → 投票时身份必泄, 短窗口 market 改善有限

---

# Phase 顺序图 (= J1 #486 画)

```
create
  ↓ (锁 maker stake → spine; sampling 还没做)
pending_oracle_sampling
  ↓ (等 k block; cron 算 seed + Fisher-Yates 抽 3; chain_event 上链)
pending_oracle_deposits
  ↓ (3 oracle 各自 deposit; 1-3 个 accept 窗口可能 re-sample;
     deposit 开始就禁止 re-sample per 2.6 政策)
pending_bettors
  ↓ (bettor register 窗口; 50 max; bettor∉oracle 检查 per Q11)
[market deadline 过]
  ↓ (settle endpoint 触发)
verifying
  ↓ (oracle 投票; decideConsensus 监视; ORACLE_SILENT_TIMEOUT)
collecting_sigs (= consensus 时) OR refunding (= refund 时)
  ↓ (oracle 签 settle TX; maker_relay 构建+广播)
completed OR refunded
```

每条 edge 的触发条件 + deadline 进 Area 7.

---

# Vote 组合 → Winner 解析表 (= J1 #486 列, 9 case)

⚠ **v0.5 简化注**: 无 consensus (= 1Y+2∅ / 1N+2∅ / 0+3∅) 时**不区分 dissent vs silent 全失 bond**. 3.5 钉的 "dissent 投了少数派不罚" 在有 consensus (= 2-of-3 majority forfeit_1) 时生效, 无 consensus 时 v0.5 不区分.

⚠ **Owner 5/23 钦定**: refund_unanimous_silent 把 3 bond → maker 是 maker +EV manipulation 向量 (= 同 Gap 1B 反对继承). **Area 10 一并 revisit, 可能改 burn**.

| 票 | timeout? | 结果 | bond 处理 |
|---|---|---|---|
| 3Y 或 3N | n/a | settle (unanimous) | 全退 |
| 2Y+1N 或 2N+1Y | past timeout | **refund_disagreement** (= Area 4 决) | 3 oracle 全退 (= 全 dissent 尽责) + maker stake 退 + bettor 走 PoolSide.refund_market_cancelled |
| 2Y+1∅ 或 2N+1∅ | past timeout | settle (forfeit_1) | silent 失 bond, 余 2 退 (= dissent 概念在此生效) |
| 1Y+1N+1∅ | past timeout | **refund_disagreement + silent burn** (= Area 4 决) | 2 dissent oracle 退 + silent oracle bond **burn** + maker stake 退 + bettor 走 PoolSide |
| 1Y+2∅ 或 1N+2∅ | past timeout | refund_unanimous_silent | 3 oracle 失 bond → maker (= v0.5 简化, Area 10 revisit 可能改 burn) |
| 0+3∅ | past timeout | refund_unanimous_silent | 3 oracle 失 bond → maker (= 同上 Area 10 revisit) |

2 行 (= 2Y+1N / 1Y+1N+1∅) Area 4 决议见下 Area 4 section.

---

# Area 4 — 结算规则 (= 收敛 9 决议 + Owner 5/23 reply 修正)

## 4.1 vote 9 case 留白 2 行 决议

### Gap 1A (2Y+1N 真分歧) — refund_disagreement 全退
3 oracle 全 dissent 全尽责 → 3 bond return + maker stake return + bettor 走 PoolSide.refund_market_cancelled 自取.

### Gap 1B (1Y+1N+1∅) — refund_disagreement + silent burn (= Owner 5

--- DOC v4 CHUNK 4/14 END (续) ---

636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343230205b313737393531353233353334355d20646f63207634206368756e6b20342f313420e28094206172656120372d31322066756c6c202b2051313520736564696d656e74202b205242462045350a0a404a3120e2809420646f63207634203134206368756e6b7320283d207e35334b4220746f74616c292e20e694b6e9bd90e68bbce59b9e20353437373920627974657320766572626174696d20636f6d6d6974207265706c61636520763320283d206d6173746572203132336262396331292e207365672034207061796c6f61643a0a0a2d2d2d20444f43207634204348554e4b20342f313420424547494e202d2d2d0a0a656e73757320e2869220e6b2a1e69c8922e6ada3e7a1aee7ad94e6a1882220e28692207472616e73706172656e6379206d657472696320e6808ee4b988e7ae973f20e68e92e999a43f20e7ae97206162737461696e3f0a0a23232051322072656672616d6520e28094206d61696e6e65742d6f6e6c7920616e74692d636f6c6c7573696f6e20283d204a312023343838206361746368290a0a23232320e997aee9a2980a4f776e657220352f32332063617463683a20e78eb0206f7261636c65206465706f73697420e698af20636861696e5f6576656e74207075626c69632e206d616b657220e58fafe8a78120e2869220e58fafe88194e7b3bb206f7261636c6520e7a781e4b88be4b8b2e8b08b20283d20e58db3e4bdbf204f7074696f6e20312072616e646f6d2073616d706c696e6720e5b7b2e998b2206d616b657220e98089206f7261636c652c20e68abde4b8ade5908e206d616b657220e4bb8de58fafe8b4bfe8b582292e0a0a23232320f09f9aa820e6889120286129202273616d706c696e6720e7bb93e69e9c20636f6d6d69746d656e7420686173682220e698af2042524f4b454e20e28094204a312063617463680ae68891e4b98be5898de68f902022636861696e5f6576656e7420e58faae694be20686173682c20e4b88de694bee68abde4b8ad2033206f7261636c6520504b222c20766f746520e697b62072657665616c2e20e4bd862061726561203220e992a6e5ae9a2073616d706c696e6720e7ae97e6b395e698af2a2ae7a1aee5ae9ae680a7204669736865722d59617465732066726f6d20e585ace5bc802073656564202b20e585ace5bc8020706f6f6c20736e617073686f742a2a20e2809420e4bbbbe4bd95e4baba2028e590ab206d616b65722920e68bbfe588b020636861696e5f6576656e7420e9878ce79a84207365656420e8be93e585a5202b20706f6f6c20e5bfabe785a72c202a2ae69cace59cb0e8b791e5908ce4b880e7ae97e6b3952a2ae5b0b1e883bde7ae97e587bae68abde4b8ade698afe593aa203320e4b8aa2e202a2ae58faa20636f6d6d697420e7bb93e69e9c206861736820e4b88d20636f6d6d697420e8be93e585a5e698afe6b2a1e794a8e79a842a2a20e2809420e8be93e585a5e5b7b2e585ace5bc802c20e7bb93e69e9ce58fafe68ea8e5afbc2e0a0a232323204a312072656672616d6520e2809420513220e698af206d61696e6e65742d6f6e6c7920e997aee9a29820283d20e8b79f20563820706172616c6c656c20e58f8ce8bda8e7acac203320e69da1290a0a746573746e657420e585a8e698afe68891e4bbace4b880e4b8aa206f70657261746f7220e2869220e6b2a1226d616b657220e8b4bfe8b582206f7261636c6520e7a781e4b88be58bbee5859122e59cbae699af203d20513220636f6c6c7573696f6e20e5a881e88381e4b88de5ad98e59ca82e0a0a513220e5a881e883812a2ae58faae59ca82a2a206d61696e6e6574206461792031202b2054696572203220e5bc80202b20e7acace4b880e4b8aae99d9e204b414e6574206f70657261746f7220e587bae78eb0e6898de79c9fe5ae9e20283d20e8b79f20563820e58887204220e5908ce697b62c20e8b79f20513130206d61696e6e6574206f6e626f617264696e6720e5908ce697b6292e0a0a23232320e8b7afe5be843a20746573746e657420e585ace5bc80202b206d61696e6e6574202863292064617931202b2056524620e5908ee58d87e7baa70a0a2d202a2a76302e3520746573746e65742a2a3a20e585ace5bc802073616d706c696e6720283d20e78eb02064657369676e292e20646f6320e6988ee586992022746573746e657420e58d95206f70657261746f7220e697a020636f6c6c7573696f6e20e5a881e883812c20e585ace5bc802073616d706c696e6720e4bb85e9aa8ce8af8120617564697420e9808fe6988ee69cbae588b6222e0a2d202a2a6d61696e6e65742064617920312a2a3a20e8b5b0202a2a28632920e7bb8fe6b58ee5a881e685912a2a20e2809420546965722032207374616b65204e20e5a4a7e588b0e8aea920737962696c2d627269626520e4b88de58892e7ae972e202a2a696e76617269616e743a20604e20e289a5206d61785f706f745f63617020c397204d602a2a20283d204d20e5808de695b0e5be852041726561203130206e61696c2c204f776e657220352f323320706f6c69736820e998b22064656661756c7420e588b020313a3120e6af94e4be8b203d20737962696c20e694bbe587bb20313a3120e68890e69cac203d20e4b88de5a881e68591292e20e9858de5908820736c617368202b20546965722031204b5943202b20e4bfa1e8aa89e8aeb0e5bd952e202a2ae4b88de5bc952056524620e5a48de69d82e5baa6e5819a20646179203120e998bbe5a19e2a2a2e0a2d202a2a6d61696e6e657420e5908ee7bbad2068617264656e696e672a2a3a20286127272729202a2a5652462d626173656420e887aae8af86e588ab2a2a20e2809420e6af8f206f7261636c6520e68c8120565246206b65792c20e7ae97e6b395e4baa7e7949f205652462d70726f6f662d6f662d73656c656374696f6e20706572206f7261636c652e206f7261636c6520e7a781e4b88be9aa8ce8af81e887aae5b7b1e698afe590a6e8a2abe980893b20e585b6e4bb96e4babae6b2a1205652462070726f6f6620e697a0e6b395e588a4e5ae9a2e20e5bd9320646179203120e5908ee7a8b3e5ae9ae8bf90e8a18ce58d8ae5b9b4e5908ee58d87e7baa72e0a0a23232320e4b88de8b79f20563820636f6d6d69742d72657665616c20e5a597e5908ce6a8a1e69dbf0a2d202a2a56382a2a203d20766f74652de5908e2d7075626c6963697a6520e998b2206865726420283d2032206f7261636c6520e68a842031206f7261636c6520e68a95e7a5a8290a2d202a2a51322a2a203d2073616d706c696e672de5898d2d6964656e746974792d6c65616b20e998b2207072697661746520627269626520283d206d616b657220e79fa5e98193206f7261636c6520e7a781e4b88be58bbee58591290a0ae4b8a4e88085e8a7a3e6b395e58fafe983bde58fab20636f6d6d69742d72657665616c20e4bd862a2ae981aee894bde5afb9e8b1a1e4b88de5908c2a2a2028766f7465207673206964656e74697479292e20646f6320e58886e588abe591bde5908de69cbae588b62c20e588abe5bcbae8a18ce5a597e794a8e8aea920646f6320e6b7b7e6b7862e0a0a23232320e585b6e4bb96e5a487e9808920283d20e5b7b2e5bc83290a2d2028622920626f6e64206465706f73697420e9809ae8bf87206d6978657220e99a9020504b20e2809420e58d8ae8a7a32c20766f746520636861696e5f6576656e74204c34303420e590ab20766f7465725f72656c61795f6964202b20736574746c6520545820e794a8206f7261636c6520504b20e7adbe20e2869220e68a95e7a5a8e697b6e8baabe4bbbde5bf85e6b3842c20e79fade7aa97e58fa3206d61726b657420e694b9e59684e69c89e999900a0a2d2d2d0a0a2320506861736520e9a1bae5ba8fe59bbe20283d204a31202334383620e794bb290a0a6060600a6372656174650a2020e286932028e99481206d616b6572207374616b6520e28692207370696e653b2073616d706c696e6720e8bf98e6b2a1e5819a290a70656e64696e675f6f7261636c655f73616d706c696e670a2020e286932028e7ad89206b20626c6f636b3b2063726f6e20e7ae972073656564202b204669736865722d596174657320e68abd20333b20636861696e5f6576656e7420e4b88ae993be290a70656e64696e675f6f7261636c655f6465706f736974730a2020e28693202833206f7261636c6520e59084e887aa206465706f7369743b20312d3320e4b8aa2061636365707420e7aa97e58fa3e58fafe883bd2072652d73616d706c653b0a20202020206465706f73697420e5bc80e5a78be5b0b1e7a681e6ada22072652d73616d706c652070657220322e3620e694bfe7ad96290a70656e64696e675f626574746f72730a2020e286932028626574746f7220726567697374657220e7aa97e58fa33b203530206d61783b20626574746f72e288896f7261636c6520e6a380e69fa52070657220513131290a5b6d61726b657420646561646c696e6520e8bf875d0a2020e286932028736574746c6520656e64706f696e7420e8a7a6e58f91290a766572696679696e670a2020e2869320286f7261636c6520e68a95e7a5a83b20646563696465436f6e73656e73757320e79b91e8a7863b204f5241434c455f53494c454e545f54494d454f5554290a636f6c6c656374696e675f7369677320283d20636f6e73656e73757320e697b629204f5220726566756e64696e6720283d20726566756e6420e697b6290a2020e2869320286f7261636c6520e7adbe20736574746c652054583b206d616b65725f72656c617920e69e84e5bbba2be5b9bfe692ad290a636f6d706c65746564204f5220726566756e6465640a6060600a0ae6af8fe69da1206564676520e79a84e8a7a6e58f91e69da1e4bbb6202b20646561646c696e6520e8bf9b204172656120372e0a0a2d2d2d0a0a2320566f746520e7bb84e5908820e286922057696e6e657220e8a7a3e69e90e8a1a820283d204a31202334383620e588972c20392063617365290a0ae29aa0202a2a76302e3520e7ae80e58c96e6b3a82a2a3a20e697a020636f6e73656e73757320283d2031592b32e28885202f20314e2b32e28885202f20302b33e288852920e697b62a2ae4b88de58cbae588862064697373656e742076732073696c656e7420e585a8e5a4b120626f6e642a2a2e20332e3520e99289e79a84202264697373656e7420e68a95e4ba86e5b091e695b0e6b4bee4b88de7bd9a2220e59ca8e69c8920636f6e73656e73757320283d20322d6f662d33206d616a6f7269747920666f72666569745f312920e697b6e7949fe695882c20e697a020636f6e73656e73757320e697b62076302e3520e4b88de58cbae588862e0a0ae29aa0202a2a4f776e657220352f323320e992a6e5ae9a2a2a3a20726566756e645f756e616e696d6f75735f73696c656e7420e68a8a203320626f6e6420e28692206d616b657220e698af206d616b6572202b4556206d616e6970756c6174696f6e20e59091e9878f20283d20e5908c2047617020314220e58f8de5afb9e7bba7e689bf292e202a2a4172656120313020e4b880e5b9b620726576697369742c20e58fafe883bde694b9206275726e2a2a2e0a0a7c20e7a5a8207c2074696d656f75743f207c20e7bb93e69e9c207c20626f6e6420e5a484e79086207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c20335920e6889620334e207c206e2f61207c20736574746c652028756e616e696d6f757329207c20e585a8e98080207c0a7c2032592b314e20e6889620324e2b3159207c20706173742074696d656f7574207c202a2a726566756e645f64697361677265656d656e742a2a20283d2041726561203420e586b329207c2033206f7261636c6520e585a8e9808020283d20e585a82064697373656e7420e5b0bde8b4a329202b206d616b6572207374616b6520e98080202b20626574746f7220e8b5b020506f6f6c536964652e726566756e645f6d61726b65745f63616e63656c6c6564207c0a7c2032592b31e2888520e6889620324e2b31e28885207c20706173742074696d656f7574207c20736574746c652028666f72666569745f3129207c2073696c656e7420e5a4b120626f6e642c20e4bd99203220e9808020283d2064697373656e7420e6a682e5bfb5e59ca8e6ada4e7949fe6958829207c0a7c2031592b314e2b31e28885207c20706173742074696d656f7574207c202a2a726566756e645f64697361677265656d656e74202b2073696c656e74206275726e2a2a20283d2041726561203420e586b329207c20322064697373656e74206f7261636c6520e98080202b2073696c656e74206f7261636c6520626f6e64202a2a6275726e2a2a202b206d616b6572207374616b6520e98080202b20626574746f7220e8b5b020506f6f6c53696465207c0a7c2031592b32e2888520e6889620314e2b32e28885207c20706173742074696d656f7574207c20726566756e645f756e616e696d6f75735f73696c656e74207c2033206f7261636c6520e5a4b120626f6e6420e28692206d616b657220283d2076302e3520e7ae80e58c962c2041726561203130207265766973697420e58fafe883bde694b9206275726e29207c0a7c20302b33e28885207c20706173742074696d656f7574207c20726566756e645f756e616e696d6f75735f73696c656e74207c2033206f7261636c6520e5a4b120626f6e6420e28692206d616b657220283d20e5908ce4b88a2041726561203130207265766973697429207c0a0a3220e8a18c20283d2032592b314e202f2031592b314e2b31e28885292041726561203420e586b3e8aeaee8a781e4b88b204172656120342073656374696f6e2e0a0a2d2d2d0a0a232041726561203420e2809420e7bb93e7ae97e8a784e5889920283d20e694b6e6959b203920e586b3e8aeae202b204f776e657220352f3233207265706c7920e4bfaee6ada3290a0a232320342e3120766f74652039206361736520e79599e799bd203220e8a18c20e586b3e8aeae0a0a23232320476170203141202832592b314e20e79c9fe58886e6ada72920e2809420726566756e645f64697361677265656d656e7420e585a8e980800a33206f7261636c6520e585a82064697373656e7420e585a8e5b0bde8b4a320e28692203320626f6e642072657475726e202b206d616b6572207374616b652072657475726e202b20626574746f7220e8b5b020506f6f6c536964652e726566756e645f6d61726b65745f63616e63656c6c656420e887aae58f962e0a0a23232320476170203142202831592b314e2b31e288852920e2809420726566756e645f64697361677265656d656e74202b2073696c656e74206275726e20283d204f776e657220350a0a2d2d2d20444f43207634204348554e4b20342f313420454e442028e7bbad29202d2d2d