Vào lúc 21:00 ngày 23 tháng 7 theo giờ Bắc Kinh, Shumo Chu, người đồng sáng lập Manta Network đã được Hiệp hội Blockchain sinh viên Đại học Thanh Hoa (THUBA) mời trò chuyện với Sputnik, Tiến sĩ Nghiên cứu và ứng dụng khoa học, và cách Manta có thể giúp đỡ ZK giải quyết vấn đề riêng tư của Web3, sau đây là bản ghi đầy đủ của cuộc trò chuyện:

Yiki (máy chủ):

Xin chào mọi người, tôi là phó chủ tịch Hiệp hội Blockchain Thanh Hoa (THUBA), Yiki. Kể từ khi thành lập vào năm 2017, chúng tôi đã có lịch sử 5 năm và đã tổ chức gần 200 sự kiện. Vào tháng 8 tới, cuộc thi Hackathon đầu tiên sẽ được tổ chức, mời mọi người quan tâm và đăng ký tham gia. Sau đó, tôi có thể yêu cầu Shumo giới thiệu ngắn gọn về những gì Manta làm và giới thiệu bản thân.

Shumo：

Xin chào mọi người, thật vinh dự khi được tham gia sự kiện này, tôi là Shumo, đồng sáng lập Manta Network. Đầu tiên tôi xin giới thiệu về Manta, chúng tôi sẽ thành lập vào tháng 10 năm 2020. Vào thời điểm đó, lý do tại sao chúng tôi thành lập Manta là blockchain (Web3) có một vấn đề lớn, đó là quyền riêng tư. Chúng tôi đã rất lạc quan về triển vọng của ngành Web 3 vào thời điểm đó, nhưng nếu ngành này trở thành xu hướng chủ đạo, tất cả các giao dịch trên chuỗi sẽ ở dạng văn bản thuần túy, điều này rất tệ. Chúng tôi cảm thấy rằng quyền riêng tư là quyền cơ bản nhất của con người. Nếu bạn nhìn vào cấu trúc của tất cả các chuỗi công khai hiện tại, bạn có thể thấy rằng tất cả các chuỗi công khai về cơ bản không có quyền riêng tư, ngoại trừ một số ít như Monero hoặc Zcash.

Vì vậy, ý định ban đầu của chúng tôi là giải quyết vấn đề riêng tư này, vậy làm thế nào để giải quyết nó? Lần đầu tiên chúng tôi tạo ra một sản phẩm thanh toán riêng trên chuỗi - MantaPay và hai phiên bản của mạng thử nghiệm đã được tung ra cho đến nay. Sau đó, bạn có thể coi nó như một phiên bản Zcash mang theo mã thông báo của bạn. Sản phẩm này được ra mắt trong hệ sinh thái Polkadot, nhưng chúng tôi cũng sẽ hướng tới đa chuỗi trong tương lai. Bước thứ hai mà chúng tôi sắp bắt đầu là thực hiện các hợp đồng thông minh trên tài sản cá nhân. Nó đã được phát triển trong khoảng nửa năm nhưng vẫn chưa được phát hành chính thức. Tôi nghĩ Manta có thể tóm tắt trong một câu rằng chúng tôi đang thực hiện lớp riêng tư của toàn bộ Web3. Chúng tôi hy vọng rằng trong tương lai, trong tất cả các hoạt động truyền thống của Web3, bạn có thể có một tùy chọn - tư nhân hóa bởi Manta, và sau đó giao dịch của bạn sẽ tự động trở thành giao dịch riêng tư.

Về bản thân tôi, trước đây tôi đã làm tiến sĩ tại Đại học Washington, làm hệ thống cơ sở dữ liệu và xác minh chính thức. Sau khi tốt nghiệp, anh ấy làm việc với tư cách là nhà khoa học nghiên cứu ở Algorand trong một năm, sau đó là trợ lý giáo sư tại Đại học California, Santa Barbara, và hiện đang làm việc toàn thời gian cho Manta Network.

Yiki：

được rồi cảm ơn. Sputnik Bạn cũng có thể giới thiệu ngắn gọn về bản thân và một số lĩnh vực mà bạn hiện đang tập trung vào nghiên cứu khoa học.

