FX168财经网_全球视野外汇黄金加密货币NFT资讯网

探索未来：AI交易引领数字资产交易新时代

利能力。全网数据的分析与挖掘：随着互联网的普及和数据的爆炸式增长，未来的AI交易系统将更加注重对全网数据的分析和挖掘。通过分析社交媒体、新闻资讯、舆情等数据，系统可以更准确地把握市场情绪和趋势，为交易决策提供更多的参考依据。区块链技术的融合：区块链技术将与AI交易相结合，为交易系统提供更安全、更透明的交易环境。通过区块链的去中心化和不可篡改性特点，可以确保交易数据的真实性和完整性，提高交易的信任度和可靠性。未来的AI交易将在深度学习、自我调整能力、全网数据分析、量化交易普及和区块链技术融合等方面不断发展和完善，为投资者提供更智能、更高效的交易服务。而3EX的AI交易系统将在这一发展趋势中发挥重要作用，为用户提供专业、可靠的交易服务。结论综合以上所述，AI交易作为金融领域的一项创新技术，已经成为未来交易的不可或缺的辅助工具。其能够提高交易效率、减少人为错误，并实现全天候、全球范围内的交易。在AI交易的发展趋势中，个性化交易服务、智能化交易决策等方面将是重点发展方向。作为领先的数字资产交易平台，3EX的AI交易系统具有独特的优势和特点，能够为用户提供智能、高效的交易服务。通过接入ChatGPT4o的API接口，3EX的AI交易系统实现了基于模版指标和文字描述的交易策略生成，为用户带来了全新的交易体验。因此，我们可以肯定地说，AI交易是未来交易的重要趋势，而3EX的AI交易系统将在这一趋势中发挥重要作用，为用户提供更智能、更可靠的交易服务。 3EX相关链接：社媒Linktree：https://linktr.ee/3exlinktreecn Twitter(CN): https://twitter.com/3EX_ZH 来源：金色财经

金色财经2024-05-29

臻镭科技（688270.SH）：公司低轨商业卫星及地面配套设备，部分产品已进入样品推广阶段

有连云2024-05-29

新联电子（002546.SZ）：公司用电信息采集系统产品部分功能可应用于虚拟电厂

机盘管控制器进行改造，采用物联网、移动互联网等技术，实现对空调末端的智能化、信息化集中统一管理，管理人员无论何时、何地均可通过手机APP、web网页随时检查各房间空调使用情况，通过软件操作实现关停无人区域空调、下班忘关空调等，对空调温度及风速统一设定、面板锁定及权限管理等一系列远程控制操作，极大提高了工作效率。系统设定的自动方案任务可每天自动执行，并根据不同业务区域、季节温度特性独立调整，实现管理节能。 5、问：公司的产品是否可用于虚拟电厂？答：公司用电信息采集系统产品的部分功能可应用于虚拟电厂。 6、公司 2024 年第一季度营业收入较上年同期增长 40.31%，请问是什么原因？答：主要是本期销售发货同比增加所致。公司主营业务中用电信息采集业务的营业收入占总营业收入比重较大，其销售对象以国家电网有限公司和中国南方电网有限责任公司及其下属成员企业为主，主要以招投标方式获取订单，该业务的销售收入受合同履行进度的影响较大。 7、问：公司是否有股权激励计划或者股份回购计划？答：公司目前没有股权激励计划和股份回购计划。本次沟通交流没有涉及公司未公开重大信息，公司按规定与机构调研人员签订了《承诺函》。以上内容与数据，与界面有连云频道立场无关，不构成投资建议。据此操作，风险自担。

有连云2024-05-29

金色百科 | 区块链网络会遭受 DDoS 攻击吗？

