Phỏng vấn = nil_ Foundation: Xây dựng thị trường Proof và hiện thực hóa tầm nhìn "mọi thứ đều có thể là ZK"

Kể từ EDCON ở Montenegro vào tháng 4, "ZK" đã trở thành từ nóng nhất trong năm nay và việc mở rộng không gian tường thuật do Ethereum mang lại đã đạt đến một điểm cao mới. Nhiều người cho rằng đây sẽ là thị trường mới trị giá hàng trăm tỷ USD, tạo ra nhiều cơ hội và câu chuyện giàu có hơn, chẳng hạn như "khai thác ZK". Tất nhiên, là một kỷ nguyên mới chưa đến, ZK cũng có nghĩa là nhiều cơ hội rất khó để chúng ta xác định chính xác vào lúc này.

Tương lai của ZK sẽ như thế nào vẫn cần nhiều trí tưởng tượng hơn. Và thị trường Proof được xây dựng bởi =nil; Foundation đã khơi dậy những tưởng tượng vô tận của tôi về kỷ nguyên hàng trăm tỷ đô la này. Gần đây, tôi đã có một cuộc trò chuyện chuyên sâu với người đồng sáng lập =nil; Foundation, Mikhail Komarov (sau đây gọi là Misha), nói về =nil; Foundation, zkLLVM và các chủ đề liên quan đến thị trường Proof.

Tóm tắt phỏng vấn

1. Mọi người sử dụng ZK để nén thông tin, đây là cách "lạm dụng" thú vị nhất của ngăn xếp công nghệ này.

2. Việc tạo ra các bằng chứng ZK nên được giao cho các nhà sản xuất cung cấp các dịch vụ chuyên nghiệp đó thuê ngoài, tạo thành một mạng lưới nhà sản xuất chuyên nghiệp để đáp ứng các yêu cầu của thị trường.

3. Trên thị trường Proof hiện nay đã xuất hiện hiện tượng PEV (prover extractable value).

4. Thị trường Proof chưa được phân cấp hoàn toàn và đây sẽ là trung tâm làm việc của nhóm trong một thời gian tới.

= không; nguồn gốc

Misha đã làm việc trong ngành công nghiệp mã hóa từ năm 2013. Điều đầu tiên anh ấy làm sau khi gia nhập vòng kết nối là nghiên cứu triển khai C++ của Bitmessage. Đây là một giao thức nhắn tin Bitcoin và mặc dù nó đã bị phá vỡ nhiều lần, nhưng nhiều người đã phát cuồng vì nó vào thời điểm đó. Sau đó, Misha bắt đầu thực hiện một loạt công việc phát triển với Dan Larimer (tức là BM, người sáng lập Steemit, Bitshares và EOS) xung quanh BitShares và gặp Konstantin Lomashuk, người sau này đã tạo ra Lido trong quá trình này. Vào thời điểm đó, Konstantin đã có trong tay một số dự án mã hóa liên quan đến Bitshares và muốn tạo một fork Steemit dành riêng cho Nga, cụ thể là Golos Network.

Đó là năm 2016, và Misha bắt đầu một hành trình mới với Dan và Konstantin với tư cách là CTO của Golos. Nhưng sau hai năm, Misha cảm thấy mệt mỏi với Golos, anh cho rằng sản phẩm do Dan thiết kế không đạt yêu cầu, cấu trúc bên trong không phù hợp và chất lượng không đủ. Do đó, Misha đã rời bỏ các dự án liên quan như Golos và Steemit và thành lập Nil cùng với Konstantin vào tháng 4 năm 2018.

Ý tưởng ban đầu của Misha là ngăn mọi người gặp phải các vấn đề bất ổn tồn tại trên Golos và Steemit, chẳng hạn như thiếu quản lý dữ liệu, kiến trúc, bảo mật phù hợp, v.v. Do đó, mục đích của Nil là mang những thành tựu của ngành quản lý cơ sở dữ liệu đến ngành mã hóa, mang lại độ tin cậy, bảo mật, khả năng mở rộng, v.v. nhiều hơn cho lĩnh vực này. Tất nhiên, điều mà Misha không mong đợi là hành trình mới của anh ấy sẽ dẫn đến chính trung tâm của tương lai có thể mở rộng của thế giới mã hóa.

**BlockBeats: Vui lòng giới thiệu ngắn gọn về lý lịch của bạn, chẳng hạn như bạn đã bắt đầu kinh doanh mã hóa như thế nào và tại sao bạn lại tham gia vào ngành mã hóa? **

Misha: Đó là một thời gian dài trước đây. Tôi đã tham gia vào ngành công nghiệp tiền điện tử vào khoảng năm 2013, khi tôi đang nghiên cứu triển khai Bitmessage C++. Bạn có thể nhớ rằng giao thức nhắn tin giống như Bitcoin mà mọi người đều phát cuồng hồi đó và nó đã bị hack một vài lần, nhưng nó vẫn còn rất hot vào thời điểm đó.

Sau đó, tôi bắt đầu phát triển mọi thứ xung quanh BitShares và Dan Larimer (tức là BM, người tạo ra Steemit, Bitshares và EOS) và sau đó tôi gặp Konstantin Lomashuk, bây giờ bạn có thể biết anh ấy nhờ Lido. Vào thời điểm đó, anh ấy đã có trong tay một số dự án mã hóa liên quan đến Bitshares và muốn tạo một fork Steemit dành riêng cho Nga. Vì vậy, chúng tôi đã làm Golos, tôi trở thành CTO vào năm 2016 và chúng tôi đã làm việc cùng nhau kể từ đó.

Nhưng vào tháng 4 năm 2018, tôi cảm thấy mệt mỏi với Golos vì Dan thiết kế những sản phẩm không vừa ý, sản phẩm của anh ấy không bao giờ chạy được lâu và trong khi chúng hoạt động, tôi không nghĩ kiến trúc bên trong phù hợp với tôi và chất lượng thì không đủ, vì vậy tôi đã rời Golos và Steemit cũng như tất cả các dự án khác và bắt đầu Nil vào tháng 4 năm 2018.

Mục tiêu của tôi lúc đầu là ngăn mọi người gặp phải những vấn đề tôi gặp phải với Golos và Steemit, chẳng hạn như không quản lý dữ liệu phù hợp, kiến trúc, bảo mật, v.v., mọi thứ đều rất không ổn định. Tôi không nghĩ đó là một giải pháp tốt, vì vậy tôi đã thành lập Nil cùng với Kosta để mang công việc của ngành quản lý cơ sở dữ liệu đến ngành mã hóa, bởi vì nó có nghĩa là độ tin cậy, bảo mật, khả năng mở rộng, v.v. Câu chuyện sau đó là diễn biến của Nil.

