Zcash tuyên bố bằng chứng Ironwood loại trừ các lỗi làm giả không thể phát hiện

cointelegraphPublié le 2026-07-29Dernière mise à jour le 2026-07-29

Résumé

Các nhà nghiên cứu Zcash đã hoàn tất xác minh chính thức cho Ironwood, công bố một bằng chứng được kiểm tra bằng máy tính chứng minh rằng shielded pool (bể chắn) mới của mạng lưới không chứa lỗi làm giả tiền không thể phát hiện dưới các giả định mật mã đã nêu. Bằng chứng, được viết bằng ngôn ngữ lập trình Lean, bao gồm hơn 2.700 định lý và cần hơn một tháng để ba nhóm nghiên cứu hoàn thành. Công trình này thiết lập một thuộc tính bảo mật gọi là tính toàn vẹn số dư, nhằm đảm bảo shielded pool không thể chi trả giá trị lớn hơn lượng đã được công khai đưa vào. Ironwood được giới thiệu qua bản nâng cấp NU6.3 của Zcash để đối phó với một lỗ hổng bảo mật tiềm tàng đã được phát hiện trong shielded pool Orchard trước đó, vốn trên lý thuyết có thể cho phép làm giả ZEC không thể phát hiện. Nhóm phát triển Zcash cho biết không có bằng chứng nào cho thấy lỗ hổng này bị khai thác. Bể chắn mới được thiết kế để khôi phục niềm tin vào tính toàn vẹn nguồn cung của Zcash.

Các nhà nghiên cứu Zcash đã hoàn tất xác minh chính thức cho Ironwood, công bố một bằng chứng được kiểm tra bằng máy rằng nhóm được bảo vệ mới của mạng lưới không chứa các lỗi làm giả không thể phát hiện dưới các giả định mật mã đã được nêu ra.

Vào thứ Ba, Dự án Tachyon cho biết rằng bằng chứng này, được viết bằng ngôn ngữ lập trình Lean, bao gồm hơn 2.700 định lý và đã mất hơn một tháng để ba nhóm nhà nghiên cứu và chuyên gia mật mã hoàn thành. Công trình này thiết lập một thuộc tính bảo mật được gọi là tính toàn vẹn số dư, được thiết kế để đảm bảo nhóm được bảo vệ không thể chi trả giá trị nhiều hơn giá trị đã được công khai đưa vào đó.

Các nhà nghiên cứu cho biết bằng chứng bao gồm các thành phần cần thiết cho thuộc tính đó, bao gồm hệ thống bằng chứng không tiết lộ thông tin (zero-knowledge proof) của Ironwood, các quy tắc mạch và kế toán ở cấp độ sổ cái. Nó không bao gồm các đảm bảo riêng tư riêng biệt của Ironwood.

Ironwood được giới thiệu thông qua bản nâng cấp NU6.3 của Zcash để đối phó với một lỗ hổng bảo mật được phát hiện trong nhóm được bảo vệ Orchard của nó, về lý thuyết có thể cho phép làm giả ZEC không thể phát hiện. Các nhà phát triển Zcash cho biết họ không tìm thấy bằng chứng nào cho thấy lỗi này đã bị khai thác. Nhóm mới được thiết kế để khôi phục niềm tin vào tính toàn vẹn nguồn cung của Zcash.

Các quỹ di chuyển từ Orchard phải đi qua một điểm kiểm tra kế toán công khai được gọi là cửa quay, được thiết kế để ngăn chặn bất kỳ đồng coin dư thừa giả định nào xâm nhập vào Ironwood. Khi các quỹ rời khỏi Orchard, quá trình này cũng có thể cung cấp bằng chứng ngày càng tăng về việc liệu nhóm cũ có bị khai thác hay không.

Liên quan: Tại sao ZEC giảm 40% ngay cả sau khi Zcash vá lỗi nhóm được bảo vệ

Cryptos en tendance

Questions liées

QCác nhà nghiên cứu Zcash đã hoàn thành điều gì đối với Ironwood?

AHọ đã hoàn thành việc xác minh hình thức (formal verification) cho Ironwood, xuất bản một chứng minh được kiểm tra bằng máy chứng minh rằng pool được bảo vệ mới của mạng lưới không chứa lỗi làm giả không thể phát hiện dưới các giả định mật mã đã nêu.

QThuộc tính bảo mật 'balance integrity' nhằm đảm bảo điều gì?

