ZK chứng minh: Ethereum "Kế hoạch Manhattan"

2025-10-23 14:00:41

Tác giả gốc: @0xJaehaerys

Biên dịch: LlamaC

“Lời khuyên giới thiệu: Bài viết này chủ yếu giới thiệu về cách mà chứng minh không kiến thức (ZK-Proofs) tạo ra một thị trường tính toán có thể xác minh mới, trị giá hàng tỷ đô la, cũng như những lợi thế kỹ thuật, định vị thị trường và những tiến triển gần đây liên quan đến dữ liệu sinh thái của công ty Succinct và token gốc $PROVE trong lĩnh vực này. Là một xu hướng tiên phong, FDV của nó đã tăng trưởng đáng kể về giá trị, hãy tự nghiên cứu.”

Giới thiệu

Bài viết này của Uma Roy, đồng sáng lập của Succinct, đánh dấu một sự chuyển đổi mô hình. Nó không chỉ đơn thuần là sự ra đời của một đồng token khác, mà là một nền kinh tế mới đang nổi lên theo thời gian thực, được điều khiển bởi dữ liệu: nền kinh tế tính toán có thể xác minh. Trong nhiều năm qua, công nghệ không biết (ZK) đã được coi là đích lý thuyết cho việc mở rộng blockchain. Ngày nay, nó đã trở thành hiện thực kỹ thuật, mở ra một trong những cuộc đua cơ sở hạ tầng quan trọng nhất trong thập kỷ tới.

Động lực cho sự chuyển mình này xuất phát từ cái mà David Hoffman gọi là “Kế hoạch Manhattan” của Ethereum: tái cấu trúc cơ bản giao thức, nâng cao gấp nhiều lần khả năng thông lượng mà không hy sinh tính phi tập trung. Cho đến gần đây, đây vẫn là một tầm nhìn xa vời. Nhưng một loạt các bản nâng cấp giao thức chiến lược và các bước đột phá công nghệ quan trọng đã biến nó thành một lộ trình khả thi.

Tôi luôn nghĩ rằng những gì chúng ta đang làm với ZK, đặc biệt là ZK-EVM sẽ được áp dụng cho Ethereum, giống như kế hoạch Manhattan của Ethereum… Khi Ethereum nghiên cứu ZK ở hậu trường để giữ lại tất cả những thứ đang đưa Phố Wall vào chuỗi hiện nay, họ cũng đang phát triển công nghệ có tầm nhìn tương lai này.

Báo cáo này thực hiện phân tích cơ bản về thị trường hàng tỷ đô la mới nổi này. Báo cáo sẽ giải thích lý do tại sao nhu cầu về chứng minh ZK không phải là đầu cơ, mà là điều không thể tránh khỏi về mặt cấu trúc; định lượng quy mô của cơ hội kinh tế này; và giải thích chi tiết cách các công ty như Succinct, với đồng token gốc $PROVE, có khả năng trở thành cơ sở hạ tầng cho kỷ nguyên tính toán có thể xác minh này.

Một, sự cần thiết của thị trường mới

1.1 Yêu cầu tất yếu của Gigagas và Teragas

Ethereum đang trải qua một cuộc cách mạng lớn, động lực của nó đến từ một lộ trình phát triển cốt lõi, lộ trình này không phải là sự phỏng đoán mà là một quá trình tiến hóa đã được thiết lập và không thể tránh khỏi. Việc tái cấu trúc này của giao thức tạo ra một nhu cầu có cấu trúc, có thể dự đoán, và tăng trưởng theo cấp số nhân cho chứng minh không biết (ZK). Để theo đuổi khả năng thông lượng toàn cầu, Ethereum chắc chắn sẽ trở thành người tiêu dùng đầu tiên và lớn nhất trong một nền kinh tế tính toán có thể xác minh trị giá hàng tỷ đô la.

Nhu cầu này xuất phát từ một tầm nhìn dài hạn rõ ràng và vĩ đại. Lộ trình Gigagas nhằm mở rộng thông lượng của lớp thực thi L1 lên 1 Ggas/s, tương đương khoảng 10.000 TPS. Tuy nhiên, như nhà nghiên cứu của Quỹ Ethereum Justin Drake đã chỉ ra, đây chỉ là “đỉnh của tảng băng chìm”. Mục tiêu cuối cùng là thông qua sự phối hợp của khoảng 1.000 L2, đạt được một hệ sinh thái “Teragas” với tổng thông lượng 1 Tgas/s (khoảng 10 triệu TPS). Trong mô hình này, 99,9% khối lượng giao dịch diễn ra trên L2, trong khi L1 tiến hóa thành trung tâm an toàn và thanh toán cuối cùng. Như Drake đã nói:

“10.000 TPS thực sự không có gì. Để phục vụ toàn thế giới, chúng ta cần đạt được mức 10 triệu giao dịch mỗi giây, 1 teragas mỗi giây. Làm thế nào để chúng ta đạt được mục tiêu này? Câu trả lời là L2.”

Các đề xuất như EIP-7938 chính thức xác lập việc mở rộng theo cấp số nhân này, đề xuất này cho rằng giới hạn Gas L1 sẽ tự động tăng gấp 3 lần mỗi năm. Cơ chế này nhằm mục đích đạt được sự tăng trưởng ổn định và có thể dự đoán, từ đó tạo ra một đường cong nhu cầu đáng tin cậy cho các tài nguyên tính toán cần thiết để đảm bảo an ninh mạng.

Sự chuyển đổi này sẽ được quản lý thông qua một kế hoạch “bao gồm dần dần” kéo dài nhiều năm, kế hoạch này sẽ giảm thiểu rủi ro quy trình một cách có trật tự. Kế hoạch này sẽ được thực hiện theo các giai đoạn khác nhau, cuối cùng sẽ yêu cầu bắt buộc sử dụng chứng minh ZK để xác minh tính hợp lệ của các khối trước năm 2027, từ đó khiến việc tạo ra chứng minh trở thành một chức năng cốt lõi và không thể thiếu về mặt kinh tế của giao thức. Bằng cách mã hóa trực tiếp yêu cầu này vào sự phát triển của giao thức, Ethereum thực sự đang thiết lập một chính sách công nghiệp cho lĩnh vực ZK, cung cấp tín hiệu kinh tế cần thiết cho tính hợp lý của việc đầu tư vốn lớn vào cơ sở hạ tầng tương lai.

1.2 Vấn đề tính cuối cùng: Vitalik Buterin nói về lý do tại sao ZK lại rất quan trọng đối với L2

Sự cấp bách của sự chuyển biến này không chỉ dừng lại ở L1. Nó giải quyết một trong những nút thắt lớn nhất trong hệ sinh thái L2 hiện tại: sự chậm trễ trong tính cuối cùng của việc rút tiền gây ra sự ma sát và rủi ro. Như người đồng sáng lập Ethereum, Vitalik Buterin gần đây đã nói, việc đạt được thời gian rút tiền nhanh chóng là một mục tiêu quan trọng, đối với L2, “thậm chí còn quan trọng hơn cả giai đoạn thứ hai”.

Trong kỷ nguyên ZK 1.0, những công ty mà bạn đề cập đã kết hợp công nghệ ZK với các trường hợp sử dụng thương mại… ZKSync vừa là một công ty L2, vừa là một công ty ZK… Điều chúng tôi làm là cho phép những công ty không biết gì về ZK, như Optimism hoặc Arbitrum, vì ZK giờ đây trở nên đơn giản đến vậy, họ có thể tận dụng lợi thế của ZK và tập trung vào những điều thực sự quan trọng, như mở rộng kinh doanh hoặc thu hút người dùng.

Trong một giải thích chi tiết, Buterin nhấn mạnh vấn đề cốt lõi của thiết kế Optimistic Rollup hiện tại:

“Chờ đợi một tuần để rút tiền thực sự là quá lâu đối với mọi người, ngay cả đối với cầu nối chuỗi chéo dựa trên ý định… Nếu nhà cung cấp thanh khoản phải chờ một tuần, chi phí vốn của họ sẽ trở nên quá cao. Điều này đã thúc đẩy mọi người chuyển sang sử dụng những giải pháp mà giả định tin cậy là không thể chấp nhận (chẳng hạn như multi-sign/MPC), điều này hoàn toàn trái ngược với mục đích tồn tại của L2.”

Giải pháp mà ông đề xuất là chuyển hướng quyết đoán sang hệ thống chứng minh hiệu quả được điều khiển bởi công nghệ ZK. Mặc dù thừa nhận có những đánh đổi trong lịch sử, nhưng ông nhấn mạnh sự thay đổi trong bối cảnh công nghệ gần đây:

“Xét từ lịch sử, công nghệ chứng minh ZK luôn chưa trưởng thành và chi phí cao, điều này khiến cho chứng minh Optimistic trở thành lựa chọn thông minh và an toàn. Nhưng gần đây, tình hình này đang thay đổi nhanh chóng.”

Theo ông, việc rút ngắn thời gian rút tiền gốc xuống dưới một giờ trong ngắn hạn và cuối cùng đạt được thời gian rút tiền 12 giây trong trung hạn, chứng minh ZK có thể “củng cố hơn nữa vị thế của Ethereum L1 như là nơi phát hành tài sản mặc định và trung tâm kinh tế của hệ sinh thái Ethereum”. Sự công nhận cấp cao này sẽ không chỉ coi sự chuyển đổi sang ZK như một sở thích công nghệ, mà là một yêu cầu chiến lược cho sự an toàn và toàn vẹn kinh tế của toàn bộ hệ sinh thái Ethereum.