**BlockBeats:=nil; Tổ chức bắt đầu chú ý đến bằng chứng không kiến thức từ khi nào? **

Misha: Nhìn lại, vào khoảng năm 2020, khi chúng tôi hoàn thành nguyên mẫu DBMS (hệ thống quản lý cơ sở dữ liệu) đầu tiên, chúng tôi nhận ra một số vấn đề. Thành thật mà nói, chưa ai thực sự cố gắng làm điều đó trước khi chúng tôi cố gắng tích hợp các hệ thống quản lý cơ sở dữ liệu với ngành công nghiệp mã hóa và khi hoàn thành dự án này, chúng tôi nhận ra rằng giả định tin cậy không phải là điều chúng tôi muốn.

Mọi người phải tin tưởng chúng tôi nếu nó hoạt động, cho dù nó có sử dụng dữ liệu của chúng tôi hay không. Chúng tôi đã nghĩ về cách giảm giả định về sự ngờ vực này, cách làm cho nó trở nên không đáng tin cậy nhất có thể, sau đó chúng tôi nhận ra rằng chúng tôi có thể cần sử dụng một số loại công nghệ, chúng tôi cần một công cụ mã hóa để đạt được mục tiêu này, vì vậy chúng tôi vì mục đích này A bộ mật mã được xây dựng.

Vào thời điểm đó, ngành vẫn đang trong giai đoạn phát triển ban đầu và chưa có môi trường phát triển như Arc Works, chúng tôi nghĩ rằng vì đã có những khái niệm lý thuyết và một số thử nghiệm nên chúng tôi phải thử. Chúng tôi đã xây dựng một bộ và xây dựng một hệ thống bằng chứng của riêng mình. Sau đó, chúng tôi đã làm việc với những người từ Ethereum Foundation và Mina Foundation để xây dựng một trình biên dịch mạch. Để không tự tạo bằng chứng, chúng tôi đã thiết lập Thị trường bằng chứng để đưa động lực thị trường vào việc tạo bằng chứng.

Trong quá trình xây dựng trình biên dịch với những người ở Quỹ Mina, chúng tôi cũng đang làm việc với những người ở Quỹ Solana. Trong quá trình đó, chúng tôi nhận ra rằng chúng tôi cần Proof of State và Proof of State là thứ mà mọi người ở Mina và Ethereum đang tìm kiếm vào thời điểm đó. Vào khoảng đầu năm 2021, khi chúng tôi đang phát triển các bằng chứng trạng thái cần thiết cho hệ thống quản lý cơ sở dữ liệu, những người từ Mina, Ethereum và Solana cảm thấy rằng đây là "zk Bridging". Bởi vì Justin Drake, Evan Shapiro và Anatolly đều nghĩ rằng chúng ta cần một công nghệ Bridge an toàn hơn, và sau đó họ nói bất kể bạn gọi nó là gì, đó là zkBridge.

**BlockBeats: Về zero-knowledge proofs, lĩnh vực mã hóa đã nghiên cứu và thử nghiệm khá lâu nhưng chưa đạt được tiến bộ đáng kể. Nhưng kể từ đầu năm nay, sự phát triển của lĩnh vực ZK dường như đã đi vào trạng thái bùng nổ. **

Misha: Thực tế chỉ có hai phương pháp có thể áp dụng cho toàn bộ công nghệ zk, phương pháp thứ nhất rõ ràng là được sử dụng cho mục đích riêng tư và phương pháp thứ hai được sử dụng để nén, chẳng hạn như bản mở rộng mà mọi người đang nói đến và sự xuất hiện của zk -Rollups, zk-Bridges, zk-MLS, zk-Oracles, v.v. Mọi người "lạm dụng" ngăn xếp này để nén và tôi nghĩ đó là "lạm dụng" thú vị nhất mà tôi từng thấy. Vì vậy, câu hỏi là, tại sao bây giờ? Chúng tôi đã có thể thực hiện điều này cách đây vài năm và đó có thể là một số cột mốc phát triển công nghệ quan trọng khiến nó có thể sử dụng được, khả thi và thú vị khi sử dụng.

Cột mốc đầu tiên đến vào năm 2016, khi công nghệ ngày càng trở nên hữu ích đối với ngành công nghiệp tiền điện tử. Vào thời điểm đó, các hệ thống ràng buộc Hạng 1 (R1CS) đã trở nên khá phổ biến và các ứng dụng khác nhau bắt đầu xuất hiện. Về cơ bản, khi việc bảo vệ quyền riêng tư trở nên khả thi, điều này sẽ trở nên khả thi. Ví dụ: Zcash, Tornado Cash, v.v. Những dự án này được sinh ra trong thời đại đó hoặc ý tưởng của những dự án này được sinh ra trong thời đại đó.

Giai đoạn thứ hai là từ năm 2019 đến năm 2021, đây là giai đoạn quan trọng thứ hai đối với công nghệ này. Vào thời điểm đó, các bộ lọc Bloom (Blunt đối số) ngày càng trở nên phổ biến. Mọi người bắt đầu xây dựng hệ thống bằng chứng dựa trên bộ lọc Bloom. Chúng tôi cũng có hệ thống bằng chứng của riêng mình được gọi là trình giữ chỗ. Tại sao khoảng thời gian này lại quan trọng? Bởi vì nhờ các hệ thống bằng chứng dựa trên bộ lọc Bloom này, cho phép các dự án sử dụng ngăn xếp này để nén. Nó cải thiện khả năng nén, giúp việc thực hiện thay đổi quy mô Rollup và zkBridge phù hợp trở nên rẻ hơn và khả thi hơn vào năm 2021.

Hiện tại, chúng tôi đã đạt được một số tiến bộ trong việc phát triển hơn nữa hệ thống bằng chứng và chúng tôi cũng đã đạt được những bước đột phá nhất định trong dự án của mình. Chỉ cần nói rằng, việc viết các ràng buộc toán học phức tạp và các phép tính cũng khá khó khăn trong một môi trường mà thông tin được chia sẻ theo thời gian. Nhiều người đã cống hiến hết mình cho vấn đề này, chẳng hạn như giới thiệu STARK, giới thiệu zkVM để giải quyết vấn đề phức tạp này và giới thiệu trình biên dịch zkLLVM của chúng tôi cũng giúp việc xây dựng ứng dụng dễ dàng hơn. Từ năm 2019 đến năm 2021, hệ thống bằng chứng đã được phát triển và từ cuối năm 2020 đến đầu năm 2021 đến cuối năm 2022, quá trình phát triển công cụ cũng đã tiến triển. Tất cả những tiến bộ này làm cho nó đủ hiệu quả và khả thi về mặt kinh tế để xây dựng bằng chứng cho các tính toán phức tạp.