AThuộc tính 'balance integrity' được thiết kế để đảm bảo rằng pool được bảo vệ (shielded pool) không thể chi trả giá trị lớn hơn giá trị đã được công khai đưa vào nó, tức là ngăn chặn việc tạo ra tiền giả.

QBản nâng cấp NU6.3 của Zcash giới thiệu Ironwood để đối phó với vấn đề gì?

ANU6.3 giới thiệu Ironwood để đối phó với một lỗ hổng bảo mật được phát hiện trong pool được bảo vệ Orchard trước đó, về lý thuyết có thể cho phép làm giả ZEC không thể phát hiện.

QQuá trình di chuyển tiền từ Orchard sang Ironwood phải tuân theo cơ chế nào để đảm bảo an toàn?

ATiền di chuyển từ Orchard phải đi qua một điểm kiểm tra kế toán công khai được gọi là 'turnstile', được thiết kế để ngăn chặn bất kỳ đồng tiền vượt quá giả định nào đi vào Ironwood.

QChứng minh về Ironwood không bao gồm khía cạnh nào?

AChứng minh không bao gồm các đảm bảo riêng tư (privacy guarantees) riêng biệt của Ironwood.

Lectures associées

Les actions chutent plus fort que la crypto, où est passée l’argent ?

En juillet, les marchés boursiers mondiaux ont connu des chutes spectaculaires, en particulier le Kospi sud-coréen qui a déclenché des mécanismes de suspension (circuit breakers) après des baisses de plus de 10% et 6% sur deux jours. Des valeurs technologiques comme SK Hynix, pourtant bénéficiaires, se sont effondrées en raison de résultats légèrement inférieurs aux attentes. Les ETF à effet de levier sur ces titres ont subi des pertes dépassant 80%. Contrairement aux attentes, le Bitcoin n'a pas servi de refuge. Sa relative stabilité s'explique par une correction anticipée en mai-juin, lors de sorties massives des ETF américains. Les capitaux désertant les actions se sont principalement redirigés vers les liquidités, les obligations d'État et surtout l'or, dont le prix a fortement augmenté. L'analyse révèle que le Bitcoin et l'or ne sont plus perçus comme des actifs similaires : l'or est privilégié pour la préservation du capital, tandis que le Bitcoin reste un actif risqué recherchant la performance. La crise actuelle est interprétée comme un « déléveraging » forcé, ciblant les positions les plus spéculatives, notamment dans les semi-conducteurs. Des facteurs comme la hausse des taux au Japon et l'introduction potentielle d'un nouveau concurrent (ChangXin Memory) ont accentué la pression. Les perspectives pour le Bitcoin dépendent désormais d'un assouplissement de la politique monétaire mondiale et d'une clarification réglementaire, comme l'adoption du projet de loi CLARITY aux États-Unis. Bien que n'étant pas un havre de paix immédiat, le Bitcoin, ayant déjà subi sa correction, pourrait retrouver son attractivité pour les investisseurs en quête de diversification une fois la tempête passée.

marsbitIl y a 2 h

Les actions chutent plus fort que la crypto, où est passée l’argent ?

marsbitIl y a 2 h

Trading

Spot

Articles tendance

Qu'est ce que DOGE M

