BringUp · 活电路 · Live Cell
链上自走的时序机 —— 区块即时钟,状态随块推进、承诺可从链上复算
数据来自 cell_watch 对链上 head 的反向走链(仅凭链上见证重建,无链下记录)。
尚未找到 data.json。先生成:
node apps/live-cell/snapshot.mjs --head=<head txid>,再刷新。
network—
module—
genesis—
steps—
liveRoot—
asset ledger root—
covenant program—
状态随块推进 · the machine walking
承诺链 · state-root / live-root
| tick | state | height | stateRoot | tx |
账本根随块演化 · ledger epochs
| epoch | state | height | ledger root | events | on-chain |
链上锚 · 逐锚当场复算
每个 M5 锚都在页内用纯引擎、按它自己 epoch 的事件日志重算 root / setHash /
计数 / 高度 —— 不采信 snapshot 算好的值。
anchors—
参考应用 · reference apps
| app | mod | asset | cells | events | ledger root | appId |
搭一个应用 · build an app
改选择 → 页内用纯引擎实时重算 moduleId / appId / 账本根(零链上)。
module
asset kind
symbol
issuance
moduleId—
appId—
ledger root (preview)—
events / errors—
为什么在 Fractal · why Fractal (not EVM)
covenant program (P2TR)—
ruleRoot—
leaf bytes—
OP_CAT in the leaf—
BringUp 的「矿工强制窄状态」= 用 Fractal 的 OP_CAT tapscript 写的 covenant —— Bitcoin 主网做不到、EVM 得靠 VM 做。上面的数字是从真实物种 leaf 里数出来的。
| 维度 | Fractal(OP_CAT covenant) | EVM(TapeOut) |
| 执行层 | UTXO / tapscript; 无 VM | 合约 VM |
| 状态强制 | 矿工强制(covenant) | 链上执行 |
| 成本模型 | 每步 ~百字节 | gas |
| 攻击面 | 无合约 VM / 重入 | 合约 / 重入面 |
| 锚定 | Bitcoin 系 | BNB / X Layer |
TapeOut 的问题 · 我们的对策
| TapeOut 的问题(公开资料) | BringUp 的对策 |
| 核心未全开源 / 难独立验证 | 完全开源 + 可复现(SPEC · 门禁 · 产物可重建) |
| 验证抽检(「proof」语义含糊) | 矿工强制(窄状态)+ 宽状态全量复算 |
| 组合被规则关掉(禁止 REF) | 组合是一等公民(Loom compose) |
| 链上通用执行极低效 | 不做链上通用执行;只把窄状态放链上 |
| 治理没一起封(可升级) | seal:无 owner / 无升级 / 冻结常量 |
| 无损耗挖矿(躺平收租、供给无弹性) | 时钟有成本:每块付费,不续即饿死 |
| 代币供给 / 卖压 | 不发协议代币(issuance 是框架) |
| 命名 / 同名假币 | 内容寻址身份(appId / moduleId) |
DeWEB-lite 网关 · gateway
下面的站点按 DA 字节重建(tapscript reveal 的 witness 所载),用 内容哈希 校验后渲染;
同一内容 id 也由 ≤75B 载体脚本复算出 —— 纯前端、零后端、只信内容哈希。
container · DA—
链上实演 · on-chain plays
支撑本页的真实测试网交易:活 Cell 步进(窄状态,矿工强制)· 账本锚 · OP_RETURN 载体 ·
tapscript DA。点开可到浏览器自取并独立复算。
plays—
诚实边界 · Honest boundaries
- 窄状态(4 位)由,矿工强制的 covenant 承诺在每步的 caboose 里;非法转移无法上链。
stateRoot/liveRoot 是对公开 (状态, 高度) 序列的确定性哈希链——任何人可用本页数据独立复算(follows-rule 即逐步对照转移表)。
- 资产账本(宽状态)不是共识:其根以
state-root 事件、由一笔伴随 OP_RETURN 交易提交;任何人可用事件日志复算 root/setHash。
- 无 VM:链上不通用执行;这里是「无 VM 可验证计算」的一个活样本。
- 测试网;未审计;资产/发行是 BringUp 自己的法务课题。