Tất nhiên, sự phát triển của các hệ thống bằng chứng còn lâu mới kết thúc. Để hiện thực hóa nhiều kịch bản ứng dụng hơn, vẫn còn rất nhiều việc phải làm để chứng minh hệ thống. Ví dụ: có thể trong năm nay hoặc năm sau, chúng tôi sẽ thấy sự phát triển của hệ thống bằng chứng và chúng tôi cũng đang tiến hành nghiên cứu và phát triển liên quan tại đây. Sự phát triển của các hệ thống bằng chứng này sẽ cho phép các ứng dụng zkLLVM khả thi về mặt kinh tế và chúng tôi hy vọng sẽ là nhóm đầu tiên làm được điều đó. Nhưng dù sao đi nữa, hiện tại mọi người đang cố gắng cải thiện hệ thống bằng chứng.

**BlockBeats: Bạn đã đề cập đến zkLLVM, một trình biên dịch được xây dựng cho các nhà phát triển để tạo các mạch zk của riêng họ. Bạn nghĩ zkLLVM quan trọng ở đâu và thời gian đáo hạn hiện tại của sản phẩm là bao nhiêu? **

Misha: zkLLVM có thể không phải là trình đầu tiên, nhưng nó là một trong những trình biên dịch mạch đầu tiên. Tôi đã thấy một số nguyên mẫu trước đây, tôi đã thấy một số dự án DSL, nhưng với một trình biên dịch mạch đầy đủ chức năng thay vì một máy ảo, tôi chưa từng thấy nhiều trước đây. Có một số, nhưng tôi không chắc liệu có ai thực sự sử dụng chúng hay không, vì vậy đó là lý do tại sao tôi nghĩ nó quan trọng. Và khá nhiều người trong ngành này đang cố gắng thoát khỏi tình trạng tiến thoái lưỡng nan “Tôi không tạo ra nó”, rất tốn năng lượng. Rõ ràng, mọi người cuối cùng đã tạo ra những sản phẩm thực sự tốt, nhưng tình trạng tiến thoái lưỡng nan "Tôi không tạo ra nó" này khiến việc phát triển trở nên tốn thời gian và tốn kém.

Ví dụ: chúng tôi hiện đang liên lạc qua Zoom và hầu hết tất cả phần mềm trên máy tính xách tay của chúng tôi đều được biên dịch bằng LLVM. Chúng tôi chỉ lấy tất cả những thứ đó và làm cho nó có thể chứng minh được. Vì vậy, tôi nghĩ rằng chúng tôi chỉ đang đưa toàn bộ hệ sinh thái trình biên dịch vào ngành công nghiệp tiền điện tử để những nỗ lực này có thể được tái sử dụng trong không gian tiền điện tử để đạt được hiệu quả và khả năng kinh tế. Điều này cũng mang lại các ngôn ngữ lập trình được sử dụng rộng rãi. Có rất nhiều phần mềm trên thế giới được viết bằng Rust, C++, Go, TypeScript, v.v. mà người ta có thể muốn thực thi bên trong Ethereum và trong một môi trường không tin cậy.

Ví dụ yêu thích của tôi là khi mọi người lấy mã nguồn Doom (mã nguồn C/C++), họ chứng minh điều đó với Ethereum thông qua zkLLVM, sau đó kéo nó vào giữa những người khác để cho biết họ mất bao lâu để hoàn thành. Ví dụ: tôi đã hoàn thành thử thách tốc độ Doom trong 20 phút, đây là bằng chứng và Ethereum NFT của bạn, chứng minh rằng bạn đã hoàn thành thử thách tốc độ Doom trong 20 phút.

**BlockBeats: Nhóm người dùng nào hiện đang sử dụng zkLLVM và các sản phẩm được tạo ra là gì? **

Misha: Nhiều loại dự án khác nhau đang sử dụng những công nghệ này và một số dự án có thể chỉ đang xây dựng thứ gì đó để thử triển khai hoặc có thể đang chạy. Trường hợp sử dụng rõ ràng nhất là zkBridge do trình biên dịch của chúng tôi xây dựng, được bảo mật bởi hệ thống bằng chứng của nó. Có lẽ đây là một trong những lý do khiến chúng tôi nhận ra sự cần thiết của trình biên dịch và bắt đầu xây dựng nó ngay từ đầu. Nó cũng đang được cố gắng sử dụng nó để xác minh chính thức các câu lệnh chứng minh, để không cố gắng đưa đặc tả chính thức của chương trình vào chúng, mà cô đọng nó thành bằng chứng bằng cách sử dụng trình biên dịch zkLLVM để biên dịch các câu lệnh chính thức. Trong thực tế, người ta biên dịch các trình biên dịch.

Lấy ví dụ về các ứng dụng giống như zkOracles, mọi người đã xây dựng zkOracles để truy xuất dữ liệu lịch sử Ethereum hoặc Lido để bảo đảm phát hành cổ phần Ethereum. Mọi người đang giải quyết các vấn đề có nhiều giả định về lòng tin, mặc dù đã hoạt động được hơn hai năm. Khi chúng tôi thiết kế Lido vào năm 2020, điều này có thể chấp nhận được, nhưng sau đó chúng tôi muốn giảm giả định về độ tin cậy vì chúng tôi không thể mạo hiểm TVL của người dùng, vì vậy chúng tôi quyết định bảo vệ nó bằng bằng chứng công việc của ZK. Ngoài ra còn có nhiều dự án khác, thành thật mà nói, tôi có thể tiếp tục mãi mãi, tôi có khoảng 80 dự án trong CRM vào lúc này.

**BlockBeats:=nil; Foundation trước đây đã nhận được khoản đầu tư từ StarkWare, Mina và các nhóm L2 khác cũng như các VC khác với mức định giá hơn 200 triệu đô la Mỹ. Số tiền này có được sử dụng để xây dựng thị trường Proof không và khoản đầu tư từ StarkWare và Mina có nghĩa là bạn sẽ có xu hướng hợp tác hơn với một hệ sinh thái cụ thể không? **

Misha: Đây là vòng tài trợ đầu tiên và duy nhất của chúng tôi trong 5 năm, bởi vì chúng tôi không có nhu cầu về điều này trước đây và bây giờ là lúc để thực hiện. Chúng tôi đã thực hiện đủ nguyên mẫu, chúng tôi hỗ trợ đủ dự án, chúng tôi đã học đủ để chúng tôi cảm thấy đủ mạnh mẽ và tự tin để tung ra sản phẩm theo cách mà chúng tôi nghĩ rằng nó nên được xây dựng.

Vòng cấp vốn này đã kết thúc khoảng một năm trước và chúng tôi đã công bố nó nhiều tháng sau khi nó thực sự diễn ra. Chúng tôi đã không công bố tài trợ cho đến khi chúng tôi cảm thấy thoải mái khi bắt đầu nói về "đây là thứ chúng tôi đã xây dựng." Vì quyên góp tiền, bạn bắt đầu hứa hẹn với nhau mọi thứ, và sau đó họ hỏi bạn rằng bạn quyên góp tiền để làm gì, chúng ta sẽ giao hàng gì? Sản phẩm là gì? Có ai đó đang sử dụng sản phẩm của bạn không? Vì vậy, chúng tôi đã cố tình trì hoãn bất kỳ cuộc thảo luận nào về chủ đề này cho đến khi ít nhất chúng tôi đã làm được điều gì đó về nó.

Chúng tôi thực sự đang làm việc với toàn bộ hệ sinh thái của Mina và nhóm Starkware, đã có rất nhiều ứng dụng từ hệ sinh thái Mina được xây dựng dựa trên chúng tôi, được xây dựng cùng với chúng tôi hoặc hợp tác với chúng tôi. Gần đây, nhóm của Mina đã bắt đầu nghiên cứu và phát triển các bản tổng hợp mà họ cần rất nhiều khả năng xác minh. Ngoài ra, chúng tôi đã xây dựng quy trình xác minh bằng chứng trạng thái dựa trên trình biên dịch với Mina vào năm 2021, một dự án hệ sinh thái Mina khác mà chúng tôi đã hợp tác.

Cũng có rất nhiều điều đang diễn ra khi làm việc với hệ sinh thái Starkware. Tất nhiên đây là mục đích hợp tác của chúng tôi để chúng tôi cũng hữu ích cho các ứng dụng có thể chứng minh được trong hệ sinh thái Starknet. Ví dụ: có một số dự án cầu nối với Starknet sử dụng ngăn xếp công nghệ của chúng tôi làm cầu nối chứng minh kiến thức bằng không. Một số dự án trò chơi cho chúng tôi biết rằng cần có khả năng xác minh.

Có một số dự án khác cố gắng sử dụng công nghệ bắc cầu cũ hơn, tận dụng xác minh bằng chứng trạng thái và xây dựng các ứng dụng Ethereum trên đó. Một số người đang xây dựng L3 trên StarkNet và họ nói rằng có khả năng xác minh sẽ là một lựa chọn tốt. Dù sao, đó là những gì chúng tôi đã đến với họ cho. Thành thật mà nói, tôi hài lòng với sự hợp tác.

Thị trường thứ cấp cho Bằng chứng ZK

Bằng chứng không kiến thức (ZK Proof) là cốt lõi tuyệt đối của trường ZK trong thị trường mã hóa hiện tại. Sự tồn tại của nó cung cấp khả năng vô hạn cho nhiều tình huống như ZK Rollup và zkEVM. Tuy nhiên, tạo bằng chứng ZK cũng là một nhiệm vụ tính toán nặng nề và thường mất hàng giờ để hoàn thành bằng chứng, đó là lý do tại sao hầu hết các bộ sắp xếp hiện tại vẫn chưa giải quyết được vấn đề tập trung. Để tạo bằng chứng ZK một cách đáng tin cậy và tiết kiệm chi phí, chúng tôi không chỉ cần phát triển và duy trì cơ sở hạ tầng máy tính mà còn cần mở rộng nó. Theo quan điểm của Misha, áp dụng cơ chế thị trường là giải pháp tối ưu cho vấn đề này.

=nil; Nhóm Foundation tin rằng việc tạo bằng chứng ZK là một nhiệm vụ nên được thuê ngoài cho các nhà sản xuất cung cấp các dịch vụ chuyên biệt như vậy. Theo tiền đề này, chúng tôi cần một thị trường Bằng chứng, nơi mọi người có thể yêu cầu tạo bằng chứng ZK cần thiết và sau đó mạng lưới nhà sản xuất chuyên nghiệp sẽ đáp ứng các yêu cầu đó.

**BlockBeats: Bây giờ hãy nói cụ thể về Proof Marketplace, ý tưởng này bắt nguồn từ đâu và câu chuyện đằng sau nó là gì? **

Misha: Ý tưởng bắt nguồn từ việc chúng tôi tham gia rộng rãi vào các ứng dụng giao thức và nhiều thứ khác liên quan đến Filecoin từ năm 2020 đến cuối năm 2021. Chúng tôi không chỉ tận mắt chứng kiến sự điên rồ xảy ra xung quanh Filecoin mà còn tham gia vào nó từ quan điểm của mình. Đó là khi chúng tôi học cách sử dụng đúng tất cả các hệ thống bằng chứng, cách lập luận phù hợp, v.v. và triển khai trình chứng minh Filecoin nhanh hơn gấp 10 lần so với phiên bản công khai, cho phép người khai thác tận dụng tối đa phần cứng của họ. Chúng tôi thực sự là một trung tâm nhìn thấy tất cả các thử nghiệm đang cố gắng giảm chi phí từ góc độ của người khai thác.

Trong thời gian đó, chúng tôi đã học được rất nhiều dữ liệu thị trường thực tế như giá trị như thế nào và mất bao lâu để tạo ra bằng chứng cụ thể này với phần cứng này; ai sử dụng phần cứng nào, trung tâm dữ liệu nào được xây dựng cho phần cứng đó, v.v. Và sau đó làm việc với Ethereum Foundation, Mina Foundation và nhiều tổ chức khác, chúng tôi nhận thấy những bằng chứng về trạng thái và bằng chứng về sự đồng thuận này là rất khó khăn và chúng tôi tuyệt đối không cho phép bất kỳ ai tự chứng minh những điều này.

Bởi vì thành thật mà nói, không ai có loại phần cứng này có thể được tạo ra nhanh chóng vì chúng quá lớn. Ví dụ, giống như sự đồng thuận của Mina, bằng chứng trạng thái của Mina là đường cong nhà đầu tư chính sách nhân với khoảng 35 tỷ đô la, một con số khá lớn. Hoặc Bằng chứng về sự đồng thuận của Solana, trong đó có khoảng 4000 chữ ký ECDSA và phải mất rất nhiều thời gian để tạo ra.

Khi điều này được nhận thấy, chúng tôi quyết định không làm điều đó nữa. Chúng tôi nghĩ, được rồi, chúng tôi sẽ thuê ngoài công việc này. Chúng tôi sẽ xây dựng một thị trường cho điều này, bởi vì chúng tôi đã có rất nhiều dữ liệu liên quan đến Filecoin, hãy xây dựng một thị trường, hãy biến nó thành hàng hóa, hãy để động lực thị trường áp dụng cho điều này, để mọi người có thể điều phối bởi một giao thức tập trung, họ cạnh tranh với nhau để thay vì trở thành trung tâm, chúng tôi để giao thức làm trung tâm. Hóa ra suy nghĩ của chúng tôi đã đúng. Mọi người đang xây dựng thị trường Proof ngay bây giờ và chúng tôi đã đoán được hướng đi.

