Zcash 称 Ironwood 的证明排除了不可检测的伪造漏洞

cointelegraphXuất bản vào 2026-07-29Cập nhật gần nhất vào 2026-07-29

Tóm tắt

Zcash研究人员已完成对Ironwood的形式化验证,发布了一份机器可验证证明,确认该网络的新匿名资产池在其声明的密码学假设下不存在不可检测的伪造漏洞。 该项目周二宣布,该证明使用Lean编程语言编写,包含超过2700条定理,由三组研究人员和密码学家耗时一个多月完成。这项工作确立了一项名为"余额完整性"的安全特性,旨在确保匿名池支付的总价值不会超过公开转入的价值。 证明涵盖了实现该特性所需的组件,包括Ironwood的零知识证明系统、电路规则和账本级会计处理,但未涉及Ironwood独立的隐私保障功能。 Ironwood通过Zcash的NU6.3升级引入,旨在修复其Orchard匿名池中发现的一个理论上可能允许不可检测地伪造ZEC的漏洞。开发者表示未发现该漏洞被利用的证据。新池的设计旨在恢复对Zcash供应完整性的信心。 从Orchard迁移的资金必须经过一个称为"转闸"的公共会计检查点,该机制旨在防止任何假设中多出的代币进入Ironwood。随着资金离开Orchard,此过程也可能为旧池是否曾被利用提供越来越多的证据。

Zcash 研究人员已经完成了对 Ironwood 的形式化验证,发布了一份机器可检查的证明,表明该网络的新匿名池在其声明的密码学假设下不包含不可检测的伪造漏洞。

周二,Tachyon 项目表示,这份用 Lean 编程语言编写的证明包含了超过 2,700 个定理,由三组研究人员和密码学家花费了一个多月时间完成。这项工作建立了一个名为 "余额完整性" 的安全属性,旨在确保匿名池不能支付超出公开存入总值的资产。

研究人员表示,该证明涵盖了实现该属性所需的组件,包括 Ironwood 的零知识证明系统、电路规则和账本级会计处理。它不涵盖 Ironwood 独立的隐私保证。

Ironwood 是通过 Zcash 的 NU6.3 升级引入的,旨在应对在其 Orchard 匿名池中发现的一个漏洞,该漏洞理论上可能实现不可检测的 ZEC 伪造。Zcash 开发人员表示,没有发现该漏洞曾被利用的证据。新匿名池旨在恢复人们对 Zcash 供应完整性的信心。

从 Orchard 迁移的资金必须通过一个被称为 "旋转门" 的公共会计检查点,该检查点旨在防止任何假想的超额币进入 Ironwood。随着资金离开 Orchard,该过程也可能提供越来越多的证据,以表明旧的匿名池是否曾被利用。

相关:为何 ZEC 在 Zcash 修复匿名池漏洞后仍下跌 40%

Tiền kỹ thuật số thịnh hành

Câu hỏi Liên quan

QZcash 的 Ironwood 项目正式验证了什么?

AZcash 的研究人员完成了对 Ironwood 的形式化验证,发布了一份机器检查证明,确认在其声明的密码学假设下,这个新的屏蔽资金池不存在无法被检测的伪造漏洞。

Q关于 Ironwood 的安全性证明涉及哪些方面,又排除了什么?

A该证明涵盖了确保该安全属性所需的组件,包括 Ironwood 的零知识证明系统、电路规则和账本级核算。但它并未覆盖 Ironwood 独立的隐私保证。

QIronwood 是为了应对什么漏洞而推出的?

AIronwood 是通过 Zcash 的 NU6.3 升级引入的,旨在应对其 Orchard 屏蔽资金池中发现的一个漏洞,该漏洞理论上可能实现无法被检测的 ZEC 伪造。Zcash 开发者表示没有发现该漏洞被利用的证据。

QIronwood 如何确保资金不会携带超额价值进入?

A从 Orchard 迁移的资金必须通过一个被称为“旋转门”的公共核算检查点,这个设计旨在防止任何假想中的超额代币进入 Ironwood。

QOrchard 资金池资金流出的过程有何作用?

