Succinct (PROVE) là gì?

Điểm chính

• Succinct đang xây dựng một giao thức trên Ethereum để phối hợp một mạng lưới phân tán các người chứng minh nhằm tạo ra các chứng minh không tri thức cho bất kỳ phần mềm nào.

• Mạng lưới nhằm mục đích làm cho việc sử dụng các bằng chứng không kiến thức nhanh hơn, rẻ hơn và đơn giản hơn mà không cần vận hành hạ tầng chứng minh riêng.

• Giao thức hoạt động như một thị trường hai mặt, kết nối người yêu cầu và người cung cấp, hỗ trợ một loạt các trường hợp sử dụng như cầu nối, oracle và tác nhân AI.

• Mạng lưới sử dụng hệ thống đấu giá ngoài chuỗi để khớp các yêu cầu với những người cung cấp, với kết quả được thanh toán trên chuỗi thông qua hợp đồng thông minh.

Giới thiệu

Bằng chứng không có kiến thức là một cách hiệu quả để chứng minh sự thật của một điều gì đó mà không tiết lộ các chi tiết liên quan. Chúng được sử dụng trong mọi thứ từ blockchain đến các công cụ bảo mật, nhưng việc tạo ra chúng thường yêu cầu phần cứng đắt tiền và kiến thức về mật mã học nâng cao.

Succinct đang tạo ra một giao thức trên Ethereum để đơn giản hóa toàn bộ quy trình. Thay vì xây dựng cơ sở hạ tầng của riêng họ từ đầu, các nhà phát triển có thể yêu cầu chứng cứ từ một mạng lưới chia sẻ các nhà cung cấp chứng cứ. Điều này giúp dễ dàng tích hợp chứng cứ không kiến thức vào các dịch vụ như rollups, cầu nối, đại lý AI và trò chơi, mà không cần phần cứng chuyên dụng hoặc kiến thức về mật mã tiên tiến.

Succinct là gì?

Succinct đang xây dựng một mạng lưới chứng minh phi tập trung mà bất kỳ ai cũng có thể sử dụng để yêu cầu và tạo ra một chứng minh không biết. Mạng lưới này hoạt động như một thị trường nơi các lập trình viên và ứng dụng có thể gửi yêu cầu chứng minh, và các người chứng độc lập cạnh tranh để tạo ra chúng, kiếm được phần thưởng trong quá trình này.

Mạng hoạt động như một ứng dụng có thể xác minh (vApp), có nghĩa là nó được thiết kế để hoạt động giống như một ứng dụng web nhanh chóng, phản hồi tốt, nhưng mọi thứ ở phía sau đều được bảo mật và xác minh bằng mã hóa trên blockchain.

Bộ xử lý ngắn gọn 1 (SP1)

SP1, viết tắt của Succinct Processor 1, là một máy ảo zero-knowledge đa dụng được phát triển bởi Succinct Labs. Mục tiêu của nó là làm cho việc tạo ra bằng chứng zero-knowledge trở nên dễ dàng hơn và tiếp cận hơn cho các nhà phát triển.

Thay vì viết các mạch mã hóa phức tạp, các nhà phát triển có thể sử dụng các ngôn ngữ lập trình mà họ đã quen thuộc, chẳng hạn như Rust hoặc C++. Sau khi viết một chương trình, các nhà phát triển có thể biên dịch nó và nộp qua SP1. Các Prover trên mạng Succinct sau đó chạy chương trình và tạo ra một chứng minh có thể xác minh rằng mọi thứ đã được thực hiện đúng cách, mà không tiết lộ bất kỳ dữ liệu nào.

Bằng cách loại bỏ nhu cầu thiết lập zero-knowledge tùy chỉnh, SP1 giúp tích hợp các chứng minh zero-knowledge vào nhiều trường hợp sử dụng thực tế hơn, chẳng hạn như công cụ AI, trò chơi và hạ tầng phi tập trung.

Cách Mạng Lưới Chứng Minh Ngắn Gọn Hoạt Động

Thị Trường Hai Bên

Mạng chứng minh ngắn gọn là một giao thức phi tập trung kết nối hai nhóm:

• Người yêu cầu: các nhà phát triển hoặc ứng dụng cần bằng chứng không kiến thức.

• Provers: những người tham gia độc lập tạo ra các chứng minh không kiến thức.

Khi ai đó cần một chứng minh không kiến thức, họ gửi yêu cầu đến mạng lưới. Các người chứng minh đấu thầu cho công việc, cạnh tranh để đưa ra mức giá tốt nhất hoặc thời gian giao hàng nhanh nhất.

Ngoài chuỗi: Nhà đấu giá

Mối liên hệ giữa người yêu cầu và nhà cung cấp diễn ra ngoài chuỗi thông qua một hệ thống gọi là nhà đấu giá. Mọi thứ diễn ra qua các cuộc gọi RPC nhanh (Remote Procedure Call), vì vậy không cần phải chờ xác nhận khối hoặc xử lý giao tiếp trên chuỗi chậm. Điều này làm cho toàn bộ quá trình nhanh chóng và phản hồi, vì các nhà cung cấp có thể ngay lập tức thấy các yêu cầu chứng minh đã được gửi và bắt đầu cung cấp dịch vụ ngay lập tức.

Trên chuỗi: Thanh toán trên Ethereum

Trong khi tất cả việc khớp lệnh và đấu giá diễn ra ngoài chuỗi, mọi thứ đều được giải quyết và xác minh trên Ethereum. Nhà đấu giá thường xuyên gửi các chứng minh không biết (zero-knowledge proofs) để chứng minh mọi thứ đã diễn ra đúng cách - từ ai đã thắng đấu giá đến cách mà chứng minh được tạo ra. Tất cả các quỹ đều được lưu trữ an toàn trong các hợp đồng thông minh trên Ethereum, vì vậy không ai có quyền truy cập vào tiền của bạn, và bạn có thể rút nó bất cứ lúc nào.