**BlockBeats: Khi bạn xây dựng thị trường Proof, bạn có xem xét tính năng động của nó với zkLLVM mà bạn đã xây dựng không? **

Misha: Lúc đầu, hai dự án thực sự tách biệt, chúng là hai thứ riêng biệt. Ví dụ: chúng tôi chỉ cần chuỗi công cụ để xây dựng mạch, vì chúng tôi sẽ không xây dựng nó theo cách thủ công, nó quá lớn. Sau đó, chúng tôi phát hiện ra rằng những người khác cũng cần chuỗi công cụ này, vì vậy chúng tôi quyết định mã nguồn mở để mọi người có thể sử dụng.

Và thị trường Bằng chứng cũng là một thứ riêng biệt, bởi vì chúng tôi nghĩ rằng nó chỉ là một thị trường tạo bằng chứng. Chúng tôi thậm chí không nghĩ về việc mọi người cố gắng suy đoán bằng các bằng chứng. Họ thực sự đang cố gắng mua thấp và bán cao hoặc điều gì đó tương tự, điều này khá nực cười vì nó không được phép như vậy, nhưng dù sao thì, nó là như vậy.

Giao thức hỗ trợ thị trường Bằng chứng phải là một giao thức rất đặc biệt, bởi vì chúng tôi cần rất nhiều xác minh và cần xử lý rất nhiều tải về khía cạnh này. Khi mọi người đến với dữ liệu cần được xác minh, chúng tôi cần xử lý rất nhiều dữ liệu vì họ sẽ tải dữ liệu vào sổ đặt hàng của thị trường Proof, điều này làm cho giao thức sử dụng rất nhiều dữ liệu, chẳng hạn như lượng dữ liệu mô tả bằng chứng trạng thái trung bình. Sau khi mô tả bằng chứng trạng thái trung bình được thực hiện tốt chiếm khoảng 2GB dữ liệu, hãy thử tìm một giao thức có thể xử lý 2GB dữ liệu. Nó gần như là không thể.

Nhưng sau đó, mọi người bắt đầu chứng minh một số thứ thực sự quan trọng với zkLLVM và các cơ sở mã như Ross và C++ khá lớn so với những gì mọi người đang làm trong Solidity. Vì vậy, chúng tôi kết hợp chúng lại với nhau, làm cho chúng liên kết với nhau và sau đó làm cho chúng có thể sử dụng được như một dịch vụ. Chúng tôi vẫn nghĩ rằng trình biên dịch thực hiện khá tốt công việc hiệu quả và hy vọng sẽ giữ nguyên như vậy.

**BlockBeats: Hiện tại, ai là nhóm người dùng và người tham gia chính trong thị trường Proof? **

Misha: Loại người dùng đầu tiên chủ yếu là zkBridge và một số bằng chứng đồng thuận và bằng chứng trạng thái khá nặng để tạo ra. Ví dụ: nếu bạn tạo xác minh chính xác và an toàn như bằng chứng đồng thuận của Ethereum, với xác minh đồng thuận Ethereum hoàn chỉnh và tất cả 100.000 xác minh chữ ký nút, bạn sẽ mất một khoảng thời gian để tạo.

Loại thứ hai là zk oracle, chẳng hạn như những ứng dụng cần truy cập dữ liệu lịch sử Ethereum hoặc xử lý dữ liệu Ethereum theo một cách nhất định, sau đó sử dụng nó với EVM. Một số ứng dụng cố gắng giảm chi phí gas theo cách này, chẳng hạn như các giao thức cho vay cố gắng tính toán và tải các thông số rủi ro của tài sản thế chấp của họ vào EVM, nhưng chúng không thể được tính toán trong EVM về mặt chi phí.

Họ lấy tất cả dữ liệu Ethereum cần thiết từ các sàn giao dịch khác nhau, từ các chỉ số khác nhau, đưa vào EVM, sau đó sử dụng nó như một tập hợp các tham số rủi ro cho tài sản thế chấp. Điều này giống như một lời tiên tri khác của Lido, cho thấy cách giao thức có thể cải thiện tính bảo mật và giảm chi phí thực thi bằng cách thuê ngoài một loạt các tính toán (chẳng hạn như tính bảo mật trong thị trường Proof và riêng zkLLVM). Không có nghi ngờ rằng các nhà tiên tri không có kiến thức là rất quan trọng.

Danh mục thứ ba là Rollup, có thể được sử dụng bởi Rollup hiện tại hoặc Rollup mới và một số thậm chí đang cố gắng làm như vậy. Bất kỳ ai có ý định trở thành trình xác thực Rollup sẽ có mong muốn triển khai một số loại bằng chứng trong thị trường Proof. Xử lý phần cứng chuyên dụng và chạy các nút trên máy chủ AWS được thuê là rất khó khăn đối với người xác thực. Thực tế là AWS hiện không cung cấp ATX cũng như không cung cấp GPU rất mạnh, vì vậy về cơ bản, các trình xác thực sẽ đi kèm với các trường hợp sử dụng zkLLVM này. Rõ ràng, chúng tôi đã có một số trường hợp sử dụng cho zkLLVM, nhưng tôi phải thừa nhận rằng chúng vẫn chưa được sản xuất.

Các trường hợp sử dụng zkLLVM cũng rất phù hợp với các mô hình lớn hoặc rất phức tạp, vì chúng cần chứng minh độ phức tạp của mô hình hiện có. Đây cũng là một thứ hiện đang được tiến hành, nhưng một lần nữa, nó vẫn chưa được sản xuất, nó chỉ đang trong giai đoạn thử nghiệm. Sau khi đi vào sản xuất, chúng tôi sẽ có thể biến thị trường Proof thành thị trường điện toán AI có thể chứng minh được, điều này nghe có vẻ nực cười.

**BlockBeats: Nếu tôi muốn trở thành Người tạo Bằng chứng trên Thị trường Bằng chứng, tôi cần đáp ứng những yêu cầu gì? **

Misha: Thực sự không có nhiều yêu cầu hoặc hạn chế để trở thành người tạo bằng chứng, tất cả phụ thuộc vào mạch cụ thể và tuyên bố cụ thể mà bạn muốn chứng minh. Chúng tôi đã đặc biệt thiết lập một thứ gọi là "Chuỗi công cụ thị trường bằng chứng". Khi một người chứng minh xử lý các bằng chứng khác nhau trên thị trường, anh ta chỉ cần khởi động nó như một dịch vụ hoặc sử dụng nó như một chuỗi công cụ chạy trên máy của bạn.

