Parano1d ①

Parano1d 是一条运行中的 proof-native L1，当下证明过去。证明确立有效性。 PoW 决定规范顺序。无签名授权、执行和递归共用一套透明的端到端后量子证明栈。

Proof-native 合约把活价值变成可编程活权利。定时保险库、预算、委托支出和定期付款与代币发行、联合曲线、原生 DEX 及 NFT 市场共用证明栈。递归区块证明验证所有权、储备和原子转移。

节点从创世起验证 State 和权利，无需重放历史或依赖受信任检查点。区块体与交易在保留窗口结束后裁剪。可携带回执仍可验证。主网已运行。

从活价值到活权利

付款证明花费价值的权利。ABI 3 合约还承诺如何行使权利：谁能操作、在哪个高度、金额多少，以及计数器如何变化。调用证明允许的后继转换或关闭权利，该证明成为区块有效性的一部分。

节点保留活承诺，不要求永久合约执行日志。参与者保存公开条款与可携带回执。预算、预付服务、委托支出、延迟访问和分期付款因此可以使用与普通转账相同的递归验证模型。

有界整数内核提供 16 条指令、两个持久计数器、检查算术、条件及高度访问。任何用户都能在此 ABI 内创建程序，无需专用电路或矩阵。GUI、CLI 和 RPC 提供六种模板和自定义程序。执行需要授权调用，共识不运行后台计时器。

理解 proof-native 合约 · 创建和使用 · API · GUI 指南

原生金融

代币、联合曲线、DEX 池和 NFT 挂单是由证明验证的原生合约。其所有权规则、储备和原子转移均在同一个递归区块证明中强制执行。

发行固定供应代币，最低 100,000 枚，每整枚有 0.001 NOID 支持。创建交易可包含首笔购买。交易从标准曲线开始，随后同一资产自动进入永久 NOID 流动性的 DEX。代币支持转账和销毁赎回。可创建独立 NFT 或系列，批量铸造、后续添加、转移并通过原生定价市场出售。

Rust 钱包通过 F2 Tokens 和 F3 NFT 集中提供这些操作。支持名称与代码搜索、MAX 和回执筛选。外部图片和历史价格默认关闭。当前余额、市场 State 和实时价格来自自己的节点。

代币与交易 · NFT · 钱包分步指南 · 原生规则

节点保留什么

State 是活输出的精确稀疏向量。已花费槽位清空后通过新的创建标识安全复用，空分段为虚拟状态。节点保留永久紧凑区块头、递归终端、最近 42 个区块体和有界回滚数据。新节点验证 State 和近期后缀，不重放旧执行。

区块头验证仍随链高度增长，State 传输随活集合增长。第三方可以归档公开交易。零知识保护花费秘密，裁剪不等于隐藏数据。

架构 · 同步

网络配置

参数	值
目标间隔 / ASERT 半衰期	30 s / 180 s
Small, m23	63 页 / 504 输入 / 63 调用
Large, m24	206 页 / 504 输入 / 63 调用
Native, m24	63 页 / 504 输入 / 63 调用，原生金融
Large 生产	服务器选择启用 `--v2-large-blocks`
硬最终性 / 最大重组	18 / 17 区块
终端上限	1,100,000 字节

预算同时适用，调用与普通付款共享页数。Large 可在共同输入限制内容纳 63 次调用加 143 笔单页付款。主 coinbase 单独计数，额外强制系统页占一个有效页。自动考虑 Small 和 Native，Large 标志允许额外候选。节点按可领取费用选择候选，构建一个证明。所有节点均验证三类。

仅靠算力不能创建区块：生产者先证明转换，再搜索 nonce。见挖矿、参数及实测结果。

发行与 State 效率

准确计划为 16 → 11.30 → 8 → 5.65 → 4 → 2.83 → 2 → 1.41 → 1 NOID，按发行计划每 1,051,200 个区块变化一次，1 NOID 尾部永久持续。占用率独立决定净新增活槽位价格，该费用销毁，合并可避免增长费。网络经济解释常量及为何不再用 State 作为发行时钟。

证明栈与安全

Poseidon2b 和二元域算术连接授权、精确 State 及递归祖先链。 FROST-GKR批处理公开哈希工作，透明证明栈无需可信设置。保留的祖先链矩阵库及退役证明具有与源码关联的 Category 1 资源计算，依赖明确的组合、密码学及预处理假设。准确声明与边界见安全模型，

开始

源代码定义共识行为，文档解释这些规则及建立在其上的应用流程。