击涉及黑客将恶意软件插入可能数千个支持互联网的设备（统称为僵尸网络），并促使它们同时向目标系统发送大量请求。这些受感染的机器称为机器人或僵尸，可能是手机、台式机、服务器甚至物联网 (IoT) 设备。攻击者通常在受害者不知情的情况下通过用恶意软件感染机器人来建立对机器人的直接控制。传入流量的涌入使目标系统无法响应有效请求，因为攻击消耗了太多的带宽、处理能力或内存。 Cloudflare 在其 2024 年第一季度 DDoS 威胁报告中指出，DDoS 攻击总体增加了 50%，令人震惊。二、区块链网络会遭受 DDoS 攻击吗？通过 DDoS 攻击来攻击区块链网络在理论上是可行的，尽管它比针对网站或服务器等中心化系统更困难。由于其去中心化，区块链网络本质上能够抵抗此类攻击。区块链作为去中心化的分布式账本，在一系列节点上运行，负责验证和处理交易以及创建区块。与传统系统不同，区块链网络内没有中心控制点。去中心化使得区块链网络更难受到攻击，因为攻击者需要处理大量节点。破坏网络的一种方法是用垃圾邮件交易淹没区块链，这会压垮网络并降低交易吞吐量，从而阻碍合法交易的及时验证。这会将来自真实用户的交易排队到内存池中，内存池是区块链节点中存储未确认交易的机制。一个著名的 DDoS 攻击实例是 Solana 区块链网络，该攻击导致 2021 年 9 月出现 17 小时的停机。在 Grape Protocol 在基于 Solana 的 DEX Raydium 上首次进行去中心化交易产品 (IDO) 期间，机器人对网络每秒有40万笔交易负载，导致网络拥塞。此外，DDoS 攻击可能针对去中心化应用程序 (DApp)，这些应用程序是构建在区块链之上的应用程序，而不是区块链网络本身。加密货币交易所在确保基于区块链的生态系统中的流动性方面发挥着关键作用，经常成为 DDoS 攻击的受害者，导致暂时的服务中断。三、DDoS 攻击如何影响区块链网络？ DDoS 攻击可以通过交易泛滥和损害智能合约来影响区块链网络。其目的是通过欺诈性交易堵塞网络，减慢网络速度，在更糟糕的情况下，甚至使其停止。交易泛滥恶意行为者可能会故意通过大量交易使区块链网络超载，从而扰乱其正常运行。攻击者通常使用自动化脚本或专用软件来引发一系列交易请求。这些交易类似于合法交易，但旨在挤压网络。攻击者将这些交易广播到节点。为了达成共识，网络将交易传播到多个节点，这些节点负责处理这些交易。然而，大量的传入交易超出了它们的处理能力。网络变得拥挤，甚至真正的交易也被积压。这种中断可能会影响依赖区块链网络的企业、交易所和其他服务。智能合约黑客可以识别区块链网络中易受攻击的智能合约，并向其发送大量交易请求。这些交易包含欺诈指令或过度计算，以耗尽合约和底层网络的功能。智能合约中代码的执行变得越来越繁重，导致交易验证过度延迟。由于智能合约是区块链的关键部分，此类攻击的影响可能会在整个网络中传播，影响其他智能合约和交易，扰乱关键操作并使合法用户无法访问服务。软件崩溃区块链中的核心应用程序软件对于分配的内存以及它可以在区块中处理并存储在内存池中的交易数量有内置的限制。当交易量激增时，软件可能会出现意外行为或直接崩溃。此外，不变性是区块链交易的固有特征，这意味着它们一旦被记录在区块中就无法更改。当攻击期间交易淹没网络时，这种机制就会产生问题。网络因无用的事务而超载，这可能远远超出了软件的处理能力。节点故障充当验证者或矿工的节点在足够强大的设备上运行核心区块链软件，足以满足严格的需求。当恶意行为者在 DDoS 攻击中流入大量垃圾数据时，节点可能会耗尽内存或处理能力并崩溃。一个节点因攻击而发生故障会增加网络中其他节点的压力。区块链网络本质上是节点的合并，其中每个接收节点跟踪区块链的状态并向其他节点广播有关交易的信息。欺诈性交易的泛滥对节点架构产生了有害影响，减慢了整个网络的速度，甚至导致其瘫痪。 DDoS 攻击如何影响加密货币交易所加密货币交易所是区块链生态系统中不可或缺的一部分，因为它们使数字资产具有流动性。他们往往是攻击者的目标。在攻击交易所时，攻击者的作案手法是利用漏洞，例如交易所基础设施中过时的安全补丁，扰乱运营，勒索赎金或操纵市场。据 Cloudflare 称，针对加密货币交易所的 DDoS 攻击主要来自简单服务发现协议 (SSDP) 放大攻击、网络时间协议 (NTP) 放大攻击和应用层攻击。 SSDP 攻击是一种基于反射的 DDoS 攻击，它利用通用即插即用 (UPnP) 网络协议向目标系统调度大量流量。 NTP 攻击是指攻击者发送一系列小型查询，触发不同机器人的大型响应，从而使流量成倍增加的技术。应用层攻击是指针对开放系统互连（OSI）模型顶层的攻击者方法。四、如何防范区块链网络的DDoS攻击为了保护区块链网络免受DDoS攻击，需要在节点和网络层面采取安全措施。定期审计会处理漏洞，而冗余基础设施和压力测试即使在攻击期间也能保持网络正常运行。节点级安全措施节点应具有足够的存储、处理能力和网络带宽，以抵御 DDoS 攻击。强大的身份验证方法和访问控制有助于保护网络节点。完全自动化的区分计算机和人类的公共图灵测试（CAPTCHA）对于确保只有合法用户才能发送交易请求并防止机器人渗透网络非常有用。负载均衡有助于划分流量并减轻节点级攻击的影响。网络级保护在网络层面建立足够的防御机制对于保护区块链网络非常重要。为了识别和减少 DDoS 攻击的影响，防火墙和入侵检测/防御系统 (IDS/IPS) 可以发挥很好的作用。内容分发网络（CDN）也有助于分散和吸收攻击流量。审计为了发现并修复任何漏洞，对区块链各个方面进行彻底审核非常重要。这应该包括分析智能合约、审核区块链数据结构的完整性以及验证共识算法。共识机制的容错能力应该足够强，能够抵御攻击。定期更新代码对于阻止攻击者和提高安全性非常重要。压力测试网络和系统应定期对区块链协议进行压力测试，以评估其抵御 DDoS 攻击的能力。这将有助于及时发现潜在的漏洞，从而能够修补网络基础设施和升级防御机制。冗余和备份区块链协议和 DApp 需要拥有冗余的网络基础设施和备份服务器，以确保系统即使在受到攻击时也能保持正常运行。位于多个地理位置的节点可以抵御仅限于特定区域的 DDoS 攻击。来源：金色财经

