Prover

Prover trong crypto là gì?

Prover là một cá nhân, chương trình, node, dịch vụ hoặc hệ thống phần cứng tạo ra bằng chứng mật mã để chứng minh một mệnh đề, phép tính, nhóm giao dịch hoặc chuyển đổi trạng thái là hợp lệ.

Trong tiền mã hóa, thuật ngữ này thường được dùng trong bằng chứng zero-knowledge, validity rollup, zkVM, giao thức bảo mật quyền riêng tư và hệ thống tính toán có thể xác minh.

Nhiệm vụ của prover là thực hiện phần tính toán phức tạp để tạo ra bằng chứng mà một bên khác có thể xác minh với chi phí thấp hơn.

Bên còn lại đó được gọi là verifier.

Prover có thể chứng minh một phép tính được thực hiện chính xác mà không buộc mọi verifier phải lặp lại toàn bộ phép tính.

Ý tưởng này rất quan trọng đối với khả năng mở rộng blockchain, vì blockchain công khai cần nhiều bên tham gia đồng thuận về các thay đổi trạng thái hợp lệ.

Nếu mọi node phải thực thi lại đầy đủ từng giao dịch, mạng lưới có thể trở nên chậm và tốn kém.

Với các hệ thống bằng chứng, prover có thể thực thi hoặc kiểm tra khối lượng công việc lớn off-chain rồi gửi một bằng chứng cô đọng lên on-chain.

Tài liệu về bằng chứng zero-knowledge của Ethereum giải thích rằng tính toán có thể xác minh cho phép node thực thi giao dịch bên ngoài Ethereum rồi gửi bằng chứng cho thấy quá trình thực thi off-chain là chính xác.

Cách đơn giản nhất để hiểu prover là xem đây như máy móc hoặc tác nhân tạo ra “biên lai” toán học chứng minh một phép tính đã được thực hiện chính xác.

Prover hoạt động như thế nào?

Prover bắt đầu với một mệnh đề cần được chứng minh.

Mệnh đề đó có thể đơn giản, chẳng hạn chứng minh rằng mình biết một giá trị bí mật.

Nó cũng có thể phức tạp, chẳng hạn chứng minh hàng nghìn giao dịch Layer 2 đã được xử lý theo các quy tắc của giao thức.

Prover cũng sử dụng các đầu vào.

Một số đầu vào có thể là công khai, nghĩa là verifier có thể xem chúng.

Một số đầu vào có thể là riêng tư, nghĩa là prover sử dụng chúng nhưng không tiết lộ trực tiếp.

Trong nhiều hệ thống bằng chứng, đầu vào riêng tư được gọi là witness.

Sau đó, prover sử dụng thuật toán tạo bằng chứng để chuyển mệnh đề, các ràng buộc, đầu vào công khai và witness thành một bằng chứng.

Bằng chứng thường nhỏ hơn nhiều và được xác minh nhanh hơn phép tính ban đầu.

Verifier kiểm tra bằng chứng bằng thuật toán xác minh.

Nếu bằng chứng hợp lệ, verifier chấp nhận rằng mệnh đề đúng theo các quy tắc của hệ thống bằng chứng.

Nhờ đó, blockchain có thể tin cậy kết quả tính toán mà không cần tin tưởng cá nhân prover.

Prover và verifier

Prover và verifier đảm nhiệm hai vai trò đối lập trong một hệ thống bằng chứng.

Prover tạo bằng chứng.

Verifier kiểm tra bằng chứng.

Prover thường đảm nhận công việc khó hơn vì việc tạo bằng chứng có thể tốn nhiều tài nguyên tính toán.

Verifier thường có công việc dễ hơn vì quy trình xác minh được thiết kế để nhanh và ít tốn kém.

Sự bất đối xứng này hữu ích cho blockchain: một prover có thể xử lý khối lượng công việc lớn off-chain, trong khi nhiều node hoặc hợp đồng thông minh xác minh kết quả một cách hiệu quả.

Ví dụ, trong ZK-rollup, prover có thể tạo validity proof cho một nhóm lớn giao dịch.

Sau đó, hợp đồng verifier on-chain kiểm tra bằng chứng trước khi chấp nhận cập nhật trạng thái của rollup.

Tài liệu về ZK-rollup của Ethereum giải thích rằng ZK-rollup sử dụng validity proof để hoàn tất giao dịch trên Ethereum.

Verifier không cần tin rằng prover trung thực vì một bằng chứng không hợp lệ sẽ không vượt qua bước xác minh.

Prover và sequencer

Prover không giống sequencer.

Sequencer sắp xếp giao dịch và thường hỗ trợ tạo nhóm giao dịch trong hệ thống rollup.

Prover tạo bằng chứng mật mã cho thấy nhóm giao dịch hoặc quá trình chuyển đổi trạng thái là hợp lệ.

Trong một số hệ thống, cùng một tổ chức có thể vận hành cả hạ tầng sequencing lẫn proving.

Ở các hệ thống khác, sequencing và proving có thể do những dịch vụ, node, thị trường hoặc thành viên cộng đồng khác nhau đảm nhiệm.

Sự khác biệt này quan trọng vì sắp xếp giao dịch và chứng minh tính chính xác là hai quyền hạn khác nhau.

Sequencer có thể ảnh hưởng đến thứ tự giao dịch, độ trễ và trải nghiệm người dùng.

Prover có thể ảnh hưởng đến khả năng tạo bằng chứng, thời điểm finality và chi phí hạ tầng.

Rollup có thể vững chắc về mặt kỹ thuật nhưng vẫn đối mặt với rủi ro tập trung hóa nếu việc proving phụ thuộc vào một đơn vị vận hành.

Các nghiên cứu gần đây như nghiên cứu CrowdProve về proving cộng đồng tìm hiểu cách phân phối công việc proving cho ZK-rollup đến nhiều prover quy mô nhỏ thay vì chỉ dựa vào hạ tầng tập trung.

Prover trong bằng chứng zero-knowledge

Trong bằng chứng zero-knowledge, prover cố thuyết phục verifier rằng một mệnh đề là đúng mà không tiết lộ thêm thông tin ngoài tính đúng đắn của mệnh đề đó.

Prover có thể biết một bí mật riêng tư, dữ liệu giao dịch riêng tư, thuộc tính danh tính riêng tư, kết quả tính toán riêng tư hoặc witness riêng tư.

Bằng chứng chỉ nên tiết lộ những gì hệ thống được thiết kế để tiết lộ.

