Tác giả gốc: Hugo

TL;DR

1. Đề xuất mô hình kinh tế bằng chứng không có kiến thức (ZKP) hai lớp, trong đó nhóm tăng tốc bằng chứng ZKP được chia sẻ (Prover Pool) và Universal module Prover (Universal module Prover) là những thành phần chính của hệ sinh thái ZKP.

2. Máy gia tốc bằng chứng ZKP đại diện cho thế hệ cơ sở hạ tầng điện toán blockchain tiếp theo.

3. Có những khác biệt cơ bản giữa máy khai thác bằng chứng công việc (PoW) và máy tăng tốc bằng chứng công việc ZKP.

4. ZK-rollup chứng minh rằng việc thiết kế mô hình kinh tế phải đối mặt với thách thức của "ba góc độ không thể": cân bằng hiệu suất, chi phí và phân cấp.

5. Bài viết này phân tích một số mô hình kinh tế chứng minh ZKP, lấy giải pháp của Taiko làm ví dụ.

1.Giới thiệu

Trong những năm gần đây, công nghệ chứng minh không có kiến thức (ZKP) đã phát triển có tiến bộ đáng kể. Nó ngày càng phổ biến trong các dự án yêu cầu mở rộng tính toán hoặc bảo vệ quyền riêng tư.

ZKP, đặc biệt là giao thức SNARK (Đối số kiến thức không tương tác ngắn gọn), đã được công nhận rộng rãi theo hướng mở rộng của Ethereum. Lộ trình của Ethereum bao gồm mục tiêu “Snark Everything”, Vitalik Buterin tuyên bố rằng “zK-SNARK sẽ quan trọng như blockchain trong 10 năm tới”.

Tuyên bố của Vitalik về zK-SNARK

Tuy nhiên, việc tạo ra bằng chứng không có kiến thức phức tạp hơn nhiều so với việc tính toán.

Ví dụ: trong Ethereum, thời gian tính toán của một khối có 10M Gas là chưa đến 1 giây, như trong hình bên dưới.

Hiệu suất EVM

Tuy nhiên, đối với mạch ZKEVM, có thể mất hơn 1700 giây để tạo bằng chứng chặn trên CPU 128 lõi. Vui lòng tham khảo kết quả benchmark của nhóm PSE.

Điểm chuẩn ZKEVM

Ngay cả với GPU, ZKEVM cũng phải mất hàng trăm giây để tạo ra bằng chứng. Điều này có nghĩa là chi phí xác minh tính toán EVM bằng ZKP cao hơn 1000 lần so với tính toán ban đầu.

Sẽ có nhu cầu tính toán ZKP rất lớn trong tương lai vì sẽ có nhiều dự án ZKP, bao gồm các dự án L2 như zkSync, Scroll, Taiko, Polygon, Linea và Các dự án Aztec cũng như các dự án L1 như Aleo, Mina và Risc Zero. Sẽ có các dự án khác liên quan đến quyền riêng tư, danh tính và trò chơi đòi hỏi sức mạnh tính toán của ZKP.

MESSARI thể hiện hệ sinh thái ZKP

Chúng tôi tin rằng đáng tin cậy điện toán sẽ quan trọng như chính điện toán trong thế giới kỹ thuật số trong tương lai và khả năng tăng tốc ZKP sẽ trở thành cốt lõi của thế hệ tiếp theo của khả năng tính toán blockchain.

2. ZKP yêu cầu một mô hình kinh tế khác với POW

Bằng chứng công việc (PoW) ) là một thuật toán được sử dụng cho sự đồng thuận phân tán. Trong hệ thống PoW, người tham gia (thợ mỏ) phải thực hiện công việc tính toán chuyên sâu để chứng minh rằng họ đã đầu tư một lượng tài nguyên máy tính nhất định. Mục tiêu của các thuật toán này là đảm bảo an ninh mạng. Những người khai thác cạnh tranh để tìm ra các hàm băm đáp ứng các điều kiện nhất định nhằm nhận được phần thưởng khối và phí giao dịch.

Tuy nhiên, mục đích và đặc điểm của ZKP rất khác nhau.

Sau đây là so sánh giữa máy khai thác POW và máy gia tốc ZKP.

So sánh giữa máy khai thác POW và máy gia tốc bằng chứng ZKP