Tính linh hoạt này không chỉ thu hút các nhà phát triển phần mềm mà còn thu hút cả các nhà sản xuất phần cứng chuyên nghiệp. Công ty hàng đầu trong ngành về tăng tốc phần cứng ZK, Cysic, thông báo rằng ASIC “tương thích với zkVM” sắp ra mắt và sẽ hỗ trợ SP1 một cách nguyên bản. Công ty phần cứng chuyên nghiệp này có kế hoạch cung cấp hỗ trợ nguyên bản, cho thấy sự tự tin mạnh mẽ của ngành công nghiệp đối với SP1 như một tiêu chuẩn tiềm năng cho tính toán có thể xác minh, thu hẹp khoảng cách giữa phần mềm mã nguồn mở và chip chuyên dụng.

Hai, cơ hội ước tính hàng tỷ đô la

2.1 Kinh tế học đơn vị của chứng minh

Tính khả thi về kinh tế của một hệ sinh thái ZK quy mô lớn phụ thuộc vào chi phí đơn vị để chứng minh khối lượng tính toán nhất định. Mặc dù các hệ thống ZK ban đầu nổi tiếng là đắt đỏ, nhưng những xu hướng phát triển tương tự như “định luật Moore” đã khiến chi phí của chúng giảm mạnh. Tại sự kiện “Frontiers” do Paradigm tổ chức, John từ Succinct cho biết, chi phí chứng minh trung bình cho mỗi giao dịch hiện nay nằm trong khoảng từ 0,01 cent đến 0,1 cent, ông mô tả chi phí này “hầu như có thể bỏ qua so với các chi phí khác như DA”.

Theo tôi, cơ chế khuyến khích rất đơn giản. Giống như hôm nay, chỉ cần dựa vào phí giao dịch và MEV là đủ… Chi phí khoảng 0.01 cent. Chỉ cần người dùng cá nhân sẵn sàng trả khoản phí này, thì đã đủ để bù đắp chi phí chứng minh.

Dự kiến chi phí này sẽ còn giảm hơn nữa. Nhà nghiên cứu của Quỹ Ethereum, Justin Drake, đã đưa ra một dự đoán quan trọng, ông dự đoán rằng với sự cải tiến phần cứng và phần mềm liên tục theo cấp số nhân, chi phí lâu dài và quy mô của L1 sẽ ổn định trong khoảng từ 0,0001 đến 0,001 đô la mỗi Mgas/s (triệu gas mỗi giây). Sự giảm nhanh chóng của chi phí này đang biến ZK từ một công nghệ nhỏ và đắt đỏ thành một công cụ thực tiễn có thể thương mại hóa, đặt nền tảng cho một thị trường khổng lồ.

2.2 Quy mô thị trường - Dự đoán từ dưới lên (quan điểm thận trọng)

Một mô hình tài chính bảo thủ, tự phát triển đã ước tính doanh thu hàng năm của thị trường chứng minh ZK bằng cách kết hợp sự tăng trưởng thông lượng dự kiến với ước tính chi phí. Theo mô hình này, doanh thu không vị tha đáng kể từ chứng minh L1 được dự đoán sẽ bắt đầu xuất hiện từ năm 2027, khi đó giao thức sẽ yêu cầu bắt buộc sử dụng chứng minh ZK để xác minh tính hợp lệ của các khối.

Nếu bạn tưởng tượng chi phí cho mỗi giao dịch chỉ là 0.1 cent, và bạn đang xử lý TPS cấp Solana, chẳng hạn như 4000-5000 giao dịch mỗi giây, thì khi nhân tất cả những con số này lại, nhu cầu chứng minh cuối cùng sẽ vào khoảng 100 triệu đô la mỗi năm.

Bảng 1: Dự đoán nhu cầu và doanh thu ZKP của hệ sinh thái L2 (2025-2030)

Phương pháp luận — Hệ sinh thái L2 Dự báo nhu cầu và thu nhập ZKP (2025–2030)

Số lượng L2 và tỷ lệ bao phủ ZK
Bắt đầu từ 25 L2 vào năm 2025, mở rộng lên 1000 L2 vào năm 2030.
Tỷ lệ bao phủ đại diện cho phần trăm của L2 dựa trên ZK mỗi năm, từ 50% tăng lên 85%.
Mỗi ZK L2 có thông lượng trung bình
Đặt bằng với thông lượng L1 của cùng năm để phù hợp với giả thuyết “tổng hợp teragas” (tức là, công suất của mỗi L2 tăng lên khi lớp cơ sở mở rộng).
Đây là một giả thuyết lạc quan, để đơn giản hóa, nó nén phân phối thông lượng đuôi nặng thành một giá trị trung bình đồng nhất.
Tính toán tổng lưu lượng:

Tổng thông lượng(Mgas/s)=(SốL2×Tỷ lệ bao phủ)×Thông lượng trung bình trên ZKL2

Giả định giá cả
Giá khởi đầu mỗi Mgas là 0.0104 đô la (tham khảo Katana, năm 2025).
Nhờ vào hiệu suất phần cứng, cạnh tranh thị trường người chứng minh và tối ưu hóa cấp giao thức, chi phí sẽ giảm mạnh xuống còn 0.0004 đô la trước năm 2030.
Sử dụng phương pháp nội suy giá tuyến tính giữa năm bắt đầu và năm kết thúc.
Thu nhập hàng năm:

Doanh thu hàng năm = Tổng thông lượng × Giá mỗi Mgas × 31,536,000( giây/năm)

Bảng 2: Tổng thị trường tiềm năng của ZK Proof (TAM) ( từ năm 2025-2030, phương pháp từ dưới lên )

Tăng trưởng số lượng L2 — Bắt đầu từ 25 L2 vào năm 2025, mở rộng tuyến tính lên 1.000 vào năm 2030.
Tỷ lệ phủ sóng ZK - Chỉ một phần L2 sử dụng bằng chứng ZK: năm 2025 là 50%, đến năm 2030 sẽ tăng lên 85%.
Mỗi ZK L2 có thông lượng trung bình - được thiết lập bằng với thông lượng L1 cùng năm (đây là một giả định lạc quan). Điều này nhất quán với logic của lộ trình “teragas”, tức là L2 trưởng thành sẽ đạt được khả năng của L1.
Tổng L2 thông lượng — Công thức tính là: Số lượng ZK L2 × Thông lượng trung bình của mỗi ZK L2
Trong đó, số lượng ZK L2 = tổng số L2 × tỷ lệ bao phủ.
Giá mỗi triệu Gas - Được xác định vào đầu năm 2025 là 0.0104 USD (dựa trên chi phí chứng minh của Katana L2), và sẽ giảm tuyến tính xuống còn 0.0004 USD vào năm 2030, nhằm phản ánh sự cải tiến hiệu quả do zkVM, phần cứng và cạnh tranh thị trường mang lại.
Tổng giá trị thị trường tiềm năng L2 hàng năm:

TotalL2Throughput(Mgas/s)×Giá mỗi Mgas×Số giây mỗi nămTotalL2Throughput(Mgas/s)×Giá mỗi Mgas×Số giây mỗi năm

Tổng giá trị thị trường tiềm năng hàng năm L1 - Bắt đầu từ năm 2027 (khi đó chứng minh L1 sẽ được thực hiện), giá cả sẽ giống như $/Mgas của L2 trong năm đó, thông lượng L1 dựa trên lộ trình mở rộng của Ethereum.
Nhu cầu khác — Ước tính thận trọng chiếm 10% tổng thị trường tiềm năng của L2, bao gồm cầu ZK, đồng xử lý và ứng dụng có thể xác minh (ZKML, quyền riêng tư trên chuỗi).
Tổng giá trị thị trường tiềm năng: Tổng giá trị thị trường tiềm năng L1 + Tổng giá trị thị trường tiềm năng L2 + Nhu cầu khác

2.3 Ước tính quy mô thị trường - Tầm nhìn từ trên xuống (Kết thúc của Teragas)

Một mô hình từ trên xuống hoàn toàn dựa trên lộ trình “Gigagas” và “Teragas” của Ethereum cho thấy quy mô thị trường tiềm năng có thể lớn hơn một bậc.

Bảng 3: Dự đoán thông lượng Gas L1 Ethereum (năm 2027-2030)

Bảng 4: Dự báo quy mô thị trường và doanh thu ZK (từ trên xuống dưới, năm 2027-2030)

Phương pháp luận (đối với bảng từ trên xuống dưới này)
L1 thông lượng — Mục tiêu của lộ trình mở rộng dựa trên Ethereum: 37,5 → 1.000 Mgas/s (2027–2030).
Số lượng L2 - Tăng từ 300 lên 1,000 trong giai đoạn 2027–2030.
Tỷ lệ ZK — chỉ một phần L2 sử dụng chứng minh ZK, tỷ lệ này đã tăng từ 60% lên 85%.
Mỗi ZK L2 có thông lượng trung bình - được thiết lập bằng với thông lượng L1 cùng năm (ví dụ, năm 2027 là 37,5 Mgas/s, năm 2030 là 1.000 Mgas/s), để phù hợp với giả định tổng thông lượng cấp teragas.
Giá mỗi Mgas - Giảm xuống do sự cải tiến phần cứng của bộ chứng minh và cạnh tranh trên thị trường: 0,00075 đô la (2027) → 0,00040 đô la (2030).
L2 Tổng thông lượng:

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

Công thức thu nhập: L1
Thu nhập = L1_Thông lượng × Giá × Số giây mỗi năm
L2 thu nhập = AggreGate_L2_throughput × giá × số giây mỗi năm
Thị trường tổng = Doanh thu L1 + Doanh thu L2