Sputnik：

tiêu đề cấp đầu tiên

🎙️ ZK là gì

Yiki：

Trước hết, tôi muốn nhờ Shumo giới thiệu sơ qua ZK là gì, nguyên lý và ứng dụng của nó, đồng thời đưa ra một cái nhìn tổng quan bằng một chút từ ngữ trắng trợn.

Shumo： 

Tên đầy đủ của ZK là bằng chứng tri thức bằng không (zero knowledge proof). Ban đầu nó được nghiên cứu về mặt lý thuyết trong nhiều năm, nghiên cứu sớm nhất ít nhất là 20 hoặc 30 năm trước, đó là bài báo GMR (Goldwasser Micali Rackoff). Sau đó, tất cả mọi người nghĩ rằng điều này là khả thi trên lý thuyết. Một cột mốc rất quan trọng là Zcash, khi một số giáo sư của trường hợp tác để tạo ra phiên bản đầu tiên. Mọi người đều từng nghĩ rằng đây là điều lý thuyết, và không thể thực hành được. Sau đó, họ đã tạo ra một cấu trúc thực tế hơn gọi là libsnark, hỗ trợ phiên bản đầu tiên của Zcash vào thời điểm đó và mọi người đều nhận ra rằng điều này là khả thi.

Mượn lời Micali nói, ZK là gì, bạn có thể hình dung nó như một mã hóa trên tính toán. Mã hóa thường đề cập đến mã hóa dữ liệu, nghĩa là dữ liệu có thể được thay đổi từ văn bản gốc sang văn bản mật mã, nhưng ZK thực sự là một thứ tương đối mạnh hơn. Nó có nghĩa là mã hóa trên tính toán là mã hóa tính toán. Cụ thể, giả sử bạn muốn chứng minh rằng bạn biết điều gì đó, chẳng hạn như 3 cộng 5 bằng 8. Sau đó, tôi hy vọng chứng minh rằng bạn biết điều này, nhưng bạn không cho biết đầu vào cụ thể của 3 cộng 5 và 8 này là gì. Sau đó, bạn có cam kết 3 cam kết 5 và cam kết 8 này và bạn cần thuyết phục ai đó rằng điều này là đúng. Cụ thể trong chuỗi khối, bạn cần sử dụng phương pháp này để chứng minh với tất cả những người xác thực hoặc người chạy nút rằng đó là một ZK cấp rất, rất cao.

Yiki： 

Cảm ơn bạn Shumo. Sputnik, theo quan điểm của bạn, bạn nghĩ gì về sự phát triển của ZK và bạn định nghĩa ZK như thế nào?

Sputnik： 

Từ quan điểm mật mã, giao thức ZK thực sự rất đơn giản và có thể tóm tắt trong một câu: đó là một giao thức mật mã hai bên, sau đó có một người chứng thực và người xác minh, đó là những gì chúng ta gọi là một người chứng thực. và một người xác minh. Điều anh ta muốn đạt được là người chứng minh không cần kiến ​​thức gì để chứng minh với người xác minh rằng anh ta biết một bí mật.

Thế thì tri thức bằng không là gì? Nghĩa là, từ góc độ mật mã, có thể cần sử dụng một số kiến ​​thức về lý thuyết thông tin để xác định chặt chẽ, đó là người xác minh không thể biết hoặc có được khả năng, hoặc kiến ​​thức mà nó không có trong quá trình tương tác với mật mã. Ví dụ như một số ví dụ mà Shumo đưa ra vừa rồi, chẳng hạn, để chứng minh rằng 3 cộng 5 bằng 8, anh ấy biết công thức này, nhưng anh ấy không thể công bố nó. Vì vậy, nó có thể cần thiết để sử dụng một cam kết. Cam kết là một cam kết mã hóa mà chúng ta đang nói đến, sau đó nó có ràng buộc và che giấu, nghĩa là bạn có thể thấy cam kết của tôi và giá trị bên trong của nó bị ràng buộc bởi nó, hơi giống hàm băm. Nếu giá trị ràng buộc thay đổi thì cam kết cũng sẽ thay đổi, tức là ràng buộc. Che giấu có nghĩa là nếu bạn nhìn thấy một cam kết và không biết chính xác những gì bên trong, tôi có thể mở nó trong tương lai và bây giờ tôi có thể cung cấp cho bạn một bằng chứng không có kiến ​​​​thức, sau đó thuyết phục bạn rằng những gì tôi đã hứa là giá trị của tôi . Điều này đang xem xét ZK từ góc độ mật mã.