Một số dự án ZKP, chẳng hạn như Aleo, vẫn sử dụng các cơ chế giống POW, nhưng chúng không phải là xu hướng chủ đạo. Thành công của Ethereum với POS chứng tỏ rằng POW không phải là giải pháp khả thi duy nhất để phân cấp blockchain. Do đó, nhiều dự án có thể chọn hệ thống không sử dụng POW để giảm mức tiêu thụ năng lượng và chi phí tổng thể.

Trong mô hình điện toán ZKP, các máy gia tốc bằng chứng khác nhau và các mô hình kinh tế khác nhau cần được thiết kế.

3. ZKP chứng minh thách thức ba chiều bất khả thi của mô hình kinh tế

Trong trường hợp này bối cảnh , "Mô hình kinh tế bằng chứng" đề cập đến cơ chế khuyến khích trong hệ thống bằng chứng không có kiến thức phi tập trung. Ba chỉ số chính của mạng bằng chứng không có kiến thức là chi phí, hiệu suất và tính phân cấp. Một mô hình kinh tế chứng minh được thiết kế cẩn thận phải đáp ứng được ba yêu cầu này.

Trước hết, chi phí là yếu tố chính trong các dự án ZKP, đặc biệt là đối với các dự án ZK rollup. Điều này là do sứ mệnh của họ là mở rộng quy mô Ethereum và giảm chi phí giao dịch cho người dùng. Chi phí chứng minh là một phần trong tổng chi phí của ZK-rollup và các dự án ZKP khác.

Để cung cấp trải nghiệm người dùng tốt hơn cho việc xác minh các giao dịch lớp thứ hai và đạt được tính cuối cùng, ZK Proof Accelerator yêu cầu các máy có hiệu suất cao. Sử dụng GPU, FPGA hoặc ASIC để tính toán song song có thể giúp giảm bớt tắc nghẽn. Đó là lý do tại sao chúng tôi đã chứng minh rằng zkEVM chỉ mất 10 phút khi sử dụng GPU, trong khi có thể mất vài giờ khi sử dụng CPU.

Một yêu cầu quan trọng khác đối với máy gia tốc bằng chứng ZKP là sự phân cấp. Phân cấp có nghĩa là nhiều người tham gia có thể tham gia vào công việc chứng minh mà không cần phải xin phép, đồng thời nó dư thừa và phân tán về mặt địa lý, khiến toàn bộ hệ thống trở nên mạnh mẽ và có khả năng chống kiểm duyệt.

Tuy nhiên, việc đáp ứng cả ba khía cạnh hiệu suất cao, chi phí thấp và phân cấp trong cùng một thiết kế là một thách thức không thể.

ZKP chứng minh ba khía cạnh không thể có của mô hình kinh tế

Trước hết, có một mối quan hệ xung đột giữa chi phí và hiệu suất. Nếu cần hiệu năng cao thì cần phải có các bộ tăng tốc đắt tiền như GPU, FPGA hoặc thậm chí cả cụm GPU/FPGA.

Khi việc sử dụng ZKP ngày càng trở nên phổ biến về lâu dài, sẽ có một thị trường cho hàng triệu máy gia tốc ZK bằng chứng. Khi đó, chip ZK ASIC giá rẻ có thể đáp ứng cả yêu cầu chi phí thấp và hiệu suất cao. Tuy nhiên, vì chúng tôi hiện đang ở giai đoạn đầu của ZKP và chưa đạt được quy mô thị trường lớn như vậy nên giá thành đơn vị của chip ZK ASIC tương đối cao

. Vì vậy, việc đạt được hiệu quả chi phí và hiệu suất ở giai đoạn này vẫn là một thách thức.

Thứ hai, việc phân quyền thường đòi hỏi sự dư thừa của các bộ tăng tốc chứng minh, do đó làm tăng chi phí của toàn bộ hệ thống chứng minh.

Ví dụ: nếu dự án ZK-rollup tạo khối L2 trong 1 giây và sử dụng GPU hiệu suất cao để tạo bằng chứng thì sẽ mất khoảng 10 phút , thì cần khoảng 600 máy gia tốc thử nghiệm để đáp ứng nhu cầu.

Nếu chúng tôi triển khai 600 bộ tăng tốc chứng minh GPU cho dự án ZK-rollup, sức mạnh tính toán sẽ đủ để đáp ứng thông lượng của nó. Tuy nhiên, nếu một số trình tăng tốc bằng chứng không hoàn thành nhiệm vụ đúng hạn do lỗi mạng hoặc thỉnh thoảng tắt máy, thì cần phải có các trình tăng tốc bằng chứng khác để tạo bằng chứng. Việc tăng số lượng máy gia tốc bằng chứng dự phòng và sự phân cấp của máy gia tốc bằng chứng ZK sẽ làm tăng chi phí chung của hệ thống bằng chứng. Đây cũng là lý do tại sao POW không phổ biến trong các dự án ZKP.

