Trong những nền văn minh sơ khai, sự thật dựa trên huyền thoại. Những quan sát về các hiện tượng trần tục được gói gọn trong những câu chuyện mang tính biểu tượng, niềm tin tôn giáo và trí tuệ cổ xưa. Theo thời gian, nhân loại bắt đầu coi trọng các phép đo và lý luận khách quan, đồng thời cho ra đời các bộ môn như khoa học, toán học và logic.
Sau khi phát minh ra chữ viết và sau đó là báo in, sách và tài liệu đã thu thập thông tin của thế giới dưới dạng chữ viết, từ tài liệu học thuật và hợp đồng pháp lý đến thống kê và phân tích quan điểm. Sau đó, vào thế kỷ 20, điện thoại, máy tính và Internet đã bắt đầu một cuộc cách mạng kỹ thuật số về cách tạo ra, phân phối và xác minh thông tin, với các siêu máy tính hiện đang thực hiện các phép tính quy mô lớn trên các tập dữ liệu phức tạp và hàng tỷ người dùng trên toàn cầu tạo ra, chia sẻ và thảo luận về nội dung hàng ngày theo thời gian thực.
Giờ đây, chỉ với một kết nối Internet đơn giản, bất kỳ ai trên thế giới đều có thể truy cập ngay vào luồng thông tin dường như vô tận. Nhưng trong khi các cá nhân hiện được trao quyền để sử dụng và chia sẻ nhiều thông tin hơn bao giờ hết, thì thông tin có tốc độ cao, khối lượng lớn nằm rải rác trên nhiều ứng dụng khác nhau đặt ra những thách thức to lớn.
{Tương tự từ Blog Chainlink }
Điện toán có thể kiểm chứng cho phép người dùng thuê ngoài các tính toán cho các máy tính có khả năng không đáng tin cậy trong khi vẫn đảm bảo tính chính xác của kết quả. Nó hoạt động bằng cách yêu cầu máy tính từ xa thực hiện phép tính và sau đó cung cấp bằng chứng cho thấy phép tính được thực hiện chính xác.
Người dùng có thể xác minh bằng chứng này mà không cần phải lặp lại toàn bộ tính toán. Điều này đặc biệt hữu ích trong trường hợp người dùng có tài nguyên tính toán hạn chế hoặc cần đảm bảo tính toàn vẹn của dữ liệu nhạy cảm đang được xử lý trên hệ thống bên ngoài.
TL;DR
Điện toán đám mây rất tốt cho các nhiệm vụ phức tạp, nhưng làm sao bạn biết kết quả là chính xác?
Điện toán có thể kiểm chứng cho phép bạn thuê ngoài tính toán và xác minh câu trả lời mà không cần chạy lại mọi thứ.
Nó sử dụng bằng chứng (như biên nhận) để xác nhận công việc đã được thực hiện chính xác.
Các lợi ích bao gồm bảo mật, hiệu quả, minh bạch và xác minh các tính toán khoa học.
Có hai loại bằng chứng chính: tương tác (đối thoại giữa khách hàng và nhân viên) và không tương tác (bằng chứng được xác minh bằng khóa).
Các kỹ thuật khác như vùng bảo mật và mã hóa đồng hình có thể nâng cao tính bảo mật và quyền riêng tư.
Điện toán có thể xác minh giúp mở rộng quy mô chuỗi khối bằng cách giảm khối lượng công việc và kích hoạt các hợp đồng thông minh phức tạp.
🅃🄴🄲🄷🄰🄽🄳🅃🄸🄿🅂123
Trong thế giới của chúng ta bị chi phối bởi nhu cầu tính toán khổng lồ, việc thuê ngoài các nhiệm vụ phức tạp cho máy chủ đám mây đã trở thành thông lệ. Nhưng thách thức ở đây là: một khi chúng tôi nhận được kết quả, làm sao chúng tôi có thể tự tin về độ chính xác của chúng? Hãy xem xét điều này - bạn giao nhiệm vụ đào tạo AI cho một nền tảng như AWS. Một tuần sau, bạn nhận được hàng triệu thông số mạng thần kinh từ nhiệm vụ đào tạo AI này. Nhưng làm thế nào bạn có thể đảm bảo rằng những thông số này phản ánh chân thực giá trị đào tạo trong một tuần chứ không chỉ một ngày?
Giải pháp đơn giản nhất là gửi tác vụ tương tự tới một nền tảng đám mây khác, Google Cloud và đặt các kết quả cạnh nhau. Tuy nhiên, phương pháp này không chỉ dư thừa mà còn làm tăng gấp đôi chi phí. Vậy giải pháp thay thế là gì? Đây là chủ đề về điện toán có thể kiểm chứng – một lĩnh vực tập trung vào việc xác thực các kết quả tính toán được thuê ngoài mà không cần thực hiện lại toàn bộ quy trình.
{Tương tự từ Forbes }
🏵️ Cách thức hoạt động của máy tính có thể xác minh
Hãy tưởng tượng một tình huống trong đó bạn phải thực hiện một nhiệm vụ tính toán chuyên sâu, chẳng hạn như phân tích dữ liệu tài chính hoặc mô phỏng khoa học. Việc thực thi cục bộ có thể không thực tế do các hạn chế về phần cứng hoặc các cân nhắc về bảo mật. Thuê ngoài tính toán cho máy chủ đám mây dường như là một giải pháp khả thi. Tuy nhiên, một câu hỏi cơ bản được đặt ra: bạn có thể tin tưởng máy chủ thực hiện tính toán một cách chính xác không?
Một máy chủ độc hại có thể thao túng dữ liệu hoặc đơn giản trả về các kết quả bịa đặt. Các phương pháp truyền thống thường liên quan đến việc tính toán dư thừa trên nhiều máy chủ, có thể không hiệu quả và tốn nhiều tài nguyên. Điện toán có thể kiểm chứng cung cấp một giải pháp tinh tế cho vấn đề nan giải này.
📀 Máy tính có thể kiểm chứng giải quyết vấn đề nan giải như thế nào
Điện toán có thể kiểm chứng cho phép bạn thuê ngoài tính toán cho các máy chủ không tin cậy trong khi vẫn đảm bảo tính chính xác của kết quả đầu ra. Nó đạt được điều này thông qua cách tiếp cận hai hướng:
🔹 Tạo bằng chứng: Quá trình tính toán được chuyển thành định dạng có thể xác minh được cùng với bằng chứng mật mã. Bằng chứng này đóng vai trò như một sự đảm bảo về mặt toán học rằng việc tính toán được thực hiện chính xác mà không tiết lộ dữ liệu đầu vào hoặc các bước cụ thể liên quan.
🔸 Xác minh bằng chứng: Bạn sở hữu một công cụ xác minh sử dụng khóa bí mật để xác thực tính chính xác của bằng chứng nhận được. Nếu quá trình xác minh thành công, nó đảm bảo với bạn rằng quá trình tính toán được thực hiện như dự định trên máy chủ không đáng tin cậy, mang lại kết quả đáng tin cậy. Hãy coi điện toán có thể kiểm chứng được như một hệ thống tính toán có thể kiểm tra được.
Bạn ủy quyền nhiệm vụ cho một nhân viên nhưng bạn cũng nhận được biên nhận có thể kiểm chứng để xác nhận rằng công việc đã được thực hiện chính xác. Quá trình xác minh toán học này cho phép bạn tin tưởng vào kết quả mà không cần phải mù quáng dựa vào tính toàn vẹn của máy chủ.
💡 Lợi ích của máy tính có thể kiểm chứng
Điện toán có thể kiểm chứng mang lại vô số lợi ích cho các ứng dụng khác nhau:
Bảo mật trong Điện toán đám mây: Nó cho phép sử dụng an toàn tài nguyên đám mây cho các tính toán nhạy cảm, đảm bảo quyền riêng tư của dữ liệu và tính toàn vẹn của kết quả.
Khả năng mở rộng và hiệu quả: Các tính toán phức tạp có thể được gia công cho các máy chủ đám mây mạnh mẽ, tăng tốc quy trình và nâng cao hiệu quả.
Tính minh bạch trong Hệ thống phân tán: Trong các dự án hợp tác trong đó các tính toán được phân phối trên nhiều thực thể, tính toán có thể kiểm chứng đảm bảo tính chính xác của một phần kết quả mà không ảnh hưởng đến tính bảo mật.
Xác minh tính toán khoa học: Các nhà nghiên cứu có thể tận dụng tính toán có thể xác minh để đảm bảo khả năng tái tạo của các tính toán khoa học được thực hiện trên các máy chủ từ xa.
🔆 Các loại bằng chứng
Tính toán có thể kiểm chứng có thể được thực hiện bằng hai phương pháp chính:
Bằng chứng tương tác:
Trong phương pháp này, khách hàng và nhân viên tham gia vào một cuộc đối thoại tương tác để xác minh tính chính xác của bằng chứng. Máy khách gửi các thử thách cho nhân viên và các phản hồi của nhân viên được xác minh về mặt toán học để đảm bảo tính hợp lệ của tính toán.
Bằng chứng không tương tác:
Cách tiếp cận này loại bỏ sự cần thiết phải tương tác trực tiếp. Nhân viên tạo ra bằng chứng mà khách hàng có thể xác minh bằng cách sử dụng khóa mật mã. Bằng chứng không tương tác thường hiệu quả hơn nhưng có thể yêu cầu các giả định về mật mã mạnh hơn.
Việc lựa chọn giữa bằng chứng tương tác và không tương tác phụ thuộc vào các yếu tố như độ phức tạp của tính toán, mức độ hiệu quả mong muốn và yêu cầu bảo mật của ứng dụng.
⚡ Vỏ bọc an toàn và mã hóa đồng hình
Trong khi các bằng chứng tương tác và không tương tác tạo thành cốt lõi của điện toán có thể kiểm chứng, các kỹ thuật mã hóa khác có thể nâng cao khả năng của nó:
Khu vực an toàn:
Đây là các môi trường thực thi biệt lập trong bộ xử lý nhằm bảo vệ tính bảo mật và tính toàn vẹn của tính toán trong quá trình thực thi trên máy chủ không đáng tin cậy.
Mã hóa đồng cấu:
Kỹ thuật này cho phép thực hiện tính toán trực tiếp trên dữ liệu được mã hóa, loại bỏ nhu cầu giải mã dữ liệu trước khi tính toán và tăng cường quyền riêng tư.
🚆 Nó giúp ích như thế nào trong khả năng mở rộng của Blockchain
Giảm tải chuỗi khối: Các tính toán phức tạp có thể được gia công cho các nút xác minh, giảm bớt gánh nặng cho các nút xác thực chịu trách nhiệm xác minh và đồng thuận giao dịch. Điều này giải phóng không gian trên blockchain cho các chức năng cốt lõi như lưu trữ dữ liệu giao dịch và thực thi các quy tắc hợp đồng thông minh.
Cải thiện thông lượng giao dịch: Bằng cách giảm tải tính toán, chuỗi khối có thể xử lý nhiều giao dịch hơn mỗi giây, dẫn đến thời gian xác nhận giao dịch nhanh hơn và hiệu quả hơn. Điều này rất quan trọng đối với các ứng dụng trong thế giới thực đòi hỏi khối lượng giao dịch cao.
Kích hoạt các hợp đồng thông minh phức tạp: Tính toán có thể xác minh cho phép các hợp đồng thông minh tận dụng các chức năng có thể quá tốn kém về mặt tính toán để thực thi trực tiếp trên blockchain. Điều này mở ra cánh cửa cho các ứng dụng hợp đồng thông minh phong phú hơn và phức tạp hơn.
🏵️ Ứng dụng máy tính có thể xác minh bằng tiền điện tử
Chuỗi khối có thể mở rộng: Chuỗi khối có thể bị chậm do cần tất cả các nút xác thực giao dịch. Điện toán có thể xác minh cho phép các tính toán phức tạp được thực hiện ngoài chuỗi, chỉ có bằng chứng hợp lệ được lưu trữ trên blockchain, giúp hệ thống có khả năng mở rộng cao hơn.
Hợp đồng thông minh an toàn: Hợp đồng thông minh là các chương trình chạy trên blockchain. Điện toán có thể xác minh cho phép thực hiện an toàn các hợp đồng thông minh phức tạp có liên quan đến dữ liệu riêng tư mà không ảnh hưởng đến quyền riêng tư của dữ liệu đó.
Giao dịch bí mật: Máy tính có thể xác minh có thể được sử dụng để cho phép giao dịch bí mật trên chuỗi khối, trong đó chỉ người gửi và người nhận biết số tiền được giao dịch, trong khi vẫn chứng minh giao dịch là hợp lệ.
💡 Ứng dụng cụ thể
Điện toán có thể kiểm chứng, thường được gọi là bằng chứng Zero-Knowledge (ZK), là một công nghệ mạnh mẽ với các ứng dụng trong cả bối cảnh blockchain và không blockchain. Nó cho phép một máy tính (máy xác minh) ủy quyền tính toán cho một máy tính khác mạnh hơn (máy xác minh) và xác minh một cách hiệu quả rằng tính toán đã được thực hiện chính xác. Dưới đây là một số ứng dụng đáng chú ý:
Chuỗi khối lớp 2 (L2): Chuỗi khối L2 sử dụng bằng chứng ZK (cụ thể là SNARK) để đảm bảo tính toàn vẹn của quá trình chuyển đổi trạng thái của chúng. Những bằng chứng này cho phép xác minh hiệu quả mà không cần tính toán toàn bộ trên chuỗi.
Cầu nối chuỗi chéo: Cầu nối chuỗi chéo tận dụng SNARK để chứng minh tiền gửi hoặc rút tiền từ chuỗi này sang chuỗi khác. Điều này đảm bảo khả năng tương tác không cần tin cậy giữa các blockchain khác nhau.
Bộ đồng xử lý ZK: “Bộ đồng xử lý ZK” sử dụng SNARK để chứng minh các tính toán ngoài chuỗi đối với dữ liệu trên chuỗi. Ví dụ: nó có thể xác minh các tính toán phức tạp vốn quá tốn kém để tính toán trong hợp đồng thông minh.
🔬 Dự án tiêu biểu
> Zcash
> Của tôi
> Starknet
> Vòng lặp
> StarkEx
> Mạng ZigZag
> X bất biến
🔼 Tín dụng dữ liệu
> Wikipedia
> Cổng nghiên cứu
> ArXiv
> Forbes
> Blog liên kết chuỗi
> Microsoft
🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸
Điện toán có thể xác minh là yếu tố thay đổi cuộc chơi cho blockchain và tiền điện tử, không chỉ cho điện toán lượng tử. Nó cùng với trang web đã được xác minh sẽ mở ra những khả năng đột phá. Các giao thức mới được xây dựng bằng các công nghệ như bằng chứng không có kiến thức (ZK) và mã hóa đồng hình hoàn toàn (FHE) chỉ là bước khởi đầu.
🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹
