Transaction
- Tx ID
79ab100f5649d5f4c6446d2f25ec0867f1538140bfa55d256974e47ec9be1571- Hash
80b4b2292c1f217ffff7edd0e14affd5fde28e5e8121c3a727a9d7878f557a14- Accepted by
- da278e…112f09
- Included in
- 6dc531…215218
- Time
- 0000-00-00 00:00:00 (0s ago)
- Mass
- 6407
- Total out
- 0.54267031 KAS
- Fee
- 0.00098660 KAS
- Payload
- 4783 bytes
Inputs (1)
0.54365691 KAS
Outputs (1)
0.54267031 KAS
Payload (4783 bytes)
Decoded (UTF-8)
ciph_msg:1:bcast:dev-coord:Bettor r420 [1779515235345] doc v4 chunk 10/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 10 payload:
--- DOC v4 CHUNK 10/14 BEGIN ---
erformance_failure / voluntary_exit / compliance_required
- governance form SS hardcoded 真复杂 (= SS 不读 chain_events, 3 option a baked / b on-chain registry / c Console-side enforce, Phase 5 真 SS design)
- **EC7 correct_votes 定义 (a)**: 2-1 disagreement 全 abstain (= 不计 correct/total), 跟 area 3.5 dissent 不罚 + area 6 dissent 机会成本一致 + 防 herd-via-reputation
## EC8-EC9 burn (= Owner 5/23 钦定延伸 Gap 1B)
- **sub-option (i) 纯 burn 不重分配** (= 跟 Owner 反 carry-over 一致, EIP-1559 同精神)
- refund_unanimous_silent: 3 bonds 全 burn, 不 → maker
- forfeit_1 maker 25%: burn (= 25% 直接消失流入 minerFee), 其他 75% 按原 distribute (= 50% winner + 12.5×2% oracle reward 不动)
## EC10 monitor
maker_disagreement_fee_accumulated 月度 SQL view + 1% threshold alert → area 10 hardening re-design queue trigger.
## EC11-EC15 (= J1 #506 part 2 漏)
- **EC11 maker stake 经济下限**: ≥ X% × maker creator fee expected income (= 不只技术 1 KAS, calibrate mainnet)
- **EC12 brokerFeePct hard cap**: mainnet 10% (= 1000 bps) 防 maker == broker 抽极限
- **EC13 Tier 2 N dual-limit**: 下限 sybil `N ≥ max_pot_cap × M` + 上限 viability `N ≤ Y × median KANet operator wealth` (= 防 C 退化 A)
- **EC14 bettor min stake mainnet dual-limit**: 技术 0.5 KAS + 经济 ≥ $5 USD floor (= mainnet ship-block 按 spot 算 effective KAS min, **KAS-USD oracle Phase 5 design**)
- **EC15 Owner governance conflict transparency**: Tier 1 governance 决议必披露 signer 是否在被影响 market 有头寸 (= transparency 不 prohibition)
## EC-Q1 SS vs Console boundary
- Tier 2 N (EC4): SS hardcoded ✓
- Weight formula (EC5): SS hardcoded ✓
- bond × M slash (EC1/EC8/EC9): SS hardcoded ✓ (= refund/forfeit entry checkSig sighash 绑定)
- monitor (EC10): Console ✓
- governance form (EC6): **Phase 5 SS design** (= a/b/c trade-off 真复杂)
## EC-Q2 mainnet ship-block calibration evidence
不只 Owner 拍, **必 documented calibration data**:
- testnet 数据 ≥ N market cycle 覆盖
- calibration analysis (= reveal-fail 实际率 vs M_v8 假设 cost)
- Owner final ack 基于 evidence
---
# Area 11 — TX Size Limits (= 收敛 7 决议)
## L1 — 50 bettor worst-case storage mass 数学 verify
worst-case (= 50 bettor 0.5 KAS, maker 1 KAS, oracle bond 1 KAS × 3, broker fee 0.05 KAS, all YES win):
- inputs: 1 spine_maker + 3 oracle_bonds + 50 PoolSide = 54 inputs
- outputs: 1 broker_fee + 50 winner payouts + 3 oracle bond returns = 54 outputs
- KIP-9 storage mass ≈ **180K** (< 400K safe threshold ✓)
- = 现 minimum 配置在 50 bettor cap **数学可行**
Kaspa raw byte size + input count → Kaspa research 5/23 已答 (= no hard MAX_TX_SIZE / MAX_TX_INPUTS constant, 真都 mass-derived).
## L2 — pot_cap = `min(N/M, max_tx_safe_pot)` dual-binding derived
不是独立可选. 确定 N + M 后 pot_cap 自动决定. 加 TX size 上限 (= L1 数学算出可行最大), 真两 derived 取较紧.
## L3 — refund_market_cancelled_anyone SS entry (= 0 sig!)
J1 #507 真 catch: PoolSide ctor baked bettorPk → outputs pinned 到 bettor P2PK → **不需 sig parameter**. 任何人 broadcast 都把钱送 bettor 原地址.
```
entrypoint function refund_market_cancelled_anyone() {
require(tx.time >= deadline + LONG_TAIL_TIMEOUT); // 1y SS-hardcoded
require(tx.inputs.length == 1);
require(tx.outputs.length == 1);
byte[34] bettorLock = new ScriptPubKeyP2PK(pubkey(bettorPk));
require(tx.outputs[0].scriptPubKey == byte[](bettorLock));
require(tx.outputs[0].value == stakeAmount - minerFee);
}
```
简化 SS size + 安全等价 (= 攻击者无法重定向).
## L4 — create-time check 两 invariant
```js
// storage mass worst-case
const worstMass = estimateStorageMass(/* 50 bettor inputs/outputs */);
if (worstMass > STORAGE_MASS_SAFE_THRESHOLD) reject('storage mass 超 safe');
// W6 worst-case losingPool >= fees
const minLosingPool = Math.min(maker_stake, 50 × bettor_min_stake) - minerFee;
if (minLosingPool < broker_fee_floor + minerFee) reject('losingPool insufficient');
```
## L5 — Merkle proof depth log2(N)
50 bettor → ceil(log2(50)) = 6 layers → 192B Merkle proof. 未来 expand 按 log2(N) 算, 上限跟 SS bytecode cap.
## L6 — Kaspa input count limit
Kaspa research 5/23 答: 真没 MAX_TX_INPUTS hard constant, 真 mass-derived ~83 inputs for standard P2PK transfer at 100K standard
--- DOC v4 CHUNK 10/14 END (续) ---Hex
636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343230205b313737393531353233353334355d20646f63207634206368756e6b2031302f313420e28094206172656120372d31322066756c6c202b2051313520736564696d656e74202b205242462045350a0a404a3120e2809420646f63207634203134206368756e6b7320283d207e35334b4220746f74616c292e20e694b6e9bd90e68bbce59b9e20353437373920627974657320766572626174696d20636f6d6d6974207265706c61636520763320283d206d6173746572203132336262396331292e20736567203130207061796c6f61643a0a0a2d2d2d20444f43207634204348554e4b2031302f313420424547494e202d2d2d0a0a6572666f726d616e63655f6661696c757265202f20766f6c756e746172795f65786974202f20636f6d706c69616e63655f72657175697265640a2d20676f7665726e616e636520666f726d2053532068617264636f64656420e79c9fe5a48de69d8220283d20535320e4b88de8afbb20636861696e5f6576656e74732c2033206f7074696f6e20612062616b6564202f2062206f6e2d636861696e207265676973747279202f206320436f6e736f6c652d7369646520656e666f7263652c205068617365203520e79c9f2053532064657369676e290a2d202a2a45433720636f72726563745f766f74657320e5ae9ae4b989202861292a2a3a20322d312064697361677265656d656e7420e585a8206162737461696e20283d20e4b88de8aea120636f72726563742f746f74616c292c20e8b79f206172656120332e352064697373656e7420e4b88de7bd9a202b206172656120362064697373656e7420e69cbae4bc9ae68890e69cace4b880e887b4202b20e998b220686572642d7669612d72657075746174696f6e0a0a2323204543382d454339206275726e20283d204f776e657220352f323320e992a6e5ae9ae5bbb6e4bcb820476170203142290a2d202a2a7375622d6f7074696f6e2028692920e7baaf206275726e20e4b88de9878de58886e9858d2a2a20283d20e8b79f204f776e657220e58f8d2063617272792d6f76657220e4b880e887b42c204549502d3135353920e5908ce7b2bee7a59e290a2d20726566756e645f756e616e696d6f75735f73696c656e743a203320626f6e647320e585a8206275726e2c20e4b88d20e28692206d616b65720a2d20666f72666569745f31206d616b6572203235253a206275726e20283d2032352520e79bb4e68ea5e6b688e5a4b1e6b581e585a5206d696e6572466565292c20e585b6e4bb962037352520e68c89e58e9f206469737472696275746520283d203530252077696e6e6572202b2031322e35c3973225206f7261636c652072657761726420e4b88de58aa8290a0a23232045433130206d6f6e69746f720a6d616b65725f64697361677265656d656e745f6665655f616363756d756c6174656420e69c88e5baa62053514c2076696577202b203125207468726573686f6c6420616c65727420e2869220617265612031302068617264656e696e672072652d64657369676e20717565756520747269676765722e0a0a232320454331312d4543313520283d204a3120233530362070617274203220e6bc8f290a2d202a2a45433131206d616b6572207374616b6520e7bb8fe6b58ee4b88be999902a2a3a20e289a520582520c397206d616b65722063726561746f722066656520657870656374656420696e636f6d6520283d20e4b88de58faae68a80e69caf2031204b41532c2063616c696272617465206d61696e6e6574290a2d202a2a454331322062726f6b65724665655063742068617264206361702a2a3a206d61696e6e65742031302520283d2031303030206270732920e998b2206d616b6572203d3d2062726f6b657220e68abde69e81e999900a2d202a2a4543313320546965722032204e206475616c2d6c696d69742a2a3a20e4b88be9999020737962696c20604e20e289a5206d61785f706f745f63617020c397204d60202b20e4b88ae999902076696162696c69747920604e20e289a4205920c397206d656469616e204b414e6574206f70657261746f72207765616c74686020283d20e998b2204320e98080e58c962041290a2d202a2a4543313420626574746f72206d696e207374616b65206d61696e6e6574206475616c2d6c696d69742a2a3a20e68a80e69caf20302e35204b4153202b20e7bb8fe6b58e20e289a52024352055534420666c6f6f7220283d206d61696e6e657420736869702d626c6f636b20e68c892073706f7420e7ae9720656666656374697665204b4153206d696e2c202a2a4b41532d555344206f7261636c6520506861736520352064657369676e2a2a290a2d202a2a45433135204f776e657220676f7665726e616e636520636f6e666c696374207472616e73706172656e63792a2a3a2054696572203120676f7665726e616e636520e586b3e8aeaee5bf85e68aabe99cb2207369676e657220e698afe590a6e59ca8e8a2abe5bdb1e5938d206d61726b657420e69c89e5a4b4e5afb820283d207472616e73706172656e637920e4b88d2070726f6869626974696f6e290a0a23232045432d513120535320767320436f6e736f6c6520626f756e646172790a2d20546965722032204e2028454334293a2053532068617264636f64656420e29c930a2d2057656967687420666f726d756c612028454335293a2053532068617264636f64656420e29c930a2d20626f6e6420c397204d20736c61736820284543312f4543382f454339293a2053532068617264636f64656420e29c9320283d20726566756e642f666f726665697420656e74727920636865636b536967207369676861736820e7bb91e5ae9a290a2d206d6f6e69746f72202845433130293a20436f6e736f6c6520e29c930a2d20676f7665726e616e636520666f726d2028454336293a202a2a506861736520352053532064657369676e2a2a20283d20612f622f632074726164652d6f666620e79c9fe5a48de69d82290a0a23232045432d5132206d61696e6e657420736869702d626c6f636b2063616c6962726174696f6e2065766964656e63650ae4b88de58faa204f776e657220e68b8d2c202a2ae5bf8520646f63756d656e7465642063616c6962726174696f6e20646174612a2a3a0a2d20746573746e657420e695b0e68dae20e289a5204e206d61726b6574206379636c6520e8a686e79b960a2d2063616c6962726174696f6e20616e616c7973697320283d2072657665616c2d6661696c20e5ae9ee99985e78e87207673204d5f763820e58187e8aebe20636f7374290a2d204f776e65722066696e616c2061636b20e59fbae4ba8e2065766964656e63650a0a2d2d2d0a0a23204172656120313120e280942054582053697a65204c696d69747320283d20e694b6e6959b203720e586b3e8aeae290a0a2323204c3120e2809420353020626574746f7220776f7273742d636173652073746f72616765206d61737320e695b0e5ada6207665726966790a776f7273742d6361736520283d20353020626574746f7220302e35204b41532c206d616b65722031204b41532c206f7261636c6520626f6e642031204b415320c39720332c2062726f6b65722066656520302e3035204b41532c20616c6c205945532077696e293a0a2d20696e707574733a2031207370696e655f6d616b6572202b2033206f7261636c655f626f6e6473202b20353020506f6f6c53696465203d20353420696e707574730a2d206f7574707574733a20312062726f6b65725f666565202b2035302077696e6e6572207061796f757473202b2033206f7261636c6520626f6e642072657475726e73203d203534206f7574707574730a2d204b49502d392073746f72616765206d61737320e28988202a2a3138304b2a2a20283c203430304b2073616665207468726573686f6c6420e29c93290a2d203d20e78eb0206d696e696d756d20e9858de7bdaee59ca820353020626574746f7220636170202a2ae695b0e5ada6e58fafe8a18c2a2a0a0a4b617370612072617720627974652073697a65202b20696e70757420636f756e7420e28692204b6173706120726573656172636820352f323320e5b7b2e7ad9420283d206e6f2068617264204d41585f54585f53495a45202f204d41585f54585f494e5055545320636f6e7374616e742c20e79c9fe983bd206d6173732d64657269766564292e0a0a2323204c3220e2809420706f745f636170203d20606d696e284e2f4d2c206d61785f74785f736166655f706f742960206475616c2d62696e64696e6720646572697665640ae4b88de698afe78bace7ab8be58fafe980892e20e7a1aee5ae9a204e202b204d20e5908e20706f745f63617020e887aae58aa8e586b3e5ae9a2e20e58aa02054582073697a6520e4b88ae9999020283d204c3120e695b0e5ada6e7ae97e587bae58fafe8a18ce69c80e5a4a7292c20e79c9fe4b8a4206465726976656420e58f96e8be83e7b4a72e0a0a2323204c3320e2809420726566756e645f6d61726b65745f63616e63656c6c65645f616e796f6e6520535320656e74727920283d20302073696721290a4a31202335303720e79c9f2063617463683a20506f6f6c536964652063746f722062616b656420626574746f72506b20e28692206f7574707574732070696e6e656420e588b020626574746f72205032504b20e28692202a2ae4b88de99c802073696720706172616d657465722a2a2e20e4bbbbe4bd95e4baba2062726f61646361737420e983bde68a8ae992b1e9808120626574746f7220e58e9fe59cb0e59d802e0a0a6060600a656e747279706f696e742066756e6374696f6e20726566756e645f6d61726b65745f63616e63656c6c65645f616e796f6e652829207b0a20202020726571756972652874782e74696d65203e3d20646561646c696e65202b204c4f4e475f5441494c5f54494d454f5554293b20202f2f2031792053532d68617264636f6465640a20202020726571756972652874782e696e707574732e6c656e677468203d3d2031293b0a20202020726571756972652874782e6f7574707574732e6c656e677468203d3d2031293b0a20202020627974655b33345d20626574746f724c6f636b203d206e6577205363726970745075624b65795032504b287075626b657928626574746f72506b29293b0a20202020726571756972652874782e6f7574707574735b305d2e7363726970745075624b6579203d3d20627974655b5d28626574746f724c6f636b29293b0a20202020726571756972652874782e6f7574707574735b305d2e76616c7565203d3d207374616b65416d6f756e74202d206d696e6572466565293b0a7d0a6060600a0ae7ae80e58c962053532073697a65202b20e5ae89e585a8e7ad89e4bbb720283d20e694bbe587bbe88085e697a0e6b395e9878de5ae9ae59091292e0a0a2323204c3420e28094206372656174652d74696d6520636865636b20e4b8a420696e76617269616e740a6060606a730a2f2f2073746f72616765206d61737320776f7273742d636173650a636f6e737420776f7273744d617373203d20657374696d61746553746f726167654d617373282f2a20353020626574746f7220696e707574732f6f757470757473202a2f293b0a69662028776f7273744d617373203e2053544f524147455f4d4153535f534146455f5448524553484f4c44292072656a656374282773746f72616765206d61737320e8b685207361666527293b0a0a2f2f20573620776f7273742d63617365206c6f73696e67506f6f6c203e3d20666565730a636f6e7374206d696e4c6f73696e67506f6f6c203d204d6174682e6d696e286d616b65725f7374616b652c20353020c39720626574746f725f6d696e5f7374616b6529202d206d696e65724665653b0a696620286d696e4c6f73696e67506f6f6c203c2062726f6b65725f6665655f666c6f6f72202b206d696e6572466565292072656a65637428276c6f73696e67506f6f6c20696e73756666696369656e7427293b0a6060600a0a2323204c3520e28094204d65726b6c652070726f6f66206465707468206c6f6732284e290a353020626574746f7220e28692206365696c286c6f67322835302929203d2036206c617965727320e286922031393242204d65726b6c652070726f6f662e20e69caae69da520657870616e6420e68c89206c6f6732284e2920e7ae972c20e4b88ae99990e8b79f2053532062797465636f6465206361702e0a0a2323204c3620e28094204b6173706120696e70757420636f756e74206c696d69740a4b6173706120726573656172636820352f323320e7ad943a20e79c9fe6b2a1204d41585f54585f494e50555453206861726420636f6e7374616e742c20e79c9f206d6173732d64657269766564207e383320696e7075747320666f72207374616e64617264205032504b207472616e73666572206174203130304b207374616e646172640a0a2d2d2d20444f43207634204348554e4b2031302f313420454e442028e7bbad29202d2d2d