2.4 Ai sẽ chịu trách nhiệm cho việc chứng minh?

Nhu cầu hàng tỷ đô la này sẽ không được tài trợ bởi lạm phát của giao thức, mà sẽ được hỗ trợ bởi các mô hình doanh thu vững chắc và đa dạng từ L2 và chuỗi ứng dụng. Như một bài phân tích của Conduit đã trình bày, các dự án có chuỗi riêng của mình có ít nhất bảy đòn bẩy doanh thu khác nhau, đảm bảo rằng họ có khả năng chi trả cho chi phí vận hành của chứng minh ZK.

Bảng 5: Phân tích so sánh dòng thu nhập L2

Người có chuỗi sẽ có thiên hạ: 7 đòn bẩy thu nhập của Rollup

Ba, Ưu điểm kỹ thuật của Succinct

3.1 Chứng minh thời gian thực đã trở thành hiện thực

Nếu không có một loạt những đột phá lớn về hiệu suất ZK gần đây, toàn bộ tầm nhìn của “Gigagas” vẫn sẽ dừng lại ở giai đoạn lý thuyết. Như John của đội Succinct đã nói, việc đạt được “chứng nhận thời gian thực” - tức là khả năng tạo ra chứng nhận ZK cho bất kỳ khối Ethereum nào trong vòng 12 giây - là “thời khắc lên mặt trăng trong lĩnh vực ZK”.

Sự chuyển biến này không chỉ có nghĩa là hiệu suất được cải thiện, mà còn là một cuộc cách mạng về khả năng tiếp cận cho các nhà phát triển. Như Uma Roy, đồng sáng lập của Succinct đã giải thích, việc phát triển ZK trước đây cần một “đội ngũ gồm 40 tiến sĩ về mật mã” và hàng trăm triệu đô la vốn, để tạo ra một hệ thống chứng minh đơn lẻ, cụ thể cho ứng dụng. Với sự xuất hiện của zkVM tổng quát, mô hình này đã bị phá vỡ hoàn toàn. Roy cho biết: “Về cơ bản, bạn từ việc cần 40 tiến sĩ về mật mã, hàng chục triệu hoặc hàng trăm triệu đô la chi phí nghiên cứu và phát triển, đã chuyển thành một dự án có thể hoàn thành trong một cuối tuần.”

Thông qua hai phép ẩn dụ mạnh mẽ trong podcast, có thể hiểu rõ hơn về bước đột phá này:

Từ ASIC đến CPU: Ngành công nghiệp đang chuyển từ mạch tích hợp chuyên dụng (ASIC) chỉ có thể giải quyết một vấn đề, sang mô hình CPU chung, nghĩa là một động cơ như SP1 có thể chứng minh rằng nó có thể chạy bất kỳ chương trình nào.
Mô hình cơ bản của mật mã: Chức năng của SP1 tương tự như mô hình cơ bản trong lĩnh vực trí tuệ nhân tạo. Cũng giống như ChatGPT làm cho AI trở nên dễ tiếp cận thông qua tiếng Anh, SP1 cũng làm cho ZK trở nên dễ sử dụng thông qua mã chuẩn. “Giống như trong trí tuệ nhân tạo và mô hình cơ bản, bạn chỉ cần nhập tiếng Anh để sử dụng AI,” Roy chỉ ra, “ở đây, bạn chỉ cần nhập mã thông thường để sử dụng ZK, đơn giản là như vậy.”

HyperCube SP1 của Succinct là bằng chứng quyết định cho thành tựu này. Trong một buổi trình diễn mang tính cột mốc, hệ thống đã thành công trong việc chứng minh 93% các khối trên mạng chính Ethereum trong thời gian 12 giây. 7% khối còn lại mất nhiều thời gian hơn, không phải do giới hạn kỹ thuật, mà là do giá cả không hợp lý của một số thao tác trong bảng định giá Gas EVM (như thao tác tiền biên Blake2). Cột mốc này xác nhận rõ ràng rằng việc chứng minh thời gian thực là khả thi về mặt kỹ thuật.

3.2 Động cơ tiến bộ: SP1 zkVM

Cốt lõi của stack công nghệ Succinct là SP1, một máy ảo không kiến thức mã nguồn mở hiệu suất cao (zkVM). SP1 là một tài sản chiến lược, nhằm phục vụ cho các nhiệm vụ tính toán có thể xác minh rộng rãi nhất, thúc đẩy ngành công nghiệp tiến vào thời đại “ZK 2.0”.

Tôi nghĩ rằng, việc phát hành thành công của token $PROVE gần như có thể nói là đã xác thực zKVM trở thành một loại tài sản có thể đầu tư… Điều này thật đáng kinh ngạc, bạn biết đấy, vào ngày phát hành đầu tiên, định giá hoàn toàn pha loãng của nó thực tế đã vượt qua các dự án ZK Rollup như ZKSync, Scroll và Starknet.

“Mục tiêu của chúng tôi là loại bỏ tất cả sự phức tạp của mật mã, để các nhà phát triển có thể ‘viết mã bình thường’ bằng các ngôn ngữ tiêu chuẩn như Rust và nhận được chứng minh ZK.”

Dễ sử dụng: Là một RISC-V zkVM, SP1 cho phép các nhà phát triển tận dụng các thư viện mã đã được kiểm nghiệm trong thực tế và ngôn ngữ quen thuộc mà không cần phải học các kiến thức mật mã phức tạp.
Tính phổ quát: Chọn RISC-V làm bộ lệnh mục tiêu không chỉ phù hợp với xu hướng rộng rãi của toàn bộ hệ sinh thái ZK mà còn quan trọng hơn là nó giữ sự nhất quán với lộ trình dài hạn của Ethereum L1.
Đường dẫn hiệu suất: Sự cải tiến liên tục của SP1 thể hiện một xu hướng “luật Moore”. Thời gian chứng minh đã giảm từ vài chục phút vào năm 2023 xuống chỉ còn vài giây vào năm 2025, với tốc độ cải tiến vượt xa tỷ lệ tăng trưởng nhu cầu tính toán 3 lần mỗi năm mà lộ trình của Ethereum đã đề xuất.

Tính đa năng của SP1 không chỉ giới hạn ở việc thực hiện hoàn chỉnh ZK-rollup. Khả năng mạnh mẽ của nó như một zkVM đa năng đã tạo ra những thiết kế lai mới để đáp ứng các nhu cầu thị trường cụ thể. Một ví dụ điển hình là ứng dụng của nó trong chứng minh lỗi không biết. Các dự án như Facet sử dụng hệ thống dựa trên OP Succinct Lite, di chuyển hàm chuyển trạng thái của chúng sang Rust (thông qua Kona và REVM), và biên dịch thành tệp nhị phân SP1 ELF. Điều này cho phép chúng cung cấp “tình huống lý tưởng” chi phí thấp của hệ thống Optimistic, đồng thời giữ lại đặc tính “giải quyết một giao dịch” của chứng minh ZK khi có thách thức xảy ra. Điều này thể hiện khả năng của SP1 phục vụ cho mô hình bảo mật mật mã rộng hơn, từ đó mở rộng quy mô thị trường tiềm năng của nó.

Với sự gia nhập của ngày càng nhiều nhà chứng thực trưởng thành và chuyên nghiệp, tính hiệu quả của mô hình thị trường này đang được xác thực theo thời gian thực. Một tiến bộ quan trọng là @cysic_xyz (một công ty hàng đầu về tăng tốc phần cứng ZK) đã chính thức ra mắt với tư cách là một nhà chứng thực đa nút trong mạng chứng thực Succinct. Cysic không phải là nhà cung cấp tính toán tổng quát, họ “hoàn toàn tự phát triển toàn bộ công nghệ”, bao gồm phần cứng tùy chỉnh được thiết kế riêng cho khối lượng công việc ZK và cụm GPU có thông lượng cao.

3.3 Kinh tế học của chứng minh thời gian thực

Mức độ hiệu suất này không chỉ khả thi về mặt kỹ thuật mà còn có thể đạt được về mặt kinh tế. Việc xây dựng một cụm chứng minh địa phương có thể thực hiện chứng minh thời gian thực, ước tính chi phí vốn của nó là

10 triệu đến 30 triệu đô la Mỹ. Điều này rẻ hơn nhiều so với việc sử dụng nhà cung cấp dịch vụ đám mây, vì theo John, “NVIDIA thực sự sẽ làm giảm hiệu suất của card đồ họa… là cố ý làm vậy để đạt được lợi nhuận cao hơn.”

Tính khả thi này phù hợp với sáng kiến “Chứng minh gia đình là cần thiết” của Quỹ Ethereum, sáng kiến này đặt ra giới hạn tiêu thụ điện năng mục tiêu là ≤10 kilowatt. Justin Drake đã chỉ ra mục tiêu cá nhân của anh ấy để chứng minh rằng động thái này là khả thi:

“Đây cơ bản là những gì tôi hy vọng làm được trong năm nay: chứng minh từng khối Ethereum theo thời gian thực… và hoàn thành tại nhà.”

Bốn, mọi thứ đều có thể được ZK hóa

4.1 Không gian thiết kế mới cho ứng dụng

Mặc dù việc mở rộng Ethereum là một thị trường trị giá hàng tỷ đô la vào thời điểm hiện tại, nhưng cơ hội lâu dài thực sự nằm ở “ZK hóa mọi thứ”.

Như John của đội Succinct đã chỉ ra, zkVM đa năng có nghĩa là “những cải tiến mà chúng tôi đã thực hiện để chứng minh Ethereum theo thời gian thực cũng sẽ áp dụng cho các tính toán khác.”

4.2 Nghiên cứu trường hợp ứng dụng Succinct

Succinct của SP1 đã hỗ trợ cho nhiều ứng dụng khác nhau:

Sàn giao dịch có thể xác minh (Hibachi) – Sử dụng ZK để xây dựng một sàn giao dịch hợp đồng vĩnh viễn ưu tiên quyền riêng tư, trong đó tính toàn vẹn của sổ đặt hàng ngoài chuỗi có thể được xác minh bằng cách sử dụng phương pháp mật mã.
Tính tương tác giữa các chuỗi (Celestia) – Sử dụng công nghệ Succinct để thực hiện “cầu nối lười biếng”, tức là sử dụng chứng minh ZK để xác thực trạng thái của các chuỗi khác một cách an toàn và hiệu quả.

Chúng tôi đã nghiên cứu một khái niệm gọi là “cầu lười biếng”… Nếu trên chuỗi không có môi trường thực thi, thì chuỗi của bạn sẽ rất khó để xác minh trạng thái của các chuỗi khác. Do đó, chúng tôi đã cố gắng đạt được điều này thông qua ZK chứng minh.

DeFi L2s (@katana) – Katana L2 tập trung vào DeFi, được ra mắt trên Polygon thông qua Conduit, sử dụng công nghệ chứng minh ZK Succinct để thực hiện thanh toán nhanh chóng và an toàn, và kết nối với Agglayer của Polygon.
Cơ sở hạ tầng DeFi cốt lõi (Lido): Lido, với vai trò là người dẫn đầu trong lĩnh vực staking thanh khoản, đang sử dụng SP1 trên mạng thử nghiệm của mình để hỗ trợ một “oracle ghi sổ không cần tin cậy”. Hệ thống này tăng cường tính bảo mật bằng cách theo dõi một cách có thể xác minh số dư ETH đã được staking mà không cần phải phụ thuộc vào các quản trị viên đáng tin cậy.
Cầu nối chuỗi chéo cao cấp (Across): Giao thức Across hợp tác với Succinct để tạo ra chứng minh ZK cho lớp đồng thuận Ethereum. Điều này cho phép họ an toàn và hiệu quả trong việc chuyển trạng thái Ethereum sang nhiều chuỗi khác, đây là chức năng chính để đạt được khả năng tương tác.
Rollups không thể bị ngăn cản (Facet): Facet là rollup giai đoạn hai tổng quát đầu tiên, cung cấp một nghiên cứu trường hợp mạnh mẽ cho việc áp dụng công nghệ Succinct. Để đạt được mục tiêu trở thành một “Rollup không thể bị ngăn cản” không có khóa quản trị, Facet đã loại bỏ cầu chính thức và các rủi ro an ninh liên quan. Nó không sử dụng token gas cầu nối, mà thay vào đó là một token gốc (FCT), lượng khai thác của token này tỷ lệ thuận với L1 ETH bị tiêu hủy khi người dùng phát hành giao dịch. Kiến trúc này được bảo đảm an toàn bởi một hệ thống chứng minh ZK gian lận hỗn hợp được xây dựng dựa trên công nghệ Succinct. Khi một đề xuất gốc trạng thái bị thách thức, một chứng minh ZK sẽ được tạo ra bằng SP1 zkVM để giải quyết tranh chấp một cách rõ ràng. Điều này cho phép Facet duy trì là một “nền tảng nhẹ”, cung cấp tính toán thuần túy, không thể bị ngăn cản, trong khi để quản lý tài sản và chức năng cầu nối cho một hệ sinh thái cạnh tranh bao gồm các ứng dụng do người dùng lựa chọn.

4.3 Đường biên mở rộng không ngừng: Doanh thu từ cầu ZK xuyên chuỗi, bộ đồng xử lý và ứng dụng có thể xác minh

Mô hình thị trường từ dưới lên cũng bao gồm một loại “cầu nối khác” đang tăng trưởng nhanh chóng, bao gồm cầu nối ZK đa chuỗi, bộ xử lý ZK và các ứng dụng có thể xác minh khác.

Theo ước tính thận trọng, đến năm 2030, doanh thu hàng năm trong lĩnh vực này sẽ tăng lên hơn 126 triệu USD.

Với sự trưởng thành của ZKML và các giải pháp bảo mật trên chuỗi, lĩnh vực này có thể còn mở rộng hơn nữa.

Năm: Succinct và $PROVE

5.1 Mạng người chứng minh: Một thị trường tổng quát, không cần cấp phép