Ví dụ, người dùng có thể chứng minh mình biết một mật khẩu hợp lệ mà không tiết lộ mật khẩu đó.

Trong crypto, người dùng có thể chứng minh một giao dịch tuân thủ quy tắc mà không tiết lộ mọi chi tiết riêng tư.

Không phải bằng chứng nào được dùng trong rollup cũng chủ yếu nhằm bảo vệ quyền riêng tư.

Nhiều rollup chủ yếu dùng validity proof để mở rộng quy mô và bảo đảm tính chính xác, thay vì che giấu mọi chi tiết giao dịch.

Vì vậy, một số người dùng thuật ngữ rộng hơn là validity proof khi bằng chứng xác nhận việc thực thi chính xác chứ không tập trung hoàn toàn vào quyền riêng tư.

Prover vẫn là thành phần tạo ra bằng chứng.

Việc bằng chứng được dùng cho quyền riêng tư, khả năng mở rộng hay cả hai phụ thuộc vào thiết kế giao thức.

Prover trong ZK-rollup

Trong ZK-rollup, prover tạo bằng chứng cho thấy một nhóm giao dịch off-chain đã được xử lý chính xác.

Rollup thực thi nhiều giao dịch bên ngoài blockchain nền tảng.

Sau đó, rollup gửi dữ liệu đã nén cùng validity proof lên blockchain nền tảng.

Blockchain nền tảng xác minh bằng chứng thay vì thực thi lại từng giao dịch trong nhóm.

Cách này có thể giảm khối lượng tính toán on-chain và cải thiện khả năng mở rộng.

Prover là một trong những thành phần quan trọng nhất của ZK-rollup vì người dùng cần bằng chứng để hoàn tất các cập nhật trạng thái.

Nếu tạo bằng chứng chậm, finality có thể bị trì hoãn.

Nếu tạo bằng chứng tốn kém, chi phí vận hành rollup có thể tăng.

Nếu việc tạo bằng chứng bị tập trung, rollup có thể phụ thuộc quá nhiều vào một nhà cung cấp hạ tầng.

Nếu quá trình tạo bằng chứng thất bại, rollup có thể gặp khó khăn khi gửi các cập nhật trạng thái hợp lệ mới.

Đó là lý do thiết kế, hiệu suất, tính phi tập trung và độ tin cậy của prover là những chủ đề quan trọng trong quá trình phát triển Layer 2.

Prover trong zkVM

zkVM là máy ảo zero-knowledge có thể chứng minh chương trình được thực thi chính xác.

Thay vì viết một circuit tùy chỉnh cho từng tác vụ, nhà phát triển có thể chạy mã trong máy ảo và tạo bằng chứng rằng mã đã được thực thi chính xác.

Tài liệu dành cho nhà phát triển của RISC Zero mô tả tính toán có thể xác minh là cách tạo niềm tin bằng mật mã rằng một đầu ra dữ liệu cụ thể được tạo ra bởi một thuật toán cụ thể.

Trong zkVM, prover chạy chương trình, ghi lại quá trình thực thi và tạo bằng chứng về quá trình đó.

Sau đó, verifier có thể kiểm tra bằng chứng mà không cần chạy lại toàn bộ chương trình.

Mô hình này có thể giúp việc phát triển ZK dễ tiếp cận hơn vì nhà phát triển có thể dùng ngôn ngữ lập trình quen thuộc hoặc mục tiêu máy ảo.

Prover zkVM có thể được dùng cho rollup, bridge, hệ thống danh tính, ứng dụng bảo mật quyền riêng tư, quy trình AI có thể xác minh, game có thể xác minh và tính toán off-chain.

Tuy nhiên, việc proving trong zkVM có thể đòi hỏi nhiều tài nguyên.

Hiệu suất phụ thuộc vào kích thước chương trình, mức sử dụng bộ nhớ, hệ thống bằng chứng, phần cứng, thiết kế đệ quy và các lựa chọn tối ưu hóa.

Prover trong hệ thống STARK

Hệ thống dựa trên STARK sử dụng một loại bằng chứng có thể được xác minh mà không cần dựa vào các giả định về trusted setup như một số hệ thống bằng chứng khác.

Trong hệ thống STARK, prover chuyển một phép tính thành bằng chứng dựa trên các ràng buộc đại số và dữ liệu trace.

Bằng chứng có thể cho thấy chương trình hoặc nhóm giao dịch tuân thủ các quy tắc bắt buộc.

Tài liệu SHARP của Starknet mô tả các hợp đồng verifier on-chain dùng để xác minh bằng chứng STARK do SHARP tạo ra.

SHARP là ví dụ về hạ tầng proving dùng chung, có thể tổng hợp và chứng minh quá trình thực thi của nhiều chương trình hoặc ứng dụng.

Prover STARK nổi tiếng với khả năng mở rộng mạnh và lợi ích về tính minh bạch.

Tùy cấu trúc, chúng cũng có thể tạo ra bằng chứng lớn hơn một số hệ thống SNARK.

Như với mọi hệ thống bằng chứng, các đánh đổi thực tế phụ thuộc vào thời gian proving, chi phí xác minh, kích thước bằng chứng, giả định bảo mật và trải nghiệm của nhà phát triển.

Prover là thành phần gánh phần lớn độ phức tạp kỹ thuật để verifier có thể kiểm tra một bằng chứng cô đọng.

Prover trong hệ thống SNARK

Hệ thống SNARK sử dụng bằng chứng cô đọng, có thể rất nhỏ và được xác minh nhanh.

Trong hệ thống SNARK, prover tạo bằng chứng gọn nhẹ cho thấy một phép tính thỏa mãn tập hợp ràng buộc.

Nhiều hệ thống SNARK yêu cầu trusted setup, dù các thiết kế mới hơn có thể giảm bớt hoặc thay đổi yêu cầu này.

Prover SNARK thường cần proving key được tạo trong quá trình thiết lập.

Verifier dùng verification key để kiểm tra bằng chứng.

Prover SNARK có thể hữu ích khi cần giữ chi phí xác minh on-chain ở mức rất thấp.

Điều này quan trọng vì blockchain lớp nền tính phí cho việc tính toán và lưu trữ.

Bằng chứng nhỏ, có chi phí xác minh thấp có thể giúp các ứng dụng tiên tiến trở nên thiết thực hơn.

Tuy nhiên, việc tạo bằng chứng vẫn có thể tốn kém đối với prover.

Thiết kế ứng dụng SNARK phải cân bằng kích thước bằng chứng, thời gian proving, giả định về trusted setup và độ phức tạp phát triển.