A随着资金离开 Orchard,这一过程也可能提供越来越多的证据,来表明旧的资金池是否曾被利用过。

Nội dung Liên quan

Circle đạt được cột mốc quan trọng trong lĩnh vực quy định, nhận được giấy phép hoạt động ủy thác từ Bộ Dịch vụ Tài chính Bang New York (NYDFS)

Công ty dịch vụ tài chính và stablecoin Circle đã đạt được một cột mốc quan trọng trong nỗ lực trở thành một trong những công ty được quản lý chặt chẽ nhất trong ngành công nghiệp tiền mã hóa. Công ty thông báo đã nhận được Điều lệ Ủy thác với Mục đích Hạn chế từ Sở Dịch vụ Tài chính Tiểu bang New York (NYDFS), cho phép mở rộng hoạt động tại tiểu bang này. Theo điều lệ mới, Circle có thể cung cấp dịch vụ lưu ký tài sản, phát hành stablecoin được tiểu bang phê duyệt và quản lý các khoản dự trữ hỗ trợ chúng. NYDFS đã đăng ký Circle Internet Trust Company với tư cách là một công ty ủy thác có phạm vi hoạt động hạn chế. Đây là loại giấy phép mà các công ty như Mastercard và Galaxy Digital cũng mới nhận được gần đây. Circle coi đây là sự xác nhận cam kết của họ với các tiêu chuẩn cao nhất về bảo mật, minh bạch và tuân thủ. Đồng sáng lập kiêm Giám đốc điều hành Jeremy Allaire nhấn mạnh rằng việc có được giấy phép này là một mục tiêu lâu dài của Circle, và NYDFS là cơ quan quản lý tiêu chuẩn toàn cầu về tài sản kỹ thuật số. Việc phê duyệt giấy phép này diễn ra sau khi Circle nhận được sự chấp thuận từ Văn phòng Kiểm soát Tiền tệ Hoa Kỳ (OCC) để thành lập Circle National Trust, đưa hoạt động phát hành stablecoin của công ty dưới sự giám sát của liên bang.

cryptonews.ru12 phút trước

Circle đạt được cột mốc quan trọng trong lĩnh vực quy định, nhận được giấy phép hoạt động ủy thác từ Bộ Dịch vụ Tài chính Bang New York (NYDFS)

cryptonews.ru12 phút trước

Tiền điện tử giảm giá: Bitcoin ở Nga có thể trở nên rẻ hơn thị trường thế giới

Kể từ ngày 1 tháng 9 năm 2026, luật về tiền mã hóa có hiệu lực tại Nga, thiết lập một môi trường giao dịch được cấp phép với các sàn giao dịch, công ty môi giới và kho lưu ký kỹ thuật số chính thức. Tuy nhiên, mô hình này có thể dẫn đến việc Bitcoin và các tài sản số khác được giao dịch trong khuôn khổ hợp pháp của Nga với mức chiết khấu so với giá thị trường toàn cầu. Nguyên nhân chính của mức chiết khấu này là rủi ro trừng phạt. Các tài sản đi qua cơ sở hạ tầng được cấp phép của Nga có thể bị các dịch vị chống rửa tiền (AML) đánh dấu rủi ro cao, khiến các sàn giao dịch nước ngoài không muốn chấp nhận chúng. Điều này làm giảm thanh khoản và khiến chủ sở hữu phải bán với giá thấp hơn. Ngoài ra, việc các thợ đào (miner) có thể bán coin nhiều hơn trong nước và các hạn chế trong việc rút tiền ra nước ngoài cũng gây áp lực giảm giá. Về lý thuyết, chênh lệch giá tạo cơ hội cho giao dịch chênh lệch giá (arbitrage): mua rẻ ở Nga và bán đắt ở nước ngoài. Tuy nhiên, trên thực tế, việc này gặp nhiều khó khăn. Các nhãn rủi ro gắn với địa chỉ ví và lịch sử giao dịch, không dễ dàng xóa bỏ. Việc sử dụng các dịch vụ "trộn" tiền (mixer) để che giấu nguồn tiền thậm chí còn làm tăng rủi ro và có thể dẫn đến việc bị từ chối giao dịch. Hơn nữa, các chi phí như phí trung gian, quy trình tuân thủ phức tạp và thời gian xác minh có thể làm xói mòn toàn bộ lợi nhuận tiềm năng. Do đó, thị trường Nga có thể hình thành một "vòng tròn" riêng biệt, nơi tiền mã hóa được giao dịch với mức chiết khấu, nhưng việc kiếm lời ổn định từ chênh lệch này là rất khó khăn, chủ yếu phù hợp với một số ít các tổ chức tài chính hiện có.

