午夜零知识简报:双状态模型开发者演练

发布日期:2026-04-18 09:23:14   浏览量 :7
发布日期:2026-04-18 09:23:14  
7

2026西湖龙井茶官网DTC发售:茶农直供,政府溯源防伪到农户家 

我理解双状态模型的最简单方式是,我不再思考向链发送什么数据,而是开始思考链需要验证什么事实。在双状态系统中,您的应用程序被分为两层:私有状态和公共状态。将私有状态视为真正的私密空间——敏感数据存储于此。这包括医疗记录、身份属性、法律文档、内部业务逻辑输入等。由于这是私有状态,因此不会发布到链上。

公共状态是公开的,可验证的结果存储于此。这包括承诺、空值器、证明验证、状态转换标记和授权结果。公共层不需要底层的私有数据。它只需要证明规则已得到满足。

可以这样理解:

私有状态 = 您的完整工作文件
公共状态 = 证明文件满足所需条件的公证证明
电路 = 判定有效性的法律标准
验证者 = 公共公证人
空值器 = 防止重复使用的印章

传统应用程序的说法是:

输入数据 → 后端检查规则 → 数据库存储结果
双状态应用程序的说法是:

私有数据 → 本地证明逻辑检查规则 → 证明发送至链上 → 链验证结果
因此,网络不再信任后端声称“是的,这是有效的”,而是验证其有效性的密码学证明。

让我们通过一个基本示例来测试这一点,在该示例中,您作为患者希望证明以下内容:

  1. 您年满 18 岁

您是会员
您尚未领取福利

同时不泄露:

确切出生日期
身份记录
会员档案内容

架构如下所示:

┌──────────────────────────┐

│ 私有客户端 │

│--------------------------│

│ 出生日期 │

│ 会员凭证 │

│ 私有见证数据 │

│ 证明生成 │

└─────────────┬────────────┘

│ 生成证明

┌──────────────────────────┐

│ 公共链 │

│--------------------------│

│ 验证密钥 │

│ 承诺注册表 │

│ 空值器集合 │

│ 证明验证 │

└──────────────────────────┘

开发人员需要设计的内容

在构建双状态架构时,开发人员通常需要定义四件事:

  1. 私有见证模型:哪些数据保持秘密?这些是用户属性、财务数据、法律记录和内部应用程序状态项。

  2. 公共验证模型:必须公开哪些内容以验证正确性?承诺、证明、空值器、策略标识符和时间戳是一些示例。

  3. 电路规则:究竟必须证明什么?这包括值在范围内、签名匹配、状态转换有效、用户属于某个集合、记录符合合规约束。

  4. 链上验证者逻辑:证明验证后,合约/网络执行什么操作?一些示例包括铸造资产、批准操作、更新承诺、标记空值器已使用以及拒绝重放攻击。

实用开发人员映射

以下是转换现有工程直觉的最简单方法。

传统后端思维

客户端发送原始数据
服务器检查权限
服务器检查规则
服务器写入结果

双状态思维

客户端保留原始数据
客户端/证明者计算证明
链验证证明
链仅记录可验证的结果
Com

免责声明:本文内容来自互联网,该文观点不代表本站观点。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,请到页面底部单击反馈,一经查实,本站将立刻删除。

关于我们
热门推荐
合作伙伴
免责声明:本站部分资讯来源于网络,如有侵权请及时联系客服,我们将尽快处理
支持 反馈 订阅 数据
回到顶部