Từ bằng chứng thời gian thực đến bản tổng hợp gốc: Giai đoạn cuối cùng của quá trình mở rộng Ethereum do ZK thúc đẩy

Ethereum đang tiến tới kỷ nguyên mở rộng quy mô 1 vạn giao dịch/giây, và công nghệ Bằng chứng không tri thức (ZK) đang trở thành động lực then chốt. Đây là bài viết thứ hai trong loạt bài "Lộ trình 1 vạn giao dịch/giây của Ethereum", sẽ tập trung vào các điểm khó khăn về chứng minh thời gian thực, logic tham gia của Prover, thách thức an toàn trong quá trình chuyển đổi L1, cũng như "Rollup gốc" sẽ trở thành hình thái cuối cùng của việc mở rộng ZK như thế nào.

Bản gốc:Lộ trình của Ethereum tới 10.000 giao dịch/giây sử dụng công nghệ ZK: Hướng dẫn cho người mới

Tác giả:Andrew Fenton

Dịch:imToken

Lời biên tập:Ethereum đang tiến tới kỷ nguyên mở rộng quy mô 1 vạn giao dịch/giây, và công nghệ Bằng chứng không tri thức (ZK) đang trở thành động lực then chốt. Đây là bài viết thứ hai trong loạt bài "Lộ trình 1 vạn giao dịch/giây của Ethereum", sẽ tập trung vào các điểm khó khăn về chứng minh thời gian thực, logic tham gia của Prover, thách thức an toàn trong quá trình chuyển đổi L1, cũng như "Rollup gốc" sẽ trở thành hình thái cuối cùng của việc mở rộng ZK như thế nào.

Chính vì vậy, Ladislaus bày tỏ sự lạc quan, "Chỉ cần tìm được một người chứng thực trung thực đáp ứng các điều kiện phần cứng, Ethereum sẽ tiếp tục hoạt động an toàn. Chúng tôi cố ý đặt ngưỡng dưới mức trung tâm dữ liệu, thậm chí ngay cả những nhà phát triển cá nhân có năng lực kỹ thuật cũng có thể chạy Prover tại nhà".

Cấu hình phần cứng 100.000 USD này hiện chỉ là mục tiêu ban đầu, nhà nghiên cứu Quỹ Ethereum Sophia Gold dự đoán rằng đến tháng 11 năm nay tại Hội nghị nhà phát triển Devconnect ở Argentina, các Prover chính sẽ đạt được tiêu chuẩn.

Đồng sáng lập Succinct, Roy dự kiến đến đầu năm sau có thể giảm nhu cầu GPU xuống còn khoảng 16 card màn hình, tổng chi phí cũng sẽ được kiểm soát trong khoảng 10.000 đến 30.000 USD.

Đồng thời, Succinct đã xây dựng một mạng lưới phi tập trung bao gồm "hàng trăm Prover" trên mạng thử nghiệm, tổng cộng đã tạo ra hàng triệu bằng chứng.

Logic cốt lõi của hệ thống này là chứng minh cạnh tranh, tức là tất cả các Prover tham gia đấu thầu, mỗi vòng chọn một người trúng thầu để thực hiện chứng minh zk, với mục tiêu là để những người tham gia có thời gian ngắn hơn, chi phí thấp hơn chiến thắng, tạo thành một cơ chế đấu giá năng lực tính toán.

Điều này có nghĩa là, trong tương lai Ethereum được điều khiển bởi ZK, tinh thần thợ đào sẽ xuất hiện dưới một hình thức khác - chỉ là vai trò thay đổi từ tính toán khối thành tính toán chứng minh.

Chuyển mainnet sang kiến trúc Bằng chứng không tri thức: Một quá trình di chuyển hệ thống độ khó cao

Chuyển mạng chủ Ethereum L1 sang kiến trúc Bằng chứng không tri thức (ZK) là một thách thức kỹ thuật gần như ngang bằng với việc chuyển từ Bằng chứng công việc (PoW) sang Bằng chứng cổ phần (PoS) vào năm 2022, toàn bộ quá trình không chỉ yêu cầu tái cấu trúc lớp giao thức mà còn phải xem xét kỹ lưỡng các kịch bản biên và rủi ro an toàn tiềm ẩn để ngăn ngừa sự gián đoạn hoạt động của mạng.

Tại hội nghị EthProofs vào tháng 7 năm nay, nhà nghiên cứu Justin Drake đã đề cập đến nhiều nguy cơ tiềm ẩn. Ví dụ như kẻ tấn công độc hại có thể chèn "prover killer" vào khối, dẫn đến cơ chế xác thực mạng hoàn toàn bị vô hiệu hóa; hoặc mức độ hoạt động mạng giảm đột ngột, khiến thu nhập phí giao dịch không đủ để chi trả chi phí tạo chứng minh ZK, từ đó ảnh hưởng đến tính bền vững của mạng.