Witness, đầu vào công khai và đầu vào riêng tư

Prover thường xử lý cả đầu vào công khai lẫn đầu vào riêng tư.

Đầu vào công khai là các giá trị mà verifier được phép xem.

Đầu vào riêng tư là các giá trị prover sử dụng nhưng không tiết lộ trực tiếp.

Đầu vào riêng tư thường được gọi là witness.

Ví dụ, trong bằng chứng danh tính riêng tư, đầu vào công khai có thể là ngưỡng tuổi, còn witness riêng tư có thể là ngày sinh thực tế hoặc dữ liệu thông tin xác thực của người dùng.

Trong bằng chứng rollup, đầu vào công khai có thể gồm state root cũ, state root mới, batch commitment hoặc tham số giao thức.

Tùy thiết kế, witness có thể gồm chi tiết giao dịch, execution trace, đường dẫn Merkle, chữ ký hoặc dữ liệu tính toán trung gian.

Prover dùng witness để tạo bằng chứng.

Verifier kiểm tra xem bằng chứng có khớp với các đầu vào công khai hay không.

Hệ thống bằng chứng an toàn không nên cho phép prover tạo bằng chứng hợp lệ cho một mệnh đề sai.

Circuit và ràng buộc

Nhiều hệ thống bằng chứng yêu cầu biểu diễn phép tính dưới dạng circuit hoặc tập hợp ràng buộc.

Circuit mô tả điều cần chứng minh theo định dạng mà hệ thống bằng chứng có thể xử lý.

Các ràng buộc xác định quy tắc mà đầu vào hợp lệ và các bước tính toán phải tuân thủ.

Ví dụ, circuit có thể yêu cầu hash được tính chính xác, chữ ký hợp lệ hoặc cập nhật số dư tuân theo quy tắc giao thức.

Prover phải chứng minh có witness thỏa mãn tất cả ràng buộc.

Nếu witness không thỏa mãn các ràng buộc, prover không được phép tạo bằng chứng hợp lệ.

Thiết kế circuit là một trong những phần khó nhất của quá trình phát triển ZK.

Circuit được viết kém có thể vô tình chứng minh sai điều cần chứng minh.

Circuit cũng có thể đúng nhưng kém hiệu quả, khiến prover chậm hoặc tốn kém.

Hiệu suất prover tốt thường bắt đầu từ thiết kế circuit tốt.

Execution trace

Một số hệ thống bằng chứng sử dụng execution trace thay cho circuit riêng cho từng ứng dụng theo cách truyền thống.

Execution trace là bản ghi các bước tính toán do chương trình hoặc máy ảo thực hiện.

Prover dùng trace để chứng minh từng bước tuân theo quy tắc của máy hoặc giao thức.

Mô hình này thường gặp trong hệ thống STARK và zkVM.

Việc tạo trace có thể trở thành nút thắt hiệu suất lớn vì chương trình lớn có thể tạo ra trace rất dài.

Các nghiên cứu gần đây về máy ảo ZK tập trung cải thiện quá trình tạo trace, pipeline proving và tăng tốc phần cứng.

Trace hiệu quả giúp giảm chi phí và độ trễ của prover.

Với rollup, tạo trace nhanh hơn có thể giúp gửi bằng chứng và settlement nhanh hơn.

Với ứng dụng, trace nhanh hơn có thể giúp tính toán có thể xác minh trở nên thiết thực hơn cho người dùng thực tế.

Prover chịu trách nhiệm chuyển dữ liệu thực thi thô thành dữ liệu sẵn sàng cho proving.

Hiệu suất prover

Hiệu suất prover là một trong những vấn đề thực tiễn quan trọng nhất trong các hệ thống crypto zero-knowledge.

Việc tạo bằng chứng có thể cần nhiều tài nguyên CPU, GPU, bộ nhớ, lưu trữ và phần cứng chuyên dụng.

Một số hệ thống bằng chứng proving nhanh nhưng xác minh chậm hơn.

Một số hệ thống proving chậm hơn nhưng tạo ra bằng chứng nhỏ hơn hoặc rẻ hơn.

Các nhóm phát triển rollup thường dành nhiều nguồn lực kỹ thuật để tối ưu hóa pipeline prover.

Prover nhanh hơn có thể rút ngắn thời gian settlement.

Prover rẻ hơn có thể giảm chi phí cho người dùng.

Prover có khả năng mở rộng tốt hơn có thể hỗ trợ nhiều giao dịch và ứng dụng phức tạp hơn.

Hiệu suất prover cũng ảnh hưởng đến tính phi tập trung: nếu proving cần phần cứng rất đắt tiền, sẽ có ít bên tham gia vận hành prover hơn.

Điều này có thể khiến mạng lưới phụ thuộc nhiều hơn vào các đơn vị vận hành chuyên biệt.

Tính phi tập trung của prover

Prover phi tập trung nghĩa là việc tạo bằng chứng không do một bên duy nhất kiểm soát.

Trong các hệ thống ZK đời đầu, hạ tầng proving thường tập trung do công nghệ phức tạp và tốn kém để vận hành.

Theo thời gian, nhiều dự án hướng đến việc phân phối hoạt động proving rộng rãi hơn.

Proving phân tán có thể bao gồm nhiều prover, thị trường bằng chứng, mạng proving dùng chung, proving cộng đồng hoặc cạnh tranh giữa các nhà cung cấp phần cứng.

Proving phi tập trung có thể giảm rủi ro kiểm duyệt, rủi ro mất khả năng hoạt động và sự phụ thuộc vào một đơn vị vận hành.

Tuy nhiên, cách này cũng tạo ra thách thức về phối hợp.

Hệ thống phải phân công tác vụ proving, xác minh công việc của prover, thanh toán cho prover, ngăn spam, xử lý tác vụ thất bại và bảo vệ dữ liệu witness nhạy cảm khi cần.

Nghiên cứu về proving cộng đồng tìm hiểu liệu nhiều máy quy mô nhỏ có thể cùng hỗ trợ tạo bằng chứng cho rollup hay không.

Cách này có thể giúp hạ tầng proving cởi mở hơn nếu mô hình kinh tế và bảo mật hoạt động hiệu quả.

Tính phi tập trung của prover không chỉ là vấn đề kỹ thuật mà còn phụ thuộc vào cơ chế khuyến khích, quản trị, khả năng tiếp cận phần cứng và tính dễ sử dụng của phần mềm.

Thị trường prover