Yiki： 

Tình cờ là anh vừa nói về định nghĩa và sự phát triển của ZK dưới góc độ nghiên cứu khoa học, anh có thể giới thiệu sơ qua về ZK được nghiên cứu trong lĩnh vực nghiên cứu khoa học hiện nay như thế nào và anh chú ý đến điều gì?

Sputnik： 

Trên thực tế, trong lĩnh vực nghiên cứu khoa học cũng có những hướng khác nhau, có những hướng rất lý thuyết, tức là bảo mật có thể chứng minh được, đó là một tập hợp các nội dung lý thuyết rất mật mã, cần một số phương pháp hình thức, chúng tôi sẽ không mở rộng điều này chi tiết.Ngoài ra còn một số ứng dụng. Về mặt ứng dụng cũng được thực hiện ở cấp độ thuật toán, đó là đề xuất một số thuật toán mới tối ưu hơn, có thể có hiệu năng tốt hơn các thuật toán trước đó. Sau đó, giống như Zcash, Zcash cũng được thiết kế bởi một số giáo sư mà Shumo vừa đề cập, giao thức đã được đề xuất vào năm 2014, và sau đó hệ thống đã được ra mắt vào năm 2016. Loại này thực sự tương đương với việc sử dụng thuật toán để triển khai ứng dụng. Có lẽ là những hướng này.

Yiki： 

Tức là bạn đã chú ý đến tiền điện tử trong THUBA từ lâu, theo bạn mối quan hệ giữa nghiên cứu khoa học của ZK và ngành công nghiệp tiền điện tử hiện nay là gì? Kết nối có tốt không?

Sputnik： 

Tôi nghĩ rằng ZK có thể đã đạt được một số kết quả trong nghiên cứu khoa học và có nhiều thuật toán khác nhau, nhưng tôi nghĩ rằng nếu nó được kết hợp với ngành, nó cần cải thiện hiệu suất và các tối ưu hóa khác. Ý tôi là có thể có một số thuật toán mà chúng ta có thể có một số kết quả tốt về mặt lý thuyết, nhưng nó có thể không tốt lắm khi triển khai. Chúng tôi đã yêu cầu Shumo cho chúng tôi biết chi tiết ứng dụng của ZK đã đạt được bao xa về mặt ứng dụng công nghiệp.

Shumo： 

Nghiên cứu khoa học tất nhiên là rất quan trọng, tôi nghĩ khoảng cách giữa nghiên cứu khoa học và ứng dụng thực tế là nghiên cứu khoa học chủ yếu được nghiên cứu từ góc độ phức tạp, trong khi ứng dụng thực tế chú ý nhiều hơn đến hiệu suất thực tế. Điểm tốt hơn của mật mã là không có nhiều khác biệt giữa hiệu suất lý thuyết và triển khai thực tế, và sẽ không có hằng số ẩn lớn.Ngoài ra, việc triển khai một thuật toán có thể yêu cầu kỹ thuật và nhân sự quy mô lớn.

Thứ hai là số lượng kỹ thuật được triển khai bởi giao thức cơ bản của ZK là rất phức tạp, chẳng hạn như các mạch của R1CS và plonk. Sau đó, bao gồm cả việc Manta của chúng tôi đang xây dựng một OpenZL (thư viện bằng chứng không kiến ​​thức nguồn mở), tương đương với một lớp giữa có thể cải thiện hiệu quả phát triển. Tôi nghĩ rằng khoảng cách giữa nghiên cứu khoa học và ngành công nghiệp là sự trừu tượng của lớp giữa này. Tất nhiên, đối với mật mã cơ bản, nó rất tốt để hiểu và cũng có lợi cho kỹ thuật.

Yiki：

