使用场景
无论是否与 EVM 兼容的软件模块,都可以引入了自己的验证语义用于验证。因此,Nektar Network 可用于实现各种分布式系统和去中心化网络,并继承加密安全性。下面是可以基于 Nektar 构建的一些想法:
Rollups
排序器
去中心化交易排序服务,为 rollup 可能存在的篡改和短期审查提供了解决方案
数据可用性
短期数据可用性确保了 rollup 状态执行正确和活跃,特别是对于游戏和社交网络等数据密集型应用至关重要
快速最终性
快速最终性层可以实现近乎即时的经济最终性 (economic finality) ,由超过大多数节点验证的 rollup 状态声明保障
单槽最终性
节点可以选择签署一个区块的最终性,并承诺不在任何区块链上包含该区块。一些应用愿意接受更高的风险带来的验证时间缩短
可延迟管理网络
非时间敏感的任务,例如乐观 rollup 挑战、桥接中继管理
紧急管理员网络
时间敏感任务,例如防止抵押品清算、执行代币交易等。这类基于事件的任务需要有强力的保障交易执行
观察塔
错误状态执行的实时监测和发起挑战,对于确保乐观 rollup 的安全性至关重要
重组对抗
拥有大量权益的节点对最新确立最终性的区块头进行验证,以确保最终性确认和防止链重组。
轻客户端桥
通过接收链下桥输入和委员会验证,降低支付轻客户端智能合约的高额 gas 成本
快速模式桥
链下验证 ZK 证明并在链上断言证明的正确性,以提高安全性
协处理器 (Coprocessors)
ZK 证明
通过并行方法快速和低成本地生成 zk 证明
中继器
桥可以利用中继运营商的分布式网络
风险
启用一部分节点模拟交易并进行全面的风险分析,以防止恶意行为
人工智能的执行
在链上开展低成本和计算安全的 AI 推理,以实现程序完整性、会话隐私和联合学习
链下计算
区块链需要本地的加密经济协处理器,以便访问历史数据和进行高性能离线计算,同时保持去中心化。例如在去中心化数据库、游戏引擎等使用案例中。
密码学
门限技术
加密消息只能由大部分签名者解码,在提交展示 (commit-reveal) 和隐私保护方面非常有用。例如在 Shamir 密钥分片场景中进行多方计算
完全同态加密 (FHE)
完全同态加密允许节点在不知道整个数据的情况下执行数据上的函数,提供强大的隐私保证
可信执行环境 (TEE)
分布式 TEEs 网络通过添加大多数节点诚实行动的证明 (guarantee) 来提升网络安全性
否定证明 (Naysayer proof)
否定证明提供了一种处理链上证明的低成本且高效的方法。通过乐观地接受证明,并依赖“否定者(naysayers)”来标记错误
MEV 管理
各种场景
各种 MEV 管理方法可以提升功能性并防止针对性的抢跑 (frontrunning) 。例如:PBS、MEV 平滑、交易插入的门限加密、multi-lane 区块提议、事件驱动的激活、时隙拍卖等。
其他 ideas
证明
链上验证非协议计算(机动性证明)、物理去中心化(位置证明)、无信任隐私(身份证明)、大数据索引(存储证明)等
执行环境
允许开发者使用他们喜欢的编程语言构建以太坊应用的虚拟机
预言机
如果需要经过再质押的 ETH 进行多数信任,则可以建立满足需求的喂价预言机
侧链
采用新共识协议的侧链结算层,可以降低延迟,提升吞吐量。
链下基础设施
使用高级功能,如断路器(通过暂停或禁用功能确保协议完整性)、分步式 RPC(验证数据的真实性并在响应中附加签名)等,提升分布式网络的性能。
Last updated