金色财经2024-05-29

中国版“星链”来了！鸿鹄-3星座计划曝光，概念股闻声大涨

展望未来，民生证券指出，2024年卫星互联网产业侧进展确定性强，板块历经深度调整后当前位置布局机会明确。国内进展方面，建议重点关注终端卫星功能应用演绎、卫星招标、组网星发射和商业火箭升级迭代；海外进展方面，建议重点关注后续SpaceX星舰试飞、手机直连落地进程和除SpaceX外其他厂商进展，同时建议关注中央和地方政策催化、行业标准协议制定、商业火箭迭代、发射产地扩容应用等相关进展。

格隆汇2024-05-29

港股开盘：恒生指数跌超160点，国美零售涨近15%、第四范式绩后涨超12%

中粮家佳康、万洲国际。中金公司：卫星互联网是商业航天的核心内容及重要的战略新兴产业，预计2024年有望成为国内卫星互联网大规模组网发射元年，在卫星互联网工程引领下，卫星制造、发射、应用环节均有望进入发展新阶段，产业链上相关企业有望持续受益于商业航天的蓬勃发展。投资标的如南京熊猫电子股份、上海复旦。方正证券：苹果的人工智能布局全面而深入，既注重技术研发和产品应用，也重视生态构建和合作发展。未来，随着AI技术的不断发展和应用领域的不断拓展，苹果的人工智能布局也将持续深化和完善，整个苹果产业链也将迎来板块性机会。投资标的如高伟电子、比亚迪电子、舜宇光学科技、瑞声科技、通达集团。招商证券：我国超高清视频产业链迎来高速发展期，技术和需求的变化带来行业巨大变革，催生新投资机遇，其中编转码设备产业规模有望从当前的亿元级别扩张到百亿级别，同时有望带动CDN+边缘计算、云视频应用行业加速发展。“超高清+云视频应用”产业链具备长期高成长性，看好掌握核心编转码标准和卡位云视频应用企业。投资标的如：中兴通讯、创维集团、海尔智家、海信家电、TCL电子。全球市场美联储再现谨慎降息立场，美股走势分化收盘涨跌互现，道指跌超210点，标普微涨0.06%，纳指涨近百点，站上17000点关口再创新高；科技股及中概股多数上涨，英伟达涨近7%总市值达2.8万亿美元，较苹果仅差1000亿美元，AMD涨超3%，Arm涨近9%，世纪铝业涨超4%，富途控股涨超3%，小鹏汽车涨超2%，蔚来、微博涨超1%，拼多多跌近5%，京东跌超1%。美元指数盘中创逾一周新低后抹平跌幅微涨0.01%报104.605点，离岸人民币报7.2636元，较周一纽约尾盘跌47点；比特币盘中跌超2000美元跌破6.8万关口。纽约黄金小幅走高报2362.40美元，五日内首次收涨告别两周低位，白银期货大涨超5%，纽约原油涨超3%重回80美元上方，布伦特原油报84.31美元，十年期美债收益率一度升10个基点，两年期收益率逼近5.0%、创近四周新高。

金融界2024-05-29

FX168日报:金价现近25美元反弹行情！普京发重大警告警惕日本“黑天鹅”飞出