Thách thức thứ ba là việc theo đuổi hiệu suất cuối cùng của máy gia tốc bằng chứng có thể dẫn đến việc mạng lưới bằng chứng bị độc quyền bởi máy gia tốc bằng chứng nhanh nhất. Điều này mâu thuẫn với mục tiêu phân cấp.

Từ góc độ kinh tế, việc thiết lập một hệ thống kinh tế đảm bảo lợi nhuận và hoạt động của các máy gia tốc thử nghiệm trong hệ thống ZKP là một thách thức. Đây là thách thức trong việc chứng minh một mô hình kinh tế cho máy gia tốc.

4. ZKP chứng minh sự phát triển của mô hình kinh tế

Taiko là một ZK phi tập trung Dự án -rollup tương đương với Ethereum và sử dụng công nghệ zkEVM Loại 1. Trong những ngày đầu của dự án Taiko, trọng tâm của nó là thiết kế các bộ giải trình tự phi tập trung và máy gia tốc bằng chứng. Đây là dự án ZK-rollup đầu tiên tích cực thúc đẩy các trình sắp xếp chuỗi phi tập trung và trình tăng tốc bằng chứng.

Taiko giới thiệu các nguyên tắc thiết kế mô hình kinh tế trong tài liệu của mình, trong đó đề cập đến các số liệu tương tự:

1. Sử dụng hiệu quả các tài nguyên chứng minh

2. Chi phí chứng minh được ưu tiên hơn tốc độ chứng minh

3. Dự phòng/phân cấp các công cụ tăng tốc chứng minh

Dự án Taiko đã khám phá nhiều giải pháp khác nhau cho tam giác bất khả thi trong việc chứng minh mô hình kinh tế của ZKP và vẫn đang phát triển. Sau đây là lịch sử của Taiko Testnet và mô hình kinh tế bằng chứng của nó:

1. Ngày 28 tháng 12 năm 2022, Alpha-1: Máy gia tốc bằng chứng chưa mở.

2. Ngày 23 tháng 3 năm 2023, Alpha-2: Máy gia tốc bằng chứng không được phép, máy gia tốc bằng chứng nhanh nhất sẽ thắng, không có mô hình kinh tế.

3. Ngày 7 tháng 6 năm 2023, Alpha-3: Bằng chứng cho thấy máy gia tốc không cần cấp phép và có máy gia tốc kinh tế có phần thưởng năng động.

4. Tháng 6 năm 2023: Phương án tăng tốc kinh tế đấu giá theo đợt được đề xuất và thảo luận.

5. Ngày 18 tháng 7 năm 2023, Alpha-4: Máy gia tốc bằng chứng không được cấp phép, với máy gia tốc kinh tế dựa trên cam kết.

6. Các đề xuất mới đang được tiến hành.

So sánh các máy gia tốc ZKP khác nhau

4.1 Mô hình kinh tế bằng chứng khen thưởng năng động (Taiko A3)

Mô hình kinh tế của A3 Bao gồm cơ chế khen thưởng năng động được thiết kế để khuyến khích các máy gia tốc đã được chứng minh với chi phí thấp và hiệu suất cao. Nó bao gồm các quy tắc sau:

- Máy gia tốc bằng chứng nào gửi bằng chứng nhanh nhất sẽ thắng.

- Khi Trình tăng tốc chứng minh gửi bằng chứng nhanh hơn, phần thưởng sẽ giảm dần.

Do đó, khi công cụ tăng tốc bằng chứng trở nên nhanh nhất, chiến lược tốt nhất của nó là chỉ gửi bằng chứng nhanh hơn một chút so với đối thủ cạnh tranh và đợi một thời gian Để nhận được phần thưởng cao hơn và giữ lợi nhuận lớn hơn.

Tiếp theo, chúng ta cùng điểm qua một số hiện tượng quan sát được ở Taiko A3.

1.Chiến tranh khí đốt

Hiện nay, số lượng máy gia tốc bằng chứng hoạt động ở A3 đang dần tăng lên giảm dần, thể hiện xu hướng tập trung hóa.

A3 Kiểm tra xu hướng của các máy gia tốc bằng chứng hoạt động hàng ngày trên mạng thử nghiệm