Thị trường prover là hệ thống để các prover cạnh tranh hoặc phối hợp tạo bằng chứng cho ứng dụng.

Rollup, bridge, ứng dụng zkVM hoặc hệ thống bảo mật quyền riêng tư có thể gửi tác vụ proving đến mạng lưới prover.

Prover có thể đấu giá để nhận tác vụ hoặc được chọn theo quy tắc giao thức.

Sau khi tạo bằng chứng hợp lệ, prover có thể được thanh toán.

Thị trường prover có thể giúp giảm chi phí nhờ thúc đẩy cạnh tranh.

Chúng cũng có thể cải thiện độ tin cậy vì ứng dụng không bị giới hạn ở một máy chủ proving duy nhất.

Tuy nhiên, thị trường prover cần cơ chế xác minh chặt chẽ để từ chối bằng chứng không hợp lệ và xử lý công việc thất bại.

Chúng cũng cần biện pháp bảo vệ quyền riêng tư nếu tác vụ proving chứa dữ liệu witness nhạy cảm.

Một số tác vụ proving có thể được thuê ngoài an toàn vì chỉ liên quan đến dữ liệu công khai.

Các tác vụ khác cần tính toán bảo mật, witness được mã hóa, phần cứng đáng tin cậy hoặc thiết kế giao thức thận trọng.

Proving đệ quy

Proving đệ quy là việc dùng một bằng chứng để xác minh bằng chứng khác, rồi tạo bằng chứng cho chính quá trình xác minh đó.

Ý tưởng này có vẻ trừu tượng nhưng rất hữu ích trong các hệ thống mở rộng quy mô.

Prover có thể tạo nhiều bằng chứng nhỏ rồi kết hợp chúng thành một bằng chứng lớn hơn.

Cách này có thể giúp giảm chi phí xác minh và lượng dữ liệu gửi lên on-chain.

Bằng chứng đệ quy có thể giúp rollup tổng hợp nhiều nhóm giao dịch.

Chúng cũng có thể giúp zkVM chứng minh các phép tính dài theo từng phần nhỏ hơn.

Proving đệ quy có thể cải thiện khả năng mở rộng nhưng làm tăng độ phức tạp kỹ thuật.

Pipeline prover phải xử lý việc kết hợp bằng chứng, circuit xác minh, lịch trình tổng hợp và các đánh đổi về hiệu suất.

Thiết kế bằng chứng đệ quy cũng có thể ảnh hưởng đến độ trễ vì bằng chứng cuối cùng có thể phải chờ các bằng chứng trước đó hoàn tất.

Người dùng hầu như không nhìn thấy hoạt động proving đệ quy, nhưng nó có thể ảnh hưởng đến tốc độ, phí và finality.

Tổng hợp bằng chứng

Tổng hợp bằng chứng là quá trình kết hợp nhiều bằng chứng thành một bằng chứng hoặc một quy trình xác minh.

Prover hoặc đơn vị tổng hợp có thể lấy nhiều bằng chứng riêng lẻ rồi tạo một bằng chứng duy nhất đại diện cho tất cả.

Cách này có thể giảm chi phí xác minh on-chain vì blockchain nền tảng chỉ cần xác minh một bằng chứng tổng hợp thay vì nhiều bằng chứng riêng biệt.

Tổng hợp hữu ích cho rollup, pool bảo mật quyền riêng tư, settlement theo lô và hệ thống nhắn tin cross-chain.

Cách này cũng hỗ trợ hạ tầng proving dùng chung, cho phép nhiều ứng dụng cùng hưởng lợi từ một pipeline proving.

Đánh đổi là tổng hợp có thể gây thêm độ trễ vì hệ thống có thể phải chờ đủ số lượng bằng chứng để gom thành một lô.

Nó cũng có thể tạo ra sự phụ thuộc vào đơn vị tổng hợp hoặc dịch vụ prover dùng chung.

Thiết kế tổng hợp tốt cần cân bằng hiệu quả, độ trễ, tính phi tập trung và độ tin cậy.

Tổng hợp bằng chứng là một trong những lý do khiến prover ngày càng trở thành lớp hạ tầng quan trọng trong crypto.

Càng nhiều ứng dụng sử dụng bằng chứng ZK, việc tổng hợp hiệu quả càng có giá trị.

Tính hoạt động liên tục của prover

Tính hoạt động liên tục của prover là khả năng hệ thống proving tiếp tục tạo bằng chứng khi cần.

Nếu rollup cần bằng chứng để hoàn tất các nhóm giao dịch, prover ngừng hoạt động có thể làm chậm settlement.

Nếu bridge cần bằng chứng để giải ngân, prover ngừng hoạt động có thể làm chậm quá trình rút tiền.

Nếu ứng dụng bảo mật quyền riêng tư cần bằng chứng cho hành động của người dùng, prover ngừng hoạt động có thể khiến người dùng không thể hoàn tất giao dịch.

Tính hoạt động liên tục không chỉ liên quan đến độ an toàn toán học của hệ thống bằng chứng.

Nó còn phụ thuộc vào khả năng hạ tầng thực tế vận hành khi chịu tải, sự cố, tấn công và lỗi phần cứng.

Có thể cải thiện khả năng hoạt động liên tục của prover bằng dự phòng, proving phân tán, hàng đợi tác vụ, prover dự phòng, giám sát và quy trình ứng phó khẩn cấp rõ ràng.

Người dùng cần hiểu rằng hệ thống ZK có thể giảm thiểu nhu cầu tin cậy về tính chính xác nhưng vẫn phụ thuộc vào hạ tầng proving để hoạt động đúng thời hạn.

Bằng chứng hợp lệ không có tác dụng nếu không ai tạo ra nó.

Đó là lý do vận hành prover là một phần trong độ tin cậy của giao thức.

Tính soundness của prover

Soundness là đặc tính bảo đảm prover không trung thực không thể thuyết phục verifier chấp nhận một mệnh đề sai.

Trong crypto, soundness rất quan trọng vì bằng chứng sai có thể cho phép chuyển đổi trạng thái không hợp lệ, rút tiền giả, số dư sai hoặc hành động trái phép.

Hệ thống bằng chứng có soundness yếu sẽ nguy hiểm dù tốc độ xử lý nhanh.

Soundness phụ thuộc vào giả định mật mã, chất lượng triển khai, lựa chọn tham số, tính chính xác của circuit và verifier.

Prover có thể có ý đồ xấu, nhưng verifier vẫn phải từ chối bằng chứng không hợp lệ.

Đây là lý do chính khiến hệ thống bằng chứng có sức mạnh.

