全球数字财富领导者
CoNET
|
客户端
|
旧版
|
北美站
|
FX168 全球视野 中文财经
首页
资讯
速递
行情
日历
数据
社区
视频
直播
点评旗舰店
商品
财富汇
登录 / 注册
搜 索
综合
行情
速递
日历
话题
168人气号
文章
新“国九条”八大要点提炼!三大指数集体反弹,低空经济概念再度起飞
go
lg
...
策略部:在投研资源的安排上,对处于不同
生
命
周期阶段的行业,都要给以足够的重视,鼓励在与更多行业和标的的比较中判断个股和行业机会,鼓励宏观和市场策略研究切实帮助解决个股和行业的问题,鼓励从宏观、行业和个股经营周期的角度进行主动投资研究。 在投研组织上,鼓励成员之间的沟通、互相学习,打造有效赋能平台;合理安排并严格考核,避免“一言堂”,为投研人员形成健康的激励环境。 在投研人员管理上,鼓励不同行业的背景、不同成长路径融入团队,保证投研体系的开放性。 问题:新“国九条”要点提炼 招商基金研究部首席经济学家李湛:“新国九条”形成“1+N”的政策体系,从以下几个方面提出具体要求。 首先,严把发行上市准入关。强调了完善发行上市制度的重要性,包括提高上市标准;明确分红政策,严禁上市前“清仓式”分红;加强发行上市辅导和监管;强化发行承销监管等等。 其次,严格上市公司持续监管。提出了加强信息披露和公司治理监管、完善减持规则体系、强化现金分红监管以及推动上市公司提升投资价值等措施。 第三,加大退市监管力度。深化退市制度改革,建立常态化退市格局,严格强制退市标准,以及加强并购重组监管等。进一步削减“壳”资源价值,加大对“借壳上市”的监管力度,精准打击各类违规“保壳”行为。 第四,加强证券基金机构监管,推动行业回归本源、做优做强。推动证券基金机构高质量发展,培育良好的行业文化和投资文化。持续开展行业文化综合治理,建立健全从业人员分类名单制度和执业声誉管理机制,坚决纠治拜金主义、奢靡享乐、急功近利、“炫富”等不良风气。 第五,加强交易监管,增强资本市场内在稳定性。促进市场平稳运行。加强交易监管,健全预期管理机制。 第六,大力推动中长期资金入市,持续壮大长期投资力量。建立支持长期投资的政策体系,优化保险资金权益投资政策环境,鼓励银行理财和信托资金参与资本市场等。建立交易型开放式指数基金(ETF)快速审批通道,推动指数化投资发展。全面加强基金公司投研能力建设,同时稳步降低公募基金行业综合费率,研究规范基金经理薪酬制度。 第七,进一步全面深化改革开放,更好服务高质量发展。着力做好科技金融、绿色金融、普惠金融、养老金融、数字金融五篇大文章,推动股票发行注册制走深走实,完善多层次资本市场体系,以及坚持统筹资本市场高水平制度型开放和安全。 第八,推动形成促进资本市场高质量发展的合力。加强资本市场法治建设,加大对证券期货违法犯罪的联合打击力度,深化央地、部际协调联动,以及打造高素质专业化的资本市场干部人才队伍。 “新国九条”具有重要意义,针对当前资本市场存在的问题提出解决方案,修复投资者信心,有助于提升市场偏好。同时,“新国九条”的出台将会助力提升上市公司整体质量,改善资本市场环境,为建设金融强国奠定基础。
lg
...
金融界
04-17 20:20
普利制药(300630.SZ):伏立康唑注射液获挪威药品管理局上市许可
go
lg
...
引起的严重感染,主要用于进展性可能威胁
生
命
的真菌感染患者的治疗,预防接受异基因造血干细胞移植(HSCT)的高危患者中的侵袭性真菌感染。
lg
...
金融界
04-17 18:50
探索Runes协议的发布 你需要关注的项目和工具
go
lg
...
事故事:叙事赋予技术层面和代币经济模型
生
命
力,使人们能够理解、相信并参与其中。 例如,比特币 Ordinals 作为最安全和最去中心化的区块链上的不可替代代币,这是一个性感的故事。此外,在“老顽固”比特币上玩 memecoin?这比在 Solana 或以太坊上玩 memecoin 酷多了。 加密推特圈正在追赶 Ordinals/Runes 的技术创新,相关叙事非常火热。 如果您错过了预热 Runes 代币的时机,那么这种短期看跌但长期看好的情景可能是最好的情况。它可以让您在炒作消退后,在第二波 Runes 浪潮到来之前,有足够的时间进行研究和准备。 学习的最佳时机是昨天,其次是今天。因此,这里是对 Runes 的简要介绍。 需要了解的有关 Runes 协议的信息 Runes 协议由 Ordinals 理论的创建者 Casey Rodamor 开发,作为对 BRC20 的驳斥。Casey 不是 BRC20 的粉丝,因此预计 Casey 会像对 NFT 做的那样,再次对可替代代币下手。 你看,BRC-20 代币使用刻写在聪上面的 JSON 数据(文本格式数据)。它们更像是 NFT 而不是可替代代币那样易于交易。例如,你需要在买卖或转移这些代币之前进行“铭文”(通过在比特币上进行链上交易)。 此外,BRC-20 会创建阻塞网络的“垃圾”或“剩余”交易。 另一方面,Runes 使用让所有人头疼的 UTXO 模型。以下是我对此的分解: 以太坊遵循基于账户的模型,而比特币使用 UTXO(未花费交易输出)来跟踪用户状态和余额。 例如,如果您拥有 1 个比特币的 UTXO 并想发送 0.3 个比特币给别人,那么交易将使用整个 1 个比特币的 UTXO 作为输入。然后,交易将创建两个输出:一个向接收者发送 0.3 个比特币,另一个将 0.7 个比特币(减去任何交易费用)作为两个新的 UTXO 返回到您的地址。 因此,从技术上来说,当你表示“我拥有 1 个比特币”时,你应该说:“我拥有可以让我花费 1 个比特币的 UTXO。” (感谢 Alchemy 提供的这句话。) 在上面的例子中,当您使用 1 个比特币的 UTXO 作为输入时,该 UTXO 会被“销毁”,并会铸造两个新的 UTXO:0.3 个 UTXO 发送给接收者,0.7 个 UTXO(减去费用)返还给您。 正如您所看到的,这些 UTXO 就像 NFT! 但是,虽然每个铭文(例如 BRC20)都是唯一的,但每个单元的 Rune 都是一样的。它们是可互换的代币。您可以像普通比特币一样转移 Rune 代币,而无需每次发送它们时都进行 BRC20 铭文。 对于 Runes,UTXO 现在可以存储 1 个比特币、100 个 Rune 代币 A 和 50 个 Rune 代币 B 作为“Runestone”(符文石)。 提示:通过将您愿意为每个 Rune 投资的比特币金额发送到新钱包来创建多个 UTXO。这样,您无需等待之前的交易完成就可以参与多个代币。或者使用 Luminex。 Runestone(不要与 Runestone Ordinals 混淆)是 Rune 协议消息,当您发送 UTXO 时存储在比特币交易输出中。 Runes 协议即将在比特币减半区块上线!这是即将发生的一些事情的摘要,以及您在社交媒体上看到相关讨论时应该理解的术语。 有关 Runes 协议的术语解释 Runestone (符文石):Rune 协议消息,存储在比特币交易输出中。它可以包含雕刻 (etching) 新符文、铸造现有符文以及在地址之间转移符文的信息。 Etching (雕刻):首次铸造 Rune 的过程。雕刻完成后,属性将无法更改。 Edicts (法令):尚未涵盖,将在以后的文章中介绍。 您可以在 Casey 的官方文档中学习所有这些炫酷的词汇,以给您的朋友留下深刻印象。 以下是您应该了解的有关 Runes 的一些其他简单术语和事实: Rune 名称:最初只能使用 13 个以上的字符名称;此限制每 4 个月减少一个字符,直到四年后所有名称都可以使用。 Rune 编号:指示 Rune 的创建顺序,从“Rune 0”然后是“Rune 1”等开始。 首个 Rune (UNCOMMONGOODS):免费铸造,没有供应上限,每次铸造只能铸造 1 个 UG。1 UG 基本相当于比特币交易费用。 Rune ID:根据交易区块和位置生成,例如“500:20”。 您可以通过输入 Rune ID 来铸造 Rune。例如,Telegram 上的 RuniGun 机器人将允许通过 Rune ID 铸造 Rune。因此,如果您知道 ID,则可以不依赖第三方 UI 进行铸造。您可以查看机器人 (免责声明,我与此机器人没有任何附属关系,只是在 X 上找到它)。 Rune 符号:Rune 的非唯一货币符号,例如 $, ⧉, 或 或通用货币符号 ¤。 留意即将上线的项目、协议和工具 我最初计划写一篇关于“如何为 Runes 协议发布做好准备”的文章。但是 X 上已经有几个类似的帖子讨论相同的协议。 关键要知道的是,Rune 游戏已经开始,多个预运行协议已经启动,承诺在比特币减半区块的协议启动后空投 Rune 代币。 炒作始于 RSIC 协议,该协议神秘地向 Ordinal OG 钱包的 RSIC NFT 矿工空投了代币。 当时我说“BTCFi 领域正在酝酿一些重大事件”,但实际上并不知道会如何发展。我们现在知道 RSIC 开始了一场竞争,以吸引 Rune 投机者的注意力。 如果您没有持有 RSIC,我认为现在不是进入的合适时机:通过持有 RSIC 并挖矿 RSIC 积分,您可以获得 RSIC Rune 代币奖励。理论上,RSIC 在减半区块应该以 0 美元交易。 作为对 RSIC 团队(他们将 10% 的 RSIC 留给自己,空投标准也不透明)的回应,Leonidas 向 112.4k 个 OG 钱包启动了 Runestone 空投。通过持有 Runestone,您将不仅获得一个,而是三个 Rune memecoin 代币。 “本月晚些时候获得一个,今年晚些时候获得一个,当我们成为世界上顶级 memecoin 时再获得一个” - Leonidas Runestone 目前市值 5.49 亿美元,是仅次于 Rune Pups + PUPS 的第二大预热 Runes 系列收藏品。 但由于 RSCI 距离减半时间越近,其价值就越低,因此根据鲸鱼市场上每 1 个 RSIC Rune 的价格 0.028 美元计算,真正的 RSIC 估值约为 5.88 亿美元。 Rune Pups(8000 万美元 + PUPS memecoin(4.21 亿美元)的总交易额为 5.01 亿美元。请记住,Rune Pups 和 PUPS 代币持有者都将迁移到 Runes,其中 23% 分配给 Rune Pups,77% 分配给 PUPS。 Rune Pups NFT、Uniswap 上的 PUPS 和 Solana 上的桥接 PUPS 之间通常存在套利机会。 这不是财务建议,但是您愿意以这些估值参与吗?如果我的短期预期正确,那么他们的估值应该会在发布后不久下降。 无论如何,这是一个您应该自己做出的投机决定。Magic Eden 上还有其他多个估值低于 1 亿美元的 Runes 协议。 不过,我不会卖。我早期进入了这个生态系统,并且愿意持有。此外,这三种主要资产正成为 Rune 生态系统的谢林点,希望它们能够保值并获得更多空投。 从长远来看,新的协议将出现以利用 Runes 协议的炒作热度。以下是您要开始使用的协议和工具。 著名协议 Luminex :铸造符文,可以拆分 UTXO,用同一个钱包铸造多个符文。由 Xverse 钱包推广,所以可能不错。 Sovryn :用自己的侧链交换/借贷符文。减半时启动。 Sovryn 将在 Bob L2 上启动他们的 DEX ,这与我推荐链接相同。 RunePro :构建 dex 和 Etching 协议。还没有直播。 https://twitter.com/Rune_Pro Rune Bitcoin :为符文提供蚀刻、转移服务,同时还建立一个市场和一个 DEX。 Runessance :符文和比特币的借贷协议。 Liquidium :借用序数和符文。或者赚取比特币收益。积分系统直播。Liquidium空投有积分。 Saturn :比特币资产的 AMM/Orderbook 交易所。 Runes 发布期间可能不存在流动性。 RuniGun :用于铸造、创建和管理符文的 Telegram 机器人。无法导出我的私钥,所以要小心。 但您可能会使用Magic Eden和Unisat来交易 Runes 和 OKx Web3 钱包(如果您是移动用户)。就我个人而言,我交替使用 Unisat、Xverse 和 OKx 钱包。 以后我会专门写一篇关于BTCFi生态系统dApps的博文。这里有很多解压内容,所以请务必订阅。 有用的符文工具 SatScreener :符文和比特币生态系统的实时代币聚合器。由于比特币生态系统的 Coingecko/CMC 很糟糕,Satscreener 是跟踪代币信息的地方。 Runesmarketcap :按出处、市值、类型等查找 Rune 协议。 Runealpha :符文浏览器、实时数据、蚀刻(铸造)协议合二为一。很有用。 符文终端:构建扫描仪、铸币机和启动板。有自己的序号,将在减半后奖励 RUNI 空投。 BTCFi 还处于早期阶段。这就像时光倒流,回到 2019-20 年 Uniswap 诞生之前的以太坊 DeFi,机会将会很多。 来源:金色财经
lg
...
金色财经
04-17 18:30
恒丰银行扎实开展全民国家安全教育日活动
go
lg
...
抢应急处置能力,切实增强保障客户和员工
生
命
财产安全的本领。 郑州分行各支行网点利用“案防一分钟”晨会,宣传国家安全相关内容,学习防范、识别、打击和处置非法集资活动和金融诈骗等行为要点,使干部员工对于金融安全与国家安全紧密联系有了更深刻的认识。 南京分行工作人员走进企业、社区、学校等地普及国家安全知识,并通过悬挂横幅、发放宣传手册、提供现场咨询等方式,帮助群众学习防范非法集资、反洗钱金融知识。 杭州分行组织员工在客户等待办理业务时通过发放宣传资料、解答疑问等方式,宣讲国家安全知识,提升客户对国家安全重要性的认识。 恒丰银行还积极发挥银行网点宣传阵地作用,通过各分支机构LED跑马屏、宣传屏、微信公众号、易拉宝、行内专刊和信息平台等多种渠道,张贴悬挂总体国家安全观宣传海报,并结合金融安全、反金融诈骗等金融领域安全要求,发放宣传折页,向广大客户广泛宣传国家安全知识。理财子公司、成都分行、杭州分行拍摄《安心守护之金融保卫战》《国家金融安全》《共同守护国家安全》等微视频,在各营业网点及网络平台发布,宣传维护国家金融安全的重要性,助力共建安全和谐的社会环境。 国家安全宣传教育只有“进行时”,没有“完成时”。恒丰银行将持续加强党的全面领导,统筹发展和安全,在更好服务实体经济的同时,深入开展国家安全宣传教育工作,将金融常识、安全知识送到广大群众身边,推动大安全观深入人心。
lg
...
金融界
04-17 18:30
加密货币价格下跌迷因币仍热闹 Dogeverse ICO 突破600万美元里程碑
go
lg
...
说,Dogeverse已经展示了强大的
生
命
力。 Dogeverse迷因币项目的ICO能在加密市场价格下跌的情况下,短短几日依然筹集到550多万美元资金,可见项目方高超的运营能力和用户对其的信任度。这主要得益于Dogeverse作为全球首个“多链迷因币”具有独特优势,以及项目方制定的具有吸引力的质押机制。再加上部分有影响力的YouTuber的推动,Dogeverse ICO的成功为项目上交易所后期的销售和运营奠定了良好的基础。尽管前路仍有障碍,但至此Dogeverse已经展现出强劲的
生
命
力。 购买$DOGEVERSE
lg
...
Business2Community
04-17 18:25
康桥悦生活发布2023年ESG报告:聚焦精细管理 致力向善向美
go
lg
...
项,开发建设了采购和仓库管理系统、项目
生
命
周期管理系统、项目突发事件资讯报送系统、工程抢单管理系统、项目品质巡检管理系统、经营分析系统等一系列数字化平台。值得一提的是,2023年,康桥悦岛项目被河南省住房和城乡建设厅评选为首批智慧物业创新服务典型案例。目前,公司已取得中华人民共和国版权局登记的计算机软件著作权65项。 以客户为中心,是康桥悦生活长期恪守的价值导向和经营理念。报告显示,公司全年举办社区活动超2800场次,开展大型防汛演练、消防演练、防暴演练、电梯困人救援演练等百余次,全方位提升客户服务体验、守护业主安全。此外,公司不仅通过业主座谈会、400电话回访等方式,畅通沟通渠道,听取业主声音,响应客户需求,还建立了全方位服务督导与内部审核体系,实现各业态服务标准化及分级管控,确保服务的高品质和精细化。 关怀员工成长 助力行业发展 员工关怀是企业践行ESG战略的重要一环,也是物企提供优质及可靠服务的关键。康桥悦生活致力于打造具有多样化和包容性的职场环境,实现员工与企业双赢发展。公司坚持平等雇佣,保障员工合法权益,被智联招聘授予“2023中国年度优选雇主”荣誉称号;2023年公司开展了毅行、V士节&V笑节、胖东来专项交流学习等活动及物管学院、筑桥系列、金牌讲师等培训,并支持员工进行深造,鼓励员工实现自我价值,筑牢公司雇主品牌;公司定期或不定期组织员工生日会、共读营、员工体检等活动,提升员工满意度和幸福感的同时,也让员工对公司的感情愈发深厚;更为难得的是,公司还成立了“员工基金会”,为困难员工提供基金援助,帮扶困难员工渡过难关,彰显公司人文关怀。 ESG报告还显示,2023年康桥悦生活参加了由中国物业管理协会组织的学习贯彻党的二十大精神行业党建活动和党建引领物业管理融入基层治理交流会、河南省物业管理协会组织的河南省物业行业高质量发展论坛、郑州市物业管理协会组织的深圳国际物业博览会参观学习活动、郑州市住房保障和房地产管理局主办的第28届郑州全国商品交易会人居文化与房地产专题展览会等物业管理行业的展会与交流活动,为推动行业高质量发展贡献积极力量。 致力绿色运营 践行节能减排 绿色低碳运营是康桥悦生活长期坚持的发展理念。在日常运营中,康桥悦生活严格遵守《中华人民共和国环境保护法》等法律法规,积极响应国家“碳达峰 碳中和”目标,同时公司还通过提供绿色低碳的优质产品和服务,推动企业乃至整个行业绿色低碳发展。期内,公司通过开展节能降耗专项工作、完善智慧降耗解决方案、健全节能设备设施等方式,贯彻落实节能减排措施,促进绿色运营。 2023年度,康桥悦生活针对高效节约用水和有效灌溉开展专项绿化喷灌改造计划,完成改造项目30余个;公司对230个机房进行改造,实现机房空调可根据环境温度智慧开启或关闭;公司还在多个项目建立绿色充电站,不仅可为业主提供新能源汽车充电增值服务,还能向外部客户提供充电运维服务,助力减少碳排放。同时公司积极推进管理区域绿化覆盖,按照《绿化养护蓝皮书》指引,全年进行绿化专项培训23次,推动多个项目绿化升级改造,其中祝福红城项目对绿化草坪挖土翻新更换草籽品种面积约2200平方米。 打造红色物业 商业向善向美 红色物业,党建引领。康桥悦生活始终坚守党建引领的核心地位,全面深入地学习并贯彻落实党的二十大精神,引领企业治理体系不断向前发展。长期以来,在各级党委和政府的领导与支持下,公司持续探索和实践非公党建与红色物业发展之路,创新提炼出“12345”工作法,即党建引领、双向发力、三方联动、四支队伍、五种服务。“12345”工作法务实可落地,获得广大业主和各级党组织的好评,2023年7月公司也被中共郑州市委组织部、郑州市住房保障和房地产管理局等单位评为2022年度红色物业创建星级物业服务企业。 志愿于心,奉献于行。在日常工作中,康桥悦生活持续开展多样化的公益活动和志愿服务活动,践行为人民服务宗旨,致力于商业向善向美。2023年,在党总支的带领和组织下,公司先后开展了大学路街道文明创建志愿服务活动、敬老院学雷锋志愿服务活动、郑州市儿童福利院爱心捐赠活动、安阳林州红旗渠爱心公益活动、关爱银龄老人与独居老人活动等,积极承担企业的社会责任与担当。备受关注的是,2023年建党节前夕,康桥悦生活红色物业党建馆正式落成并投入使用,成为物业管理服务融入党的基层治理的前沿阵地。 作为行稳致远的深耕者,这已经是康桥悦生活发布的第三份ESG报告,不仅侧面反映出公司坚定不移地走在ESG实践之路上,也足见其在深化可持续发展建设方面的不懈努力。 知之愈明,则行之愈笃;行之愈笃,则知之愈益明。未来,康桥悦生活将继续笃定“一三四五”战略、坚守ESG发展理念,为客户和业主提供更好的产品和服务,全力推进生态环境保护与企业治理、员工成长、社会发展协同共进。
lg
...
格隆汇
04-17 18:22
预告|国家卫健委将于4月18日召开新闻发布会
go
lg
...
进卫生健康事业高质量发展,护佑人民群众
生
命
健康”有关情况。
lg
...
金融界
04-17 16:32
EQ Labs:当零知识证明技术完全融入模块化架构时会发生什么?
go
lg
...
所有权。例如,如果您在完全链上游戏中的
生
命
值是 77/100 - 您是否拥有该
生
命
值,或者它只是根据共同商定的规则在链上强制执行?我们会争论后者,但克里斯·迪克森可能不同意。 Web3 = 读、写、验证 ZK 和模块化——两个将加速发展的趋势 区块链提供了很多令人兴奋的东西,但去中心化模型也通过 P2P 消息传递和共识等附加功能增加了开销和效率低下。此外,大多数区块链仍然通过重新执行来验证正确的状态转换,这意味着网络上的每个节点都必须重新执行交易以验证提议的状态转换的正确性。这是一种浪费,与只有一个实体执行的集中式模型形成鲜明对比。虽然去中心化系统总是包含一些开销和复制,但目标应该是在效率方面逐渐接近中心化基准。 尽管底层基础设施在过去十年中得到了显着改善,但在区块链能够处理互联网级别的规模之前,还有很多工作要做。我们看到了沿着两个主轴(表现力和硬度)的权衡,并相信模块化可以在 ZK 扩展它的同时,沿着权衡前沿进行更快的实验: 表现力- 您可以对什么做出保证?包含可扩展性(成本、延迟、吞吐量等)、隐私(或信息流管理)、可编程性和可组合性。 硬度——这些保证有多困难?包含安全性、去中心化以及用户和代码安全。 模块化是指系统组件可以分离和重新组合的程度。 通过更快的反馈循环和更低的进入壁垒以及更少的资本需求(经济和人力)——模块化可以实现更快的实验和专业化。模块化与集成的问题不是二元的,而是一系列实验,以找出哪些部分适合解耦,哪些部分没有。 另一方面,零知识证明(ZKP)使一方(证明者)能够向另一方(验证者)证明他们知道某件事是真实的,而无需透露任何超出其有效性的附加信息。这可以通过避免重新执行(从全部执行以验证的模型转变为一次执行、全部验证的模型)来提高可扩展性和效率,并通过启用隐私(有限制)来提高表现力。ZKP 还通过用更强的加密经济保证取代较弱的加密经济保证来提高保证的硬度,这表现为将权衡边界向外推(参考上图)。 我们相信模块化和“万物ZK化”都是将继续加速的趋势。虽然两者都提供了有趣的视角来单独探索空间,但我们对两者的交叉特别感兴趣。我们感兴趣的两个关键问题是: 模块化堆栈的哪些部分已经纳入了 ZKP,哪些部分还有待探索? ZKP 可以缓解哪些问题? 然而,在讨论这些问题之前,我们需要了解 2024 年模块化堆栈的最新情况。 2024 年模块化堆栈 具有四个组件(执行、数据发布、共识、结算)的模块化堆栈的常用图像作为简单的心理模型很有用,但考虑到模块化空间已经发展了多少,我们认为它不再是一个足够的表示。进一步的分拆导致了以前被认为是更大部分的一部分的新组件,同时还创建了新的依赖关系以及不同组件之间安全互操作性的需求(稍后将详细介绍)。考虑到该领域的发展速度,很难及时了解堆栈不同级别的所有创新。 探索 web3 堆栈的早期尝试包括Kyle Samani (Multicoin)的尝试- 最初于2018 年发布,于2019 年更新。它涵盖了从分散式最后一英里互联网访问(例如Helium)到最终用户密钥管理的一切。虽然它背后的原理可以重复利用,但有些部分,比如证明和验证,却完全缺失了。 考虑到这些,我们尝试创建 2024 年模块化堆栈的更新表示,扩展现有的四部分模块化堆栈。它是按组件而不是功能进行划分的,这意味着 P2P 网络等包含在共识中,而不是将其拆分为单独的组件 - 主要是因为很难围绕它构建协议。 模块化堆栈中的 ZK 现在我们有了模块化堆栈的更新视图,我们可以开始研究真正的问题,即 ZK 已经渗透堆栈的哪些部分以及可以通过引入 ZK 来解决哪些开放问题(避免重新执行或隐私 -特征)。在分别深入研究每个组成部分之前,下面是我们的发现的摘要。 1 - 用户操作抽象 当前的区块链用户需要浏览多个链、钱包和界面,这很麻烦,并且会阻碍更广泛的采用。用户操作抽象是一个总称,指的是任何试图抽象出这种复杂性并允许用户仅与一个界面(例如特定应用程序或钱包)交互的尝试,而所有复杂性都发生在后端。底层抽象的一些示例包括: 账户抽象(AA)使智能合约能够进行交易,而无需每次操作都需要用户签名(“可编程加密账户”)。它可用于定义谁可以签名(密钥管理)、签名什么(交易负载)、如何签名(签名算法)以及何时签名(交易批准条件)。这些功能结合在一起,可以实现使用社交登录与 dApp 交互、2FA、帐户恢复和自动化(自动签署交易)等功能。虽然讨论通常围绕以太坊(ERC-4337于 2023 年春季通过),但许多其他链已经具有内置的本机帐户抽象(Aptos、Sui、Near、ICP、Starknet和zkSync)。 链抽象允许用户在不同链上签署交易,同时仅与一个账户交互(一个接口,多个链)。多个团队正在致力于此,包括Near、ICP和dWallet。这些解决方案利用 MPC 和链签名,其中另一个网络的私钥被分成几个小部分,并在源链上签署跨链交易的验证者之间共享。当用户想要与另一条链交互时,需要足够数量的验证者对交易进行签名以满足阈值加密。这保留了安全性,因为私钥永远不会在任何地方完全共享。然而,它确实面临验证者串通的风险,这就是为什么底层链的加密经济安全性和验证者去中心化仍然高度相关的原因。 从高层次上看,意图可以将用户的需求与区块链可以执行的操作联系起来。这需要意图解决器——专门的链下代理,其任务是为用户的意图找到最佳的解决方案。已经有一些应用程序使用专门的意图,例如 DEX 聚合器(“最佳价格”)和桥接聚合器(“最便宜/最快桥接”)。一般意向结算网络(Anoma、Essential、Suave)旨在让用户更容易表达更复杂的意图,并让开发人员更轻松地构建以意图为中心的应用程序。然而,仍然存在许多悬而未决的问题,包括如何形式化该过程、以意图为中心的语言是什么样子、最优解决方案是否总是存在以及是否可以找到。 现有的 ZK 集成 使用 AA x ZK 进行身份验证:其中一个示例是 Sui 的zkLogin,它使用户能够使用熟悉的凭据(例如电子邮件地址)登录。它使用 ZKP 来防止第三方将 Sui 地址与其相应的 OAuth 标识符链接起来。 AA 钱包更高效的签名验证:验证 AA 合约中的交易可能比传统账户 (EOA) 发起的交易昂贵得多。Orbiter试图通过捆绑服务来解决这个问题,该服务利用 ZKP 来验证交易签名的正确性,并维护 AA 账户的随机数值和 Gas 余额(通过 Merkle 世界状态树)。借助证明聚合并在所有用户之间平均分摊链上验证成本,这可以显着节省成本。 ZKP 可以解决的开放问题 最佳执行或意图实现的证明:虽然意图和 AA 可以从用户那里抽象出复杂性,但它们也可以充当集中力量,并要求我们依靠专门的参与者(解决者)来找到最佳执行路径。ZKP 可以用来证明用户的最佳路径是从求解器采样的路径中选择出来的,而不是简单地信任求解器的善意。 意向结算的隐私:像Taiga这样的协议旨在实现完全屏蔽的意向结算,以保护用户的隐私——这是向区块链网络添加隐私(或至少是机密性)的更广泛举措的一部分。它使用 ZKP (Halo2) 隐藏有关状态转换的敏感信息(应用程序类型、涉及方等)。 AA 钱包的密码恢复:该提案背后的想法是让用户在丢失私钥时能够恢复钱包。通过在合约钱包上存储哈希值(密码、随机数),用户可以借助密码生成 ZKP,以验证这是他们的帐户并请求更改私钥。确认期(3 天或更长)可以防止未经授权的访问尝试。 2 - 测序 交易在添加到区块之前需要进行排序,这可以通过多种方式完成:按提议者的盈利能力排序(首先支付最高支付的交易),按照提交的顺序(先进先出),给出优先处理来自私人内存池的交易等。 另一个问题是谁可以订购交易。在模块化世界中,多个不同方可以执行此操作,包括汇总排序器(集中式或分散式)、L1 排序(基于汇总)和共享排序网络(多个汇总使用的排序器的去中心化网络)。所有这些都有不同的信任假设和扩展能力。在实践中,交易的实际排序并将它们捆绑到一个区块中也可以由专门的参与者(区块构建者)在协议之外完成。 现有的 ZK 集成 验证内存池的正确加密:Radius是一个共享排序网络,具有采用实用可验证延迟加密 ( PVDE ) 的加密内存池。用户生成一个ZKP,用于证明解决时间锁难题将导致有效交易的正确解密,即交易包含有效的签名和随机数,并且发送者有足够的余额支付交易费用。 ZKP 可以解决的开放问题 可验证的排序规则(VSR):使提议者/排序者遵守一组有关执行顺序的规则,并额外保证遵守这些规则。验证可以通过 ZKP 或欺诈证明进行,后者需要足够大的经济债券,如果提议者/排序者行为不当,经济债券就会被削减。 3 - 执行(缩放写入) 执行层包含状态更新的逻辑,也是智能合约执行的地方。除了返回计算的输出之外,zkVM 还可以证明状态转换是否正确完成。这使得其他网络参与者只需验证证明即可验证正确执行,而不必重新执行交易。 除了更快、更高效的验证之外,可证明执行的另一个好处是可以实现更复杂的计算,因为您不会遇到典型的 Gas 问题和链外计算的有限链上资源问题。这为全新的应用程序打开了大门,这些应用程序的计算强度更大,可以在区块链上运行并利用有保证的计算。 现有的 ZK 集成 zkEVM rollups:一种特殊类型的 zkVM,经过优化以与以太坊兼容并证明 EVM 执行环境。然而,以太坊兼容性越接近,性能方面的权衡就越大。2023 年推出了多个 zkEVM,包括Polygon zkEVM、zkSync Era、Scroll和Linea。Polygon 最近发布了他们的1 型 zkEVM 证明器,它能够以每个块 0.20-0.50 美元的价格证明主网以太坊块(即将进行优化以进一步降低成本)。RiscZero 还有一个解决方案,可以证明以太坊区块,但由于可用的基准测试有限,成本较高。 替代 zkVM:一些协议正在采取替代路径并针对性能/可证明性(Starknet、Zorp)或开发人员友好性进行优化,而不是尝试最大程度地与以太坊兼容。后者的例子包括 zkWASM 协议(Fluent、Delphinus Labs)和 zkMOVE(M2和zkmove)。 注重隐私的 zkVM:在这种情况下,ZKP 用于两件事:避免重新执行和实现隐私。虽然单独使用 ZKP 可以实现的隐私是有限的(仅限个人私有状态),但即将推出的协议为现有解决方案增加了很多表达性和可编程性。示例包括 Aleo 的snarkVM、Aztec 的AVM 和 Polygon 的MidenVM。 ZK-协处理器:启用链上数据的链下计算(但没有状态)。ZKP 用于证明正确的执行,比乐观协处理器提供更快的结算速度,但需要在成本上进行权衡。考虑到生成 ZKP 的成本和/或难度,我们看到了一些混合版本,例如Brevis coChain,它允许开发人员在 ZK 或乐观模式之间进行选择(在成本和保证硬度之间进行权衡)。 ZKP 可以解决的开放问题 重要的 zkVM:大多数基础层(L1)仍然使用重新执行来验证正确的状态转换。将 zkVM 纳入基础层可以避免这种情况,因为验证者可以验证证明。这将提高运营效率。大多数人的目光都集中在带有 zkEVM 的以太坊上,但许多其他生态系统也依赖于重新执行。 zkSVM:虽然 SVM 目前主要在 Solana L1 中使用,但像 Eclipse 这样的团队正在尝试利用 SVM 进行以太坊上的汇总。Eclipse 还计划使用Risc Zero 进行 ZK 欺诈证明,以应对 SVM 中状态转换的潜在挑战。然而,成熟的 zkSVM 尚未被探索——可能是由于问题的复杂性以及 SVM 针对可证明性以外的其他方面进行了优化的事实。 4 - 数据查询(缩放读取) 数据查询,或者从区块链中读取数据,是大多数应用程序的重要组成部分。虽然近年来的大部分讨论和努力都集中在扩展写入(执行)上,但由于两者之间的不平衡(特别是在去中心化环境中),扩展读取更为重要。区块链之间的读/写比率有所不同,但Sig 估计的一个数据点是,对 Solana 上节点的所有调用中 > 96% 都是读调用(基于 2 年的经验数据) -读/写比率为 24: 1. 扩展读取包括通过专用验证器客户端(例如 Solana 上的 Sig)获得更高的性能(每秒更多的读取)以及启用更复杂的查询(将读取与计算相结合),例如在协处理器的帮助下。 另一个角度是数据查询方式的去中心化。如今,区块链中的大多数数据查询请求都是由受信任的第三方(基于信誉)促进的,例如 RPC 节点 ( Infura ) 和索引器 ( Dune )。更去中心化选项的示例包括The Graph和防存储运算符(也是可验证的)。还有一些创建去中心化 RPC 网络的尝试,例如Infura DIN或Lava Network(除了去中心化 RPC 之外,Lava 的目标是稍后提供额外的数据访问服务)。 现有的 ZK 集成 存储证明:无需使用受信任的第三方即可从区块链查询历史和当前数据。ZKP 用于压缩并证明检索到了正确的数据。在这个领域构建的项目示例包括Axiom、Brevis、Herodotus和Lagrange。 ZKP 可以解决的开放问题 隐私状态的高效查询:隐私项目通常使用 UTXO 模型的变体,它可以提供比帐户模型更好的隐私功能,但代价是牺牲开发人员的友好性。私有 UTXO 模型还可能导致同步问题——自 2022 年以来,Zcash在经历了屏蔽交易量的大幅增长后一直在努力解决这个问题。钱包必须先同步到链上,然后才能使用资金,因此这对网络的运作来说是一个相当根本的挑战。考虑到这个问题,Aztec 最近发布了一份关于纸币发现想法的 RFP,但尚未找到明确的解决方案。 5 - 证明 随着越来越多的应用程序纳入 ZKP,证明和验证正迅速成为模块化堆栈的重要组成部分。然而,如今,大多数证明基础设施仍然是经过许可和集中的,许多应用程序依赖于单个证明者。 虽然集中式解决方案不太复杂,但分散证明架构并将其拆分为模块化堆栈中的单独组件会带来多种好处。一个关键的好处在于活性保证的形式,这对于依赖频繁证明生成的应用程序至关重要。用户还受益于更高的审查阻力和由竞争和多个证明者之间分担工作量驱动的 更低的费用。 我们认为,通用证明者网络(许多应用程序,许多证明者)优于单应用程序证明者网络(一个应用程序,许多证明者),因为现有硬件的利用率更高,证明者的复杂性更低。更高的利用率也有利于用户降低费用,因为证明者不需要通过更高的费用来补偿冗余(仍然需要支付固定成本)。 Figment Capital很好地概述了证明供应链的当前状态,其中包括证明生成和证明聚合(本身就是证明生成,但仅将两个证明作为输入而不是执行跟踪)。 现有的 ZK 集成 带有 SNARK 包装器的 STARK:STARK 证明者速度很快,并且不需要可信设置,但缺点是它们会生成大量证明,而在以太坊 L1 上验证这些证明的成本过高。最后一步将 STARK 封装在 SNARK 中,使得在以太坊上进行验证的成本大大降低。不利的一面是,这增加了复杂性,并且这些“复合证明系统”的安全性尚未得到深入研究。现有实现的示例包括Polygon zkEVM、zkSync Era 中的 Boojum和RISC Zero。 通用去中心化证明网络:将更多应用程序集成到去中心化证明网络中,使证明者更高效(硬件利用率更高),对用户来说更便宜(不需要为硬件冗余付费)。该领域的项目包括Gevulot和Succinct。 ZKP 可以解决的开放问题 ZK欺诈证明:在乐观的解决方案中,任何人都可以挑战状态转换并在挑战期间创建欺诈证明。然而,验证欺诈证明仍然相当繁琐,因为它是通过重新执行来完成的。ZK 欺诈证明旨在通过创建受到挑战的状态转换证明来解决此问题,从而实现更有效的验证(无需重新执行)并可能更快的结算。至少Optimism(与 O1 Labs 和 RiscZero 合作)和AltLayer x RiscZero正在致力于此。 更高效的证明聚合:ZKP 的一个重要功能是您可以将多个证明聚合为一个证明,而不会显着增加验证成本。这使得能够分摊多个证明或应用程序的验证成本。证明聚合也是证明,但输入是两个证明而不是执行跟踪。该领域的项目示例包括NEBRA和Gevulot。 6 - 数据发布(可用性) 数据发布 (DP)确保数据在短时间内(1-2 周)可用且易于检索。这对于安全性(乐观汇总需要输入数据来通过在挑战期(1-2 周)内重新执行来验证正确执行)和活跃性(即使系统使用有效性证明,可能需要数据来证明资产所有权)至关重要。逃生舱口或强制交易)。用户(例如 zk-bridges 和 rollups)面临一次性付款,该付款涵盖了在被修剪之前的短时间内存储交易和状态的成本。数据发布网络并不是为长期数据存储而设计的(相反,请参阅下一节以了解可能的解决方案)。 Celestia是第一个推出主网的替代 DP 层(10 月 31 日),但很快就会有许多替代方案可供选择,因为Avail、 EigenDA和Near DA预计将在 2024 年期间推出。此外,以太坊的 EIP 4844升级也已扩展在以太坊上发布数据(除了为 blob 存储创建一个单独的费用市场),并为完整的 dank 分片奠定了基础。DP 还正在扩展到其他生态系统 - Nubit就是一个例子,它旨在在比特币上构建 Native DP。 许多 DP 解决方案还提供纯数据发布之外的服务,包括主权汇总的共享安全性(例如Celestia和Avail)或汇总之间更平滑的互操作性(例如 Avail 的Nexus)。还有一些项目(Domicon和Zero Gravity)既提供数据发布又提供长期状态存储,这是一个引人注目的提议。这也是在模块化堆栈中重新捆绑两个组件的示例,我们可能会看到更多的进展(进一步分拆和重新捆绑的实验)。 现有的 ZK 集成 证明纠删码的正确性:纠删码带来了一定程度的冗余,即使部分编码数据不可用,原始数据也可以恢复。这也是 DAS 的先决条件,其中轻节点仅对块的一小部分进行采样,以概率确保数据存在。如果恶意提议者对数据进行了错误编码,即使轻节点采样了足够的唯一块,原始数据也可能无法恢复。可以使用有效性证明(ZKP)或欺诈证明来证明正确的纠删码——后者会受到与挑战期相关的延迟的影响。除 Celestia 之外的所有其他解决方案都在致力于使用有效性证明。 ZK 轻客户端为数据桥提供支持:使用外部数据发布层的 Rollups 仍然需要与结算层通信数据已正确发布。这就是数据证明桥的用途。使用 ZKP 可以使以太坊上源链共识签名的验证更加高效。Avail ( VectorX ) 和 Celestia ( BlobstreamX ) 数据证明桥均由与 Succinct 一起构建的 ZK 轻客户端提供支持。 ZKP 可以解决的开放问题 Celestia 结合了正确擦除编码的有效性证明: Celestia 目前是数据发布网络中的一个异类,因为它使用欺诈证明来实现正确的擦除编码。如果恶意区块提议者对数据进行了错误编码,任何其他全节点都可以生成欺诈证明并对此提出质疑。虽然这种方法实施起来比较简单,但它也引入了延迟(该块仅在欺诈证明窗口之后才是最终的),并且需要轻节点信任一个诚实的全节点来生成欺诈证明(无法自行验证)。然而,Celestia 正在探索将其当前的 Reed-Solomon 编码与 ZKP 结合起来,以证明编码正确,这将显着降低最终性。可以找到围绕该主题的最新讨论这里有以前工作组的记录(除了将 ZKP 添加到 Celestia 基础层的更一般的尝试之外)。 ZK 证明 DAS :对于ZK 证明数据可用性已经有了一些探索,其中轻节点将简单地验证 merkle 根和 ZKP,而不必通过下载小块数据来进行通常的采样。这将进一步降低对轻节点的要求,但开发似乎已经停滞。 7 - 长期(状态)存储 存储历史数据很重要,主要用于同步目的和服务数据请求。然而,每个全节点都存储所有数据是不可行的,并且大多数全节点都会修剪旧数据以保持硬件需求合理。相反,我们依靠专门机构(存档节点和索引器)来存储所有历史数据并根据用户的请求提供这些数据。 还有去中心化存储提供商,例如Filecoin或Arweave,以合理的价格提供长期去中心化存储解决方案。虽然大多数区块链没有正式的存档存储过程(仅依赖于某人存储它),但去中心化存储协议是通过存储网络的内置存储历史数据和添加一些冗余(至少 X 个节点存储数据)的良好候选者。在激励措施中。 现有的 ZK 集成 存储证明:长期存储提供商需要定期生成 ZKP,以证明他们已经存储了他们声称的所有数据。这方面的一个例子是Filecoin 的时空证明(PoSt),其中存储提供商每次成功回答 PoSt 挑战时都会获得区块奖励。 ZKP 可以解决的开放问题 证明数据来源和查看敏感数据的授权:对于想要交换敏感数据的两个不可信方,ZKP 可用于证明一方拥有查看数据所需的凭据,而无需上传实际文档或泄露密码和日志。详细信息。 8 - 共识 鉴于区块链是分布式 P2P 系统,不存在确定全局真相的可信第三方。相反,网络节点通过一种称为共识的机制就当前真相(哪个区块是正确的)达成一致。基于 PoS 的共识方法可以分为基于 BFT 的(其中验证者的拜占庭容错法定人数决定最终状态)或基于链的(最终状态由分叉选择规则追溯决定)。虽然大多数现有的 PoS 共识实现都是基于 BFT 的,但 Cardano是最长链实现的一个例子。人们对基于 DAG 的共识机制也越来越感兴趣,例如在 Aleo、Aptos 和 Sui 中以某些变体实现的 Narwhal-Bullshark。 共识是模块化堆栈的许多不同组件的重要组成部分,包括共享排序器、去中心化证明和基于区块链的数据发布网络(不是基于委员会的,如 EigenDA)。 现有的 ZK 集成 基于 ZK 的隐私网络中的质押:基于 PoS 的隐私网络提出了挑战,因为质押代币的持有者必须在隐私和参与共识(并获得质押奖励)之间做出选择。Penumbra 旨在通过消除质押奖励来解决这个问题,而是将非抵押和抵押股权视为单独的资产。这种方法使各个委托保持私密性,而与每个验证者绑定的总金额仍然是公开的。 私人治理:实现匿名投票长期以来一直是加密领域的一个挑战,名词私人投票等项目试图推动这一进程。这同样适用于治理,至少 Penumbra 正在对提案进行匿名投票。在这种情况下,ZKP 可用于证明一个人有权投票(例如通过代币所有权)并且满足某些投票标准(例如尚未投票)。 ZKP 可以解决的开放问题 私人领导人选举:以太坊目前在每个 epoch 开始时选举接下来的 32 个区块提议者,并且这次选举的结果是公开的。这会带来恶意方依次对每个提议者发起 DoS 攻击以试图禁用以太坊的风险。为了解决这个问题,Whisk提出了一项隐私保护协议的提案,用于在以太坊上选举区块提议者。验证者使用 ZKP 来证明洗牌和随机化是诚实执行的。还有其他方法可以实现类似的最终目标,a16z 的这篇博文中介绍了其中一些方法。 签名聚合:使用 ZKP 聚合签名可以显着减少签名验证的通信和计算开销(验证一个聚合证据而不是每个单独的签名)。这已经在 ZK 轻客户端中得到利用,但也有可能扩展到共识。 9 - 结算 和解类似于最高法院——验证状态转换的正确性并解决争端的最终真相来源。当一笔交易不可逆转时(或者在概率最终性的情况下——当其很难逆转时),该交易被认为是最终的。最终确定的时间取决于所使用的底层结算层,而这又取决于所使用的具体最终确定规则和区块时间。 缓慢的最终性在跨 Rollup 通信中尤其是一个问题,其中 Rollup 需要等待以太坊的确认才能批准交易(乐观 Rollups 需要 7 天,有效性 Rollups 需要 12 分钟和证明时间)。这导致用户体验不佳。有多种方法可以使用具有一定安全级别的预先确认来解决此问题。示例包括特定于生态系统的解决方案(Polygon AggLayer或zkSync HyperBridge)和通用解决方案(例如Near 的 Fast Finality Layer),该解决方案旨在通过利用 EigenLayer 的经济安全性来连接多个不同的汇总生态系统。还可以选择利用 EigenLayer 的本机汇总桥用于软确认以避免等待完全确定。 现有的 ZK 集成 通过有效性汇总加快结算速度:与乐观汇总相比 ,有效性汇总不需要挑战期,因为它们依赖 ZKP 来证明正确的状态转换,无论是否有人挑战(悲观汇总)。这使得基础层的结算速度更快(以太坊上的结算时间为 12 分钟,而以太坊上的结算时间为 7 天),并且避免了重新执行。 10 - 安全 安全性与保证的硬度有关,也是区块链价值主张的重要组成部分。然而,引导加密经济安全性是很困难的——增加了进入壁垒,并成为那些需要它的应用程序(各种中间件和替代 L1)的创新摩擦。 共享安全的想法是利用 PoS 网络现有的经济安全,并使其承受额外的削减风险(惩罚条件),而不是每个组件都试图引导自己的安全。早期已经有一些尝试在 PoW 网络中做同样的事情(合并挖矿),但是不一致的激励措施使矿工更容易串通并利用协议(由于工作发生在物理世界中,因此更难以惩罚不良行为,即使用计算能力)。PoS 安全性更灵活,可以被其他协议使用,因为它同时具有正向(质押收益)和负向(削减)激励。 围绕共享安全前提构建的协议包括: EigenLayer 的目标是利用现有的以太坊安全性来保护广泛的应用程序。该白皮书于 2023 年初发布,EigenLayer 目前处于主网 alpha 阶段,完整的主网预计将于今年晚些时候推出。 Cosmos于 2023 年 5 月推出了链间安全(ICS),这使得 Cosmos Hub(Cosmos 上最大的链之一,由约24 亿美元质押的 ATOM支持)能够将其安全性出租给消费链。通过使用为 Cosmos Hub 提供支持的相同验证器集来验证消费者链上的块,它的目的是减少在 Cosmos 堆栈顶部启动新链的障碍。然而,目前只有两个消费者链处于活动状态(Neutron 和 Stride)。 Babylon也试图让 BTC 用于共享安全。为了解决与合并挖矿相关的问题(很难惩罚不良行为),它正在构建一个虚拟 PoS 层,用户可以将 BTC 锁定到比特币的质押合约中(无桥接)。由于比特币没有智能合约层,因此质押合约的削减规则而是以比特币脚本中编写的 UTXO 交易来表达。 其他网络上的重新抵押包括Near 上的Octopus和 Solana 上的 Picasso。Polkadot平行链还利用了共享安全的概念。 现有的 ZK 集成 ZK 和经济安全的混合:虽然基于 ZK 的安全保证可能更强,但对于某些应用程序来说,证明的成本仍然过高,并且生成证明需要很长时间。Brevis coChain就是一个例子,它是一种协处理器,从 ETH 重新质押者那里获得经济安全,并乐观地保证计算(通过 ZK 欺诈证明)。dApp 可以根据其在安全性和成本权衡方面的具体需求,选择纯 ZK 或 coChain 模式。 11 - 互操作性 安全高效的互操作性仍然是多链世界中的一个大问题,桥梁黑客攻击造成的 28 亿美元损失就是例证。在模块化系统中,互操作性变得更加重要——不仅是在其他链之间进行通信,而且模块化区块链还需要不同的组件来相互通信(例如 DA 和结算层)。因此,像集成区块链那样简单地运行完整节点或验证单个共识证明不再可行。这为方程式增加了更多的移动因素。 互操作性包括代币桥接以及跨区块链的更一般的消息传递。有几种不同的选择,它们都在安全性、延迟和成本方面做出了不同的权衡。对这三者进行优化非常困难,通常需要牺牲至少一项。此外,跨链的不同标准使得新链的实施变得更加困难。 虽然我们仍然缺乏对不同类型的轻客户端(或节点)的明确定义,但Dino(Fluent & Modular Media 联合创始人)的这篇文章给出了很好的介绍。如今,大多数轻客户端仅验证共识,但理想情况下,我们应该拥有可以验证执行和 DA 的轻客户端,以减少信任假设。这将允许接近全节点安全性,而不需要很高的硬件要求。 现有的 ZK 集成 ZK 轻客户端(共识验证):当前大多数轻客户端都可以验证其他链的共识 - 要么是完整的验证器集(如果足够小),要么是全部验证器的子集(例如以太坊的同步委员会)。ZKP 用于使验证更快、更便宜,因为源链上使用的签名方案可能不受目标链本机支持。虽然 ZK 轻客户端在桥接中的重要性预计会增加,但目前更广泛采用的摩擦包括证明和验证的成本以及每个新链实施 ZK 轻客户端的成本。该领域的协议示例包括Polyhedra、Avail 和 Celestia 的数据证明桥以及Electron Labs 的 zkIBC. 存储证明:如前所述,存储证明可以在不使用可信第三方的情况下从区块链查询历史和当前数据。这也与互操作性相关,因为它们可用于跨链通信。例如,用户可以证明他们在一条链上拥有代币,并将其用于另一条链上的治理(无需桥接)。还有尝试使用存储证明进行桥接,例如LambdaClass 开发的这种解决方案。 ZK Oracles:Oracles充当中介,将现实世界的数据连接到区块链。ZK 预言机通过证明数据的来源和完整性以及对该数据进行的任何计算,改进了当前基于声誉的预言机模型。 ZKP 可以解决的开放问题 完整的轻客户端:完整的轻客户端还验证正确的执行和 DA,而不是盲目地信任其他链的验证器集。这减少了信任假设并更接近完整节点,同时仍然保持较低的硬件要求(允许更多的人运行轻客户端)。然而,在大多数链上,尤其是以太坊上,验证除共识之外的任何其他内容仍然昂贵得令人望而却步。此外,轻客户端仅启用信息验证(问题的一半),即它们可以识别信息是假的,但仍然需要有额外的机制让它们对此采取措施。 聚合层:Polygon 的 AggLayer旨在通过利用聚合证明和统一的桥接合约,实现生态系统内 L2 之间的平滑互操作性。聚合证明可以实现更有效的验证和安全性 - 强制依赖链状态和捆绑包保持一致,并确保如果汇总状态依赖于另一个链的无效状态,则无法在以太坊上解决。zkSync 的 HyperChains和Avail Nexus也采取了类似的方法。 ZK什么时候吃掉了模块化堆栈? 假设我们可以达到这样一种状态:ZKP 的生成变得非常快(几乎以光速)并且非常便宜(几乎免费),那么最终的局面会是什么样子?换句话说——ZK什么时候吃掉了模块化堆栈? 从广义上讲,我们相信在这种情况下有两件事是正确的: 所有不必要的重新执行都被消除:通过转向 1/N 执行模型(而不是 N/N 重新执行),我们显着减少了网络的整体冗余,并能够更有效地使用底层硬件。虽然仍然存在一些开销,但这将有助于区块链在计算效率方面逐渐接近中心化系统。 大多数应用程序依赖于 ZK 支持的加密保证,而不是经济安全:当生成证明的成本和时间不再是相关考虑因素时,我们相信大多数应用程序将依赖 ZKP 来获得更强的保证。这还需要在可用性和开发人员友好性方面进行一些改进来构建 ZK 应用程序,但这些都是多个团队正在努力解决的问题。 第三个条件是隐私(或信息流管理),但它更复杂。ZKP 可用于一些具有客户端证明的隐私应用程序,这正是 Aleo、Aztec 或 Polygon Miden 等平台正在构建的目标,但为所有潜在用例实现大规模隐私也依赖于 MPC 和 FHE 的进展- 未来博客文章的潜在主题。 我们论文的风险 如果我们错了,未来既不是模块化也不是 ZK 化怎么办?我们论文的一些潜在风险包括: 模块化增加了复杂性 用户和开发者都面临着链数量不断增长的困扰。用户需要跨多个链(以及可能的多个钱包)管理资金。另一方面,考虑到空间仍在不断发展,应用程序开发人员的稳定性和可预测性较差,这使得决定构建哪条链变得更加困难。他们还需要考虑状态和流动性碎片化。现在尤其如此,因为我们仍在沿着哪些组件有意义解耦以及哪些组件将重新耦合的前沿进行试验。我们相信用户操作抽象以及安全高效的互操作解决方案是解决这个问题的关键部分。 ZK 的性能是否足够好? 无可回避的事实是,证明生成时间太长,而且证明和验证的成本在今天仍然太高。对于当今的许多应用程序来说,诸如可信执行环境/TEE(隐私)或乐观/加密经济安全解决方案(成本)之类的竞争解决方案仍然更有意义。 然而,关于 ZKP 的软件优化和硬件加速,我们正在做大量工作。证明聚合将通过将成本分摊到多个不同方(较低的/用户成本)来帮助进一步降低验证成本。还可以调整基础层以针对 ZKP 验证进行更加优化。ZKP 硬件加速面临的一项挑战是证明系统的快速开发。这使得创建专用硬件(ASIC)变得困难,因为如果/当底层证明系统的标准发展时,它们可能会很快过时。 Ingonyama尝试通过称为ZK 分数的可比指标为证明者性能创建一些基准。它 基于运行计算的成本 (OPEX) 并跟踪 MMOPS/WATT,其中 MMOPS 代表每秒模乘运算。如需进一步阅读该主题,我们推荐Cysic和Ingonyama的博客,以及Wei Dai的演讲。 ZKP 可以提供的有限隐私有用吗? ZKP 只能用于实现个人状态的隐私,不能用于多方需要对加密数据进行计算的共享状态(例如私有 Uniswap)。FHE 和 MPC 也需要完全隐私,但在成为更广泛使用的可行选择之前,它们需要在成本和性能方面提高许多数量级。也就是说,ZKP 对于某些不需要私有共享状态的用例仍然有用,例如身份解决方案或支付。并非所有问题都需要使用同一个工具来解决。 概括 那么这会给我们带来什么影响呢?虽然我们每天都在进步,但仍有大量工作要做。最迫切需要解决的问题是价值和信息如何在不同的模块化组件之间安全地流动,而不牺牲速度或成本,以及将其全部从最终消费者中抽象出来,以便他们不需要关心之间的桥接不同的链、切换钱包等。 虽然我们目前仍处于实验阶段,但随着时间的推移,当我们找出每个用例的最佳权衡范围时,情况应该会稳定下来。这反过来将为标准(非正式或正式)的出现提供空间,并为这些链之上的构建者提供更多稳定性。 如今,由于生成 ZKP 的成本和复杂性,仍然有许多用例默认采用加密经济安全,有些用例需要两者的结合。然而,随着我们设计更高效的证明系统和专用硬件以降低证明和验证的成本和延迟,这一份额应该会随着时间的推移而减少。随着成本和速度的每一次指数级降低,新的用例都会被解锁。 虽然这篇文章特别关注 ZKP,但我们也越来越感兴趣现代密码学解决方案(ZKP、MPC、FHE 和 TEE)最终将如何一起发挥作用 - 我们已经看到了这一点。 来源:金色财经
lg
...
金色财经
04-17 16:21
诺唯赞:预计一季度净利润450万元至550万元 同比扭亏
go
lg
...
万元至5612万元,实现扭亏为盈。公司
生
命
科学业务提取、细胞、蛋白等新产品线,产品矩阵进一步完善,客单价与市场覆盖率快速提升,相关销售收入增长显著。此外,基于公司体外诊断业务呼吸道病原体检测项目的商业化、生物医药业务新药研发试剂市场占有率的进一步提升以及抗体发现与商业化项目里程碑款到账等因素,公司常规业务收入规模进一步增长。
lg
...
金融界
04-17 16:21
国家发改委:杜绝“天价特许经营权转让费”现象
go
lg
...
加穿透式监管和重大事项告知制度,完善全
生
命
周期监管,增加投诉处理制度,健全争议解决制度,督促政府和企业各方规范履行义务。下一步,国家发展改革委将会同有关方面切实抓好新修订的《管理办法》贯彻落实,推动特许经营项目提质增效,不断激发民间投资活力。
lg
...
金融界
04-17 16:21
上一页
1
•••
208
209
210
211
212
•••
932
下一页
24小时热点
俄罗斯突然发动大规模袭击!金价开盘后飙升突破2575美元 两张图看黄金技术前景 投资者如何获利了结?
lg
...
黄金突发劲爆行情!拜登刚刚就俄乌战争做出重大决定 金价日内飙升逾30美元
lg
...
人民币或大幅贬值!巴伦周刊:特朗普关税即将到来 中国回应恐是新的货币战争
lg
...
中国突发!中国一周内第二起针对无辜者的袭击事件 江苏一学校持刀伤人案酿8死17伤
lg
...
黄金突然大涨1%,事关高盛最新预测?朝鲜突传再派10万人援俄
lg
...
最新话题
更多
#SFFE2030--FX168“可持续发展金融企业”评选#
lg
...
14讨论
#链上风云#
lg
...
47讨论
#美国大选#
lg
...
1304讨论
#VIP会员尊享#
lg
...
1477讨论
#比特币最新消息#
lg
...
579讨论