导体、金属锌板块涨幅居前，房地产服务、互联网电商、铜缆高速连接板块跌幅居前。商品市场周二，尽管美国经济数据以及美联储官员言论推动美元自低点反弹，但黄金价格仍然强势上涨。分析师指出，地缘政治紧张局势继续对金价构成提振。周二欧市早盘，现货黄金一度触及日内低点2340.20美元/盎司，但随后金价强势上涨，纽约时段早盘，金价一度触及2364.17美元/盎司。现货黄金周二收盘上涨10.08美元，涨幅0.43%，收报2361.27美元/盎司。道明证券大宗商品策略主管Bart Melek表示：“黄金刚刚经历了修正, 现已徘徊在阻力位附近, 如今正在再度反弹。我们持续乐观看待黄金，但美联储货币政策的不确定性很可能阻止黄金大涨，未来走势很大程度上取决于数据。” 中国银行国际大宗商品市场策略主管Amelia Xiao Fu表示，“在逢低买入需求和央行多元化的推动下，金价可能会继续受到相当大的支撑。” 中东局势方面，在以色列空袭加沙南部城市拉法一处难民营引发国际社会谴责之际，据目击者最新说法，以军坦克周二首度挺进拉法市中心。据路透社报导，目击者表示，以色列的坦克和装甲车出现在拉法地标阿尔奥达清真寺(Al-Awda)附近。以军对此仅称持续在拉法行动，但以军未回应以军进入市中心的传闻。美国NBCNews也报导，以军坦克在周二首度开进拉法市中心。据巴勒斯坦通讯社周日报导，以军空袭拉法一处难民营，并引发火灾，至少造成40人死亡。巴勒斯坦加沙卫生部门周一说，这场空袭也导致数十人受伤，大部分是妇女和儿童。俄乌局势方面，俄罗斯总统普京警告西方，并点名欧洲北约成员国提议允许乌克兰使用西方武器袭击俄罗斯境内，这是在玩火，可能引发全球冲突。路透社报道，普京周二在乌兹别克斯坦城市塔什干向媒体讲话时说，“让局势持续升级可能导致严重的后果”。普京问道：“如果这些严重的后果是发生在欧洲，考虑到我们在战略武器领域的均势，美国会怎么做呢？”他说：“很难说——难道他们想要一场全球冲突？” 在普京发表讲话后，法国总统马克龙和德国总理朔尔茨表明，乌克兰应被允许袭击俄罗斯境内向乌克兰发射导弹的军事基地，但不能袭击其他俄罗斯目标。北约秘书长斯托尔滕贝格日前接受《经济学人》访问时说，北约成员国应该允许乌克兰使用西方武器袭击俄罗斯境内。这一观点得到了北约部分欧洲成员国的支持，但美国并不支持。原油方面，美国WTI原油期货价格周二收高逾2.7%，扭转了上涨的下跌趋势。市场关注即将召开的石油输出国组织及其盟友(OPEC+)会议。纽约商品交易所7月交割的西德州中质(WTI)原油期货价格周二收高2.11美元，涨幅为2.71%，收于79.83美元/桶。 7月交割的布伦特原油期货价格价格上涨1.12美元或 1.4%，收报84.22美元/桶，为4月30日以来近月布伦特原油期货最高收盘价。 OPEC+将在本周日举行线上会议以审查其生产政策。目前一些OPEC+成员国自愿每天减少220万桶石油产量，以支撑油价。德银分析师Michael Hsueh表示，鉴于布伦特原油目前的价格接近80美元/桶，而不是90美元/桶，OPEC+国家不太可能提高产量。瑞讯银行(Swissquote Bank)高级分析师Ipek Ozkardeskaya表示：“地缘政治紧张格局支撑油价进一步上涨，加上美国进入高需求的夏季，以及OPEC对其前景的限制性基调。” 周三(5月29日)关注重点（北京时间）：（1）09:30 澳大利亚4月未季调CPI年率（2）14:00 德国6月Gfk消费者信心指数（3）16:00 瑞士5月ZEW投资者信心指数（4）20:00 德国5月CPI月率初值（5）22:00 美国5月里奇蒙德联储制造业指数（6）次日01:45 美联储威廉姆斯参加一场圆桌会议（7）次日02:00 美联储公布经济状况褐皮书（8）次日04:30 美国至5月24日当周API原油库存更多重要事件请点击此处

tqttier2024-05-29

会员

创新驱动迈向高端，爆品“0感舒适衬衫”点燃红豆股份增长引擎

