Tại sao ZK lại là Đích đến cuối cùng? Hãy cùng khám phá qua góc nhìn của @gevulot_network [và vâng, Devnet của Gevulot hiện đã hoạt động! ]

Cảm ơn: @teemupai @NorbertVadas @HeslinKim @niluokay @Henrixbor

Gevulot: Một Blockchain Layer 1 cho các Hệ thống Chứng minh ZK Phi tập trung

Trong chuỗi bài này, chúng ta sẽ bắt đầu với một cái nhìn tổng quan về các ZK provers và sau đó đi sâu vào các giải pháp ZK prover phi tập trung và Gevulot. Chuỗi bài được cấu trúc thành bốn phần chính:

- Giới thiệu ngắn gọn về ZK
- Cơ sở hạ tầng Chứng minh Tập trung
- Cơ sở hạ tầng Chứng minh Phi Tập trung
- Gevulot

Chúng ta sẽ bắt đầu bằng việc giải thích các thách thức gặp phải trong các cơ sở hạ tầng chứng minh tập trung, điều này sẽ dẫn chúng ta đến những nỗ lực nhằm phi tập trung hóa chúng. Cuối cùng, chúng ta sẽ giới thiệu Gevulot, một giải pháp prover phi tập trung thú vị, phục vụ như một blockchain Layer 1 được thiết kế đặc biệt cho các hệ thống chứng minh ZK phi tập trung.

1/
Giới thiệu ngắn gọn về ZK

Chứng minh không biết (Zero-knowledge proofs) liên quan đến hai bên: một người chứng minh (prover) và một người xác thực (verifier). Mục tiêu của người chứng minh là thuyết phục người xác thực về tính đúng đắn của một tuyên bố mà không tiết lộ bất kỳ thông tin nào về chính tuyên bố đó. Việc xây dựng một chứng minh xác thực tính chính xác của tuyên bố đòi hỏi tài nguyên tính toán đáng kể. Tuy nhiên, lợi thế của ZKP nằm ở chỗ các chứng minh vừa ngắn gọn vừa hiệu quả để xác thực, không giống như việc tính toán trực tiếp tuyên bố đó.

2/
Không biết được sử dụng trong các blockchain nhờ vào tính ngắn gọn, khả năng mở rộng, giảm thiểu sự tin cậy, tính toàn vẹn và riêng tư. Ví dụ:
- Zk-rollups sử dụng không biết để mở rộng vì việc xác thực một chứng minh hiệu quả hơn so với việc thực hiện lại tất cả các chuyển trạng thái.

- Các blockchain đệ quy, như Mina Protocol, tận dụng chứng minh không biết để ngắn gọn bằng cách nén trạng thái của blockchain một cách đệ quy mà không làm ảnh hưởng đến tính toàn vẹn của nó.

- Các cầu ZK cho phép tương tác chuỗi chéo một cách giảm thiểu sự tin cậy bằng cách sử dụng chứng minh ZK.

- Chứng minh ZK được sử dụng cho tính riêng tư trong các dự án như Zcash, Aztec, Aleo, Ironfish, v.v.

3/
Cơ sở hạ tầng Chứng minh Tập trung

Hãy tập trung vào ZK rollups, những giải pháp nổi tiếng sử dụng chứng minh không biết. Thông thường, hầu hết các ZK rollups phụ thuộc vào một prover tập trung, dựa vào một thực thể duy nhất để quản lý cơ sở hạ tầng chứng minh ZK bên dưới. Cách tiếp cận tập trung này có một số lợi ích:

- Dễ bảo trì hơn, vì một dự án có thể kiểm soát hoàn toàn cơ sở hạ tầng.
- Đơn giản hơn, loại bỏ nhu cầu thiết kế một hệ thống hoặc các ưu đãi cho nhiều provers.