Giao thức không cần tin vào sự trung thực của prover.

Giao thức chỉ cần hệ thống bằng chứng và verifier được bảo mật.

Tuy nhiên, nếu circuit chứng minh sai mệnh đề, bằng chứng có thể hợp lệ với circuit nhưng vẫn không bảo vệ được ứng dụng.

Cần xem xét soundness ở cả cấp độ hệ thống bằng chứng lẫn thiết kế ứng dụng.

Tính completeness của prover

Completeness nghĩa là prover trung thực phải có khả năng tạo bằng chứng cho một mệnh đề đúng.

Nếu phép tính hợp lệ và prover có witness chính xác, hệ thống proving phải tạo ra bằng chứng được verifier chấp nhận.

Completeness rất quan trọng vì hệ thống từ chối bằng chứng hợp lệ hoặc không thể tạo bằng chứng một cách ổn định sẽ không thể sử dụng.

Với rollup, completeness kém có thể khiến các nhóm giao dịch hợp lệ không thể được hoàn tất.

Với ứng dụng bảo mật quyền riêng tư, điều này có thể khiến người dùng trung thực không chứng minh được hành động hợp lệ.

Với zkVM, chương trình chính xác có thể không tạo được bằng chứng do lỗi triển khai hoặc giới hạn tài nguyên.

Completeness phụ thuộc vào phần mềm chính xác, đủ bộ nhớ và năng lực tính toán, tham số bằng chứng tương thích và hạ tầng ổn định.

Trên thực tế, nhà phát triển kiểm thử kỹ hệ thống proving để bảo đảm khối lượng công việc hợp lệ có thể được chứng minh ổn định.

Prover phải vừa chống được bằng chứng sai vừa thực tiễn đối với bằng chứng đúng.

Thiết kế prover tốt cần cân bằng giữa bảo mật và khả năng sử dụng.

Tính zero-knowledge của prover

Zero-knowledge là đặc tính bảo đảm bằng chứng không tiết lộ thông tin không cần thiết ngoài tính đúng đắn của mệnh đề được chứng minh.

Đặc tính này quan trọng khi witness chứa dữ liệu riêng tư.

Prover có thể biết khóa bí mật, giá trị giao dịch bị ẩn, thuộc tính danh tính riêng tư hoặc đầu vào tính toán bảo mật.

Bằng chứng zero-knowledge cho phép prover chứng minh điều cần chứng minh mà không tiết lộ bí mật đó.

Không phải mọi validity proof trong crypto đều cần mức độ bảo mật quyền riêng tư cao.

Một số hệ thống chủ yếu dùng công nghệ bằng chứng để giảm chi phí xác minh.

Khi cần bảo vệ quyền riêng tư, nhà phát triển phải thiết kế cẩn thận circuit, đầu vào công khai, cách xử lý metadata và giao diện người dùng.

Bằng chứng có thể là zero-knowledge nhưng dữ liệu xung quanh vẫn làm lộ thông tin.

Ví dụ, thời điểm giao dịch, địa chỉ ví, dữ liệu IP hoặc mô hình giao dịch vẫn có thể tiết lộ hành vi người dùng.

Prover có thể bảo vệ witness bằng phương pháp toán học, nhưng toàn bộ ứng dụng cần bảo vệ quyền riêng tư trong vận hành.

Phần cứng cho prover

Tùy hệ thống bằng chứng và khối lượng công việc, prover có thể sử dụng CPU, GPU, FPGA, ASIC hoặc hạ tầng đám mây.

Việc tạo bằng chứng có thể bao gồm các phép toán lớn như số học trường hữu hạn, polynomial commitment, hashing, biến đổi Fourier nhanh và xử lý trace.

Các tác vụ này có thể được hưởng lợi từ xử lý song song và phần cứng chuyên dụng.

Tăng tốc phần cứng có thể giảm thời gian và chi phí proving.

Điều này cũng có thể tạo áp lực tập trung hóa nếu chỉ các đơn vị có nguồn vốn lớn mới đủ khả năng mua phần cứng proving tốt nhất.

Một số dự án cố gắng giảm vấn đề này bằng cách cải thiện hiệu quả phần mềm và hỗ trợ phần cứng phổ thông.

Các dự án khác sử dụng cụm proving chuyên dụng để đạt thông lượng cao.

Đánh đổi về phần cứng phụ thuộc vào mục tiêu của mạng lưới.

Hệ thống hướng đến thông lượng tối đa có thể chấp nhận hạ tầng proving chuyên biệt hơn.

Hệ thống hướng đến sự tham gia rộng rãi có thể ưu tiên thiết kế prover chạy được trên các máy dễ tiếp cận hơn.

Phí và kinh tế của prover

Vận hành prover tốn chi phí.

Prover cần phần cứng, điện, băng thông, kỹ thuật, bảo trì và giám sát.

Trong rollup, chi phí proving có thể được chi trả bằng phí giao dịch, doanh thu giao thức, trợ cấp hoặc vốn của đơn vị vận hành.

Trong thị trường prover, prover có thể được thanh toán trực tiếp cho các tác vụ proving đã hoàn thành.

Kinh tế của prover rất quan trọng vì chi phí proving cao có thể làm tăng phí người dùng.

Chi phí cao cũng có thể giới hạn những ứng dụng có tính khả thi.

Game, ứng dụng mạng xã hội hoặc hệ thống thanh toán giá trị thấp có thể hoạt động kém nếu mỗi hành động đều cần tạo bằng chứng tốn kém.

Nhà phát triển thường tối ưu hóa circuit, gom nhóm công việc, tổng hợp bằng chứng và dùng đệ quy để giảm chi phí proving trên mỗi giao dịch.

Người dùng có thể không nhìn thấy trực tiếp phí prover nhưng vẫn chịu ảnh hưởng thông qua phí giao dịch, độ trễ settlement hoặc giới hạn ứng dụng.

Proving hiệu quả là một trong những yếu tố then chốt giúp ứng dụng ZK được sử dụng rộng rãi.

Rủi ro bảo mật của prover

Rủi ro đầu tiên của prover là lỗi triển khai.

Prover có lỗi có thể tạo bằng chứng không chính xác, gặp sự cố khi tải cao hoặc làm lộ dữ liệu witness nhạy cảm.

Rủi ro thứ hai là proving tập trung.

Nếu chỉ một đơn vị vận hành có thể tạo bằng chứng, hệ thống có thể ngừng hoạt động hoặc bị kiểm duyệt khi đơn vị đó gặp sự cố.

