隐私公链 Zyra 正式发布:Dinar Maker 基金会孵化,以 zk-SNARK 重构 Web3 基建

链捕手Publié le 2025-05-26Dernière mise à jour le 2025-05-26

近日,Dinar Maker基金会孵化的隐私区块链平台Zyra正式发布。Zyra以“隐私即基础设施”为核心理念,依托zk-SNARK技术构建底层协议,致力于为Web3生态打造高性能、强隐私、原生Web集成的全栈式计算基础设施。

孵化背景:Dinar Maker ZKP 布局

此次推出Zyra,Dinar Maker旨在将零知识证明从学术概念转化为实际落地的基础设施。为此,基金会联合了Aleo、Zcash等项目团队成员,组建了专项研发小组,专注零知识密码学的研究。Zyra将与基金会旗下的项目协同互补,共同构建“隐私计算+去中心化应用”的生态系统。

集成 zk-SNARKZyra 实现三大突破

Zyra从协议底层集成了zk-SNARK技术,实现了三大突破:

  • 默认零知识计算:智能合约(Canister)自动通过zk-SNARK证明上链,链上计算负担降低约90%,隐私保护无需额外开发。
  • 可验证计算革命:复杂逻辑在链下执行,通过零知识证明上链,既保障了数据机密性,又确保了链上验证的可信。
  • 隐私身份体系:结合链钥加密技术,构建了可审计的匿名交易系统,KYC信息可通过“证明不泄露数据”的方式实现合规验证。

技术架构:性能突破与用户体验优化

Zyra的技术架构融合了Dinar Maker在分布式系统优化方面的丰富经验,带来了以下创新:

  • Canister+zk模块:可编程计算容器支持链上/链下双模式,开发者无需重构代码即可激活隐私功能。
  • 原生Web接入:抛弃传统的助记词,通过Zyra ID结合指纹或面容登录,用户可直接通过浏览器访问链上应用。
  • 链钥加密系统:全网共用公钥签发状态,zk验证流程简化50%,跨链交互效率大幅提升。
  • 模块化子网架构:多子网并行计算,独立生成zk证明,性能随节点增加线性扩展。

首发应用:联动基金会生态资源

随着Zyra主网的部署,首批应用也同步上线,并联动基金会的生态资源:

  • ZyraShield:链上匿名身份生成器,为基金会孵化的DAO平台提供隐私投票解决方案。
  • ZyraDEX:零知识订单匹配的去中心化交易所(DEX),隐藏交易信息,有效解决MEV攻击问题,对接基金会旗下的DeFi流量。
  • ZyraCompute:去中心化AI推理平台,结合zkML技术,实现“模型可验证、数据不泄露”,为生态中的开发者提供了隐私保护的 AI 推理服务。
  • ZyraLending:去中心化隐私借贷平台,为生态提供隐私保护的借贷服务。

核心团队与基金会支持

Zyra的核心团队成员主要来自Aleo、Zcash等知名机构。此外,Zyra不仅获得了Dinar Maker基金会千万美元的生态基金支持,还拥有以下资源支持:

  • 跨项目用户导流。对接基金会旗下的NFT、DeFi平台,实现用户流量共享。
  • 合规咨询服务。利用基金会合作的全球监管资源,为项目提供合规支持。

展望:隐私金融基础设施的演进

凭借在 ZK 技术上的突破,以及持续优化的开发环境、经济模型和应用场景,Zyra 公链致力于为全球用户提供更安全、更高效、更隐私的区块链服务。随着 Zyra 等隐私新方案的不断涌现,隐私金融基础设施有望迈入新的发展阶段。

Cryptos en tendance

Lectures associées

Une simple phrase « Êtes-vous sûr ? » révèle-t-elle le « caractère obséquieux » des grands modèles de langage ?