Doge Matrix ($doge m) : La Nouvelle Génération de Cryptomonnaie Axée sur la Communauté Introduction Dans le paysage en constante évolution des cryptomonnaies, de nouveaux projets émergent constamment, chacun visant à capturer l'intérêt des investisseurs et des passionnés. L'un des derniers entrants dans ce domaine est Doge Matrix, représenté par le symbole boursier $doge m. Ce projet a attiré l'attention grâce à ses racines dans la culture des mèmes populaire entourant Dogecoin, établissant sa place dans l'espace web3. Cet article vise à fournir une analyse complète de Doge Matrix, couvrant son aperçu, son créateur, ses investisseurs, sa fonctionnalité, sa chronologie et ses aspects notables. Qu'est-ce que Doge Matrix ($doge m) ? Doge Matrix est un projet de cryptomonnaie axé sur la communauté qui semble s'appuyer sur l'attrait généralisé de Dogecoin, une monnaie numérique connue pour sa mascotte Shiba Inu et ses origines de mème. Bien que les objectifs globaux de Doge Matrix ne soient pas largement définis, il se caractérise par un engagement à exploiter l'implication et le soutien de la communauté. Contrairement aux cryptomonnaies traditionnelles qui mettent souvent l'accent sur l'utilité ou la valeur intrinsèque à travers des technologies sous-jacentes, Doge Matrix se positionne dans un espace qui embrasse le phénomène culturel des cryptomonnaies, attirant particulièrement ceux qui résonnent avec l'éthique des actifs basés sur des mèmes. S'appuyant sur les forces de la communauté Dogecoin, Doge Matrix opère comme partie d'un écosystème plus large, invitant à la participation et à l'engagement des utilisateurs qui partagent un intérêt pour la cryptomonnaie et le paysage numérique. Qui est le Créateur de Doge Matrix ($doge m) ? L'identité du créateur de Doge Matrix reste inconnue. Ce manque de transparence n'est pas un phénomène rare dans l'espace des cryptomonnaies, où certains projets sont lancés sans révéler l'identité de leurs fondateurs. L'absence d'informations concernant l'équipe fondatrice peut soulever des questions parmi les investisseurs potentiels sur la responsabilité et la direction du projet. Qui sont les Investisseurs de Doge Matrix ($doge m) ? À l'heure actuelle, il n'existe pas d'informations publiques détaillant les investisseurs ou les fondations d'investissement qui soutiennent Doge Matrix. Le projet semble s'appuyer principalement sur le soutien de la communauté plutôt que sur des investissements institutionnels. Ce modèle s'aligne avec la nature axée sur la communauté de l'initiative, favorisant un environnement où la direction du projet est façonnée par ses participants plutôt que dictée par quelques investisseurs financiers. Comment Fonctionne Doge Matrix ($doge m) ? Les spécificités concernant les mécanismes opérationnels de Doge Matrix sont quelque peu vagues, reflétant une tendance plus large des projets dans l'espace des mèmes où les fonctionnalités innovantes ne sont pas toujours clairement articulées. Néanmoins, Doge Matrix semble conçu pour s'intégrer dans l'écosystème de cryptomonnaie existant en encourageant la participation des utilisateurs tout en s'appuyant sur les références culturelles familières associées à Dogecoin. Ses caractéristiques potentiellement uniques dérivent des interactions communautaires plutôt que des avancées technologiques, mettant l'accent sur les expériences partagées et la collaboration entre les détenteurs de jetons. Bien que les innovations exactes n'aient pas été explicitement décrites, le projet semble créer un espace où les membres de la communauté peuvent s'engager, partager des idées et propulser le potentiel du projet en avant. Chronologie de Doge Matrix ($doge m) Réfléchir à la chronologie du projet révèle des événements notables qui ont défini son parcours jusqu'à présent : 25 novembre 2024 : Doge Matrix a atteint sa valeur la plus élevée de tous les temps, marquant une étape significative dans son histoire précoce. 1er janvier 2025 : À l'inverse, Doge Matrix a atteint sa valeur la plus basse de tous les temps, illustrant la volatilité souvent associée aux cryptomonnaies, en particulier dans les premières étapes du cycle de vie d'un projet. En cours : Le projet continue d'être activement échangé et soutenu par sa communauté, bien que des jalons ou objectifs futurs spécifiques n'aient pas encore été divulgués. Points Clés sur Doge Matrix ($doge m) Focalisation sur la Communauté Au cœur de Doge Matrix se trouve un engagement envers l'engagement communautaire. Le projet prospère sur le principe de collaboration et d'objectifs partagés parmi ses membres, soulignant l'importance de l'effort collectif. Contrairement aux projets centralisés qui ont souvent une structure de leadership définie, Doge Matrix présente actuellement une approche plus fluide de la gouvernance, où la voix de chaque membre de la communauté compte. Volatilité Le marché des cryptomonnaies est notoire pour sa volatilité, et Doge Matrix ne fait pas exception. Son historique de prix reflète des fluctuations significatives entre des valeurs élevées et basses, ce qui est typique de nombreuses nouvelles cryptomonnaies mais souligne les risques associés à l'investissement dans des jetons émergents. Manque d'Informations Détailées L'une des caractéristiques les plus frappantes de Doge Matrix est la rareté d'informations détaillées concernant ses fondements technologiques et ses mécanismes opérationnels. Cette ambiguïté nécessite que les investisseurs potentiels effectuent une diligence raisonnable approfondie avant de s'engager avec le projet. Conclusion En résumé, Doge Matrix ($doge m) illustre une nouvelle vague de projets de cryptomonnaie qui s'appuient fortement sur l'engagement communautaire et la pertinence culturelle. Bien qu'il manque certains détails—tels qu'un leadership clair, des objectifs définis et une fonctionnalité détaillée—le projet a réussi à susciter l'intérêt au sein de la communauté crypto, tirant parti de l'attrait établi de la culture des mèmes. Comme pour tout investissement dans l'espace des cryptomonnaies, comprendre les risques inhérents et mener des recherches approfondies est essentiel pour les participants potentiels. Doge Matrix se dresse comme un rappel de la nature dynamique, parfois imprévisible de l'industrie crypto, marquée par une évolution constante et un enthousiasme pour les initiatives axées sur la communauté.