Sự phân tách giữa thực thi ( ngoài chuỗi ) và thanh toán ( trên chuỗi ) là một yếu tố chính trong kiến trúc mạng Succinct. Nó cho phép người dùng tận hưởng tốc độ của một ứng dụng web hiện đại đồng thời hưởng lợi từ sự minh bạch và các đảm bảo không cần tin tưởng của Ethereum.

Kiến trúc Backend

Kiến trúc backend được thiết kế để bất kỳ ai cũng có thể tự mình xác minh những gì đang xảy ra trên mạng.

Nhà đấu giá duy trì hồ sơ minh bạch về số dư của người dùng, yêu cầu chứng minh và các công việc đã hoàn thành. Nó tạo ra các chứng minh Merkle để xác minh điều này và thường xuyên công bố chúng trên Ethereum, cho phép bất kỳ ai kiểm tra tính chính xác của dữ liệu.

Có một dịch vụ chứng minh chuyên dụng đọc cơ sở dữ liệu này và sử dụng SP1 để tạo ra các chứng minh không biết về trạng thái mới của mạng. Điều này bao gồm các thay đổi về số dư, phân công nhiệm vụ và kiểm tra giao hàng. Các chứng minh này thường được công bố trên Ethereum, cho phép bất kỳ ai xác minh rằng mạng đang hoạt động đúng cách mà không cần phải tin tưởng vào chính nhà đấu giá.

Các trường hợp sử dụng cho Mạng Succinct

Mạng chứng minh ngắn gọn giúp việc tạo ra chứng minh không kiến thức trở nên dễ tiếp cận và hiệu quả hơn, mở ra nhiều ứng dụng trên chuỗi và ngoài chuỗi. Một số trường hợp sử dụng chính bao gồm:

• Cầu nối chuỗi chéo: xác minh dữ liệu hoặc tin nhắn từ một blockchain trên một blockchain khác mà không cần dựa vào một trung gian đáng tin cậy.

• Rollups không biết: giúp các rollup mở rộng hiệu quả hơn bằng cách chuyển giao việc tạo bằng chứng cho một mạng lưới phi tập trung của các người chứng.

• Tính toán có thể xác minh: chứng minh rằng các quy trình ngoài chuỗi ( như suy luận AI, mô phỏng hoặc tính toán tài chính ) đã được thực hiện một cách chính xác và không bị can thiệp.

• Khách hàng nhẹ: cho phép các nút blockchain nhẹ xác minh dữ liệu trên chuỗi bằng cách sử dụng các chứng minh không kiến thức nhỏ gọn, loại bỏ nhu cầu tải xuống toàn bộ lịch sử blockchain.

Token PROVE

PROVE là một token ERC-20 được phát hành trên Ethereum và phục vụ như một token tiện ích gốc của giao thức Succinct. Nó có nhiều mục đích, chẳng hạn như:

• Thanh toán: PROVE được sử dụng để thanh toán cho việc tạo chứng cứ. Khi các rollup, cầu nối hoặc dApp gửi yêu cầu chứng cứ đến mạng, họ thanh toán cho các prover bằng PROVE.

• Staking: những người chứng minh có thể đặt cược PROVE để tham gia vào các cuộc đấu giá và giành được công việc. Càng đặt cược nhiều, họ càng có thể xử lý nhiều yêu cầu hơn. Tuy nhiên, nếu họ không giao nộp một bằng chứng hoặc nộp một bằng chứng sai, họ có thể bị cắt giảm một phần tài sản đã đặt cược như một hình phạt.

• Ủy quyền: những người nắm giữ có thể ủy quyền PROVE của họ cho các prover và kiếm được một phần thu nhập của họ. Quỹ Succinct cung cấp thêm phần thưởng staking để khuyến khích sự tham gia sớm.

• Quản trị: ban đầu, các bản nâng cấp được quản lý bởi một hội đồng an ninh. Theo thời gian, quản trị sẽ chuyển hoàn toàn sang chuỗi, với những người nắm giữ PROVE bỏ phiếu về các thay đổi giao thức, quyết định tài trợ và các tham số mạng.

CHỨNG MINH ( Ngắn gọn ) Airdrop cho HODLers trên Gate

Vào ngày 5 tháng 8 năm 2025, Gate đã thông báo rằng Succinct sẽ trở thành dự án thứ 31 trong chương trình Airdrop Gate HODLer. Người dùng có Simple Earn và/hoặc Chain Yields bằng BNB từ ngày 9 tháng 7 đến ngày 12 tháng 7 đủ điều kiện nhận airdrop PROVE. Tổng cộng 15 triệu PROVE đã được phân bổ cho chương trình, đại diện cho 1,5% tổng nguồn cung.

Token PROVE đã được niêm yết với thẻ Seed, và bạn có thể giao dịch nó theo cặp với USDT, USDC, BNB, FDUSD và TRY.

Kết luận

Các chứng minh không biết (zero-knowledge proofs) đang trở thành một phần thiết yếu của hạ tầng blockchain, giúp mở rộng các mạng lưới, đảm bảo tính riêng tư và xác minh các phép toán ngoài chuỗi (off-chain computations). Bằng cách kết hợp một thị trường mở, máy ảo không biết mạnh mẽ và mô hình staking an toàn, mạng Succinct mang đến những chứng minh không biết thực tiễn và dễ tiếp cận hơn có thể áp dụng trong các tình huống thực tế.