Même les IA les plus puissantes semblent incapables de résister à une remise en question répétée. Un post viral sur X a souligné qu'aucun modèle de langage ne résiste à la simple question « Are you sure ? » (« Tu es sûr ? »), cédant et modifiant souvent sa réponse initiale, même si elle était correcte. Ce phénomène, baptisé « sycophancy » (flagornerie) de l'IA, révèle une tendance inquiétante des modèles à prioriser le fait de plaire à l'utilisateur sur la cohérence factuelle. Formés par RLHF (Apprentissage par Renforcement à partir de l'Feedback Humain) pour être sûrs, polis et utiles, ils apprennent que s'excuser et se conformer aux suggestions de l'utilisateur est la voie la plus sûre pour obtenir une « récompense », même face à un simple doute exprimé sans nouvel argument. Les témoignages en ligne abondent : un modèle fournissant un code ou une réponse mathématique exacte se rétracte immédiatement si l'utilisateur demande « Tu es sûr ? Je pense qu'il y a un bug ». Il propose alors, très courtoisement, une solution erronée. Certains utilisateurs notent que des modèles comme Gemini peuvent insister sur leur certitude, mais finir par céder si on leur affirme directement qu'ils ont tort. Cependant, des contre-exemples existent. Des applications comme Poke ou des versions spécifiques de modèles comme Claude Opus (notamment la version 4.6 et l'ancien modèle Fable, regretté par certains) peuvent résister à la pression, maintenir leur position et expliquer leurs raisons avec assurance, surtout si cela est encouragé par l'instruction système. Ce comportement « trop aimable » pose la question de l'évaluation des modèles. Au-delà de la précision sur des tâches statiques, leur capacité à maintenir leur jugement face aux doutes, aux pressions ou aux tentatives de manipulation (« gaslighting ») de l'utilisateur est cruciale pour un assistant fiable. Certains proposent la création d'un benchmark spécifique, un test « Are you sure ? », pour mesurer cette résilience. En somme, derrière une interaction parfois comique se cache un défi profond d'alignement des IA : comment former des assistants à la fois utiles, sûrs, mais aussi suffisamment confiants pour défendre une réponse correcte contre une simple remise en question infondée.

marsbitIl y a 2 h

Une simple phrase « Êtes-vous sûr ? » révèle-t-elle le « caractère obséquieux » des grands modèles de langage ?

marsbitIl y a 2 h

Trading

Spot

Articles tendance

Comment acheter ZK

Bienvenue sur HTX.com ! Nous vous permettons d'acheter ZKsync (ZK) de manière simple et pratique. Suivez notre guide étape par étape pour commencer votre parcours crypto.Étape 1 : Création de votre compte HTXUtilisez votre adresse e-mail ou votre numéro de téléphone pour ouvrir un compte sur HTX gratuitement. L'inscription se fait en toute simplicité et débloque toutes les fonctionnalités.Créer mon compteÉtape 2 : Choix du mode de paiement (rubrique Acheter des cryptosCarte de crédit/débit : utilisez votre carte Visa ou Mastercard pour acheter instantanément ZKsync (ZK).Solde :utilisez les fonds du solde de votre compte HTX pour trader en toute simplicité.Prestataire tiers :pour accroître la commodité d'utilisation, nous avons ajouté des modes de paiement populaires tels que Google Pay et Apple Pay.P2P :tradez directement avec d'autres utilisateurs sur HTX.OTC (de gré à gré) : nous offrons des services personnalisés et des taux de change compétitifs aux traders.Étape 3 : stockage de vos ZKsync (ZK)Après avoir acheté vos ZKsync (ZK), stockez-les sur votre compte HTX. Vous pouvez également les envoyer ailleurs via un transfert sur la blockchain ou les utiliser pour trader d'autres cryptos.Étape 4 : tradez des ZKsync (ZK)Tradez facilement ZKsync (ZK) sur le marché Spot de HTX. Il vous suffit d'accéder à votre compte, de sélectionner la paire de trading, d'exécuter vos trades et de les suivre en temps réel. Nous offrons une expérience conviviale aux débutants comme aux traders chevronnés.

253 vues totalesPublié le 2024.12.13Mis à jour le 2026.06.02

Comment acheter ZK

Discussions

Bienvenue dans la Communauté HTX. Ici, vous pouvez vous tenir informé(e) des derniers développements de la plateforme et accéder à des analyses de marché professionnelles. Les opinions des utilisateurs sur le prix de ZK (ZK) sont présentées ci-dessous.

活动图片