Nếu không có nguồn cung cấp phần cứng tốt hơn trên thị trường cho một tuyên bố cụ thể, một mạch cụ thể, một ứng dụng cụ thể, một bằng chứng cụ thể, thì bạn có thể đặt hàng và tạo ra một bằng chứng. Nếu bạn có phần cứng tốt nhất, nếu bạn có thể hứa tạo ra bằng chứng nhanh nhất và không có đối thủ cạnh tranh nào khác tốt hơn, bạn có thể nhận đơn đặt hàng, tạo bằng chứng và nhận phần thưởng.

**BlockBeats: Tất cả người dùng sử dụng =nil; Foundation cần phải đăng ký tài khoản. Nếu bản thân bằng chứng được tạo hoặc thông tin giao dịch và quyền sở hữu của nó được lưu trữ trên một máy chủ riêng, nó có gây ra một số vấn đề về tập trung không? **

Misha: Đây chính xác là những gì chúng tôi dự định giải quyết vào cuối năm nay. Vâng, bằng chứng thị trường hiện tại không phải là phi tập trung, chúng tôi chưa phát hành nút giao thức để hỗ trợ nó và chưa nói về giao thức này trước công chúng. Đây là cách nó hiện đang hoạt động: Với một vài người cũng đang tham gia Lido và đóng vai trò là người xác thực và người vận hành trình xác thực với tư cách là người xác thực, chúng tôi có thể tạm thời lưu trữ nó và xem nó diễn ra như thế nào. Sau đó, chúng tôi đã phân phối mã nguồn cho họ và thực tế đã có sáu hoặc tám mã nguồn đang chạy ở chế độ thử nghiệm.

Ngay bây giờ, hệ thống này hơi phi tập trung, nhưng nó không công khai hoặc phi tập trung thực sự. Không phải ai cũng có thể tham gia và chạy nút Proof Market của họ. Đó cũng là một câu hỏi đối với chúng tôi, chúng tôi yêu thích các ứng dụng hỏi chúng tôi về bảo mật, mức độ phi tập trung của chúng, chúng tôi có thể dựa vào đó không? Đây có phải là thứ chúng ta hiện có thể sử dụng không? Tôi trả lời, vâng, bạn có thể, nhưng nó không đủ phi tập trung vì chúng tôi đang chạy nó ở chế độ thử nghiệm. Chúng tôi sẽ làm việc chăm chỉ để giải quyết vấn đề này, đó là nhiệm vụ quan trọng nhất của chúng tôi hiện nay.

**BlockBeats: Bạn đang thực hiện những bước nào để giải quyết những vấn đề này? **

Misha: Đầu tiên, chúng tôi thiết kế bằng chứng thị trường dựa trên giao thức phi tập trung, sử dụng một giao thức phi tập trung nhất định ngay từ đầu. Chúng tôi đã thảo luận về một số tùy chọn để triển khai và vận hành, chúng tôi đã cố gắng triển khai nó trực tiếp trên Ethereum, nhưng khi tính toán tính khả thi về kinh tế, chúng tôi thấy rằng nếu làm điều này, chúng tôi sẽ phải trả khoảng 2,5 tỷ đô la phí Ethereum mỗi năm. Vì vậy, điều hành một thị trường trên Ethereum được chứng minh là không khả thi về mặt tài chính.

Sau đó, chúng tôi cố gắng chạy nó trên một thứ gì đó như Rollup. Tuy nhiên, mặc dù chúng tôi đã thử một số Rollup khác nhau, chi phí vẫn cao. Khi chúng tôi tính toán chi phí chạy bằng chứng thị trường và thực hiện chênh lệch giá, chúng tôi nhận thấy rằng chỉ riêng chi phí hàng năm cho bằng chứng thị trường là 250 triệu đô la Mỹ, đây cũng là một chi phí rất cao. Vì vậy, chúng tôi đã phải đưa ra giao thức của riêng mình có thể xử lý tải, chi phí, dữ liệu chuyên sâu, v.v.

Mục tiêu của chúng tôi là làm cho giao thức này càng gần với tính bảo mật của Ethereum càng tốt, bởi vì không có cách nào khác để các ứng dụng dựa vào nó. Hóa ra giao thức này cũng rất hữu ích cho các hoạt động như tuần tự hóa, bởi vì khi tuần tự hóa, tải được xử lý về cơ bản là giống nhau. Một người muốn giảm độ trễ giữa người đặt hàng và người chứng minh để họ có thể gửi dữ liệu ngay lập tức đến người chứng minh và do đó giành được khối.

Làm thế nào để triển khai trình sắp xếp thứ tự trên giao thức này cũng là một trong những mối quan tâm chính hiện tại của chúng tôi. Chúng tôi hy vọng sẽ xây dựng một nền tảng mà các nhà phát triển bên thứ ba có thể sử dụng để bất kỳ ai cũng có thể bắt đầu và chạy một nút hỗ trợ giao thức này. Và đảm bảo ứng dụng bằng chứng thị trường an toàn như Ethereum về mặt triển khai mã.

**BlockBeats: Bạn có thể chia sẻ thêm về cơ chế khuyến khích của giao thức không? **

Misha: Tất nhiên, chúng tôi muốn sử dụng nhiều mã thông báo khác nhau để thanh toán bằng chứng, vì vậy chúng tôi không thể buộc mọi người sử dụng một mã thông báo cụ thể, điều đó có nghĩa là chúng tôi phải trung lập với mã thông báo nhất có thể, vì chúng tôi trung lập với bất kỳ sản phẩm và ứng dụng nào. Ví dụ, nó có thể tương tự như cách Arbitrum hoạt động với Ethereum, bạn có thể có Ethereum và Arbitrum, tại sao không?

Bước đầu tiên theo hướng này chắc chắn là Thị trường phê duyệt điểm cuối EVM mà chúng tôi đã triển khai vào ngày hôm trước. Đây là giải pháp thanh toán cho phép tất cả các tài sản do Ethereum triển khai được sử dụng trong Proof Market như một động lực cho người phê duyệt hoặc cho các ứng dụng sẵn sàng thanh toán mã thông báo của riêng họ trong Proof Market và đây là bước đầu tiên theo hướng này. bước chân.

Bằng chứng thị trường hay thay đổi

Vì đã là thị trường thì phải có sự biến động và phức tạp mà con người không thể dự đoán và kiểm soát được. Liệu mọi người sẽ suy đoán như thế nào về bằng chứng ZK là dữ liệu quan trọng mà nhóm cần theo dõi và ghi lại. Sau vài tháng thử nghiệm thực tế, hiện tượng thú vị nào đã xuất hiện trên thị trường Proof? Nhóm có kế hoạch gì cho tương lai?

**BlockBeats: Việc giới thiệu cơ chế thị trường có kéo dài quá trình tạo bằng chứng không? **