Chiến lược cốt lõi của Succinct không chỉ là xây dựng một người chứng nhận tốt hơn, mà còn là xây dựng một thị trường quyền lực cho việc chứng nhận. Cung cấp toàn cầu này không phải là giả thuyết, mà được tạo thành từ những nhà điều hành có kinh nghiệm. Mạng lưới này đã thu hút nhiều người chứng nhận thường là “thợ mỏ trước đây”, hầu hết đều nằm ở châu Á, sở hữu cơ sở hạ tầng sẵn có, nguồn điện giá rẻ và GPU tiêu dùng có sẵn.

Thị trường hai bên của họ kết nối nguồn cung sức mạnh tính toán toàn cầu với nhu cầu ngày càng tăng về ZK proof thông qua hệ thống đấu giá thời gian thực.

Chúng tôi đang xây dựng một thị trường hai chiều: Mạng người chứng minh Succinct. Nó nhằm mục đích thương mại hóa quá trình tạo ra ZK chứng minh.

Tình thế cạnh tranh này là động lực của hiệu quả thị trường, tạo ra áp lực giảm liên tục đối với giá cả và độ trễ, từ đó trực tiếp mang lại lợi ích cho người tiêu dùng.

5.2 $PROVE Token: Động lực kinh tế của mạng lưới

Mô hình kinh tế toàn bộ hệ sinh thái Succinct được cô đọng trong token gốc của nó $PROVE.

Đồng token này có hai chức năng sinh thái chính:

Thanh toán – $PROVE là đồng tiền duy nhất trong thị trường mạng này. Tất cả các khoản phí tạo chứng chỉ phải được thanh toán bằng $PROVE , từ đó thiết lập nhu cầu giao dịch trực tiếp cho token này.
Cọc để đảm bảo an toàn – Để tham gia vào việc chứng minh đấu giá và kiếm lợi nhuận, người chứng minh cần phải cọc $PROVE như một khoản tiền đảm bảo kinh tế. Điều này rất quan trọng cho độ tin cậy của mạng, vì nó nhằm ngăn chặn các “cuộc tấn công ác ý” (griefing) – tức là người chứng minh cam kết tạo ra chứng minh nhưng cuối cùng không thực hiện, dẫn đến việc gây ra sự trì hoãn nghiêm trọng cho các ứng dụng như L2. Như Roy đã nói, “người chứng minh không nên có khả năng thực hiện các cuộc tấn công ác ý… điều đó sẽ tạo ra trải nghiệm người dùng rất tồi tệ”. Nếu người chứng minh không thực hiện cam kết của mình, một phần cọc của họ sẽ bị tịch thu để đảm bảo rằng họ “chịu trách nhiệm”.

5.3 Vòng quay tích lũy giá trị

Bảng 6: Mô hình tích lũy giá trị và tiện ích của $PROVE

5.4 Dữ liệu ngày đầu: Thực hiện lý thuyết

Tính hiệu quả của mô hình kinh tế này đã được chứng minh vào ngày đầu tiên của mạng đi vào hoạt động.

Đồng sáng lập Uma Roy đã báo cáo trong một bài đăng công khai rằng:

Roy chỉ ra rằng, với việc hơn 35 khách hàng hiện có trong cụm riêng Succinct chuẩn bị chuyển sang mạng công cộng, nhu cầu chứng minh chắc chắn sẽ “tăng theo hình parabol”.

Kết luận

Sự kết hợp giữa lộ trình mở rộng quy mô lớn của Ethereum và sự trưởng thành của công nghệ bằng chứng không kiến thức đang tạo ra một trong những thị trường cơ sở hạ tầng mới nổi quan trọng nhất trong thập kỷ tới. Sự chuyển hướng chiến lược của Quỹ Ethereum, cộng với sự đầu tư tài chính của họ, đã biến một lý tưởng lý thuyết thành một cuộc đua kỹ thuật. Các đột phá công nghệ do các nhóm như Succinct dẫn đầu đã biến mục tiêu của cuộc đua này - bằng chứng thời gian thực và mở rộng quy mô lớn L1 - thành một thực tế có thể đạt được.

Thời đại thực thi lặp lại đang kết thúc. Thời đại xác thực bằng mật mã đang bắt đầu.

Trong mô hình mới này, các nhà cung cấp cơ sở hạ tầng phi tập trung như Succinct Prover Network sẽ trở thành những nhà cung cấp “cái thuổng và cái xẻng” không thể thiếu trong nền kinh tế mới nổi này.

Mô hình kinh tế của token $PROVE tích hợp chức năng thanh toán và staking, tạo ra một vòng quay mạnh mẽ, liên kết trực tiếp sự tăng trưởng mạng lưới với việc tích lũy giá trị token. Do đó, việc đầu tư

$PROVE không chỉ là một khoản đầu tư vào một ứng dụng đơn lẻ, mà còn là một khoản đầu tư trực tiếp vào lớp tính toán cơ sở hạ tầng, có thể xác minh của internet thế hệ tiếp theo.

Chứng minh phần mềm trên toàn thế giới.

ZK3.09%

ETH2.28%

Xem bản gốc

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.