Phỏng vấn người sáng lập Nil Foundation: Công nghệ ZK có thể bị sử dụng sai mục đích, tính truy xuất công khai không phải là mục tiêu ban đầu của mã hóa
Tuyển chọn TechFlowTuyển chọn TechFlow
Phỏng vấn người sáng lập Nil Foundation: Công nghệ ZK có thể bị sử dụng sai mục đích, tính truy xuất công khai không phải là mục tiêu ban đầu của mã hóa
Misha cho rằng ngành tiền mã hóa bắt nguồn từ mật mã tài chính, nhằm loại bỏ các giả định về niềm tin, chứ không phải để mọi thứ trở nên có thể truy vết và công khai đọc được.
Chuyên sâu báo cáo Web3
Giới thiệu buổi phỏng vấn
Mikhail Komarov, biệt danh Misha, là người sáng lập và CEO của Quỹ Nil. Quỹ Nil đang nỗ lực xây dựng trình tạo (generator) zero-knowledge (zk) an toàn nhất và thị trường giao dịch bằng chứng zk, nhằm giải quyết những vấn đề cấp bách nhất của Web3: xây dựng các mạch zk an toàn và đáng tin cậy như một cơ sở hạ tầng, mở đường cho Web3 trong tương lai.
Vào năm 2023, công nghệ zero-knowledge trở thành từ khóa nóng hổi. Tuy nhiên, Misha chỉ ra rằng: “Các giải pháp roll-up phổ biến hiện nay như Polygon, zkSync, Starkware có đặc tính hộp đen ở mạch zkEVM – chỉ cần sơ suất nhỏ cũng có thể dẫn đến khủng hoảng nghiêm trọng cho toàn ngành, bởi vì các cơ sở dữ liệu này liên quan đến lượng thanh khoản rất lớn.”
Buổi phỏng vấn lần này sẽ đi sâu vào chủ đề công nghệ zero-knowledge, bao gồm lịch sử bị lãng quên và các ứng dụng đa dạng trên Web3. Bối cảnh của Misha trong lĩnh vực quản lý cơ sở dữ liệu truyền thống giúp anh đưa ra những góc nhìn độc đáo và sâu sắc về tình hình hiện tại của ngành blockchain dành cho độc giả.
Sự khác biệt bản chất giữa blockchain và quản lý cơ sở dữ liệu truyền thống là gì? Làm sao để hai hệ thống này tương thích? Liệu bằng chứng zero-knowledge có thống trị mọi thứ trong tương lai? Zk riêng tư sẽ lật đổ ngành phân tích dữ liệu ra sao? Các thuật ngữ kỹ thuật như mạch, zk, biên dịch viên, cơ sở dữ liệu nên được hiểu một cách通俗 như thế nào?
Hãy cùng tìm câu trả lời trong cuộc phỏng vấn này.
Tóm tắt nội dung
-
Sự khác biệt nổi bật duy nhất giữa quản lý cơ sở dữ liệu truyền thống và blockchain nằm ở cách thức xây dựng nhật ký xác nhận hoặc chuỗi khối.
-
Quy mô và độ phức tạp hiện tại của mạch zkEVM có thể che giấu các lỗ hổng bảo mật tiềm tàng. Việc khai thác các lỗ hổng này trong các roll-up phổ biến như Polygon, zkSync hay Starkware có thể gây ra khủng hoảng nghiêm trọng cho toàn ngành, xét đến lượng thanh khoản khổng lồ và sự phụ thuộc vào các cơ sở dữ liệu này.
-
Việc sử dụng sai zk như một công cụ nén thay vì công cụ riêng tư chính là lý do khiến zk được sử dụng rộng rãi – các ứng dụng như roll-ups, zk-bridges, zk-mls và zk-oracles về bản chất đều tận dụng chức năng nén của zk chứ không phải đặc tính riêng tư.
-
Theo Misha, ngành tiền mã hóa bắt nguồn từ mật mã tài chính, với mục tiêu loại bỏ các giả định tin cậy, chứ không phải để làm mọi thứ truy vết được và công khai đọc được.
Tiểu sử của Misha
TechFlow: Xin hãy giới thiệu đôi chút về bản thân anh và chia sẻ quá trình anh bước chân vào thế giới tiền mã hóa?
Misha: Việc tôi rơi vào cái hang thỏ tiền mã hóa là điều hoàn toàn bất ngờ.
Ngày nay, nhiều dự án thường có công nghệ trước rồi mới tìm ứng dụng phù hợp. Nhưng vào năm 2013, một số người nhận ra tầm quan trọng của việc bảo vệ quyền riêng tư và an toàn cho kênh liên lạc, và Bitmessage đã cung cấp giải pháp. Tôi lúc đó nghĩ: “Chúng ta hãy làm cho nó hoạt động.” Rồi tôi trở thành một trong những người đóng góp đầu tiên cho dự án này.
Trước đó, tôi vừa bước vào năm nhất đại học, vẫn là sinh viên, thì còn việc gì tốt hơn để làm chứ? Tôi nghĩ: “Ừm, mình đã ở trong lĩnh vực này một thời gian rồi, chắc mình có thể phát triển vài thứ.” Đó là khởi điểm cho hành trình của tôi trong ngành tiền mã hóa.
Trước khi tham gia Bitmessage, tôi từng nghiên cứu cách thức hoạt động của hệ thống quản lý cơ sở dữ liệu (DBMS), chủ yếu để luyện tập ngôn ngữ Cypher trong môi trường đại học.
Tôi thấy blockchain thú vị và giống DBMS, nhưng tôi không hiểu tại sao nhiều người lại không coi blockchain là một hệ thống cơ sở dữ liệu phù hợp.
Điều này thôi thúc tôi đi sâu vào chủ đề này, muốn tìm hiểu rõ tại sao nó lại chỉ được xem là một giao thức mã hóa tài chính, chứ không phải là một giải pháp quản lý dữ liệu toàn diện (DBMS).
Khi nghiên cứu sâu hơn, tôi tập trung vào tô pô đại số trong quá trình học, cuối cùng dẫn tới lý thuyết độ phức tạp và mật mã học.
Hai con đường này – DBMS và mật mã học – đan xen vào nhau, và đây chính là nơi tôi phát hiện ra mối liên hệ giữa ngành công nghiệp cơ sở dữ liệu và ngành tiền mã hóa.
Mục tiêu và tiến độ hiện tại của Quỹ Nil
TechFlow: Năm 2018, Quỹ Nil được thành lập, tập trung vào nghiên cứu Hệ thống Quản lý Cơ sở Dữ liệu (DBMS) và mật mã học ứng dụng. Anh có thể giải thích cách blockchain có thể được hiểu như một Hệ thống Quản lý Cơ sở Dữ liệu (DBMS) không?
Misha: Về mặt kiến trúc, hệ thống quản lý cơ sở dữ liệu truyền thống và thị trường mã hóa thực tế rất giống nhau.
Cả hai đều bắt nguồn từ ý tưởng cơ bản là quản lý và lưu trữ dữ liệu, ví dụ như dùng nhật ký xác nhận trong DBMS hay chuỗi các khối trong blockchain. Phương pháp sắp xếp theo dấu thời gian cũng tương tự như việc tổ chức các mục nhật ký xác nhận.
Hiện nay, những phàn nàn về lượng dữ liệu trạng thái lớn trong ngành mã hóa không phải là điều duy nhất, vì các doanh nghiệp trong ngành truyền thống cũng cần xử lý và duy trì dữ liệu trạng thái.
Sự khác biệt nổi bật duy nhất giữa hai ngành là cách xây dựng nhật ký xác nhận hoặc chuỗi khối. Quá trình xây dựng chúng về bản chất không khác nhau. Quy trình và kiến trúc đều được điều chỉnh theo nhu cầu cụ thể của từng môi trường.
Trong ngành mã hóa, trọng tâm là giảm thiểu các giả định tin cậy trong môi trường không tin cậy, trong khi ngành truyền thống chú trọng hơn vào hiệu quả và có thể không ưu tiên các giả định tin cậy.
Nghiên cứu của chúng tôi nhằm áp dụng các nguyên tắc và thành quả từ ngành DBMS truyền thống vào ngành mã hóa, với mục tiêu xử lý việc quản lý dữ liệu và các giả định tin cậy theo cách có lợi cho cả hai ngành, thúc đẩy sự hội tụ và tìm ra điểm chung.
TechFlow: Việc kết hợp ngành Hệ thống Quản lý Cơ sở Dữ liệu (DBMS) truyền thống và ngành mã hóa gặp phải những thách thức và lợi ích tiềm năng nào? Anh đánh giá ảnh hưởng có thể xảy ra ra sao?
Misha: Cần lưu ý rằng việc phát triển một DBMS có thể mất hơn 5 năm, trong khi các dự án trong ngành mã hóa thường có chu kỳ phát triển ngắn hơn nhiều. Sự khác biệt về chu kỳ phát triển này ảnh hưởng đến khả năng hội tụ giữa hai ngành.
Chúng tôi là một trong số ít dự án cố gắng thu hẹp khoảng cách giữa các giải pháp quản lý dữ liệu trong ngành mã hóa và ngành DBMS. Trọng tâm của chúng tôi là các giải pháp DBMS bên trong ngành mã hóa, chứ không phải ở cấp độ giao thức.
Ví dụ, trong ngành mã hóa, khả năng tương tác thường là chủ đề được thảo luận.
Việc sử dụng phương pháp DBMS có thể đơn giản hóa khả năng tương tác, vì nó cung cấp quyền truy cập vào tất cả dữ liệu cơ sở dữ liệu. Ví dụ, thanh khoản bị khóa trên Ethereum là dữ liệu được ghi vào mạng của nó, có thể truy cập trực tiếp với mức độ bảo mật tương đương. Điều này loại bỏ nhu cầu di chuyển dữ liệu khi tạo cơ sở dữ liệu mới (như Roll-ups).
Điều này giảm nhu cầu về cầu nối, đơn giản hóa việc quản lý dữ liệu giữa các cơ sở dữ liệu khác nhau.
TechFlow: Trong việc cung cấp một Hệ thống Quản lý Cơ sở Dữ liệu (DBMS) minh bạch và hiệu quả cho ngành mã hóa, phương pháp của dự án anh đã phát triển như thế nào? Việc thương mại hóa zkLLVM và zk-SNARKs mà anh phát triển đóng góp ra sao vào mục tiêu này?
Misha: Mối liên hệ giữa trọng tâm hiện tại và ý tưởng ban đầu của chúng tôi là nhận ra rằng cần phải giảm các giả định tin cậy trong giải pháp DBMS của mình. Chúng tôi muốn mang lại tính minh bạch và chứng minh được các quá trình tính toán diễn ra bên trong hệ thống quản lý cơ sở dữ liệu.
Điều này đưa chúng tôi đến với việc khám phá các mạch phức tạp như bằng chứng trạng thái và bằng chứng đồng thuận, và hợp tác với các quỹ như Mina và Ethereum để học hỏi và triển khai các giải pháp này.
Ban đầu, chúng tôi tạo mạch thủ công, nhưng đây là một quá trình đầy thử thách và tốn thời gian. Để giải quyết vấn đề này, chúng tôi đã phát triển zkLLVM – một trình biên dịch có thể chứng minh được, có khả năng tạo mạch từ mã dễ đọc. Lý do làm vậy là vì đây chính là điều mọi người đang làm trong DBMS, và có thể áp dụng cho các cơ sở dữ liệu phi tập trung trong tương lai.
Chúng tôi quyết định tận dụng các ngôn ngữ và trình biên dịch hiện có để tạo mạch, thay vì tạo một ngôn ngữ chuyên biệt (DSL) tùy chỉnh. Một trình biên dịch mạch có thể chứng minh gần như mọi thứ, thậm chí cả các ứng dụng đơn giản như trò chơi. Khi bạn có thể chứng minh hầu hết mọi thứ, kể cả các thư viện mã lớn hay phép tính phức tạp, thường yêu cầu lượng lớn sức mạnh tính toán và chuyên môn.
Khi xử lý các mạch khổng lồ, bạn cần thời gian chứng minh cực lớn – tôi không nói vài phút, không nói vài giờ, mà là hàng ngày, hàng tuần, thậm chí có thể là hàng tháng.
Điều này thúc đẩy chúng tôi đưa yếu tố thị trường vào, nhằm khuyến khích tối ưu hóa – bằng cách coi zk-SNARKs như một mặt hàng có thể mua bán, chúng tôi khuyến khích sự cạnh tranh giữa các bên xác minh và tối ưu hóa. Sự cạnh tranh này thúc đẩy đổi mới và cải thiện hiệu quả của bằng chứng zk-SNARK. Mục tiêu của chúng tôi là tạo ra một hệ sinh thái đòi hỏi tối ưu hóa bằng chứng zk-SNARK để thúc đẩy cải tiến liên tục.
Sự phổ biến, lạm dụng và ảnh hưởng của công nghệ ZK trong ngành mã hóa
TechFlow: Anh có thể tóm tắt ngắn gọn hành trình nghiên cứu và phát triển của bằng chứng zero-knowledge không? Từ khi các nhà toán học đề xuất khái niệm vào cuối những năm 1980, có những hạn chế và thách thức nào cản trở việc ứng dụng rộng rãi?
Misha: Việc ứng dụng rộng rãi bằng chứng zero-knowledge bị giới hạn bởi một số rào cản chính.
Trước năm 2008–2010, trước khi xuất hiện các cơ sở dữ liệu và giao thức BFT (Byzantine Fault Tolerance), người ta đã bắt đầu áp dụng bằng chứng zero-knowledge để chứng minh những điều họ không muốn công khai, ví dụ như xác thực trong ngân hàng hay các lĩnh vực công nghiệp khác.
Tuy nhiên, trong một thời gian dài, người ta không có cách nào để chứng minh các phép tính phức tạp, tổng quát và đủ điều kiện Turing. Những triển khai ban đầu chỉ dùng cho các phép tính đơn giản, không thể chứng minh các phép tính phức tạp. Theo thời gian, các hệ thống chứng minh tiên tiến hơn và các phép toán số học xuất hiện, cho phép chứng minh các phép tính đủ điều kiện Turing và các quy trình tổ chức phức tạp; nhiều dạng biểu diễn như hệ thống ràng buộc, cấu trúc tổ chức đặc thù và các trang tư cách được phát triển nhằm chứng minh các phép tính phức tạp, mô tả quy trình và các giao thức BFT.
Thật không may, công nghệ này đã bị lạm dụng rộng rãi: mọi người nhận ra rằng ngoài việc ẩn giấu phép tính và dữ liệu, các hệ thống chứng minh này còn có thể nén lượng lớn tính toán thành các bằng chứng nhỏ và ngắn gọn.
Như Eli Ben-Sasson của StarkWare thường nói, khi mọi người dùng các hệ thống chứng minh này để nén dữ liệu, thì đặc tính zero-knowledge không còn cần thiết nữa.
Việc lạm dụng này đã dẫn đến sự xuất hiện của loạt ứng dụng như roll-ups, zk-bridges, zk-mls và zk-oracles, loại bỏ các ứng dụng liên quan đến riêng tư, mà tập trung vào cơ chế nén do công nghệ cung cấp. Thực tế, trong các ứng dụng này, thành phần riêng tư có thể bị loại bỏ khỏi hệ thống chứng minh mà không làm hỏng chức năng.
Ví dụ, roll-ups có thể hoạt động mà không cần thành phần riêng tư, vì chúng chủ yếu tận dụng hệ thống chứng minh để nén dữ liệu. Chính việc lạm dụng công nghệ quy mô lớn này lại dẫn đến sự phổ biến rộng rãi của nó trong thế giới Crypto.
TechFlow: Anh vừa nhắc đến bằng chứng zero-knowledge không có chức năng riêng tư? Anh nhìn nhận thế nào về kiểu "sử dụng một phần" công nghệ này?
Misha: Mặc dù có thể bỏ qua hoặc lược bỏ thành phần riêng tư, nhưng riêng tư vẫn là thuộc tính vốn có và lợi thế của công nghệ này. Việc loại bỏ khía cạnh riêng tư thực chất là loại bỏ một số thao tác trong hệ thống chứng minh, như phép nhân.
Điều này dẫn đến mất mát về riêng tư, nhưng giữ lại đặc tính nén. Đặc tính nén này có lẽ sẽ tồn tại mãi, và là một trong những đặc trưng của các hệ thống cam kết và cách tính toán trong ngành.
TechFlow: Tại sao chúng ta chọn ZK thay vì các phương pháp mật mã khác?
Misha: ZK có tỷ lệ nén hiệu quả nhất, các cơ chế khác không thể nén dữ liệu xuống kích thước nhỏ như vậy. Hơn nữa, không có công nghệ nào khác có thể xác minh dữ liệu nén dễ dàng đến thế.
TechFlow: Nếu ZK hiệu quả đến vậy, thì liệu zk-Everything có phải là trạng thái tương lai của blockchain?
Misha: Người ta đã cố gắng áp dụng zero-knowledge vào mọi thứ. Có người thậm chí còn thử đưa trò chơi vào lĩnh vực zk, điều khá kỳ lạ.
Các thuật toán học máy (ML) cũng đã được "zero-knowledge hóa". Việc tính toán trong môi trường không tin cậy và giao thức BFT vẫn rất tốn kém, thậm chí còn đắt hơn so với việc thuê máy tính mạnh để xử lý.
Mặc dù đã nỗ lực, các phép tính này vẫn rất tốn kém. Vì vậy, mặc dù người ta sẽ cố gắng "zk hóa" mọi thứ, họ cũng sẽ theo đuổi việc thực thi riêng tư trên nền tảng zk, sử dụng mã hóa đồng hình toàn phần (FHE), và khám phá các giải pháp khác cho hệ thống chứng minh.
Trên website của chúng tôi, có những trường hợp sử dụng cần tạo bằng chứng cho dữ liệu riêng tư mà không tiết lộ dữ liệu đó. Để làm được điều này, chúng tôi kết hợp cả zero-knowledge và mã hóa đồng hình toàn phần (FHE). Đây sẽ trở thành một thành phần công nghệ quan trọng và thiết yếu như chữ ký đường cong elliptic, bổ sung thêm một lớp bảo mật và riêng tư cho hệ thống.
Bảo vệ riêng tư, ẩn danh và khả năng truy vết dữ liệu trên chuỗi
TechFlow: Vitalik Buterin gần đây đã đề xuất ba chuyển đổi then chốt, bao gồm việc ứng dụng công nghệ zero-knowledge để tăng cường mở rộng và riêng tư. Khi dữ liệu giao dịch và địa chỉ thường được xem là đã ẩn danh, anh có thể giải thích cụ thể vai trò của bằng chứng zero-knowledge trong việc tăng cường riêng tư không?
Misha: Có sự khác biệt giữa ẩn danh và giả ẩn danh.
Theo mặc định, tất cả các cơ sở dữ liệu và giao thức này đều cung cấp tính giả ẩn danh. Nghĩa là bạn có thể truy vết và quan sát những gì đang xảy ra, nhưng bạn không biết danh tính của các cá nhân tham gia. Giả ẩn danh là trạng thái mặc định.
Tuy nhiên, ẩn danh thực sự và riêng tư không chỉ liên quan đến việc ẩn danh tính. Nó còn liên quan đến việc ẩn cả sự kiện hoạt động, như chuyển tiền, thao tác hay giao dịch. Nó không chỉ ẩn danh tính người tham gia, mà còn ẩn luôn toàn bộ hoạt động.
Hãy lấy Zcash làm ví dụ – một trong những trường hợp nổi tiếng nhất liên quan đến bằng chứng zero-knowledge. Trong Zcash, dữ liệu không được lưu trữ dưới dạng có thể đọc công khai, mà được mã hóa và lưu trữ theo cách đó.
Khi ai đó cần sửa đổi dữ liệu, họ có thể truy cập dữ liệu, giải mã, thực hiện thay đổi cần thiết, mã hóa lại, rồi tải lên cơ sở dữ liệu công cộng.
Tuy nhiên, để đảm bảo không có hành vi độc hại xảy ra trong quá trình này, người thực hiện thay đổi phải cung cấp bằng chứng rằng họ đã giải mã thành công và mã hóa đúng cách. Họ cần chứng minh rằng mình đã thao tác dữ liệu một cách hợp lệ và tuân thủ quy tắc.
TechFlow: Bảo vệ riêng tư ảnh hưởng thế nào đến việc phân tích dữ liệu trên chuỗi?
Misha: Trước hết, sự phát triển này sẽ gây khó khăn cho việc phân tích dữ liệu trên chuỗi, khiến công việc của họ trở nên khó khăn.
Khi tất cả dữ liệu đều được mã hóa và bảo vệ, họ sẽ phải chạy khắp nơi để tìm kiếm dữ liệu. Sẽ giống như một cuộc săn tìm dữ liệu, gợi nhớ đến cảnh trong phim cổ điển khi ai đó đến hỏi người khác xem có cần dữ liệu giao dịch không.
Mọi người sẽ đi tìm dữ liệu, mỗi lần phát hiện một mảnh dữ liệu sẽ như tìm thấy thứ gì đó có thể phân tích và khai thác trong hoang dã. Vì vậy, tương lai sẽ là một giai đoạn rất thú vị, khi dữ liệu không dễ tiếp cận do được bảo vệ riêng tư, và có lẽ chúng ta sẽ tiến tới việc giao dịch dữ liệu.
TechFlow: Việc không thể truy vết do bảo vệ riêng tư trên chuỗi có đi ngược lại tư tưởng truy xuất nguồn gốc của blockchain không?
Misha: Khi nói đến các ứng dụng riêng tư và sự xuất hiện của chúng, tình hình khá phức tạp. Với câu hỏi của bạn, tôi nghĩ đôi khi câu trả lời là có, đôi khi là không.
Ý tưởng rằng mọi thứ phải công khai và truy vết được không phải là triết lý cốt lõi của blockchain.
Theo tôi, ngành mã hóa bắt nguồn từ mật mã tài chính, nhằm loại bỏ các giả định tin cậy, chứ không phải để làm mọi thứ truy vết được và đọc công khai. Mục đích là giảm nhu cầu tin tưởng vào mã nguồn và khắc phục vấn đề này. Trong quá trình phát triển này, các ứng dụng riêng tư sẽ không thay đổi mục đích cốt lõi của nó.
Các giả định tin cậy vẫn sẽ bị loại bỏ, nhưng khả năng truy vết, từng được coi là thiết yếu trong quá khứ, có thể sẽ không còn cần thiết trong tương lai. Ngành mã hóa không được phát minh để phục vụ tính truy vết và công khai, mà để loại bỏ các giả định tin cậy – tức là bạn có thể đạt được sự đồng thuận về một điều gì đó thông qua các công cụ và kỹ thuật mã hóa, ngay cả trong điều kiện tin cậy cực kỳ khắt khe.
Thách thức trong ứng dụng ZK
TechFlow: Có những thách thức nào trong ứng dụng ZK? Ví dụ, cần bao lâu để đạt được ẩn danh thực sự trên blockchain thông qua bằng chứng zero-knowledge?
Misha: Có thể mất từ 3 đến 5 năm, vì chúng ta cần giải quyết các vấn đề về lỗ hổng đối kháng. Cụ thể, vấn đề hiệu quả của công nghệ ZK là thách thức chính hiện nay.
Mọi phép tính theo cách này đều chậm hơn so với tính toán gốc.
Tuy nhiên, giảm chi phí này là điều chúng ta phải ưu tiên. Chúng tôi đang cải thiện trình biên dịch, đồng thời cũng chú ý đến phía nhu cầu, cung cấp các giải pháp quản lý dữ liệu như phiên bản riêng tư của Facebook, đảm bảo hiệu quả song song. Vì vậy, vấn đề hiệu quả là điều chúng tôi cần giải quyết trước tiên.
Thứ hai là làm thế nào để ứng phó thích đáng với nhu cầu riêng tư ngày càng tăng. Khi các vấn đề do thiếu riêng tư ngày càng nhiều, nhu cầu đối với các giải pháp như của chúng tôi sẽ tăng lên, đẩy nhanh tiến độ nghiên cứu phát triển.
Hiện tại, mọi người đang gặp nhiều vấn đề và bẫy do thiếu riêng tư. Càng nhiều vấn đề như vậy, tiến trình này sẽ càng nhanh.
Tuy nhiên, do vấn đề hiệu quả nêu trên, việc phát triển và sử dụng các giải pháp này là thách thức, và một số công nghệ vẫn ở giai đoạn thử nghiệm, chưa rời phòng thí nghiệm. Vì vậy, đây là một lĩnh vực mang tính thử nghiệm cao, cần phát triển thận trọng.
Lộ trình của Nil
TechFlow: Những thách thức hiện tại của ZK được phản ánh thế nào trong lộ trình của Quỹ Nil?
Misha: Tôi có thể khẳng định rằng trong vài năm tới, Nil sẽ không làm những thứ riêng tư và không thể truy vết.
Chúng tôi muốn làm cho việc quản lý dữ liệu trong ngành này trở nên đúng đắn. Vì vậy, đối với những người cần truy cập và xử lý dữ liệu, họ không cần dùng đến các kỹ thuật phức tạp hay trả phí khổng lồ để xử lý các vấn đề phức tạp vụn vặt.
Mục tiêu của chúng tôi là làm cho nó rẻ hơn, nhanh hơn, tiện lợi hơn. Đó là lý do tại sao chúng tôi chắc chắn sẽ có một hệ thống quản lý cơ sở dữ liệu hoạt động. Chúng tôi chắc chắn sẽ thể hiện xuất sắc và không có giả định tin cậy. Nó chắc chắn sẽ an toàn. Chúng tôi khao khát trở thành lựa chọn an toàn nhất trong ngành.
Kết luận
Trong lúc trò chuyện, Misha đang ở Síp, cũng là trụ sở công ty của anh. Khi tôi hỏi Misha: “Anh khỏe chứ?”, anh đưa ra một biểu cảm nhún vai bối rối và nói: “Ổn thôi.” Thật sự và đáng yêu biết bao!
Misha là một trong những người sáng lập kỹ thuật mà tôi từng biết, biểu cảm và thông minh nhất. Anh hài hước, thẳng thắn và thật sự dễ gần khi tiếp xúc. Tôi rất biết ơn Misha đã kiên nhẫn trả lời tất cả các câu hỏi của tôi, kể cả những câu hỏi có vẻ ngây ngô và sơ đẳng.
Đối với độc giả không có nền tảng kỹ thuật, nếu tò mò mạch trong bằng chứng zero-knowledge là gì, tại sao lại cần biên dịch viên? Nếu không cần biên dịch viên, cách tạo mạch truyền thống là gì? Để tìm câu trả lời cho các câu hỏi này, cùng các kịch bản ứng dụng cụ thể của bằng chứng zero-knowledge, vui lòng xem phần đọc thêm dưới đây.
Phần đọc thêm: Kiến thức nền tảng về bằng chứng zero-knowledge
TechFlow: Biên dịch viên mạch hoạt động như thế nào? Tại sao chúng ta cần nó?
Misha: Để chứng minh một phép tính cụ thể, cần có mạch. Mọi người sử dụng nhiều phương pháp khác nhau.
Một số người tự tạo mạch thủ công cho các loại zkEVM khác nhau. Sau đó họ dùng các mạch này trong cơ sở dữ liệu hoặc cụm hệ thống riêng (như roll-ups), sử dụng zkEVM làm môi trường thực thi; tương tự, trong hệ thống quản lý cơ sở dữ liệu của chúng tôi, cần một tầng thực thi để xử lý dữ liệu. Cấu trúc này tương tự như cơ sở dữ liệu truyền thống như MySQL, nơi có một tầng thực thi hoặc máy ảo.
Mục tiêu là chứng minh minh bạch các phép tính trên dữ liệu, giảm các giả định tin cậy và tránh phương pháp hộp đen. Để đạt được điều này, cá nhân có thể xây dựng thêm zkEVM, hoặc biên dịch mã để nhận được mạch cần thiết. Bằng cách này, họ có thể chứng minh các phép tính trên dữ liệu của mình hoặc dữ liệu từ nguồn khác.
Việc xây dựng zkEVM có thể mất vài năm, và kết quả là các mạch phức tạp, ngay cả Vitalik cũng cho rằng có vấn đề về an toàn mạch.
Thay vì chi hàng núi tiền để kiểm toán hoặc cố gắng hiểu các mạch phức tạp trong thập kỷ tới, cách hiệu quả hơn là biên dịch mạch từ mã EVM gốc hoặc nguồn khác để tạo mạch. Chúng tôi cũng từng đối mặt với vấn đề tương tự khi nâng cấp mạch bằng chứng trạng thái và bằng chứng đồng thuận. Chúng tôi mất khoảng một năm để hoàn thành, và khi xong, chúng tôi nhận ra tầm quan trọng của nó, dù không phải ai cũng hiểu toàn bộ quá trình từ đầu đến cuối. Để tránh điều này, chúng tôi đã xây dựng trình biên dịch này.
Phương pháp này loại bỏ các vấn đề an toàn và độ phức tạp khi xử lý các mạch lớn.
TechFlow: Mạch nghĩa là gì?
Misha: Mạch dùng để định nghĩa phép tính cần được chứng minh. Mỗi ứng dụng cụ thể cần một mạch riêng. Trong trường hợp zkEVM, họ thường dùng một mạch cho mọi phép tính, điều này chấp nhận được nhưng không hiệu quả.
Hơn nữa, các mạch này thường to lớn và khó hiểu, khó phát hiện bất kỳ lỗ hổng bảo mật nào. Nếu một roll-up phổ biến (như Polygon, zkSync hoặc Starkware) dùng mạch có lỗ hổng bị khai thác, có thể gây ra thảm họa toàn ngành, xét đến lượng thanh khoản khổng lồ và sự phụ thuộc vào các cơ sở dữ liệu này.
Để giảm rủi ro này, trang web của chúng tôi cung cấp một trình biên dịch có thể tạo mạch từ mã dễ đọc, dễ hiểu, có thể di chuyển và minh bạch. Điều này đảm bảo mạch không chỉ dựa vào các cấu trúc mờ ám khó kiểm tra hoặc phân tích.
Hơn nữa, các dịch vụ khác nhau (như ZKML, ZK Oracle, ZK Bridge và các loại bằng chứng đồng thuận, bằng chứng trạng thái) cần các mạch khác nhau. Để tăng hiệu quả và tránh việc tạo thủ công một mạch thống nhất cho mọi tính toán, trình biên dịch của chúng tôi cho phép tạo các mạch chuyên dụng được thiết kế riêng cho từng dịch vụ cụ thể. Điều này đơn giản hóa quy trình và đảm bảo hiệu quả khi chứng minh các phép tính cần thiết.
Bằng cách cung cấp một trình biên dịch tạo mạch từ mã dễ đọc và có khả năng tạo mạch chuyên dụng cho các dịch vụ khác nhau, mục tiêu của chúng tôi là tăng tính minh bạch, ngăn ngừa thảm họa quy mô ngành và nâng cao hiệu quả tính toán tổng thể.
TechFlow: Mạch hoạt động như thế nào?
Misha: Về bản chất, tất cả các mạch đều là biểu diễn chương trình đã được tối ưu hóa, tạo ra bố cục đa thức trên trường hữu hạn.
Ví dụ, biểu diễn đa thức đơn giản cho phép tính “a + b” trông giống như “a + b = 0”, bao gồm dữ liệu thay thế và hệ số. Sau đó bạn có các biến, được thay thế bằng hệ số, và bạn thay dữ liệu tương ứng. Quá trình này tuân theo các phương pháp tối ưu truyền thống.
Khi chương trình trở nên phức tạp hơn, số lượng mạch hoặc tập hợp đa thức sẽ tăng lên, các mạch hoặc tập hợp này được biểu diễn qua các đa thức đó. Do đó, mạch về bản chất trông giống như một tập hợp các đa thức, thực hiện nhiều thao tác trên trường vô hạn, tùy thuộc vào phép tính cần chứng minh.
Tổng thể, mục tiêu là biên dịch mã thành mạch và biểu diễn phép tính dưới dạng tập hợp đa thức, nhằm đảm bảo tính minh bạch và giảm độ phức tạp.
TechFlow: zkLLVM mà anh đề cập có thể được ứng dụng thế nào vào thị trường GPU phi tập trung?
Misha: Về chủ đề này, trong một số trường hợp, người ta dùng khái niệm tính toán GPU phân tán cho học máy. Nếu họ cần chứng minh rằng một số phép tính đã được thực hiện, thì phương pháp dựa trên ZK sẽ có lợi cho họ.
Ví dụ, điều này có thể áp dụng cho trường hợp sử dụng ZKML trên website của chúng tôi. Khi cá nhân dùng tính toán GPU phân tán cho học máy và cần cung cấp bằng chứng cho phép tính, họ có thể truy cập được mã biểu diễn phép tính đó.
Mã này sẽ có sẵn trên nền tảng đám mây của họ. Nếu mã có thể được biên dịch sang zkLLVM, ví dụ như CUDO, OpenCL hoặc CPP, hoặc nếu ai đó viết mã GPU bằng Rust, thì việc biên dịch mã đã cho sang LLVM và tạo ra bằng chứng cần thiết là hoàn toàn khả thi. Việc tích hợp này dường như rất trực tiếp, và thực sự là một ý tưởng hay.
Techflow: Công nghệ liên quan đến ZK có thể được dùng trong giao dịch định lượng DeFi không?
Misha: Việc mã hóa mờ (obfuscation) sẽ là mục tiêu trong giao dịch, nhằm ẩn thuật toán thực thi, đặc biệt hữu ích với các trader lớn luôn giữ bí mật chiến lược giao dịch.
Để chạy các chiến lược này trong môi trường phân tán và không tin cậy, họ sẽ cần mã hóa mờ để ẩn thuật toán, đồng thời đảm bảo tính toàn vẹn của thuật toán.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
深潮TechFlow