Misha: Phiên đấu giá hoặc tìm người trả giá tốt nhất cho công việc sẽ mất một khoảng thời gian, có thể không phải vài giây đối với chúng tôi mà là một vài phút. Thông thường, quá trình này mất vài giây, trong hầu hết các trường hợp ít hơn một giây. Đối với tôi, có vẻ như cung và cầu khá dồi dào, vì vậy điều này gây ra một số độ trễ dưới giây.

Ngay cả với độ trễ dưới giây, trong trường hợp xấu nhất mà tôi từng thấy, ứng dụng không thể tìm thấy nhà cung cấp trong ba hoặc bốn giây. Nhưng ngay cả khi đó, độ trễ này không thể so sánh với thời gian tạo bằng chứng nói chung. Vì vậy, tôi không nghĩ đó là một mối quan tâm so với những lợi thế tạo ra đám đông mà động lực thị trường mang lại.

**BlockBeats: Nếu ai đó muốn suy đoán bằng các bằng chứng được tạo ra, đó là điều tốt hay điều xấu? Nhóm sẽ can thiệp theo một cách nào đó? **

Misha: Có rất nhiều điều kỳ lạ xảy ra trên trang web của chúng tôi, điều vừa được đề cập không phải là điều kỳ lạ nhất, thậm chí còn có những điều kỳ lạ hơn xảy ra trên thị trường Proof, nhưng trước tiên hãy nói về điều đó. . Chúng tôi không có bất kỳ quyền kiểm soát nào đối với điều này bởi vì chúng tôi không thể. Sau khi chúng tôi đưa dự án này ra công chúng, sau khi chúng tôi cung cấp giao thức này cho mọi người, hãy để mọi người chạy nó mỗi tuần một lần, có thể dưới dạng tổng hợp hoặc nếu không, chúng tôi sẽ không thể kiểm soát tất cả điều này nữa.

Bây giờ chúng tôi đang cố gắng không can thiệp, không cố gắng làm điều gì đó, bởi vì đến một lúc nào đó chúng tôi sẽ không thể làm điều đó nữa, vậy thì ích lợi gì? Vì vậy, hãy suy đoán. Người ta có thể xây dựng một ứng dụng giống như mạch, giống như một ứng dụng có thể chứng minh được, về cơ bản là vậy, vì vậy thậm chí có thể suy đoán. Không có tác dụng nào ngoài việc đầu cơ trên thị trường Proof.

Một trong những trường hợp sử dụng kỳ lạ nhất mà tôi từng thấy là ai đó đang cố gắng giao dịch hợp đồng tương lai để lấy sức mạnh tính toán và sau đó sử dụng những hợp đồng tương lai đó để thảo luận mang tính đầu cơ. Nó giống như hợp đồng tương lai tỷ lệ băm của bitcoin, nhưng đối với bằng chứng zk cũng vậy. Bạn đã bao giờ thắc mắc về MEV chưa? Điều gì sẽ xảy ra nếu tôi nói với bạn rằng thực sự có Giá trị trích xuất chứng minh (PEV)?

Nó không hoạt động như ứng dụng mang lại một số dữ liệu và sau đó một cái gì đó cần một bằng chứng và những người chứng minh làm điều đó. Họ mang dữ liệu vào, bắt đầu tạo bằng chứng và mọi thứ hoạt động như mong đợi. Nhưng đồng thời, nếu một người chứng minh đang cố gắng kiếm thêm lợi nhuận từ dữ liệu này hoặc thứ gì đó tương tự. Họ sẽ sử dụng dữ liệu này ở nơi khác, chẳng hạn như trên Ethereum hoặc các giao thức khác hoặc thậm chí một số Bản tổng hợp.

Họ làm điều này để trích xuất càng nhiều giá trị càng tốt từ dữ liệu này, thay vì sử dụng nó để tạo bằng chứng. Có nhiều loại bằng chứng giá trị có thể trích xuất khác, chẳng hạn như mọi người cố gắng dự đoán khi nào một bằng chứng sẽ được tạo, sau đó đưa các giao dịch để mua hoặc bán bằng chứng vào giao thức Proof Market, bằng cách đảo ngược kỹ thuật API và cố gắng đưa các giao dịch vào Nó. Bằng cách này, người chứng minh có thể bán hoặc người mua có thể đoán giá để trích xuất giá trị từ nó, giống như những người khai thác Lightning hoặc những người xây dựng và đề xuất đầu cơ trong các giao dịch trong Ethereum.

Một số người đã bắt đầu thử nghiệm cách ngăn chặn những người chứng minh khai thác dữ liệu họ thu được khi tạo ra các bằng chứng. Để làm được điều này, cách duy nhất là tạo bằng chứng về dữ liệu FHE (mã hóa đồng cấu). Họ cố gắng tạo ra thứ gì đó như zkFHE, để ẩn dữ liệu cần thiết cho việc tạo bằng chứng, nhưng FHE rất tốn kém về mặt tính toán, vì vậy điều này làm tăng chi phí của bằng chứng.

Giống như gửi nó lên bầu trời, làm tăng gấp đôi, gấp ba hoặc thậm chí gấp mười lần chi phí chứng minh. Nhưng họ sẽ nói, không ai sử dụng dữ liệu của tôi, không ai trích xuất bất cứ thứ gì từ dữ liệu của tôi. Vì vậy, zkFHE sẽ được sinh ra từ thị trường Proof, đây là một mức độ phức tạp độc lập, giống như mức độ phức tạp cao.

**BlockBeats: Hiện tại thị trường Proof tương thích với ZKLLVM và Mina, tôi muốn biết cách thị trường Proof sẽ tạo ra các bằng chứng cho các mạch khác nhau trong tương lai? **

Misha: Nói một cách đơn giản, quy trình diễn ra như sau: một ứng dụng mang một tuyên bố cần được chứng minh và tuyên bố này được biên dịch thành mã byte hoặc một máy ảo để cung cấp năng lượng cho Thị trường chứng minh. Máy ảo này là EVM. Và sau đó họ đến đây với yêu cầu này, nói rằng tôi cần chứng minh yêu cầu này. Proof Market không được phép và sau đó một cặp mạch mới được triển khai, đó là cách một cặp mạch mới được tạo và mỗi mạch mới là một cặp giao dịch mới.

Khi người châm ngôn nhận thấy nhu cầu về một yêu cầu mới cụ thể, thì yêu cầu mới đó có thể là nhu cầu đột ngột, liên tục, nhu cầu lớn xảy ra một lần hoặc nhu cầu chỉ xảy ra một lần nhưng vẫn thú vị. Người châm ngôn có thể nói, ok, tôi muốn thêm mạch này vào danh sách các mạch mà tôi quan tâm và tôi muốn tạo ra một bằng chứng cho mạch này. Proof Market sau đó thực hiện các thay đổi phù hợp, tạo và gửi bằng chứng. Chúng tôi đang nỗ lực làm cho quá trình này trở nên đơn giản nhất có thể.