471 vues totalesPublié le 2025.02.03Mis à jour le 2025.02.03

Qu'est ce que DOGE M

Qu'est ce que $M

Comprendre Mantis ($M) : Une nouvelle ère dans l'interopérabilité inter-chaînes Dans le paysage en constante évolution du Web3 et des cryptomonnaies, de nouveaux projets s'efforcent d'offrir des solutions innovantes visant à améliorer l'expérience utilisateur et à élargir les possibilités fonctionnelles au sein de l'écosystème financier décentralisé. Un tel projet qui attire l'attention est Mantis ($M), un protocole pionnier fondé sur les principes de l'interopérabilité inter-chaînes et des règlements basés sur l'intention. Cet article explore les aspects essentiels de Mantis, y compris sa fonctionnalité de base, ses créateurs, son soutien à l'investissement, ses caractéristiques innovantes et ses jalons critiques. Qu'est-ce que Mantis ($M) ? Mantis est décrit comme un protocole de règlement d'intention multi-domaines qui simplifie les interactions inter-chaînes, permettant aux utilisateurs d'exécuter des transactions financières complexes sur diverses plateformes blockchain de manière transparente. Le protocole fonctionne à travers trois couches principales : Expression de l'intention : Les utilisateurs peuvent exprimer leurs objectifs de transaction en utilisant un langage naturel facilité par le DISE LLM, un modèle de langage AI avancé. Par exemple, un utilisateur pourrait exprimer le souhait d'échanger de l'Ethereum (ETH) contre du Solana (SOL) avec une tolérance de glissement spécifique de 1 %. Exécution : Cette couche utilise un réseau de solveurs qui rivalisent pour satisfaire les intentions des utilisateurs. Les transactions sont exécutées à l'aide de mécanismes tels que la Coïncidence des Désirs (CoWs) et les Enchères de Flux de Commandes (OFAs), qui garantissent que les demandes des utilisateurs sont satisfaites de manière optimale. Règlement : Tirant parti du protocole de Communication Inter-Blockchain (IBC), Mantis permet des transactions inter-chaînes atomiques, permettant aux utilisateurs d'opérer sur diverses chaînes prises en charge, y compris Ethereum, Solana et Cosmos. Mantis est conçu pour introduire une génération de rendement native pour les actifs inactifs, utilisant des preuves cryptographiques pour maintenir l'intégrité des transactions tout au long du processus. Créateurs et Équipe de Développement Mantis a été conçu par la Composable Foundation, une organisation axée sur la recherche, reconnue pour son accent sur les solutions d'interopérabilité blockchain. Cette fondation collabore avec des institutions académiques de renom, y compris l'Université de Harvard et l'Université de Lisbonne, contribuant à des efforts de recherche et développement approfondis qui informent l'architecture et la fonctionnalité de Mantis. L'engagement de la Composable Foundation à favoriser l'innovation dans l'espace blockchain positionne Mantis comme une solution robuste pour la demande croissante d'interopérabilité entre plusieurs réseaux blockchain. Investisseurs et Soutien Bien que les détails spécifiques concernant les investisseurs individuels n'aient pas été divulgués publiquement, Mantis bénéficie d'un soutien substantiel de diverses entités, y compris : Subventions écosystémiques des chaînes activées par l'IBC, qui soutiennent la croissance et l'intégration du protocole au sein des écosystèmes de finance décentralisée. Partenariats stratégiques avec des fournisseurs d'infrastructure qui améliorent les capacités réseau de Mantis et ses stratégies de déploiement. Financement via le trésor de la Composable Foundation, garantissant un soutien financier durable pour le développement continu et les coûts opérationnels. Ces efforts collaboratifs reflètent un consensus parmi les parties prenantes sur l'importance d'améliorer la fonctionnalité inter-chaînes et le potentiel d'utilité des innovations infrastructurelles de Mantis. Innovations Clés Mantis se distingue par plusieurs innovations pionnières qui améliorent sa fonctionnalité et son utilité : Intentions Agnostiques aux Chaînes : Les utilisateurs peuvent initier des transactions depuis n'importe quelle chaîne prise en charge tout en se réglant sur une autre. Cette flexibilité donne du pouvoir aux utilisateurs, favorisant une interaction accrue entre différentes plateformes. Interface Alimentée par l'IA : L'intégration du DISE LLM permet aux utilisateurs de réaliser des opérations DeFi complexes en utilisant un langage naturel, simplifiant ainsi les interactions et rendant la technologie blockchain accessible à un public plus large. Capture de MEV Inter-Domaines : Mantis crée un marché interne pour la valeur extractible maximale (MEV) à travers des compétitions entre solveurs. Cette approche innovante permet une plus grande efficacité et extraction de valeur dans des transactions complexes. Couche de Règlement Modulaire : Le protocole prend en charge diverses méthodes de vérification, y compris les preuves à connaissance nulle et les rollups optimistes, fournissant un cadre polyvalent qui peut s'adapter aux technologies blockchain émergentes. Chronologie Historique Le développement de Mantis est marqué par plusieurs jalons critiques qui tracent sa trajectoire et sa croissance : | Année | Jalons | |————|————————————————————————-| | 2022 | Développement du concept initial au sein de la division de recherche de la Composable Foundation. | | T3 2024 | Lancement du testnet avec des capacités de pontage entre Solana et Ethereum. | | T1 2025 | Événement de Génération de Token (TGE) anticipé en parallèle du lancement du mainnet. | | T2 2025 | Intégration attendue du DISE LLM et expansion des capacités inter-chaînes. | | H2 2025 | Soutien prévu pour plus de 15 chaînes grâce à de nouvelles mises à niveau de l'IBC. | Cette chronologie décrit l'évolution de Mantis, des discussions conceptuelles à la mise en œuvre active et aux phases de croissance futures. Stratégie de Croissance de l'Écosystème La stratégie de Mantis pour la croissance de l'écosystème comprend plusieurs initiatives conçues pour encourager la participation des utilisateurs et l'engagement des développeurs : Système de Crédits : Les utilisateurs peuvent gagner des crédits de protocole en fournissant de la liquidité et en participant à des programmes de parrainage. Ces crédits sont échangeables contre des incitations à l'avenir, favorisant une communauté d'utilisateurs robuste. Kit de Développement Logiciel Modulaire (SDK) : Cet ensemble d'outils permet aux développeurs de créer des applications basées sur des modèles axés sur l'intention utilisant l'infrastructure de Mantis, promouvant ainsi l'innovation au sein de son écosystème. Modèle de Gouvernance : À mesure que le protocole mûrit, les détenteurs de tokens $M auront une voix dans la gouvernance du protocole, leur permettant de voter sur les mises à niveau et les changements proposés, renforçant ainsi l'engagement communautaire et la décentralisation. Mantis représente une avancée significative dans le domaine de l'architecture inter-chaînes. En intégrant de manière transparente des algorithmes AI avancés avec un cadre de règlement robuste, Mantis cherche à s'attaquer aux problèmes de fragmentation au sein des écosystèmes multi-chaînes. Son approche innovante privilégie l'amélioration des expériences utilisateur tout en respectant les principes fondamentaux de décentralisation et de sécurité, établissant une nouvelle norme pour l'interopérabilité future des technologies blockchain. Alors que Mantis continue son parcours de croissance et de mise en œuvre, il promet d'être un projet à surveiller de près dans le paysage compétitif du Web3 et de la finance décentralisée. Avec son accent sur le franchissement des frontières et l'élévation de l'engagement des utilisateurs, Mantis est prêt à devenir une partie intégrante des développements futurs dans l'espace des cryptomonnaies.

91 vues totalesPublié le 2025.03.18Mis à jour le 2025.03.18

Qu'est ce que $M

Comment acheter M

Bienvenue sur HTX.com ! Nous vous permettons d'acheter MemeCore (M) 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 MemeCore (M).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 MemeCore (M)Après avoir acheté vos MemeCore (M), 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 MemeCore (M)Tradez facilement MemeCore (M) 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.

904 vues totalesPublié le 2025.07.02Mis à jour le 2026.06.02

Comment acheter M

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 M (M) sont présentées ci-dessous.

活动图片