Lý do dẫn đến xu hướng trên là do một số máy gia tốc chứng minh hiệu suất cao có thể gửi bằng chứng của họ trong 24 giây, một tốc độ rất nhanh. Theo thiết kế của Ethereum, nếu nhiều máy gia tốc bằng chứng gửi bằng chứng trong cùng một khoảng thời gian, máy gia tốc bằng chứng có phí Gas cao hơn sẽ được chấp nhận. Trên mạng thử nghiệm Sepolia, phí gas không phải là ETH thực, rất rẻ.

Do đó, xảy ra cuộc chiến khí đốt giữa các máy gia tốc có hiệu suất cao này. Họ gửi bằng chứng với giá xăng cực cao, đôi khi lên tới 2000 Gwei. Một số máy gia tốc thử nghiệm có chi phí nhiên liệu rất cao chiếm ưu thế trong nhiệm vụ thử nghiệm.

Một chiến lược khác là tối ưu hóa hiệu suất bằng cách gửi bằng chứng trong vòng 12 giây. Tuy nhiên, việc gửi tất cả bằng chứng trong vòng 12 giây là điều khó khăn vì tốc độ nhanh hơn dẫn đến phần thưởng nhỏ hơn trên mỗi thiết kế A3.

Chứng minh xu hướng phí gas của máy gia tốc trên mạng thử nghiệm A3

Phí gas cao trên mạng thử nghiệm A3

2. Cạnh tranh về tài nguyên máy tính

Một hiện tượng khác ở A3 là số lần gửi bài không thành công ngày càng tăng. Điều này là do chỉ một người chiến thắng được phép gửi bằng chứng cho mỗi khối và ngay cả khi họ đưa ra bằng chứng hợp lệ thì tất cả các lần gửi khác sẽ bị từ chối.

Tỷ lệ thất bại trong A3 (giao dịch trong hộp màu đỏ)

4.2 Mô hình kinh tế bằng chứng dựa trên cam kết (Taiko A4)

Trong A4, Taiko áp dụng mô hình kinh tế bằng chứng dựa trên cam kết, mang lại một số lợi thế:

1. Loại bỏ sự cạnh tranh quá mức về tài nguyên máy tính vì chỉ một bộ tăng tốc chứng minh được chọn để tạo ra các bản chứng minh. Nếu không được chọn, các máy gia tốc bằng chứng khác không cần phải tính toán.

2. Việc khuyến khích các máy gia tốc có bằng chứng hiệu suất cao, chi phí thấp bằng cách cho trọng lượng cao hơn không đảm bảo sẽ giành chiến thắng.

3. So với các giải pháp kiểu đấu giá, thiết kế tương đối đơn giản.

Tại sao chúng ta cần phải cam kết? Lý do là khi một công cụ tăng tốc bằng chứng được chọn, nó cần phải gửi bằng chứng một cách trung thực và kịp thời. Các hình phạt sẽ được thực hiện nếu máy gia tốc chứng minh đã chọn không hoàn thành nhiệm vụ này.

Một hiện tượng quan trọng trong A4 là ZKP chứng tỏ khả năng máy gia tốc bị trừng phạt là rất cao, đặc biệt khi mạng bị tắc nghẽn. Đây là một ví dụ.

Lịch sử trừng phạt trên mạng thử nghiệm A4

Tiếp theo , chúng ta có thể thảo luận về các giải pháp khả thi.

5. Chứng minh những cải tiến hơn nữa đối với mô hình kinh tế

Dựa trên phân tích của chúng tôi, đó là mong đợi rằng Mô hình kinh tế chứng minh không có kiến thức phải đáp ứng các yêu cầu sau:

1. Chỉ có một máy gia tốc chứng minh cho mỗi nhiệm vụ, không có bất kỳ tính toán lãng phí nào.

2. Cần phát triển các cơ chế để ngăn chặn tình trạng độc quyền và thúc đẩy phân cấp.

3. Các tổ chức tăng tốc bằng chứng được chọn phải cung cấp tài sản thế chấp và sẽ bị phạt nếu họ không tạo được bằng chứng trong khoảng thời gian được chỉ định.

4. ⿎Cơ chế khuyến khích nộp bằng chứng nhanh hơn và chi phí thấp hơn.

5. Chứng minh rằng máy gia tốc phải được bù đắp phí gas cao.

6. Thời hạn chứng nhận cần được gia hạn trong thời gian ùn tắc giao thông.

