#PROVE# zk-SNARK ngôi sao dự án PROVE Token rơi vào bê bối lỗ hổng mạng, Testnet an ninh bị nghi ngờ
Gần đây, dự án cơ sở hạ tầng chứng minh không kiến thức được chú ý nhiều Succinct Network và đồng tiền gốc PROVE đã rơi vào tranh cãi về an ninh mạng. Một cơ quan kiểm toán an ninh blockchain đã phát hành báo cáo cho biết, mạng thử nghiệm đang hoạt động của nó có nhiều lỗ hổng nguy hiểm, có thể dẫn đến cơ chế staking Token bị vô hiệu hóa, tài sản của người dùng đối mặt với rủi ro, tin tức này nhanh chóng gây hoang mang trong cộng đồng, giá Token PROVE đã giảm trên thị trường thứ cấp.
Theo thông tin từ cơ quan an ninh, thông qua phân tích ngược mã nguồn của mạng thử nghiệm Succinct Network, đã phát hiện ra rằng cơ chế đấu giá người chứng minh cốt lõi của nó có lỗi logic: khi nhiều người chứng minh cùng đặt cược token PROVE để tham gia đấu giá nhiệm vụ, mô-đun khóa đặt cược của hợp đồng thông minh có thể gặp phải độ trễ đồng bộ dữ liệu, dẫn đến việc một số token đặt cược bị tính toán lại, từ đó gây ra lỗ hổng "đặt cược quá mức". Nghiêm trọng hơn, báo cáo chỉ ra rằng hệ thống thanh toán và giải quyết của mạng có lỗ hổng quản lý quyền truy cập, địa chỉ không được ủy quyền có thể thông qua việc làm giả chữ ký giao dịch, vượt qua cơ chế xác thực để lấy phí thanh toán token PROVE của người dùng khác, lỗ hổng này nếu bị khai thác sẽ trực tiếp đe dọa sự an toàn tài sản của người dùng.
Là một giao thức tạo ra bằng chứng không biết với cơ sở hạ tầng phi tập trung dựa trên Ethereum, Succinct Network tập trung vào "máy ảo zk-SNARK nhanh nhất toàn cầu SP1", tuyên bố có thể hoàn thành nhanh chóng việc chứng minh khối trên mạng chính Ethereum. Năng lực công nghệ của họ đã từng thu hút sự chú ý của các nhà đầu tư - vào năm 2024, vòng gọi vốn A trị giá 55 triệu USD do Paradigm dẫn dắt đã biến họ thành một dự án nổi bật trong lĩnh vực zk-SNARK. Đồng PROVE vừa được phát hành vào tháng 5 năm 2025 (tổng cung là 1 tỷ Token), mang trong mình ba chức năng cốt lõi: thanh toán, an ninh và quản trị, sự an toàn và ổn định của nó có mối quan hệ trực tiếp với nền tảng niềm tin của toàn bộ mạng.
Sau khi thông tin về lỗ hổng bị tiết lộ, giá PROVE Token đã giảm hơn 15% trong thời gian ngắn, cộng đồng đã sôi sục thảo luận. Nhiều người tham gia sớm cho biết, lỗ hổng trong Testnet đã phơi bày sự lơ là của đội ngũ dự án trong việc kiểm tra mã và thử nghiệm an toàn, "là một giao thức zero-knowledge chủ yếu về an toàn, nhưng mạng của chính nó lại xuất hiện lỗ hổng an toàn cơ bản, thật sự khó mà thuyết phục được." Một số nhà đầu tư đã bắt đầu nghi ngờ sự trưởng thành của công nghệ dự án, lo ngại liệu Mainnet (dự kiến ra mắt vào quý 4 năm 2025) có thể được triển khai đúng hạn hay không.
Tính đến thời điểm viết bài, Succinct Labs vẫn chưa có phản hồi chính thức về vấn đề lỗ hổng, chỉ cho biết trên diễn đàn cộng đồng rằng "đang xác minh tình hình liên quan". Những người trong ngành nhắc nhở rằng công nghệ zk-SNARK có yêu cầu rất cao về tính nghiêm ngặt của mã, Testnet là hàng rào an toàn quan trọng trước khi ra mắt mạng chính, sự cố lỗ hổng lần này có thể là hồi chuông cảnh tỉnh cho ngành: Trong khi theo đuổi những đột phá công nghệ và mở rộng thị trường, tuyệt đối không thể đánh mất ranh giới an toàn.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
#PROVE# zk-SNARK ngôi sao dự án PROVE Token rơi vào bê bối lỗ hổng mạng, Testnet an ninh bị nghi ngờ
Gần đây, dự án cơ sở hạ tầng chứng minh không kiến thức được chú ý nhiều Succinct Network và đồng tiền gốc PROVE đã rơi vào tranh cãi về an ninh mạng. Một cơ quan kiểm toán an ninh blockchain đã phát hành báo cáo cho biết, mạng thử nghiệm đang hoạt động của nó có nhiều lỗ hổng nguy hiểm, có thể dẫn đến cơ chế staking Token bị vô hiệu hóa, tài sản của người dùng đối mặt với rủi ro, tin tức này nhanh chóng gây hoang mang trong cộng đồng, giá Token PROVE đã giảm trên thị trường thứ cấp.
Theo thông tin từ cơ quan an ninh, thông qua phân tích ngược mã nguồn của mạng thử nghiệm Succinct Network, đã phát hiện ra rằng cơ chế đấu giá người chứng minh cốt lõi của nó có lỗi logic: khi nhiều người chứng minh cùng đặt cược token PROVE để tham gia đấu giá nhiệm vụ, mô-đun khóa đặt cược của hợp đồng thông minh có thể gặp phải độ trễ đồng bộ dữ liệu, dẫn đến việc một số token đặt cược bị tính toán lại, từ đó gây ra lỗ hổng "đặt cược quá mức". Nghiêm trọng hơn, báo cáo chỉ ra rằng hệ thống thanh toán và giải quyết của mạng có lỗ hổng quản lý quyền truy cập, địa chỉ không được ủy quyền có thể thông qua việc làm giả chữ ký giao dịch, vượt qua cơ chế xác thực để lấy phí thanh toán token PROVE của người dùng khác, lỗ hổng này nếu bị khai thác sẽ trực tiếp đe dọa sự an toàn tài sản của người dùng.
Là một giao thức tạo ra bằng chứng không biết với cơ sở hạ tầng phi tập trung dựa trên Ethereum, Succinct Network tập trung vào "máy ảo zk-SNARK nhanh nhất toàn cầu SP1", tuyên bố có thể hoàn thành nhanh chóng việc chứng minh khối trên mạng chính Ethereum. Năng lực công nghệ của họ đã từng thu hút sự chú ý của các nhà đầu tư - vào năm 2024, vòng gọi vốn A trị giá 55 triệu USD do Paradigm dẫn dắt đã biến họ thành một dự án nổi bật trong lĩnh vực zk-SNARK. Đồng PROVE vừa được phát hành vào tháng 5 năm 2025 (tổng cung là 1 tỷ Token), mang trong mình ba chức năng cốt lõi: thanh toán, an ninh và quản trị, sự an toàn và ổn định của nó có mối quan hệ trực tiếp với nền tảng niềm tin của toàn bộ mạng.
Sau khi thông tin về lỗ hổng bị tiết lộ, giá PROVE Token đã giảm hơn 15% trong thời gian ngắn, cộng đồng đã sôi sục thảo luận. Nhiều người tham gia sớm cho biết, lỗ hổng trong Testnet đã phơi bày sự lơ là của đội ngũ dự án trong việc kiểm tra mã và thử nghiệm an toàn, "là một giao thức zero-knowledge chủ yếu về an toàn, nhưng mạng của chính nó lại xuất hiện lỗ hổng an toàn cơ bản, thật sự khó mà thuyết phục được." Một số nhà đầu tư đã bắt đầu nghi ngờ sự trưởng thành của công nghệ dự án, lo ngại liệu Mainnet (dự kiến ra mắt vào quý 4 năm 2025) có thể được triển khai đúng hạn hay không.
Tính đến thời điểm viết bài, Succinct Labs vẫn chưa có phản hồi chính thức về vấn đề lỗ hổng, chỉ cho biết trên diễn đàn cộng đồng rằng "đang xác minh tình hình liên quan". Những người trong ngành nhắc nhở rằng công nghệ zk-SNARK có yêu cầu rất cao về tính nghiêm ngặt của mã, Testnet là hàng rào an toàn quan trọng trước khi ra mắt mạng chính, sự cố lỗ hổng lần này có thể là hồi chuông cảnh tỉnh cho ngành: Trong khi theo đuổi những đột phá công nghệ và mở rộng thị trường, tuyệt đối không thể đánh mất ranh giới an toàn.