cryptonews.ru14 phút trước

Tiền điện tử giảm giá: Bitcoin ở Nga có thể trở nên rẻ hơn thị trường thế giới

cryptonews.ru14 phút trước

Peter Schiff tuyên bố kế hoạch STRC của Strategy gây thiệt hại cho cổ đông MSTR

Ngày 31/7, cổ phiếu của Strategy Inc. (MSTR) chịu áp lực bán mạnh sau báo cáo quý 2. Nhà đầu tư Peter Schiff chỉ trích mục tiêu công khai của công ty là duy trì giá cổ phiếu ưu đãi STRC quanh mức 100 USD. Ông cho rằng điều này tạo ra xung đột lợi ích, khiến các cổ đông phổ thông MSTR bị thiệt hại, thay vì tập trung tối đa hóa giá trị cho họ. Strategy mô tả mục tiêu ổn định giá STRC là một phần trong chiến lược vốn tín dụng kỹ thuật số rộng hơn, nhằm ổn định cơ cấu vốn và tạo kênh tài trợ bổ sung để mua Bitcoin. Cổ phiếu ưu đãi STRC trả cổ tức tiền mặt linh hoạt, được điều chỉnh hàng tháng để khuyến khích giao dịch quanh mệnh giá 100 USD. Công ty đã tăng dự trữ tiền mặt lên khoảng 3,75 tỷ USD, đủ để chi trả cổ tức ưu đãi và lãi vốn trong khoảng 2,1 năm, đồng thời mua lại 288.930 cổ phiếu STRC. Trong khi Schiff lo ngại về việc pha loãng lợi ích cổ đông phổ thông, một số nhà phân tích khác cho rằng các biện pháp này giúp giảm rủi ro tài chính và củng cố cơ cấu vốn. Thách thức sắp tới của Strategy là cân bằng giữa việc mua Bitcoin, nghĩa vụ trả cổ tức ưu đãi, mua lại cổ phiếu và áp lực thị trường lên cổ phiếu phổ thông MSTR.

cryptonews.ru14 phút trước

Peter Schiff tuyên bố kế hoạch STRC của Strategy gây thiệt hại cho cổ đông MSTR

cryptonews.ru14 phút trước

Cuộc lục soát ở Moscow-City liên quan vụ chiếm đoạt 144 triệu rúp

Tại khu phức hợp "Moscow-City", cụ thể là trong tòa tháp "Federation Vostok", một loạt các cuộc khám xét đã được tiến hành tại các văn phòng của một mạng lưới sàn giao dịch tiền mã hóa, liên quan đến vụ án chiếm đoạt 144 triệu rúp. Nạn nhân là một người đàn ông tên Vladimir R., người đã bị thuyết phục bởi những kẻ lừa đảo giả danh nhân viên Cơ quan An ninh Liên bang Nga (FSB) để chuyển khoản tiền lớn cho chúng thông qua một sàn giao dịch tiền mã hóa ở thủ đô. Hiện tại, tất cả các điểm giao dịch này đã tạm thời đóng cửa. Hàng chục người đã bị bắt giữ trong tòa nhà, trong đó tám người đã bị áp dụng biện pháp ngăn chặn. Cùng ngày, Chính phủ Nga đã thông báo lệnh cấm khai thác tiền mã hóa (mining) tại Moscow, vùng Moscow và một phần lãnh thổ tỉnh Kursk. Lệnh cấm này sẽ có hiệu lực từ ngày 15 tháng 8 năm 2026 đến ngày 31 tháng 12 năm 2032. Trước đó vài ngày, vào ngày 21 tháng 7, Quốc hội Nga đã thông qua luật về việc quản lý toàn diện lưu thông tiền tệ kỹ thuật số và quyền kỹ thuật số. Theo luật mới, kể từ ngày 1 tháng 7 năm 2027, chỉ các sàn giao dịch tiền mã hóa và các tổ chức hoạt động trong lĩnh vực này đã đăng ký vào sổ đăng ký nhà nước đặc biệt mới được phép hoạt động.

cryptonews.ru17 phút trước

Cuộc lục soát ở Moscow-City liên quan vụ chiếm đoạt 144 triệu rúp

cryptonews.ru17 phút trước

Giao dịch

Giao ngay

Bài viết Nổi bật

Làm thế nào để Mua CAP

Chào mừng bạn đến với HTX.com! Chúng tôi đã làm cho mua Cap (CAP) trở nên đơn giản và thuận tiện. Làm theo hướng dẫn từng bước của chúng tôi để bắt đầu hành trình tiền kỹ thuật số của bạn.Bước 1: Tạo Tài khoản HTX của BạnSử dụng email hoặc số điện thoại của bạn để đăng ký tài khoản miễn phí trên HTX. Trải nghiệm hành trình đăng ký không rắc rối và mở khóa tất cả tính năng. Nhận Tài khoản của tôiBước 2: Truy cập Mua Crypto và Chọn Phương thức Thanh toán của BạnThẻ Tín dụng/Ghi nợ: Sử dụng Visa hoặc Mastercard của bạn để mua Cap (CAP) ngay lập tức.Số dư: Sử dụng tiền từ số dư tài khoản HTX của bạn để giao dịch liền mạch.Bên thứ ba: Chúng tôi đã thêm những phương thức thanh toán phổ biến như Google Pay và Apple Pay để nâng cao sự tiện lợi.P2P: Giao dịch trực tiếp với người dùng khác trên HTX.Thị trường mua bán phi tập trung (OTC): Chúng tôi cung cấp những dịch vụ được thiết kế riêng và tỷ giá hối đoái cạnh tranh cho nhà giao dịch.Bước 3: Lưu trữ Cap (CAP) của BạnSau khi mua Cap (CAP), lưu trữ trong tài khoản HTX của bạn. Ngoài ra, bạn có thể gửi đi nơi khác qua chuyển khoản blockchain hoặc sử dụng để giao dịch những tiền kỹ thuật số khác.Bước 4: Giao dịch Cap (CAP)Giao dịch Cap (CAP) dễ dàng trên thị trường giao ngay của HTX. Chỉ cần truy cập vào tài khoản của bạn, chọn cặp giao dịch, thực hiện giao dịch và theo dõi trong thời gian thực. Chúng tôi cung cấp trải nghiệm thân thiện với người dùng cho cả người mới bắt đầu và người giao dịch dày dạn kinh nghiệm.

Tổng lượt xem 384Xuất bản vào 2026.06.26Cập nhật vào 2026.06.26

Làm thế nào để Mua CAP

Làm thế nào để Mua ANSEM

Chào mừng bạn đến với HTX.com! Chúng tôi đã làm cho mua The Black Bull (ANSEM) trở nên đơn giản và thuận tiện. Làm theo hướng dẫn từng bước của chúng tôi để bắt đầu hành trình tiền kỹ thuật số của bạn.Bước 1: Tạo Tài khoản HTX của BạnSử dụng email hoặc số điện thoại của bạn để đăng ký tài khoản miễn phí trên HTX. Trải nghiệm hành trình đăng ký không rắc rối và mở khóa tất cả tính năng. Nhận Tài khoản của tôiBước 2: Truy cập Mua Crypto và Chọn Phương thức Thanh toán của BạnThẻ Tín dụng/Ghi nợ: Sử dụng Visa hoặc Mastercard của bạn để mua The Black Bull (ANSEM) ngay lập tức.Số dư: Sử dụng tiền từ số dư tài khoản HTX của bạn để giao dịch liền mạch.Bên thứ ba: Chúng tôi đã thêm những phương thức thanh toán phổ biến như Google Pay và Apple Pay để nâng cao sự tiện lợi.P2P: Giao dịch trực tiếp với người dùng khác trên HTX.Thị trường mua bán phi tập trung (OTC): Chúng tôi cung cấp những dịch vụ được thiết kế riêng và tỷ giá hối đoái cạnh tranh cho nhà giao dịch.Bước 3: Lưu trữ The Black Bull (ANSEM) của BạnSau khi mua The Black Bull (ANSEM), lưu trữ trong tài khoản HTX của bạn. Ngoài ra, bạn có thể gửi đi nơi khác qua chuyển khoản blockchain hoặc sử dụng để giao dịch những tiền kỹ thuật số khác.Bước 4: Giao dịch The Black Bull (ANSEM)Giao dịch The Black Bull (ANSEM) dễ dàng trên thị trường giao ngay của HTX. Chỉ cần truy cập vào tài khoản của bạn, chọn cặp giao dịch, thực hiện giao dịch và theo dõi trong thời gian thực. Chúng tôi cung cấp trải nghiệm thân thiện với người dùng cho cả người mới bắt đầu và người giao dịch dày dạn kinh nghiệm.

Tổng lượt xem 342Xuất bản vào 2026.07.01Cập nhật vào 2026.07.01

Làm thế nào để Mua ANSEM

Làm thế nào để Mua DATA

Chào mừng bạn đến với HTX.com! Chúng tôi đã làm cho mua DATA Network (DATA) trở nên đơn giản và thuận tiện. Làm theo hướng dẫn từng bước của chúng tôi để bắt đầu hành trình tiền kỹ thuật số của bạn.Bước 1: Tạo Tài khoản HTX của BạnSử dụng email hoặc số điện thoại của bạn để đăng ký tài khoản miễn phí trên HTX. Trải nghiệm hành trình đăng ký không rắc rối và mở khóa tất cả tính năng. Nhận Tài khoản của tôiBước 2: Truy cập Mua Crypto và Chọn Phương thức Thanh toán của BạnThẻ Tín dụng/Ghi nợ: Sử dụng Visa hoặc Mastercard của bạn để mua DATA Network (DATA) ngay lập tức.Số dư: Sử dụng tiền từ số dư tài khoản HTX của bạn để giao dịch liền mạch.Bên thứ ba: Chúng tôi đã thêm những phương thức thanh toán phổ biến như Google Pay và Apple Pay để nâng cao sự tiện lợi.P2P: Giao dịch trực tiếp với người dùng khác trên HTX.Thị trường mua bán phi tập trung (OTC): Chúng tôi cung cấp những dịch vụ được thiết kế riêng và tỷ giá hối đoái cạnh tranh cho nhà giao dịch.Bước 3: Lưu trữ DATA Network (DATA) của BạnSau khi mua DATA Network (DATA), lưu trữ trong tài khoản HTX của bạn. Ngoài ra, bạn có thể gửi đi nơi khác qua chuyển khoản blockchain hoặc sử dụng để giao dịch những tiền kỹ thuật số khác.Bước 4: Giao dịch DATA Network (DATA)Giao dịch DATA Network (DATA) dễ dàng trên thị trường giao ngay của HTX. Chỉ cần truy cập vào tài khoản của bạn, chọn cặp giao dịch, thực hiện giao dịch và theo dõi trong thời gian thực. Chúng tôi cung cấp trải nghiệm thân thiện với người dùng cho cả người mới bắt đầu và người giao dịch dày dạn kinh nghiệm.

Tổng lượt xem 340Xuất bản vào 2026.07.01Cập nhật vào 2026.07.01

Làm thế nào để Mua DATA

Thảo luận

Chào mừng đến với Cộng đồng HTX. Tại đây, bạn có thể được thông báo về những phát triển nền tảng mới nhất và có quyền truy cập vào thông tin chuyên sâu về thị trường. Ý kiến ​​của người dùng về giá của M (M) được trình bày dưới đây.

活动图片