được rồi được rồi cảm ơn. Sau đó, tôi chỉ đề cập đến một số ứng dụng của ZK, tôi muốn yêu cầu Sputnik phân tích chi tiết các kịch bản ứng dụng của ZK trong lĩnh vực blockchain và lĩnh vực không phải blockchain.

Sputnik:

Trong ứng dụng của blockchain, ZK chủ yếu được chia thành hai phần, tôi nghĩ một phần là quyền riêng tư và phần còn lại là phần mở rộng. Các từ bảo mật bao gồm dự án Zcash mà chúng tôi đã đề cập nhiều lần vừa rồi và hầu hết các bạn có thể đã nghe thấy cái tên Zcash. Nó chủ yếu nhận ra sự che giấu ở cấp độ giao dịch, nghĩa là nó nhận ra ba yếu tố của giao dịch thông qua bằng chứng không có kiến ​​thức, đó là bên chuyển nhượng, người được thanh toán và nội dung giao dịch, đây là một cải tiến so với Zcoin trước đó .

Ngoài ra, nó là sự mở rộng. Trên thực tế, cái gọi là mở rộng, chúng ta thường nghe thuật ngữ mở rộng chuỗi khối, có thể chủ yếu phản ánh sự cải tiến của TPS. Sau đó, đối với một chuỗi công khai như layer1, việc mở rộng có liên quan gì đến ZK? Chúng tôi vừa đề cập rằng bằng chứng không kiến ​​thức trước hết là một hệ thống bằng chứng. Sau đó, nếu chúng ta nói rằng quyền riêng tư được bảo vệ ngay bây giờ, thì đó là bản chất không có kiến ​​​​thức của nó. Vì vậy, về mặt mở rộng, những gì chúng tôi sử dụng thực sự là một thuộc tính chứng minh của nó. Một thuật ngữ mà mọi người đều quen thuộc bây giờ được gọi là ZK roll-up và Ethereum cũng đang khám phá việc mở rộng ZK roll-up này. Logic của nó là chúng tôi muốn chuỗi công khai trở lại chính nó, bởi vì chi phí của chuỗi công khai thực sự rất cao, mọi người cần đạt được sự đồng thuận, mọi người phải duy trì một bộ sổ cái và họ phải chạy một phép tính mới , mà là rất tốn kém . Vì vậy, chúng tôi hy vọng sẽ loại bỏ chi phí tính toán này khỏi chuỗi và sau đó chỉ đồng ý về kết quả cuối cùng trên chuỗi. Điều đó có nghĩa là, chuỗi khối của chúng tôi thực sự là một trạng thái, bao gồm số dư tài khoản của mọi người và mỗi khi có giao dịch, số dư sẽ được cập nhật. Sau đó, đây thực sự là một quá trình tính toán. Chúng tôi hy vọng sẽ thực hiện các phép tính như vậy ngoài chuỗi, sau đó gửi kết quả tính toán mới và giá trị bằng chứng rằng tính toán của tôi là chính xác cho chuỗi. Chuỗi chỉ cần xác minh giá trị bằng chứng, sau đó trạng thái có thể được cập nhật trực tiếp, so với việc tính toán và xác minh trực tiếp giá trị bằng chứng, nó thực sự rất nhanh. Vì vậy, đây là cái mà chúng tôi gọi là ZK roll-up, thực hiện mở rộng. Đây là ứng dụng hiện tại của ZK theo hướng blockchain.

Sau đó, trong lĩnh vực phi blockchain, trên thực tế, chúng ta thường nói về một số tính toán về quyền riêng tư. Tất nhiên, giờ đây điện toán bảo mật cũng đang được kết hợp với chuỗi khối. Ví dụ, đối với điện toán bảo mật, chúng tôi hy vọng đạt được điện toán an toàn cho nhiều bên và nhiều bên cần cùng nhau tính toán kết quả. Sau đó, một số giao thức ZK có thể được sử dụng trong việc này và nó thường xuất hiện dưới dạng một thành phần. Sau đó, tình hình ứng dụng cơ bản là như thế này.

Yiki： 

được rồi cảm ơn. Vì vậy, bây giờ tôi muốn hỏi tại sao ZK lại quan trọng? Ví dụ, nếu bạn muốn giải thích ZK với một số sinh viên đại học, bạn sẽ giải thích nó với Shumo như thế nào?