会更加受到消费者的青睐；另一方面，随着互联网技术的不断发展，线上销售渠道将会更加成熟和完善，为创业者提供更多的机会和空间。诚然，红豆股份管理层的眼光是独到的，在男装行业市场集中程度较低的现状下，还能敏锐地捕捉到赛道红利，并在差异化赛道上展现出强大的竞争决心，或许早已注定了成功。红豆股份总经理王昌辉认为，“只有为用户创造差异化的品牌价值，才有机会去赢得未来。红豆舒适男装将通过差异化的舒适战略，对接更广阔的舒适需求，打响三大战役，实现品牌的跨越式增长。” 而红豆股份高端化转型、坚持舒适赛道的第一步，就是打爆了“0感舒适衬衫”。热销100万件的“0感舒适衬衫”爆点频现，一是利用一种把有“热缩冷涨”独特性能的HeiQ高分子加入面料，使衬衫成功实现智能控温（+2°C）效果，保证穿着者最佳的舒适性；二是选择中奥两国功能纤维混纺面料，20公里纤维长仅2克重，比蚕丝更细1/5，且免烫易打理，今年舒适度更是提升36%。不仅如此，“0感舒适衬衫”还结合人体工程学，首创5项3D立体剪裁，采用10项高定工艺，特别是有两项颠覆性的科技创新。正因为“0感舒适衬衫”始终把科技创新放在首位，以舒适为价值锚点，围绕用户痛点做到极致，形成差异化的核心竞争力，才能持续畅销。数据是最好的证明。在爆品“0感舒适衬衫”的带动下，红豆股份打开了新一轮的增长空间，2023年净利润实现翻番，衬衫品类的营收3年持续攀升，业绩表现实属亮眼。近日，红豆舒适男装获得全球权威市场调研机构欧睿信息咨询公司授予的“0感衬衫中国第一”市场地位声明认证。 “一分耕耘一分收获”，虽然高端转型时间不长，但2023年红豆股份多项核心数据稳健增长，验证了其转型的正确性。在广阔的男装市场中捕捉红利，打造差异化优势，无不凸显红豆股份经营管理水平的巨大提升。二、用户为先，“舒适”体验引领消费新时尚国货潮品频频出圈，承载着人们对美好生活的向往，也彰显着中国消费者的文化自信。要想实现高端化转型，光靠产品质量是远远不够的。红豆股份也深知这个道理，明确表示，“聚焦舒适赛道，明确‘经典舒适男装’品牌定位，公司重点发展红豆舒适男装全域零售业务，加速实施高端化、数智化、在线化建设打造高质量品牌，加速培育新质生产力推动高质量发展，让更多人穿上奢侈品级的舒适男装，致力于成为男装行业领军型企业”。红豆股份不仅强调产品质量，也抓“用户为先”的全渠道建设。据悉，红豆股份采取品牌全域运营模式，以消费者为中心，基于数字零售创新，以“红豆男装”品牌，实现商品开发、生产供应、商品零售等各个环节的打通，建立覆盖线下门店、线上店铺的全渠道营销网络体系，以全渠道、全场景、全链路的运营形式，为消费者提供便捷购物体验。线下渠道方面，不仅基于品牌定位及战略实施阶段，加速与高势能渠道商、联营商达成合作，系统布局ShoppingMall类业态，以该类主流渠道高效获取目标客群；同时运营模型初显，以无锡为样板复制形成了一批区域标杆，以舒适化的主推产品、情景化的门店陈列、精准化的会员营销为抓手，增强线下门店体验、社交、服务的价值属性，逐步推进全国门店的系统性升级。整体来看，线下渠道运营质量向好。截至2023年底，红豆股份直营门店达476家、加盟联营店526家，年内共计新开162家。其中，直营门店成长尤为迅速，2023年度营收同比增长16.08%、毛利率达59.83%，连续开业12个月以上直营店的平均单店营收同比增长34.3%。线上渠道同样不甘示弱，持续做大体量，集合线下门店及各电商平台打造多样化的消费场景。围绕人货场的搭建，从爆品策略、人群精细化运营、内容策略等方面重点展开，紧抓各平台活动节奏撬动公私域流量，注重从商品维度洞察人群种草、转化情况，以高价值、差异化产品满足各消费人群需求。 2023年，红豆股份自播销售业务、天猫店铺日销成长迅速，此外还入选了商务部的“国家电子商务示范企业”，品牌认可度毋庸置疑。当然，红豆股份所做的努力肯定远不止这些，想象空间也远大于此。进入2024年一季度，红豆股份的业绩继续走强，实现归属于上市公司股东的净利润4123.38万元，同比增长31.08%。以产品科技创新释放增长潜力，以爆品战略引领用户体验持续创新！相信「红豆」这个在行业里深耕了67年的品牌，未来会给消费者带来更多惊喜。假以时日，必将在世界舞台大有作为。我们拭目以待！

金融界2024-05-29

美国法院将于9月审理针对TikTok禁令的诉讼

旗下的谷歌禁止提供TikTok，并禁止互联网托管服务支持TikTok，除非字节跳动剥离TikTok。由于美国议员担心中国可能会通过这款应用获取美国人的数据或对他们进行监视，该法案在提出几周后就以压倒性多数在国会获得通过。

Sissi2024-05-29

零知识证明范式：什么是zkVM

采用进行比较，比特币从边缘爱好者论坛的互联网货币演变为贝莱德（BlackRock）批准的“数字黄金”的一个原因就是，开发者和社区创作内容的激增，培养了人们的兴趣。就目前而言，ZK存在于气泡中的气泡中。信息是分散极化的，文章里要么充斥着晦涩难懂的术语，要么过于外行，除了重复使用的例子之外，没有传达任何有意义的信息。似乎所有人（专家和外行）都知道什么是零知识证明，但没有人能描述它实际上是如何工作的。作为贡献于零知识范式的团队之一，我们希望揭开我们工作的神秘面纱，帮助更广泛的受众建立理解和分析ZK系统和应用程序的规范基础，以推动相关各方之间的教育宣传和讨论，使相关信息得以传播扩散。本中，我们将介绍零知识证明和零知识虚拟机的基础知识，对zkVM的运作过程进行高层次的总结，最后对zkVM的评估标准进行分析。 1、零知识证明基础知识什么是零知识证明（ZKP）？简而言之，ZKP使一方（prover证明者）能够向另一方（verifier验证者）证明他们知道某事物，但无需透露该事物的具体内容或任何其他信息。更具体地说，ZKP证明了对一段数据或对计算结果的认知，而不透露该数据或输入内容。创建零知识证明的过程涉及一系列数学模型，将计算结果转换为证明代码成功执行的在其他情况下无意义的信息，这些信息将于稍后被验证。在某些情况下，验证经过多轮代数转换和密码学构建的证明所需的工作量比运行计算所需的工作量要少。正是这种安全性和可扩展性的独特组合使零知识加密成为如此强大的工具。 zkSNARK：零知识简洁非交互式知识论证 · 依赖于初始（受信或不受信）设置过程来建立用于验证的参数 · 要求证明者和验证者之间至少有一次交互 · 证明较小，易于验证 · 像zkSync、Scroll和Linea这样的rollup使用基于SNARK的证明 zkSTARK：零知识可扩展透明知识论证‍ · 无需受信设置 · 通过使用可公开验证的随机性来创建无需信任的可验证系统，即生成可证明的随机参数来进行证明和验证，从而提供高透明度。 · 高度可扩展，因为它们可以快速（并非总是）生成和验证证明，即使底层见证（数据）很大。 · 证明者和验证者之间不需要交互 · 代价是STARK会生成更大的证明，这比SNARK更难验证。 · 证明比一些zkSNARK证明更难验证，但相对于其他证明更易验证。 · Starknet和zkVM（如Lita、Risc Zero和Succinct Labs）都使用STARK。（注意：Succinct bridge使用SNARK，但SP1是基于STARK的协议）值得注意的是，所有的STARK都是SNARK，但并非所有的SNARK都是STARK。 2、什么是zkVM？虚拟机（VM）是运行程序的程序。在上下文中，zkVM是一种虚拟计算机，它被实现为生成零知识证明的系统、通用电路或工具，用于为任何程序或计算生成zkVM。 zkVM不要求学习复杂的数学和密码学来设计和编码ZK，让任何开发人员都可以执行用他们喜欢的语言编写的程序并生成ZKP（零知识证明），从而更容易与零知识集成和交互。从广义上讲，大多数zkVM都意味着包括附加到执行程序的虚拟机的编译器工具链和证明系统，而不仅仅是虚拟机本身。下面，我们总结了zkVM的主要组件及其功能：每个组件的设计和实现都由zkVM的证明（SNARKs或STARKs）和指令集架构（ISA）的选择来控制。传统上，ISA指定了CPU的能力（数据类型、寄存器、内存等）以及CPU在执行程序时执行的操作顺序。在上下文中，ISA确定可由VM解释和执行的机器码。选择ISA可以在zkVM的可访问性和可用性，以及证明生成过程的速度和效率方面产生根本性的差异，并支持任何zkVM的构建。下面是一些zkVM及其组件的示例，仅供参考。现在，我们将重点关注每个组件之间的高层交互，以便在后面的文章中提供一个框架，用于理解代数和加密过程以及zkVM的设计权衡。 3、抽象的zkVM流程下图是一个抽象的、一般化的zkVM流程图，当程序在zkVM组件之间移动时，进行格式（输入/输出）的拆分和分类。 zkVM的流程一般如下：（1）编译阶段编译器首先将使用传统语言（C、C++、Rust、Solidity）编写的程序编译成机器码。机器码的格式由所选的ISA来决定。（2）VM阶段 VM执行机器码并生成执行跟踪，这是底层程序的系列步骤。它的格式由算法的选择和多项式约束集来决定。常见的算法方案包括Groth16中的R1CS、halo2中的PLONKish算法以及plonky2和plonky3中的AIR。（3）验证阶段证明者接收跟踪并将其表示为一组受一组约束限制的多项式，本质上是通过数学映射事实将计算转换为代数。证明者使用多项式承诺方案（PCS）提交这些多项式。承诺方案是一个协议，它允许证明者创建一些数据X的指纹，这被称为对X的承诺，然后使用对X的承诺来证明关于X的事实而同时不泄露X的内容。PCS就是指纹，计算约束的“预处理”简明版本。这允许证明者使用验证者在接下来的步骤中提出的随机值来证明有关计算的事实，现在用多项式方程来表示。证明者运行一个多项式交互Oracle证明（PIOP）来证明所提交的多项式代表了满足给定约束条件的执行轨迹。PIOP是一个交互式证明协议，其中证明者向多项式发送承诺，验证者用随机字段值响应，证明者提供对多项式的评估，类似于使用随机值“求解”多项式方程以概率方式来说服验证者。 Fiat-Shamir启发式的应用；证明者以非交互模式运行PIOP，在这种模式下，验证者的行为仅限于发送匿名随机挑战点。在密码学中，Fiat-Shamir启发式将交互式知识证明转换为用于验证的数字签名。这一步加密了证明并使其成为零知识证明。证明者必须说服验证者，关于它发送给验证者的多项式承诺，声称的多项式评估是正确的。为了做到这一点，证明者产生一个“evaluation”或“opening”证明，由多项式承诺方案（指纹）提供。（4）验证者阶段验证者通过遵循证明系统的验证协议来检查证明，要么使用约束，要么使用承诺。验证者根据证明的有效性接受或拒绝结果。总之，zkVM证明可以证明，对于给定的程序、给定的结果和给定的初始条件，存在一些输入，使程序从给定的初始条件执行产生给定的结果。我们可以将该语句与流程结合起来，得到关于zkVM的以下描述。 zkVM证明将证明，对于给定的VM程序和给定的输出，存在一些输入，导致给定的程序在VM上执行时产生给定的输出。 4、评估zkVM 我们评估zkVM的标准是什么？换句话说，我们应该在什么情况下说一个zkVM比另一个更好？实际上，答案取决于用例。 Lita的市场研究表明，对于大多数商业用例，在速度、效率和简洁性之间，最重要的属性要么是速度，要么是内核时间效率，这取决于应用程序。一些应用对价格敏感，希望将证明过程优化为低能耗和低成本的，对于这些应用而言，内核时间效率可能是最重要的优化指标。其他应用程序，特别是金融或交易相关的应用程序，对延迟非常敏感，需要优化速度。大多数公开的性能比较只关注速度，速度当然很重要，但却不是性能的全面衡量。还有一些重要的属性可以衡量zkVM的可靠性，其中大多数都达不到生产标准，即使是市场领先的老牌企业。我们建议按照以下标准对zkVM进行评估，并将其分为两小类：基线：用于度量zkVM的可靠性 · 正确性 · 安全性 · 信任假设性能：用于衡量zkVM的能力 · 效率 · 速度 · 简洁性（1）基线：正确性、安全性和信任假设在评估关键任务应用程序的zkVM时，应该将正确性和安全性作为基准。需要有足够的理由对正确性有信心，并且需要有足够强的声明安全性。此外，对于应用程序来说，信任假设需要足够弱。如果没有这些属性，zkVM对应用程序来说可能比毫无用处更糟糕，因为它可能无法按照指定的方式执行，并使用户暴露于黑客攻击和漏洞攻击之下。正确性 · VM必须按预期执行计算 · 证明系统必须满足其声称的安全属性正确性包含三大属性： · 稳健性：证明系统是真实的，因此它所证明的一切都是真的。验证者拒绝接受虚假陈述的证据，只接受输入产生实际计算结果的计算结果。 · 完备性：证明系统是完备的，能够证明所有的真实陈述。如果证明者声称它可以证明计算的结果，它必须能够产生验证者可接受的证明。 · 零知识证明：与知道结果本身相比，拥有一个证明并不能揭示更多关于计算输入的信息。你可能拥有完整性而没有稳健性，如果证明制度证明了包括虚假陈述在内的一切，显然它是完备的，但并不健全。而你也可能拥有健全性但没有完整性，如果证明系统证明了一个程序的存在，但不能证明计算，显然它是健全的（毕竟，它从来没有证明过任何虚假陈述），但不是完整的。安全性 · 与可靠性、完整性和零知识证明的公差有关在实践中，所有三个正确性属性都具有非零公差。这意味着所有的证明都是对正确性的统计概率，而不是绝对的确定性。公差是指一个属性失效的最大可容忍概率。零公差当然是理想的，但是在实践中，zkVM并没有在所有这些属性上实现零公差。完美的稳健性和完备性似乎与简洁性并不相容，并且没有已知的方法可以实现完美的零知识证明。衡量安全性的一种常用方法是以安全性bit为单位，其中1 / (2^n)的公差称为n bit安全性。bit越高，安全性越好。如果一个zkVM是完全正确的，这并不一定意味着它是可靠的。正确性仅意味着zkVM满足其声称的公差范围内的安全属性。这并不意味着所声称的公差低到足以进入市场。此外，如果zkVM足够安全，也并不意味着它是正确的，安全性指的是声称的公差，而不是实际实现的公差。只有当zkVM既完全正确又足够安全时，才能说zkVM在声称的公差范围内是可靠的。信任假设 · 假设证明者和验证者的诚实性，以得出zkVM可靠运行的结论。当zkVM具有信任假设时，通常采用可信设置过程的形式。在使用该证明系统生成第一个证明之前，ZK证明系统的设置过程将运行一次，以生成一些称为“设置数据”的信息。在可信设置过程中，一个或多个个体生成一些随机性，这些随机性被合并到设置数据中，并且需要假设这些个体中至少有一个删除了他们合并到设置数据中的随机性。实践中有两种常见的信任假设模型。 “诚实的大多数”信任假设表明，人数为N的一组人中，超过一半的人在与系统的某些特定交互中表现是诚实的，这是区块链常用的信任假设。 “1 / N”信任假设表明，在人数为N的一组人中，这些人中至少有一个人在与系统的某些特定交互中表现为诚实的，这是基于MPC的工具和应用程序通常使用的信任假设。人们普遍认为，在其他条件相同的情况下，没有信任假设的zkVM比需要信任假设的zkVM更安全。（2）zkVM三难困境：zkVM中速度、效率和简洁性的平衡速度、效率和简洁性都是可扩展的属性。所有这些因素都会增加zkVM的最终用户成本。如何在评估中对它们进行权衡取决于应用程序。通常，最快的解决方案并不是最有效或最简洁的，最简洁的解决方案并不是最快或最有效的，以此类推。在解释它们之间的关系之前，让我们先来定义一下各个属性。速度 · 证明者生成证明的速度有多快 · 以挂钟时间计算，即计算从开始到结束所经过的时间应该根据具体的测试程序、输入和系统来定义和衡量速度，以确保可以对速度进行定量评估。这个指标对于延迟敏感类的应用程序来说是至关重要的，在这些应用程序中，证明的及时可用性是必不可少的，但是它也带来了更高的开销和更大的证明。效率 · 证明者消耗的资源，越少越好。 · 近似于用户时间，即程序代码所花费的计算机时间。证明者消耗两种资源：内核时间和空间。因此，效率可以细分为内核时间效率和空间效率。内核时间效率：prover跨所有内核运行的平均时间乘以运行prover的核心数量。对于单核prover来说，内核时间消耗和速度是一回事。对于在多核系统上以多核模式运行的多核功能prover来说，内核时间消耗和速度不是一回事。如果一个程序在5秒内充分利用了5个内核或线程，那么这将是25秒的用户时间和5秒的挂钟时间。空间效率：指已使用的存储容量，如RAM。将用户时间作为运行计算所消耗的能量的代理是非常有趣的。在几乎所有内核都被充分利用的情况下，CPU的能量消耗应该保持相对恒定。在这种情况下，一个受CPU限制的、主要是用户模式的代码执行所花费的用户时间应该大致与代码执行所消耗的瓦时（即能量）成线性比例。从任何具有足够规模的证明操作的角度来看，节约能源消耗或计算资源的使用应该是一个有趣的问题，因为证明的能源费用（或云计算费用）是相当大的操作成本。由于这些原因，用户时间是一个有趣的衡量标准。较低的证明成本允许服务提供商将较低的证明价格传递给成本敏感型客户。这两种效率都与证明过程的能量消耗和证明过程所使用的资金量有关，而资金量又与证明的财务成本有关。为了使衡量效率的定义可操作，该定义必须与一个或多个测试程序、每个程序的一个或多个测试输入以及一个或多个测试系统相关。简洁性 · 生成的证明的大小和验证它们的复杂性简洁性是三个不同指标的组合，按证明验证的复杂性进一步细分为： · 证明大小：证明的物理大小，通常以千字节为单位。 · 证明验证时间：验证证明所需的时间。 · 证明验证空间：证明验证时的内存使用情况。验证通常是单核操作，因此在此情境中，速度和内核时间效率通常是一回事。与速度和效率一样，简洁性的定义需要指定测试程序、测试输入和测试系统。定义了每个性能属性后，我们将演示优化一个属性而非其他属性所产生的影响。 · 速度：快速的证明生成导致证明更大，但证明验证速度较慢。生成证明消耗的资源越多，效率越低。 · 简洁性：Prover需要更多的时间来压缩证明。但证明验证速度很快。证明越简洁，计算开销就越高。 · 效率：最大限度地减少资源使用，将减缓证明生成的速度，降低证明的简洁性。一般来说，针对一方面进行优化意味着另一方面得不到优化，因此需要进行多维分析，以便在逐个案例的基础上选择最佳解决方案。在评估中对这些属性进行权衡的一个好方法可能就是为每个属性定义可接受的程度，然后确定哪些属性是最重要的。应该对最重要的属性进行优化，同时在所有其他属性上保持足够好的水平。下面我们总结了各属性及其关键考虑因素：来源：金色财经

金色财经2024-05-28

24小时热点