Rủi ro thứ ba là rò rỉ witness.

Nếu dịch vụ proving nhận đầu vào riêng tư, bảo mật kém có thể làm lộ dữ liệu người dùng.

Rủi ro thứ tư là lỗi circuit.

Prover có thể tạo bằng chứng hợp lệ cho một circuit không chính xác nếu circuit không thực thi các quy tắc dự kiến.

Rủi ro thứ năm là phần cứng bị xâm nhập.

Máy proving bị xâm nhập có thể làm lộ bí mật, trì hoãn tác vụ hoặc tấn công hạ tầng ứng dụng.

Rủi ro thứ sáu là thất bại về kinh tế.

Nếu prover không được trả công đủ, năng lực proving có thể không đáp ứng nhu cầu.

Rủi ro thứ bảy là rủi ro nâng cấp.

Thay đổi phần mềm proving, circuit hoặc hợp đồng verifier có thể tạo ra lỗ hổng mới.

Prover và tính khả dụng của dữ liệu

Prover chứng minh tính chính xác nhưng không tự động bảo đảm tính khả dụng của dữ liệu.

Tính khả dụng của dữ liệu nghĩa là người dùng hoặc node có thể truy cập dữ liệu giao dịch hay trạng thái cần thiết để tái tạo hoặc xác minh trạng thái hệ thống.

Sự khác biệt này rất quan trọng trong rollup.

Validity proof có thể cho thấy một chuyển đổi trạng thái là hợp lệ, nhưng người dùng vẫn cần đủ dữ liệu để biết số dư, thoát vị thế hoặc khôi phục trạng thái.

Các thiết kế rollup và mở rộng quy mô khác nhau xử lý tính khả dụng của dữ liệu theo những cách khác nhau.

Một số đăng dữ liệu lên blockchain nền tảng.

Một số dùng các lớp khả dụng dữ liệu riêng.

Một số dùng committee hoặc mô hình khác.

Prover chịu trách nhiệm chứng minh một mệnh đề, chứ không tự giải quyết mọi vấn đề về tính khả dụng.

Hệ thống mở rộng an toàn cần cả bằng chứng hợp lệ lẫn dữ liệu có thể truy cập.

Prover và finality

Finality là trạng thái một giao dịch hoặc cập nhật trạng thái được chấp nhận là đã settlement theo quy tắc của mạng lưới.

Trong các hệ thống dựa trên validity proof, thời gian tạo bằng chứng có thể ảnh hưởng đến thời điểm đạt finality.

Nhóm giao dịch có thể được thực thi nhanh trên Layer 2, nhưng settlement cuối cùng trên blockchain nền tảng có thể phải chờ bằng chứng.

Nếu prover nhanh, settlement có thể diễn ra sớm hơn.

Nếu prover chậm hoặc quá tải, người dùng có thể phải chờ lâu hơn để nhận xác nhận cuối cùng hoặc rút tiền.

Bằng chứng đệ quy và tổng hợp bằng chứng có thể cải thiện hiệu quả nhưng cũng gây chậm trễ do gom nhóm.

Finality còn phụ thuộc vào thời gian tạo block của blockchain nền tảng, quy tắc xác nhận và việc thực thi hợp đồng verifier.

Prover chỉ là một phần của quy trình đạt finality.

Dù vậy, tốc độ prover thường là một trong những nút thắt dễ nhận thấy nhất ở hệ thống ZK.

Prover tốt hơn có thể giúp ứng dụng ZK nhanh và đáng tin cậy hơn.

Prover và bridge

Prover có thể được dùng trong bridge để chứng minh sự kiện, chuyển đổi trạng thái hoặc thông điệp từ blockchain này sang blockchain khác.

Bridge dựa trên bằng chứng có thể cho phép một blockchain xác minh dữ kiện về blockchain khác mà không cần tin tưởng một nhóm người ký tập trung.

Ví dụ, prover có thể tạo bằng chứng rằng một giao dịch, state root hoặc thông điệp nhất định là hợp lệ trên blockchain nguồn.

Sau đó, hợp đồng verifier trên blockchain đích có thể kiểm tra bằng chứng.

Cách này có thể giảm các giả định về tin cậy so với một số mô hình bridge.

Tuy nhiên, bridge dựa trên bằng chứng vẫn phức tạp.

Chúng cần xử lý reorg blockchain, giả định về finality, tính chính xác của verifier, tính khả dụng của dữ liệu, chi phí bằng chứng và rủi ro nâng cấp.

Prover có thể cải thiện các giả định về tin cậy của bridge nhưng không thể tự động khiến thiết kế bridge an toàn.

Người dùng vẫn nên xem hệ thống cross-chain là hạ tầng có rủi ro cao.

Bảo mật bridge phụ thuộc vào toàn bộ kiến trúc, không chỉ vào sự hiện diện của prover.

Prover và quyền riêng tư

Trong các ứng dụng crypto chú trọng quyền riêng tư, prover có thể giúp người dùng chứng minh họ tuân thủ quy tắc mà vẫn giữ kín thông tin nhạy cảm.

Ví dụ, người dùng có thể chứng minh mình sở hữu thông tin xác thực mà không tiết lộ toàn bộ thông tin đó.

Người dùng có thể chứng minh số dư giao dịch hợp lệ mà không tiết lộ toàn bộ chi tiết giao dịch riêng tư.

Người dùng có thể chứng minh mình thuộc một nhóm mà không tiết lộ chính xác danh tính thành viên.

Prover tạo bằng chứng bằng đầu vào riêng tư.

Verifier kiểm tra bằng chứng theo các quy tắc công khai.

Nhờ đó, có thể tiết lộ thông tin một cách có chọn lọc.

Tuy nhiên, quyền riêng tư không chỉ phụ thuộc vào bản thân bằng chứng.

Metadata, hoạt động mạng, thời điểm, việc tái sử dụng địa chỉ, dấu vân tay trình duyệt và nhật ký ứng dụng vẫn có thể làm lộ thông tin.

Hệ thống bảo vệ quyền riêng tư tốt cần bảo vệ toàn bộ hành trình người dùng, không chỉ witness mật mã.

Prover và tuân thủ

Prover có thể hỗ trợ thiết kế crypto thân thiện với việc tuân thủ bằng cách chứng minh dữ kiện mà không tiết lộ dữ liệu riêng tư không cần thiết.

Ví dụ, người dùng có thể chứng minh mình đáp ứng điều kiện tham gia mà không đưa toàn bộ giấy tờ định danh lên on-chain.