Shumo： 

tiêu đề cấp đầu tiên

🎙️ Cách học ZK

Yiki： 

Hiểu rồi bạn có thể hỏi lại cùng chủ đề này. Shumo là một trải nghiệm mà bạn có thể kết hợp với việc học ZK của riêng mình. Bạn có thể cho tôi một số gợi ý về cách học ZK từ con số 0 không?

Shumo：

Tôi nghĩ điều đầu tiên bạn cần là làm rõ một quan điểm, đó là nhìn nhận thứ nhất, mục đích mọi người học ZK là gì? Kho công nghệ của ZK rất sâu và có mục đích rõ ràng sẽ hiệu quả hơn. Điểm thứ hai là nếu bạn muốn trở thành bậc thầy về ZK, bạn cần học những điều cơ bản về mật mã. Sau đó, thế hệ các nhà mật mã trẻ bắt đầu học bằng cách xem một số khóa học mở, chẳng hạn như giáo sư Dan Boneh của Đại học Stanford, bởi vì đó là điều cơ bản nhất về mật mã.

Thứ hai là xem các thư viện nguồn mở trên Github, trên thực tế, tôi nghĩ về cơ bản là hai khía cạnh này. Một là bạn có thể bắt đầu học trực tiếp từ cơ bản nhất về mật mã. Thực hành thứ hai là bắt đầu viết chương trình.

Yiki：

Hiểu, tôi nghĩ nó rất có ý nghĩa, không chỉ học về lý thuyết, mà viết mã cũng rất cần thiết. Vậy Sputnik có suy nghĩ gì về vấn đề này không? Vì theo mình biết thì bạn học toán từ hồi đại học, bạn có gợi ý gì cho các bạn học ZK không?

Sputnik： 

Tôi học toán khi còn là sinh viên đại học, sau đó học bảo mật thông tin, và sau đó tôi bắt đầu tìm hiểu về mật mã vào năm cuối cấp. Nếu bạn muốn hiểu hệ thống và sau đó có thể tự áp dụng nó, thì tôi cũng khuyên bạn nên tìm hiểu một số khái niệm cơ bản về mật mã, bao gồm một loạt các khái niệm như chữ ký, hàm băm, MAC, v.v. bao gồm mật mã Phương pháp, cách xác định tri thức bằng không.

tiêu đề cấp đầu tiên

🎙️ Trạng thái theo dõi ZK và tương lai

Sputnik：

Sau đó, chủ đề tiếp theo của chúng ta là nói rất nhiều về ZK và việc học ZK, sau đó tôi cũng muốn nghe về Shumo, theo quan điểm của ngành, tại sao chúng ta lại nói rằng lộ trình ứng dụng ZK hiện tại rất phức tạp, có vẻ như vậy rằng có nhiều dự án ứng dụng ZK, bao gồm zkSync, v.v., cũng như Zcash vừa được đề cập và ngay cả chính Ethereum Foundation cũng đang làm điều đó. Sau đó, tất cả họ đều có một nhóm mật mã mạnh đứng sau họ, bao gồm cả người đồng sáng lập của Starkware Eli Ben-Sasson, một giáo sư ở Israel, và anh ấy cũng là người sáng lập Zcash, và tôi muốn hỏi Shumo về hiện tượng này. Bạn nghĩ gì?

Shumo： 

Trước hết, tôi nghĩ nó phụ thuộc vào cách mọi người hiểu từ khối lượng. Thật vậy, tôi nghĩ rằng đây là trường hợp, cho dù đó là một dự án hiện có hay một dự án ở giai đoạn khởi động, điều tôi có thể nói với bạn là nó sẽ chỉ trở nên gợi cảm hơn chứ không trở nên kém gợi cảm hơn, nhưng nó chắc chắn sẽ ngày càng trở nên gợi cảm. Nhưng tôi nghĩ vấn đề về số lượng là một điều tốt khi bao gồm lĩnh vực ZK và bao gồm toàn bộ trang web của tôi 3. Web3 là một lĩnh vực có thể đến và đi tự do. Mọi người đều cảm thấy rằng họ có cơ hội, vì vậy âm lượng bắt đầu. Trên thực tế, trong khối lượng, mỗi dự án không hoàn toàn giống nhau, Starkware rất đặc biệt và có ngôn ngữ lập trình riêng.