**BlockBeats: Nó được triển khai như thế nào đối với các hệ thống bằng chứng khác nhau? **

Misha: Đây là một câu chuyện thú vị hơn. Về cơ bản, chỉ có một yêu cầu đối với các hệ thống bằng chứng khác nhau để kết nối với thị trường Proof, đó là biên dịch trình xác minh của hệ thống bằng chứng này thành mã byte EVM. Vì EVM cung cấp năng lượng cho thị trường Proof, nên các trình xác thực được biên dịch vào EVM. Nó có thể được viết bằng Solidity, có thể là Rust hoặc C++.

Nếu nó được viết bằng Solidity, chỉ cần triển khai nó; và nếu nó được viết bằng Rust hoặc C++, chúng tôi sẽ tận dụng zkLLVM để cung cấp một chuỗi công cụ biên dịch các trình xác minh từ Rust và C++, để zkLLVM có thể được sử dụng làm ngôn ngữ chính chuyển đổi ngôn ngữ A sang ngôn ngữ chính. Trình biên dịch EVM có thể tạo trình xác thực từ Rust, C++ hoặc các ngôn ngữ khác và triển khai chúng vào thị trường Proof. Sau khi được triển khai, thị trường Bằng chứng hỗ trợ xác minh hệ thống bằng chứng mới. Ở mức độ đó, nó không được phép.

**BlockBeats: Tôi nhớ bạn đã từng nói trong một cuộc thảo luận bàn tròn về quy trình phân cấp của Rollup, =nil; Con đường của Foundation trái ngược với hầu hết các Rollup, đó là xây dựng một mạng tạo bằng chứng trước, sau đó phân cấp thay đổi bộ sắp xếp. Vậy bây giờ, thị trường Proof của =nil; Foundation có cơ hội trở thành một giải pháp phi tập trung cho các dự án Rollup này không? **

Misha: Tôi nhớ đó là ở Denver, khi chúng tôi đang thảo luận về chiến lược thị trường từ các hướng khác nhau, rất nhiều người đã phát triển rất nhiều ứng dụng yêu cầu bằng chứng không có kiến thức, hệ thống bằng chứng và rất nhiều bằng chứng nội bộ, và sau đó họ gặp phải những vấn đề như sau : Chúng tôi đã phát triển sản phẩm, nhưng nó không hoàn hảo, vì nó không được phân cấp, bằng chứng không được phân cấp, nhưng chúng tôi không có đủ sức mạnh bằng chứng, vì vậy chúng tôi bị mắc kẹt.

Mọi người đã xây dựng sản phẩm, nhưng họ cảm thấy như bị mắc kẹt. Về phía chúng tôi, chúng tôi đã xây dựng một kho công nghệ để giải quyết những vấn đề này, chúng tôi có thể cải thiện dịch vụ thị trường, tích hợp nó vào chuỗi giá trị, đạt được sự phân cấp và phân cấp bằng chứng cũng như cung cấp hỗ trợ cho việc triển khai. Cách thức hoạt động của nó là những người xác minh cho những lần tổng hợp đó cần lấy chứng thực từ đâu đó và chính họ phải là người chứng thực.

Trong một số trường hợp, người xác minh có thể không sẵn lòng, không có khả năng hoặc không thể định cấu hình phần cứng, GPU, ASIC, v.v. Khi bạn chỉ có vốn mà không có cơ sở hạ tầng, bạn cần lấy bằng chứng từ đâu đó. Thật tuyệt vời, nó cung cấp bằng chứng cho những người có vốn nhưng không có cơ sở hạ tầng hoặc không muốn sở hữu cơ sở hạ tầng.

Điểm thứ hai là lý do tại sao tôi đề cập rằng chúng tôi bắt đầu theo những hướng khác nhau, chúng tôi bắt đầu cải thiện chúng từ góc độ ra quyết định. Những người như các nhóm bên thứ 3 đang cố gắng thêm một bộ phân loại phi tập trung lên trên chúng tôi, có thể ai đó sẽ đặt một cuộn lên trên toàn bộ hệ thống, khi đó ngăn xếp công nghệ sẽ hoàn tất và toàn bộ hệ thống sẽ được triển khai Hoàn chỉnh.

**BlockBeats: Cuối cùng, Misha có thể tiết lộ =nil; những điều quan trọng nhất trong lộ trình của Foundation trong năm nay là gì không? **

Misha: Chúng tôi có hai hướng đi chính. Hướng thứ nhất là các ứng dụng có thể kiểm chứng được, chúng ta phải công khai các trường hợp sử dụng này để nhiều người biết hơn. Một số trong số này đã được biết đến, một số không được biết đến nhiều và một số thậm chí còn chưa được bật, ví dụ: trường hợp sử dụng zkLLVM của chúng tôi yêu cầu một giao diện người dùng được xây dựng riêng cho các ứng dụng zkLLVM. Điều này sẽ làm cho Drupal và zkLLVM trở nên hữu ích cho các trường hợp sử dụng zkLLVM và tất cả những thứ đó.

Một ví dụ khác là chúng tôi muốn giúp những người phát triển trên chúng tôi hoàn thành dự án của họ, đây sẽ là một số điều thú vị về trò chơi zk. Bạn đã bao giờ nghĩ đến việc chơi trò chơi bắn súng góc nhìn thứ ba 3D trên Ethereum chưa, điều đó vẫn chưa thể thực hiện được, nhưng nó sẽ trở nên khả thi và đây là cách kích hoạt các trường hợp sử dụng mới cho thị trường Proof và zkLLVM. Đôi khi nó kỳ quặc, đôi khi nó hài hước và đôi khi nó thực sự hữu ích.

Hướng lớn thứ hai, chúng tôi phải làm cho giao thức này được phân cấp và có thể truy cập được cho bất kỳ ai, điều này sẽ cho phép chúng tôi triển khai trường hợp sử dụng trình sắp xếp thứ tự phi tập trung, làm cho giao thức có thể truy cập được cho mọi người, thử thử nghiệm, xây dựng trên nền tảng của nó và xây dựng thứ gì đó trên đó. Chúng tôi sẽ xem mọi thứ diễn ra như thế nào, nhưng chúng tôi hy vọng nó sẽ ổn. Do giao thức chúng tôi xây dựng cho thị trường Proof, không có giao thức nào giống như vậy trên thị trường hiện nay.

Có lẽ ngoài việc giải quyết các vấn đề thực tế, nó cũng sẽ rất thú vị vì các nhà phát triển bên thứ ba có thể sử dụng nó, vì họ có thể thử một số tính năng không thể triển khai ở nơi khác. Vì vậy, đây là hai hướng chung của chúng tôi: đảm bảo an ninh và thực hiện phân quyền.