Giao thức có thể chứng minh một phép tính tuân thủ bộ quy tắc mà không tiết lộ dữ liệu kinh doanh riêng tư.

Ứng dụng tài chính có thể chứng minh một chuyển đổi trạng thái đáp ứng các ràng buộc kế toán mà không công khai mọi hồ sơ nội bộ.

Điều này không có nghĩa bằng chứng zero-knowledge tự động giải quyết mọi vấn đề tuân thủ.

Yêu cầu pháp lý khác nhau tùy khu vực pháp lý và trường hợp sử dụng.

Một số quy định vẫn có thể yêu cầu lưu trữ hồ sơ, kiểm toán, xác minh danh tính, báo cáo hoặc công bố thông tin.

Prover có thể giảm việc lộ dữ liệu không cần thiết nhưng không thay thế việc phân tích pháp lý.

Thiết kế tuân thủ tốt cần kết hợp mật mã, chính sách, quản trị và sự đồng ý của người dùng.

Prover có thể cho phép xác minh có chọn lọc, nhưng con người vẫn quyết định cần chứng minh điều gì.

Lợi ích của prover

Lợi ích đầu tiên của prover là khả năng mở rộng.

Prover có thể nén các phép tính lớn thành bằng chứng có chi phí xác minh thấp hơn.

Lợi ích thứ hai là quyền riêng tư.

Khi hệ thống bằng chứng được thiết kế theo hướng zero-knowledge, prover có thể chứng minh dữ kiện về dữ liệu riêng tư mà không tiết lộ chính dữ liệu đó.

Lợi ích thứ ba là giảm thiểu nhu cầu tin cậy.

Verifier không cần tin prover trung thực nếu bằng chứng không hợp lệ sẽ bị từ chối.

Lợi ích thứ tư là khả năng tương tác.

Bằng chứng có thể giúp một hệ thống xác minh dữ kiện về hệ thống khác.

Lợi ích thứ năm là khả năng kiểm toán.

Bằng chứng có thể cung cấp cơ sở toán học cho thấy phép tính tuân theo các quy tắc đã xác định.

Lợi ích thứ sáu là tự động hóa.

Hợp đồng thông minh có thể xác minh bằng chứng và thực hiện hành động mà không cần rà soát thủ công.

Lợi ích thứ bảy là hiệu quả.

Tổng hợp bằng chứng và proving đệ quy có thể giảm chi phí xác minh lặp lại trên nhiều giao dịch hoặc ứng dụng.

Hạn chế của prover

Hạn chế đầu tiên là chi phí.

Tạo bằng chứng có thể tiêu tốn nhiều tài nguyên tính toán.

Hạn chế thứ hai là độ trễ.

Việc tạo bằng chứng có thể mất thời gian, làm chậm settlement hoặc rút tiền.

Hạn chế thứ ba là độ phức tạp.

Hệ thống prover đòi hỏi kiến thức mật mã, kỹ thuật chuyên sâu và đánh giá bảo mật.

Hạn chế thứ tư là áp lực tập trung hóa.

Yêu cầu phần cứng cao có thể khiến nhiều bên độc lập khó vận hành prover.

Hạn chế thứ năm là sự phụ thuộc vào circuit.

Bằng chứng chỉ chứng minh những gì circuit hoặc chương trình thực sự kiểm tra.

Hạn chế thứ sáu là rò rỉ quyền riêng tư bên ngoài bằng chứng.

Bằng chứng zero-knowledge không tự động che giấu metadata hoặc khắc phục thiết kế ứng dụng kém.

Hạn chế thứ bảy là rủi ro nâng cấp.

Thay đổi phần mềm proving, circuit hoặc hợp đồng verifier có thể tạo ra giả định bảo mật mới.

Người dùng nên hiểu prover như thế nào?

Hầu hết người dùng không tương tác trực tiếp với prover.

Họ sử dụng ví, rollup, bridge, ứng dụng bảo mật quyền riêng tư hoặc ứng dụng phi tập trung có prover chạy ở lớp nền.

Người dùng vẫn nên hiểu vai trò của prover vì nó ảnh hưởng đến tốc độ, phí, finality và các giả định về tin cậy.

Nếu rollup phụ thuộc vào một prover tập trung, người dùng nên tìm hiểu điều gì xảy ra khi prover đó ngừng hoạt động.

Nếu ứng dụng bảo mật quyền riêng tư dùng dịch vụ proving từ xa, người dùng nên tìm hiểu liệu dữ liệu riêng tư có được gửi đến dịch vụ đó hay không.

Nếu bridge dựa vào bằng chứng, người dùng nên hiểu bằng chứng xác minh điều gì và không xác minh điều gì.

Người dùng cũng nên kiểm tra hợp đồng verifier đã được kiểm toán hay chưa và hệ thống proving có mô hình bảo mật rõ ràng hay không.

Sự hiện diện của prover không phải là bảo đảm an toàn tuyệt đối.

Prover chỉ có giá trị khi hệ thống bằng chứng, circuit, verifier, tính khả dụng của dữ liệu và cơ chế quản trị đều được thiết kế chính xác.

Người dùng nên xem proving là một lớp bảo mật, không phải toàn bộ hệ thống.

Thực tiễn tốt nhất dành cho nhà phát triển

Nhà phát triển nên xác định rõ mệnh đề mà prover cần chứng minh.

Họ nên thiết kế circuit hoặc chương trình thực thi chính xác các quy tắc dự kiến.

Họ nên dùng hệ thống proving đã được đánh giá kỹ và tránh tự xây dựng mật mã nếu không có chuyên gia rà soát.

Họ nên kiểm thử quá trình tạo bằng chứng với khối lượng công việc thực tế, các trường hợp biên và tình huống lỗi.

Họ nên đo thời gian proving, mức sử dụng bộ nhớ, yêu cầu phần cứng và chi phí xác minh.

Họ nên bảo vệ witness riêng tư khi proving liên quan đến dữ liệu nhạy cảm của người dùng.

Họ nên ghi rõ các đầu vào công khai để người dùng và kiểm toán viên hiểu verifier thực sự kiểm tra điều gì.

Khi có thể, họ nên tách hạ tầng prover khỏi các quyền quản trị đáng tin cậy.

Họ nên chuẩn bị phương án khi prover ngừng hoạt động, thử lại tác vụ, giám sát và chuyển sang phương án dự phòng khẩn cấp.

Họ nên thông báo rủi ro nâng cấp khi thay đổi circuit, proving key, hợp đồng verifier hoặc phần mềm prover.

Những hiểu lầm thường gặp về prover

Một hiểu lầm là phải tin tưởng prover.

Trong hệ thống bằng chứng được thiết kế tốt, verifier phải từ chối bằng chứng không hợp lệ ngay cả khi prover không trung thực.

Một hiểu lầm khác là prover luôn bảo vệ quyền riêng tư.

Một số prover tạo validity proof để mở rộng quy mô mà không che giấu toàn bộ dữ liệu giao dịch.

Một hiểu lầm khác là tạo bằng chứng không tốn kém.

Proving có thể tốn kém hơn xác minh rất nhiều và cần hạ tầng chuyên dụng.

Một hiểu lầm khác là bằng chứng hợp lệ chứng minh mọi thứ về ứng dụng.

Bằng chứng chỉ chứng minh mệnh đề cụ thể được mã hóa trong circuit hoặc chương trình.

Một hiểu lầm khác là tính phi tập trung của prover đã được giải quyết ở mọi nơi.

Nhiều hệ thống vẫn đang tìm cách xây dựng hạ tầng proving cởi mở và phi tập trung hơn.

Một hiểu lầm khác là người dùng không bao giờ cần quan tâm đến prover.

Người dùng có thể không tự chạy prover, nhưng thiết kế prover ảnh hưởng đến việc rút tiền, finality, phí, quyền riêng tư và độ tin cậy của ứng dụng.

Câu hỏi thường gặp

Prover trong crypto có nghĩa là gì?

Prover là tác nhân, chương trình, node hoặc dịch vụ tạo bằng chứng mật mã cho thấy một mệnh đề, phép tính hoặc chuyển đổi trạng thái là hợp lệ.

Prover trong bằng chứng zero-knowledge là gì?

Trong bằng chứng zero-knowledge, prover tạo bằng chứng thuyết phục verifier rằng một mệnh đề là đúng mà không tiết lộ thông tin riêng tư không cần thiết.

Prover khác verifier như thế nào?

Prover tạo bằng chứng, còn verifier kiểm tra tính hợp lệ của bằng chứng.

Tại sao prover quan trọng với ZK-rollup?

Prover quan trọng với ZK-rollup vì chúng tạo validity proof, cho phép settlement các nhóm giao dịch trên blockchain nền tảng mà không cần mọi node thực thi lại tất cả giao dịch.

Prover có giống sequencer không?

Không. Sequencer sắp xếp giao dịch, còn prover tạo bằng chứng mật mã về việc thực thi chính xác hoặc chuyển đổi trạng thái hợp lệ.

Prover có luôn che giấu dữ liệu riêng tư không?

Không. Một số prover chủ yếu phục vụ khả năng mở rộng và tính chính xác, còn quyền riêng tư phụ thuộc vào việc hệ thống bằng chứng và ứng dụng có được thiết kế theo hướng zero-knowledge hay không.

Prover không trung thực có thể tạo bằng chứng giả không?

Hệ thống bằng chứng an toàn phải ngăn prover không trung thực tạo bằng chứng hợp lệ cho một mệnh đề sai.

Tại sao proving tốn kém?

Proving có thể tốn kém vì cần tính toán quy mô lớn, tạo trace ngốn bộ nhớ, thực hiện phép toán đa thức, hashing, đệ quy và sử dụng phần cứng chuyên dụng.

Witness trong proving là gì?

Witness là dữ liệu riêng tư hoặc nội bộ mà prover dùng để tạo bằng chứng, nhưng không nhất thiết phải tiết lộ dữ liệu đó cho verifier.

Proving đệ quy là gì?

Proving đệ quy là quá trình chứng minh một bằng chứng khác là hợp lệ, qua đó có thể kết hợp nhiều bằng chứng thành một bằng chứng nhỏ hơn hoặc hiệu quả hơn.

Điều gì xảy ra nếu prover của rollup ngừng hoạt động?

Nếu rollup phụ thuộc vào prover đó, việc gửi bằng chứng và settlement cuối cùng có thể bị trì hoãn cho đến khi năng lực proving được khôi phục hoặc prover dự phòng được sử dụng.

Có thể xây dựng prover phi tập trung không?

Có. Proving phi tập trung là lĩnh vực đang được phát triển và nghiên cứu, nhưng cần giải pháp cho việc phân công tác vụ, thanh toán, độ tin cậy, quyền riêng tư và xác minh.

Kết luận

Prover là một trong những vai trò hạ tầng quan trọng nhất trong các hệ thống bằng chứng crypto hiện đại.

Prover tạo bằng chứng mật mã để verifier xác nhận mệnh đề, phép tính, nhóm giao dịch hoặc chuyển đổi trạng thái mà không phải lặp lại toàn bộ công việc nền tảng.

Prover đóng vai trò cốt lõi trong bằng chứng zero-knowledge, ZK-rollup, zkVM, hệ thống STARK, hệ thống SNARK, tổng hợp bằng chứng, proving đệ quy, giao thức bảo mật quyền riêng tư, bridge và tính toán có thể xác minh.

Giá trị chính của prover là chuyển khối lượng tính toán lớn khỏi verifier trong khi vẫn duy trì khả năng xác minh đáng tin cậy.

Điều này có thể cải thiện khả năng mở rộng, giảm công việc on-chain, hỗ trợ quyền riêng tư và cho phép thiết kế ứng dụng mới.

Tuy nhiên, prover cũng tạo ra những thách thức thực tế.

Việc tạo bằng chứng có thể tốn kém, chậm, cần nhiều phần cứng, phức tạp về vận hành và đôi khi bị tập trung hóa.

Một bằng chứng chỉ hữu ích khi mệnh đề được chứng minh, circuit hoặc chương trình kiểm tra, verifier xác thực và hạ tầng duy trì hoạt động proving đều được thiết kế phù hợp.

Bài học quan trọng nhất với người dùng là prover giúp xác minh mật mã hiệu quả hơn nhưng không loại bỏ mọi rủi ro trong rollup, bridge, ứng dụng bảo mật quyền riêng tư hoặc hệ thống hợp đồng thông minh.

Với nhà phát triển, bài học quan trọng nhất là thiết kế prover phải an toàn, hiệu quả, được kiểm thử kỹ, chú trọng quyền riêng tư và có tài liệu rõ ràng.

Cách đơn giản nhất để hiểu prover là: prover thực hiện phần tính toán toán học khó để phần còn lại của mạng crypto có thể xác minh kết quả nhanh chóng mà không cần tin cậy một bên trung gian.