Hãy mở rộng cuộc thảo luận hơn nữa.

Cơ chế đặt cược bằng chứng không có kiến thức này tương tự như Ethereum ở chỗ nó khuyến khích người xác minh trung thực. Tuy nhiên, có sự khác biệt giữa chúng.

So sánh giữa trình xác thực Ethereum và trình tăng tốc bằng chứng không có kiến thức

Như bảng hiển thị, so với trình xác thực Ethereum, trình tăng tốc bằng chứng không có kiến thức đắt hơn và có nguy cơ bị trừng phạt cao hơn. Đồng thời, về phần thưởng, khoản bồi thường duy nhất cho máy gia tốc chứng minh không có kiến thức đến từ dự án ZKP, nhưng nó phải bao gồm phí Gas, chi phí phần cứng máy tính và chi phí tài sản cầm cố.

Sau đây là một số đề xuất nhằm giảm số tiền phạt, vì các máy gia tốc chứng minh không có kiến thức cần phải trả phí Gas và chi phí tài nguyên phần cứng máy tính tương đối cao:

1. Nếu người tăng tốc bằng chứng gửi bằng chứng trong một khoảng thời gian tương đối dài thì không nên áp dụng hình phạt nào. Điều này là do những người khác có thể gửi bằng chứng theo thiết kế mà máy gia tốc đã gánh chịu phí gas và chi phí điện năng tính toán.

2. Nếu người tăng tốc bằng chứng không bao giờ gửi bằng chứng thì mức phạt sẽ thấp hơn. Trong trường hợp này, có thể khó phân biệt giữa sự cố mạng/kỹ thuật hay sự cố không trung thực. Vì vậy, mức phạt là hợp lý nhưng nên ở mức nhẹ vì trong hầu hết các trường hợp, lỗi có thể là do tắc nghẽn mạng.

Khi mạng bị tắc nghẽn hoặc chi phí gas rất cao, máy gia tốc bằng chứng khó có thể gửi bằng chứng ngay cả với chi phí gas hợp lý. Sau đây là một số giải pháp có thể được xem xét:

1. Mở rộng thời hạn chứng nhận khi phí cơ bản cao.

2. Một giải pháp hợp lý hơn về mặt kinh tế là tăng phần thưởng khi chi phí gas cơ bản cao.

Cơ chế cầm cố mang lại một số chi phí về vốn. Mặc dù không có cái gọi là phần thưởng POS, nhưng ZK-rollup sử dụng POS như một phần của mô hình kinh tế chứng minh. Tuy nhiên, tất cả các quỹ đều có chi phí lãi vay. Do đó, trong cơ chế dựa trên đặt cược, số tiền thưởng phải được tăng lên để trang trải chi phí đặt cược, mặc dù nó có thể được bao gồm trong phần thưởng của máy tăng tốc bằng chứng tổng thể.

Ngoài ra, những cải tiến sau đây cũng là điều đáng mong muốn:

1. Tạo động lực khuyến khích nhanh hơn Bằng chứng người tăng tốc bằng chứng, sau khi chọn máy gia tốc bằng chứng, có thể tăng phần thưởng nếu họ gửi bằng chứng trước khung thời gian chứng minh mục tiêu.

2. Sử dụng bằng chứng lô giúp giảm chi phí gas tổng thể.

6.Mô hình kinh tế chứng minh kiến thức không hai lớp

Hiện nay, nhiều mô hình kinh tế không có kiến thức Các dự án Bằng chứng kiến thức (ZKP) đều sử dụng hệ thống bằng chứng và mô hình kinh tế riêng, tuy nhiên phương pháp này không có lợi cho việc chia sẻ sức mạnh tính toán giữa các dự án ZKP, dẫn đến chi phí cao hơn cho toàn bộ hệ sinh thái ZKP.

Như chúng tôi đã phân tích ở phần trước, các dự án ZKP yêu cầu một cơ chế phức tạp để quản lý các hình phạt, phần thưởng, khoảng thời gian chứng minh và các khía cạnh liên quan khác.

Ngoài ra, còn có ngưỡng cao để trở thành công cụ tăng tốc bằng chứng cho các dự án ZKP khác nhau và đặt cọc nhiều tài sản khác nhau.

