Giới thiệu Plonky2

Bộ phận Polygon Zero trực thuộc Polygon Labs chuyên nghiên cứu và ứng dụng công nghệ bằng chứng không kiến thức, nhằm mở rộng Ethereum phục vụ quy mô hàng tỷ người dùng mà vẫn đảm bảo tính phi tập trung và bảo mật. Để thực hiện mục tiêu này, các hệ thống bằng chứng cần được phát triển với tốc độ và hiệu suất vượt trội. Plonky2 là thành tựu đột phá trong lĩnh vực mật mã học không kiến thức, kết hợp các ưu điểm của nhiều hệ thống bằng chứng vào một giải pháp tối ưu hóa cao.

Plonky2 là SNARK đệ quy đem lại hiệu suất vượt trội so với các giải pháp hiện nay, đồng thời duy trì khả năng tương thích gốc với Ethereum. Nhờ tổng hợp PLONK và FRI (Fast Reed-Solomon Interactive Oracle Proofs), Plonky2 sở hữu những đặc điểm nổi bật nhất của STARKs—bao gồm tốc độ tạo bằng chứng nhanh và không cần thiết lập tin cậy—cùng ưu thế của SNARKs như hỗ trợ đệ quy và chi phí xác minh thấp trên Ethereum.

Đệ quy

Đệ quy là một trong những năng lực mạnh nhất của hệ thống bằng chứng không kiến thức. SNARKs có khả năng xác minh mọi phép tính tùy ý, và bản thân việc xác minh SNARK cũng là phép tính, nên SNARKs có thể xác minh lẫn nhau. Tính chất đệ quy của Plonky2 mang lại tiềm năng mở rộng quy mô vượt trội.

Ví dụ thực tiễn: các validator cần chứng minh tính hợp lệ của 1.000 giao dịch. Nếu tạo một bằng chứng duy nhất xác minh đồng thời cả 1.000 giao dịch, chi phí tính toán sẽ rất lớn và mất nhiều thời gian. Cách tiếp cận hiệu quả hơn là phân phối công việc: 1.000 máy song song, mỗi máy sinh một bằng chứng cho một giao dịch. Sau đó, các bằng chứng này được tổng hợp đệ quy qua nhiều lớp, mỗi bằng chứng xác minh hai bằng chứng từ lớp trước. Quá trình tổng hợp này tiếp diễn cho đến khi chỉ còn một bằng chứng duy nhất xác thực toàn bộ 1.000 giao dịch.

Kiến trúc đệ quy của Plonky2 giúp giảm thời gian xử lý, tiết kiệm tài nguyên và tăng cường tính phi tập trung bằng cách phân phối sinh bằng chứng cho nhiều nút mạng.

Hiệu suất

Bằng chứng đệ quy là nền tảng mở rộng blockchain. Quá trình phát triển công nghệ bằng chứng đệ quy diễn ra nhanh chóng: năm 2019, khi Mir (sau này đổi tên thành Polygon Zero) ra mắt, việc sinh một bằng chứng đệ quy mất khoảng hai phút trên phần cứng cao cấp. Đến năm 2020, bằng chứng đệ quy đã được triển khai thành công trên Ethereum với thời gian tạo bằng chứng giảm còn 60 giây. Giao thức Halo giúp tăng tốc quá trình sinh bằng chứng đệ quy, nhưng lại không hỗ trợ tương thích với Ethereum.

Năm 2021, Polygon Zero đặt mục tiêu công nghệ: đạt thời gian sinh bằng chứng đệ quy dưới 1 giây mà vẫn đảm bảo tương thích với Ethereum. Đột phá của Plonky2 đến từ việc nhận ra FRI—cơ chế cam kết đa thức nền tảng của STARKs—có thể mang lại lợi ích hiệu suất lớn cho SNARKs đệ quy, điều mà các giải pháp như Fractal trước đây cần đến 10 phút để sinh bằng chứng.

FRI sở hữu những tính chất toán học đặc biệt: cho phép dùng trường số 64-bit, và các nhà nghiên cứu Polygon phát hiện ra Goldilocks Field, có mô-đun tối ưu hóa thao tác số học trường trên CPU hiện đại. Khi kết hợp với PLONK, FRI cho phép thiết kế các cổng tùy chỉnh có số lượng dây dẫn lớn, giúp tối ưu hóa mạch Plonky2 đặc biệt cho đệ quy hiệu quả.

Sự kết hợp giữa đổi mới toán học, kỹ thuật mật mã và tối ưu hóa hiệu suất đã tạo nên bước chuyển lớn: một bằng chứng đệ quy trên Plonky2 chỉ mất 170 mili giây để sinh ra trên Macbook Pro—tăng tốc vượt trội so với các giải pháp hiện tại.

Kích thước bằng chứng

Plonky2 không chỉ cải thiện hiệu suất cho bằng chứng đệ quy mà còn tối ưu quá trình sinh bằng chứng không đệ quy. Các hệ thống dựa trên FRI thường phải chọn giữa sinh bằng chứng nhanh với kích thước lớn (tăng chi phí xác minh trên Ethereum), hoặc sinh bằng chứng nhỏ nhưng tốc độ chậm hơn. Các giải pháp khác đều phải đánh đổi giữa hai lựa chọn này.

Plonky2 đã loại bỏ hoàn toàn bài toán đánh đổi này nhờ kiến trúc thiết kế. Khi cần tốc độ sinh bằng chứng cao, hệ thống tối ưu hóa cho tốc độ. Sau đó, khi các bằng chứng này được tổng hợp đệ quy, bằng chứng duy nhất kết quả có thể xác minh qua mạch nhỏ gọn, tối ưu hóa kích thước bằng chứng. Cách tiếp cận hai giai đoạn này giúp đạt kích thước bằng chứng chỉ 45 kilobyte với thời gian sinh bằng chứng chỉ 20 giây—một khoảng thời gian không đáng kể do chỉ sinh bằng chứng khi nộp lên Ethereum. Khả năng này giúp giảm mạnh chi phí vận hành so với các giải pháp khác.

Tương thích

Ưu điểm nổi bật của Plonky2 là khả năng tương thích gốc với blockchain Ethereum. Quá trình xác minh bằng chứng chỉ yêu cầu hàm băm keccak-256, bảo đảm phù hợp với hạ tầng Ethereum hiện tại. Phân tích ước tính việc xác minh một bằng chứng Plonky2 tối ưu trên Ethereum tiêu tốn khoảng 1 triệu gas.

Tuy nhiên, phần lớn chi phí gas này là do chi phí công bố CALLDATA khi đưa bằng chứng lên chuỗi. Nếu cấu trúc giá CALLDATA thay đổi theo EIP-4488, chi phí xác minh có thể giảm còn 170.000-200.000 gas. Sự giảm này sẽ giúp Plonky2 không chỉ nhanh mà còn là giải pháp xác minh bằng chứng tiết kiệm chi phí trên Ethereum.

Kết luận

Plonky2 là bước tiến quan trọng về công nghệ bằng chứng không kiến thức, đánh dấu cột mốc cho hạ tầng mở rộng Ethereum. Việc Polygon Zero phát triển Plonky2 chứng minh khả năng kết hợp đổi mới toán học với kỹ thuật vượt trội để vượt qua những giới hạn tồn tại của hệ thống bằng chứng. Dù các giải pháp layer-2 zero-knowledge được quan tâm rộng rãi, nhiều triển khai hiện nay vẫn dựa trên các nền tảng mật mã có hạn chế về hiệu suất và khả năng mở rộng.

Bối cảnh cạnh tranh của các giải pháp layer-2 ngày càng phát triển, yếu tố khác biệt sẽ phụ thuộc vào khả năng thông lượng và chi phí vận hành. Plonky2 cung cấp cho hệ sinh thái Polygon công cụ nền tảng xây dựng các hệ layer-2 có hiệu suất và khả năng mở rộng vượt trội, góp phần đột phá cho giải pháp mở rộng Ethereum.

FAQ

Plonky2 là gì? Đặc điểm và ưu thế nổi bật của Plonky2?

Plonky2 là công nghệ ZK-SNARK đệ quy do Polygon phát triển, nhanh hơn 100 lần so với các giải pháp hiện tại và tương thích hoàn toàn với Ethereum. Công nghệ này kết hợp các ưu điểm của PLONK và FRI để tạo bằng chứng nhanh và nâng cao khả năng mở rộng.

Plonky2 khác biệt thế nào so với các framework bằng chứng không kiến thức như Circom và ZoKrates?

Plonky2 sử dụng trường Goldilocks nhỏ và hỗ trợ đệ quy hiệu quả, cho hiệu suất vượt trội so với Circom và ZoKrates. Công nghệ này tối ưu thời gian sinh bằng chứng và đảm bảo mức độ bảo mật cao.

Các ứng dụng chính của Plonky2 là gì?

Plonky2 được sử dụng chủ yếu cho bảo vệ quyền riêng tư blockchain, mở rộng layer-2 và xác minh mật mã. Công nghệ này cho phép tạo bằng chứng không kiến thức cho giao dịch bảo mật và xác thực hợp đồng thông minh.

Cách xây dựng và xác minh bằng chứng không kiến thức bằng Plonky2?

Plonky2 hỗ trợ xây dựng bằng chứng không kiến thức cho các phép tính xác minh tùy ý với khả năng tổng hợp đệ quy hiệu quả. Tối ưu hóa mạch số bằng các cổng tùy chỉnh để nâng cao hiệu suất và khả năng mở rộng.

Hiệu suất của Plonky2 ra sao? Tốc độ sinh và xác minh bằng chứng thế nào?

Plonky2 sinh bằng chứng đệ quy trong 0,17 giây trên MacBook Pro, nhanh hơn gấp 100 lần so với các giải pháp hiện tại. Quá trình xác minh chỉ mất khoảng 20 giây, đạt hiệu suất vượt trội cho các ứng dụng bằng chứng không kiến thức.

Plonky2 hỗ trợ những ngôn ngữ lập trình và môi trường nào?

Plonky2 chủ yếu hỗ trợ ngôn ngữ lập trình Rust, dành cho các nhà phát triển có kinh nghiệm Rust. Công nghệ này cung cấp môi trường phát triển bằng chứng không kiến thức hiệu quả, hỗ trợ xây dựng hệ thống bằng chứng dạng module và mở rộng.

Plonky2 liên quan gì đến thuật toán Plonk? Vì sao có tên Plonky2?

Plonky2 là phiên bản nâng cấp của Plonk, thay thế cam kết KZG bằng cam kết FRI từ STARK. Tên gọi Plonky2 thể hiện sự phát triển và cải tiến, kết hợp hiệu suất của Plonk với khả năng kháng lượng tử và tốc độ sinh bằng chứng vượt trội của FRI.