Sau đó, có một câu hỏi khác, làm thế nào để cắt ngang quá trình của tập này, nghĩa là nó có thể không nhìn vào những dự án đang cháy hàng này đang làm gì, mà muốn nói về những nhu cầu trong lĩnh vực này, và làm thế nào chúng ta có thể giải quyết một số vấn đề thực tế? . Nói chung, tôi nghĩ khối lượng là một hiện tượng không thể tránh khỏi. Sau đó, tôi nghĩ nếu bạn muốn làm mọi thứ ở đây trong ZK, bạn nên tìm điểm vào của riêng mình thay vì bắt chước các dự án khác.

Sputnik： 

Liên quan đến một câu hỏi trên bản ZK này, tôi cũng muốn đề nghị bạn nói về nó, một số công ty hàng đầu trong lĩnh vực ZK rollup bao gồm zkSync, Starkware, Scroll, v.v. Sự khác biệt giữa chúng là gì? Chúng ta có thể nói về điều này?

Shumo：

Đó là, trước hết, tôi không tự mình thực hiện ZK rollup, về vấn đề này, tôi nghĩ thứ nhất là tính tương đương của EVM, tức là dự án có tương thích hoàn toàn với EVM hay không.

Cái đầu tiên được gọi là tương thích với evm, được tạo bởi zkSync. Cách tiếp cận của anh ấy không phải là đưa toàn bộ evm vào mạch mà là tự mình tạo ra một VM. Bởi vì việc đưa EVM vào mạch quá khó về mặt kỹ thuật và khi đó sẽ phát sinh một số vấn đề. Đây là cách tiếp cận của zkSync.Ưu điểm của nó là có thể trực tuyến sớm hơn, nghĩa là trong mạng chính thực tế, zkSync có thể là mạng chính sớm nhất trong số các công ty này. Nhưng nếu nó chỉ tương thích ở cấp độ Solidity, thì không thể sử dụng nhiều công cụ trong Ethereum, bao gồm cả trình gỡ lỗi.

Cả Scroll và Hermez đều tuyên bố có tính tương đương EVM, điều mà tôi nghĩ là tốt hơn và có thể tận dụng lợi thế của chuỗi công cụ.

Cho đến nay, Starware Prover, tức là Prover vẫn là nguồn đóng. Sau đó, bạn vừa nói rằng những gì Ethereum Foundation đang làm thực sự là một cuộc thăm dò kỹ thuật thuần túy và có khả năng cao là nó sẽ không thực sự trực tuyến.

Sputnik：

Sau đó, điều tiếp theo là về bản nhạc ZK này. Chúng tôi vẫn còn một câu hỏi cuối cùng, đó là chúng tôi vừa nói về một số ứng dụng trong ZK về quyền riêng tư và tổng số. Nhưng trên thực tế, đối với các nhà phát triển, có thể nói rằng cần phải có một đội mật khẩu chuyên nghiệp. Sau đó, ứng dụng thực sự bao gồm tổng số và chúng tôi hy vọng thực sự làm được điều đó.Người dùng này trong suốt, nghĩa là anh ta có thể không cảm thấy sự tồn tại của lớp trung gian này. Câu hỏi của tôi là liệu chúng tôi có thể tạo ra một số sản phẩm thực tế hơn không? Đó là thứ mà người bình thường có thể cảm nhận và sử dụng, có thứ như vậy không?

Shumo：

Tôi nghĩ câu hỏi này rất hay, và tôi nghĩ tất nhiên là có. Về điểm đầu tiên về ZK rollup, nó không có quyền riêng tư và có thể được triển khai trực tiếp trên lớp giữa, chẳng hạn như zkSync, mà không cần biết về ZK. Nhưng nếu nó là một ứng dụng từ góc độ quyền riêng tư, bạn cần phải tự mình hiểu ZK. Ví dụ: nếu bạn tương tác với nền tảng tài sản riêng tư của Manta, thì bạn có thể cần phải tự lập trình ZK. Tôi nghĩ rằng đây là một điều rất thú vị cho các nhà phát triển.

Điểm thứ hai là mặc dù nền tảng về mật mã rất tốt trong lĩnh vực này, nhưng sự phát triển của các ngôn ngữ và công cụ cấp cao khiến các nhà phát triển không còn cần phải viết các mạch cấp thấp bằng tay, giống như sự xuất hiện của cấp cao. các ngôn ngữ lập trình khiến cho việc viết hợp ngữ bằng tay là không cần thiết. Vì vậy, chúng ta có thể thấy rằng ngưỡng lập trình với ZK thực sự ngày càng thấp hơn. Tôi nghĩ vấn đề này chắc chắn sẽ cần có thời gian, trong tương lai, các nhà phát triển sẽ không cần phải hiểu mọi chi tiết về mật mã, các ngôn ngữ và thư viện lập trình ZK sẽ tiếp tục xuất hiện.

Sputnik：

ĐƯỢC RỒI Cảm ơn bạn Shumo. Tôi có lẽ hiểu quan điểm của bạn về ZK. Và sau đó phần tiếp theo chúng ta có thể muốn nói lại về Manta. Câu hỏi tiếp theo tôi có thể muốn hỏi là tôi biết rằng Manta đang làm việc trên MantaPay, đây cũng là một hệ thống thanh toán và có tính chất riêng tư. Vậy tôi có thể nhờ Shumo giới thiệu MantaPay này và nói về sự khác biệt giữa MantaPay và MantaPay không? Zcash cùng một lúc?

Shumo： 

Đầu tiên là từ góc độ giải quyết vấn đề. Trước hết, chúng tôi đã học hỏi từ nhiều thành công của Zcash, nhưng một điểm khác biệt lớn trong giao thức của tôi là Zcash chỉ hỗ trợ một loại tiền tệ duy nhất và chúng tôi hỗ trợ nhiều loại tiền tệ. Chúng tôi cũng có sự khác biệt trong khái niệm tổng thể, Zcash là xây dựng thứ gì đó từ con số 0. Chúng tôi muốn sử dụng quyền riêng tư như một cơ sở hạ tầng có thể trao quyền cho toàn bộ chuỗi ngành, thay vì chỉ tạo ra hệ thống thanh toán của riêng mình.

Điểm thứ hai là từ quan điểm kỹ thuật, chúng tôi bắt đầu muộn hơn Zcash nên chúng tôi đã sử dụng các kỹ thuật mã hóa mới hơn, bao gồm các hàm băm thân thiện với ZK. Mạch của chúng tôi có kích thước bằng 1/10 so với Zcash. Hiệu suất tốt hơn và trải nghiệm người dùng tốt hơn. Đây là điểm tương đồng và khác biệt giữa chúng tôi và Zcash. Tất nhiên, chúng tôi đang đứng trên vai những người khổng lồ và học hỏi được nhiều điều về Zcash.

Sputnik： 

Được rồi, cảm ơn Shumo đã giới thiệu MantaPay. Ngoài ra, tôi vẫn còn một câu hỏi chi tiết, cá nhân tôi rất tò mò, trước đó tôi xin giới thiệu với các bạn khái niệm này, đó là thiết lập đáng tin cậy, được gọi là thiết lập đáng tin cậy. Có nghĩa là, trong một số thuật toán, đôi khi chúng ta cần sử dụng một thiết lập đáng tin cậy để tạo tham số mà thuật toán cần sử dụng, sau đó giống như thiết kế ban đầu trong Zcash, sau đó thuật toán của nó cần thiết kế như vậy. Giống như Shumo đã giới thiệu trước đây, tôi được biết rằng chúng tôi cũng cần một thiết lập đáng tin cậy như vậy cho Manta pay. Tôi muốn nghe nó, vì có thể có một số thuật toán của thiết lập đáng tin cậy không cần thiết và chúng tôi vẫn sử dụng nó. Sau điểm này, có ích lợi gì không?

Shumo： 

Vâng, điều này chắc chắn là có lợi, và nó hiện đang được sử dụng rộng rãi. Có hai loại hệ thống chứng minh không có kiến ​​thức, một loại được gọi là Groth16 mà chúng tôi đang sử dụng và loại kia là Plonk, mỗi loại đều có ưu và nhược điểm riêng. Cái trước yêu cầu thiết lập đáng tin cậy nhưng cái sau thì không (thiết lập đáng tin cậy dành riêng cho ứng dụng).Chúng tôi thấy rằng cái trước có hiệu suất tốt qua thử nghiệm.

Từ quan điểm của nhiều chi tiết mật mã, mạch của hai loại này khác nhau và hệ thống bằng chứng cũng khác. Tóm lại, thiết lập đáng tin cậy mà chúng tôi sử dụng hiện nay hoàn toàn là để xem xét hiệu suất. Các thiết bị người dùng khác nhau có thời gian tạo bằng chứng khác nhau và chúng tôi không thể "phân biệt đối xử" với những người dùng chậm. Cụ thể, thời gian tạo bằng chứng là 2 giây hay 20 giây sẽ thực sự có tác động thiết yếu đến trải nghiệm người dùng. Đây là xem xét hiệu suất của chúng tôi.

Sau đó, điểm thứ hai, bảo mật thiết lập đáng tin cậy vẫn có thể kiểm soát được. Nhiều thành viên của cộng đồng Manta sẽ tham gia và chúng tôi cũng có thể mời một số người có uy tín hơn trong vòng kết nối tham gia vào thiết lập đáng tin cậy. Vì vậy, tính trung thực có thể được đảm bảo, đó là lý do tại sao chúng tôi sử dụng thiết lập đáng tin cậy.

Yiki：

tiêu đề phụ

GIỚI THIỆU

Nhóm sáng lập của Manta bao gồm một số cựu chiến binh tiền điện tử, giáo sư và học giả có kinh nghiệm bao gồm Harvard, MIT và Algorand. Các tổ chức đầu tư của Manta bao gồm Polychain, ParaFi, Binance Labs, Multicoin, CoinFund, Alameda, DeFiance và Hypersphere, v.v. Manta cũng là người nhận tài trợ của Tổ chức Web3 chính thức của Polkadot, thành viên của Chương trình Trình tạo Chất nền và là thành viên của Máy gia tốc Chuỗi khối Đại học Berkeley.

Giới thiệu về mạng Manta

Manta Network cam kết xây dựng một thế giới Web3 tốt hơn thông qua bảo vệ quyền riêng tư. Thiết kế sản phẩm của Manta bắt đầu từ các nguyên tắc đầu tiên và cung cấp khả năng bảo vệ quyền riêng tư từ đầu đến cuối cho người dùng chuỗi khối thông qua các kiến ​​trúc mật mã hàng đầu như zkSNARK. Trong khi bảo vệ quyền riêng tư, Manta có thể tương tác, thuận tiện, hiệu suất cao và có thể kiểm tra được, cho phép người dùng thực hiện chuyển khoản và giao dịch riêng tư giữa bất kỳ tài sản parachain nào. Tầm nhìn của Manta là cung cấp các dịch vụ bảo vệ quyền riêng tư thuận tiện hơn cho toàn bộ thế giới blockchain.

Nhóm sáng lập của Manta bao gồm một số cựu chiến binh tiền điện tử, giáo sư và học giả có kinh nghiệm bao gồm Harvard, MIT và Algorand. Các tổ chức đầu tư của Manta bao gồm Polychain, ParaFi, Binance Labs, Multicoin, CoinFund, Alameda, DeFiance và Hypersphere, v.v. Manta cũng là người nhận tài trợ của Tổ chức Web3 chính thức của Polkadot, thành viên của Chương trình Trình tạo Chất nền và là thành viên của Máy gia tốc Chuỗi khối Đại học Berkeley.

We're Hiring!

Twitter Trung Quốc:

Theo dõi kênh chính thức để biết thêm thông tin về Manta/Calamari:

Website:https://manta.network/

Github:https://github.com/Manta-Network

Twitter:https://twitter.com/MantaNetwork

Medium:https://mantanetwork.medium.co

Telegram:https://t.me/mantanetwork

Discord：https://discord.gg/ZtSuSKRy8X

Điện tín Trung Quốc:https://t.me/mantanetwork_zh

Twitter Trung Quốc:https://twitter.com/manta_china