Để đạt được một hệ sinh thái chứng minh ZKP lành mạnh hơn và tiết kiệm chi phí hơn, việc áp dụng mô hình kinh tế hai lớp có thể là một giải pháp tốt. Taiko đã đề xuất một giải pháp sau nhiều vòng lặp lại mô hình kinh tế bằng chứng và chúng tôi tiếp tục mở rộng giải pháp này thành một khuôn khổ hai lớp.

Theo cách tiếp cận này, mỗi dự án ZKP hoạt động như lớp đầu tiên và xác định mô hình kinh tế của riêng mình. Tuy nhiên, việc lựa chọn, lên lịch, hình phạt, phần thưởng và xếp hạng của các máy gia tốc bằng chứng được ủy quyền cho lớp thứ hai, nhóm chung của các máy gia tốc bằng chứng.

Mô hình kinh tế ZKP hai lớp

ZKPool là bằng chứng cho thấy Nhóm máy gia tốc có thể Tổng hợp nhu cầu của nhiều dự án ZKP và phân bổ nhiệm vụ cho các máy gia tốc thử nghiệm để chúng có mức sử dụng cao hơn và nhiều lợi ích hơn. Ngoài ra, nó làm giảm ngưỡng tham gia và giảm thiểu các hình phạt có thể xảy ra.

Để cung cấp công cụ tăng tốc bằng chứng hiệu suất tốt nhất và chi phí thấp cho các dự án ZKP, ZKPool có thể triển khai thị trường bằng chứng và sử dụng hệ thống tỷ lệ tiêu chuẩn hóa để đánh giá Chứng minh hiệu suất của các máy gia tốc và tạo cơ chế cạnh tranh giữa các máy gia tốc bằng chứng. Hệ thống có thể trả lại các máy gia tốc bằng chứng tốt nhất cho các dự án ZKP và ZKPool có thể cung cấp các ưu đãi nền tảng bổ sung dựa trên hệ thống xếp hạng. Cách tiếp cận này có thể mang lại lợi ích to lớn cho các dự án ZKP và máy gia tốc bằng chứng ZKP.

Phạm vi trách nhiệm của mô hình kinh tế hai tầng

Ngoài ra, chúng tôi còn đề xuất khái niệm UMP (Bộ tăng tốc chứng minh mô-đun phổ quát). Bộ tăng tốc chứng minh mô-đun phổ quát có thể chạy trên cùng một nền tảng phần cứng đồng thời hỗ trợ công việc chứng minh cho các dự án ZKP khác nhau.

Máy gia tốc thử nghiệm mô-đun đa năng

Toàn bộ ZKPool Họ tất cả sẽ hướng tới sự phân quyền và thúc đẩy một hệ sinh thái ZKP lành mạnh về mặt kinh tế.

Tổng quan về kiến trúc ZKPool

Nguyên tắc thiết kế của ZKPool:

Giảm thiểu chi phí dự án ZKP trong khi tối đa hóa thu nhập của Proof Accelerator.

Đơn giản: dễ dàng tiếp cận sức mạnh tính toán ZKP, dễ dàng tham gia chương trình tăng tốc chứng minh ZKP.

Minh bạch: Đảm bảo phân phối doanh thu minh bạch.

Không chỉ ZKP mà việc triển khai trí tuệ nhân tạo và điện toán không gian trong web3 cũng sẽ yêu cầu tài nguyên điện toán tăng tốc. ZKPool cuối cùng có thể chia sẻ tất cả các tài nguyên điện toán được tăng tốc trên khắp Web3, mà chúng ta có thể gọi là lớp tăng tốc của Web3.

Lớp tăng tốc We3

7. Kết luận

Khám phá ZKP để chứng minh mô hình kinh tế là một hành trình dài và bổ ích. Thông qua nghiên cứu của mình, chúng tôi đã xác định chi phí, hiệu suất và sự phân quyền là những thước đo chính cho mô hình chứng minh kinh tế của ZKP. Việc triển khai ZKP hai cấp chứng tỏ rằng mô hình kinh tế có thể mang lại lợi ích cho toàn bộ hệ thống. Ngoài ra, việc chia sẻ nhóm tăng tốc bằng chứng chung là rất quan trọng đối với hệ sinh thái ZKP.

Dưới đây, chúng ta cần giải quyết và giải quyết những thách thức này để hoàn thiện hệ sinh thái này. Công việc quan trọng bao gồm xây dựng đầu vào tiêu chuẩn cho bộ tăng tốc chứng minh ZKP, giảm yêu cầu về phần cứng, v.v. Đây là những lĩnh vực mà chúng tôi tập trung và làm việc chăm chỉ.

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia