Mina nói chuyện với o1 Labs: Xu hướng tương lai có trong ETHDenver

Vào ngày 9 tháng 3, Mina đã nói chuyện với Steve và Phil Kelly về vườn ươm o1 Labs của cô, bắt đầu từ những gì cô thấy và nghe tại ETHDenver, mô tả các xu hướng tương lai có trong sự kiện này. Hai bên đã tiết lộ những tin tức mới nhất về các hoạt động hàng đầu của ngành từ các khía cạnh kết hợp giữa AI và ngành mã hóa, các trường hợp sử dụng khả năng xác minh của ZK, logic triển khai bằng chứng đệ quy, phân tích tính khả thi thay thế VM và phân tích xu hướng trong tương lai.

Phần sau đây được Odaily tổng hợp và biên soạn.

Mina: Hãy giới thiệu bản thân và nói về các hoạt động bên lề mà bạn yêu thích trong sự kiện ETHDenver này và bạn nghĩ ai là dự án thể hiện tốt nhất trong sự kiện này?

Steve：Xin chào, tôi là Steve, Chủ sở hữu sản phẩm tại o1 Labs. Tôi gia nhập ngành Web3 từ rất sớm và giỏi hơn trong lĩnh vực ZK. Trước khi gia nhập o1 Labs, tôi đã làm việc tại Cloudflare được 5 năm. Trải nghiệm của tôi với Cloudflare đã cho tôi một số hiểu biết sâu sắc về xây dựng sinh thái.

Hoạt động bên lề yêu thích của cá nhân tôi là của Mina. Các sự kiện ở Mina luôn có sự kết hợp của nhiều người, từ những nhà mật mã zk siêu chuyên nghiệp đến những người đam mê blockchain theo chủ nghĩa tự do/quyền riêng tư.

Ngoài Mina, cá nhân tôi nghiêng về chiến dịch của ZK Sync. Cuốn sách của họ, Giải thích ZK cho tôi bằng ngôn ngữ dành cho trẻ 5 tuổi, sử dụng cách kể chuyện để đưa ra lời giải thích sinh động và thú vị về công cụ giao thức. Đối với tôi, phong cách tặng quà này phù hợp với tôi. Rất vui mừng được chia sẻ nó với tất cả các bạn.

Phil：Xin chào, tôi là Phil Kelly, Phát triển Kinh doanh tại o1 Labs. Khả năng của tôi bao gồm từ dịch vụ tài chính đến công nghệ máy tính và tôi đã từng làm việc tại các công ty như ConsenSys và nghiên cứu về Ethereum. Chuyển từ Ethereum sang thế giới ZK là một chặng đường học tập rất dốc, điều này khiến tôi vừa hào hứng vừa mãn nguyện.

Vì lý do cá nhân, tôi thích tìm tòi, tìm hiểu sâu hơn về từng sự kiện nên mỗi sự kiện đều là một cơ hội học hỏi quý giá cho tôi trong quá trình giao lưu với mọi người, ngoại trừ Mina thì tôi bị Warm KX Mag thu hút. Được mời tham dự sự kiện của họ để tìm hiểu sâu về ZK và hệ thống chứng minh mới. Tôi rất vui mừng được chia sẻ nó với bạn ngày hôm nay.

Mina: Sự kết hợp giữa trí tuệ nhân tạo (AI) và tiền điện tử (Crypto) đang thực sự thu hút sự chú ý trong ngành công nghệ ngày nay. Chủ đề này đề cập đến hai lĩnh vực rất nóng: Kết hợp trí tuệ nhân tạo và tiền điện tử có thể tạo ra nhiều ứng dụng và giải pháp mới. Ví dụ: sử dụng công nghệ AI để tối ưu hóa chiến lược giao dịch tiền điện tử và tăng lợi nhuận đầu tư; hoặc sử dụng công nghệ blockchain để tăng cường tính bảo mật và minh bạch của các mô hình trí tuệ nhân tạo nhằm đảm bảo quyền riêng tư và bảo mật dữ liệu. Vậy theo bạn, lợi thế lớn nhất của việc kết hợp trí tuệ nhân tạo và tiền điện tử là gì? Chúng có thể mang lại những ứng dụng và giải pháp mới nào?

Steve：Kết hợp trí tuệ nhân tạo và tiền điện tử thực sự là một xu hướng công nghệ đã thu hút rất nhiều sự chú ý trong giới công nghệ. Sự kết hợp này cung cấp cho chúng tôi một cách suy nghĩ và thực hiện đổi mới công nghệ hoàn toàn mới, đồng thời thu hút sự chú ý của nhiều nhà đầu tư và những người đam mê.

Các đặc điểm của tiền điện tử cho phép mọi người sử dụng mã thông báo kỹ thuật số để đại diện cho nhiều tài sản hoặc thực thể khác nhau và thực hiện các giao dịch đầu cơ, điều này ở một mức độ nhất định làm tăng hoạt động thị trường và sự quan tâm của nhà đầu tư. Hơn nữa, một trong những đặc điểm của thị trường tiền điện tử là tính chất không biên giới của nó, có nghĩa là dù bạn ở quốc gia nào, miễn là bạn có kết nối Internet, bạn đều có thể tham gia, điều này càng mở rộng quy mô và sức hấp dẫn của thị trường.

Tất nhiên, ngoài việc đầu cơ và giao dịch, sự kết hợp giữa trí tuệ nhân tạo và tiền điện tử còn có nhiều giá trị ứng dụng thực tế. Ví dụ: sử dụng hợp đồng thông minh để thực hiện các chiến lược giao dịch tự động hoặc sử dụng công nghệ blockchain để đảm bảo tính bảo mật và minh bạch dữ liệu. Những ứng dụng này không chỉ có thể mang lại những thay đổi mang tính cách mạng trong lĩnh vực tài chính mà còn có tác động đáng kể đến các ngành khác.

Vì vậy, sự kết hợp giữa trí tuệ nhân tạo và tiền điện tử không chỉ là xu hướng công nghệ hot mà còn là một lĩnh vực đầy tiềm năng đáng được chúng ta thảo luận và nghiên cứu chuyên sâu.

Phil：Các cuộc thảo luận về trí tuệ nhân tạo và tiền điện tử thường mơ hồ vì đây là một chủ đề rất rộng, đề cập đến nhiều khía cạnh khác nhau. Ngay cả khi chúng ta có thể xác định được chủ đề, vẫn còn nhiều câu hỏi cần được trả lời, chẳng hạn như chúng ta có thể triển khai máy học mật mã (CKML) nhanh như thế nào để có thể giải quyết các thách thức do các mô hình ngôn ngữ tự nhiên quy mô lớn mới nổi đặt ra. Đây chắc chắn là một thách thức khả thi. Mặt khác, tôi nghĩ điều mà một số người đang nói đến có thể là ZK Machine Learning (ZKML).

Khi chúng ta đi sâu vào một số chi tiết về những gì họ đang nói đến, điều họ thực sự đang nói đến là đầu ra của việc chạy một mô hình học máy, mô hình này có thể khá phức tạp vào thời điểm này, nhưng nó có thể chỉ là một phương trình tuyến tính . Với công nghệ hiện tại, bạn có thể đạt được điều này trong hệ thống chứng minh không có kiến ​​thức. Tôi nghĩ có điều gì đó đáng quan tâm. Tôi muốn nhắc lại quan điểm của mình rằng quyền riêng tư luôn là trọng tâm trong các cuộc thảo luận của chúng tôi về ZK và điện toán có thể kiểm chứng.

Steve：Sau khi nghe Phil thảo luận, tôi muốn nói thêm rằng thái độ của tôi đối với ZK Machine Learning (ZKML) đã trở nên lạc quan hơn. Lúc đầu, tôi có cùng quan điểm với Phil, cho rằng việc sử dụng công nghệ ZK sẽ tốn thêm rất nhiều chi phí. Xét cho cùng, các mô hình đào tạo và suy luận không phải là những quy trình rẻ tiền. Vậy tại sao lại kết hợp cả hai? Bởi vì chúng có thể tăng hiệu suất của công nghệ ZK lên gấp 10 lần và giảm chi phí chung. Tôi nghĩ có vẻ như không thể tránh khỏi khi công nghệ ZK trở nên hiệu quả hơn, lượng tính toán mà chúng ta có thể thực hiện cũng sẽ tăng lên tương ứng.

Là một người làm sản phẩm, tôi thích sử dụng các ví dụ về sản phẩm để minh họa. Giải pháp: Nội dung cảnh quay thô thu được từ camera cần phải được ký. Vì vậy, chúng tôi cần các nhà sản xuất thiết bị làm điều đó, tất cả mọi người đều có mặt và tất cả họ đều có khóa ký. Khi làm mờ, làm sắc nét, cắt xén hoặc các thao tác khác được thực hiện trên đó, nội dung đã được ký này có thể được thực hiện bằng bằng chứng không có kiến ​​thức. Và có những trình duyệt có thể theo dõi một chuỗi, như Mina, để có thể nói, Đây là hình ảnh này. Nó có chứng chỉ chứng minh nó đến từ một camera thật, và chỉ những thao tác này được thực hiện, và chúng tôi biết đại khái nó trông như thế nào

Mina: Trong thế giới tiền điện tử, khi nói về ZK, đầu tiên hầu hết mọi người nghĩ đến khả năng mở rộng, sau đó có thể là quyền riêng tư, nhưng tôi nghĩ khả năng xác minh bị bỏ qua ở một mức độ nào đó, bạn nghĩ sao?

Steve：Tôi luôn nói về ZK với sự nhấn mạnh vào khả năng mở rộng và quyền riêng tư. Tôi cũng thường kiểm tra ý kiến ​​của người khác và thấy rằng mọi người thường mặc định về quyền riêng tư vì đó là điều dễ giải thích nhất. Nhưng khi bạn thực sự nhìn vào thị trường, khoản đầu tư vào khả năng mở rộng vượt xa quyền riêng tư, giống như tất cả zk Rollups và Mina. Nhưng bạn nói rõ rằng khả năng xác minh được khác với hai điều đó và mặc dù chúng có liên quan với nhau nhưng bạn chỉ mở rộng điều gì đó nếu bạn tạo và xác minh bằng chứng. Nhưng trường hợp sử dụng này để xác minh là chính. Giống như chúng ta vừa thảo luận, nếu tôi đang xem một hình ảnh, tôi không quan tâm nhiều hơn đến khả năng mở rộng hoặc khía cạnh quyền riêng tư mà là liệu nó có thể kiểm chứng được hay không và liệu tôi có thể tin tưởng vào khả năng xác minh đó hay không.

Mina: Trong thế giới blockchain, nhiều khi khả năng xác minh được đánh đồng với việc tiết lộ đầy đủ. Những gì chúng tôi cung cấp là khả năng xác minh có thể đạt được ngay cả khi không tiết lộ đầy đủ dữ liệu cơ bản, liên quan đến các vấn đề về quyền riêng tư. Tuy nhiên, tôi nghĩ khả năng xác minh là rất quan trọng khi chúng ta phải đối mặt với một mạng internet chứa đầy thông tin sai lệch và các nguồn khó hiểu, và bạn có thể coi ZK như một sự thật có thể lập trình được, đây là chủ đề mà chúng ta đã thảo luận và khám phá. Tôi cảm thấy như có rất nhiều sự phối hợp giữa ZK và AI, và trong khi mọi người đang nói về tiền điện tử và AI, tôi cảm thấy như nếu không có ZK tham gia, thì sự hội tụ của tiền điện tử và AI sẽ không thể hoàn toàn tránh khỏi tình trạng lạc hậu. Tiếp theo chúng ta hãy nói về chủ đề tiếp theo. Tôi thấy rất nhiều cuộc thảo luận xung quanh việc chứng minh tập hợp. Đầu tiên, một trong các bạn có thể cung cấp cho mọi người một cái nhìn tổng quan ở cấp độ cao được không? Đối với những người có thể không biết nhiều, tổng hợp bằng chứng là gì?

Steve：Khái niệm tổng hợp bằng chứng là bạn có thể có bằng chứng và bạn có thể xác minh nó, việc này cần một khoảng thời gian nhất định. Nếu bạn lặp lại quá trình này 1.000 lần thì tương đương với 1.000 lần khoảng thời gian không đổi này. Vì vậy chi phí thời gian sẽ tăng dần. Nếu có phí gas hoặc bất kỳ loại phí nào liên quan đến khoản phí đó thì bạn sẽ phải trả thêm 1.000 khoản phí. Điều xảy ra với việc tổng hợp bằng chứng là bạn có thể chuyển bằng chứng đầu tiên làm đầu vào cho bằng chứng thứ hai, bằng chứng thứ hai làm đầu vào cho bằng chứng thứ ba, v.v. và bạn có thể tổng hợp 1.000 bằng chứng này thành một bằng chứng duy nhất chỉ cần xác minh một lần. Nhờ vào sự kỳ diệu của mật mã, bạn vẫn nhận được sự đảm bảo về mật mã tương tự rằng nếu một bằng chứng vượt qua thì mỗi bằng chứng trong số 1.000 bằng chứng đó sẽ vượt qua một cách độc lập. Đây chỉ là một cách để tăng thêm quy mô và giảm chi phí hơn nữa. Như chúng ta sẽ thảo luận, đây là một trong những công nghệ cốt lõi thúc đẩy giao thức Mena.

Phil：Tôi nghĩ rằng có một số sự đánh đổi liên quan đến việc thực hiện nhiều bằng chứng hơn, vì bạn cần tiêu tốn nhiều sức mạnh tính toán hơn để tạo ra các bằng chứng và hợp nhất chúng với các bằng chứng bổ sung khác. Điều này làm tăng chi phí tính toán nhưng giảm chi phí xác minh; hoặc bạn chỉ cần gửi thêm bằng chứng đến môi trường xác minh và trả thêm phí xác minh. Trên thực tế, đây là một ví dụ tuyệt vời về tính linh hoạt mà ZK có. Đột nhiên có một cuộc thảo luận về sự tổng hợp trên thị trường, điều đó có nghĩa là nhiều người bắt đầu xem xét tính thực tế của ZK. Việc tổng hợp luôn chỉ là một ý tưởng, nhưng giờ đây mọi người đang tích cực xây dựng nó, gửi nó đi, suy nghĩ về công việc và chi phí để xác thực nó và tôi nghĩ đó thực sự là một dấu hiệu tốt.

Mina: Tại sự kiện ETHDenver, mọi người đang thảo luận về cách thay thế VM. Đầu tiên, Steve muốn giới thiệu với mọi người khái niệm cơ bản về VM, sau đó giải thích những ưu điểm và trở ngại của việc thay thế VM là gì?

Steve：Nói về VM, hãy bắt đầu với trường hợp sử dụng CPU. Khi thời gian trôi qua, mọi người dần dần phát hiện ra rằng không chỉ có nhiều chip và nhiều CPU hơn mà bạn còn thực sự có thể chạy CPU ảo trên CPU. CPU ảo có thể nói là lần đầu tiên VM. Trong máy ảo, bạn có thể sử dụng lại các tập lệnh hiện có, bạn có thể xác định các lệnh và sau đó thực thi chúng trên bất kỳ phần cứng nào. Trong ngành của chúng tôi, phiên bản nổi tiếng nhất là EVM, phiên bản này sau này trở thành cốt lõi của Ethereum và đạt được thành công lớn.

Các cách thay thế máy ảo là chủ đề nóng tại sự kiện và tôi đã phát biểu trên một trong các diễn đàn. Chúng ta có nên tiếp tục đầu tư vào các máy ảo cũ hơn và cải tiến máy ảo không? Giống như làm cho nó nhanh hơn, đặc biệt nếu nó tương thích. Cách tốt hơn để đạt được sự đồng thuận hơn là thực hiện lại các hướng dẫn tương tự trong VM đã rõ ràng. Một cách tiếp cận tốt hơn là đưa ra bằng chứng cho thấy việc tính toán tương tự đã xảy ra. Tất cả những gì người xác minh cần làm là xác minh bằng chứng đó. Điều này trùng hợp với ZK Rollup.

Phil：Đối với tôi, những cuộc thảo luận trong ngành này hơi giống những gì bạn thấy trong giai đoạn đầu của công nghệ, khi mọi người chưa hoàn toàn nhận ra ngành này sẽ hứa hẹn như thế nào và có bao nhiêu lĩnh vực chuyên môn sẽ xuất hiện.

Tôi nghĩ rằng, ngoại trừ Ethereum, tất cả các lựa chọn thay thế đều có vai trò rất lớn, có thể thực hiện các tác vụ cụ thể và đóng vai trò quan trọng trong kiến ​​​​trúc của Web3. Tôi tin rằng một trong những nhiệm vụ này được thực hiện tốt nhất bên ngoài máy ảo của Ethereum và có thể cùng tồn tại với các máy ảo chuyên dụng khác.

Mina: Tại sự kiện ETHDenver, mọi người đều đề cập đến chủ đề quan trọng của EIP 4844. Steve, bạn có thể mô tả ngắn gọn đây là gì và tại sao nó lại quan trọng không?

Steve：Hãy để tôi giải thích với dữ liệu cụ thể. Về mặt lý thuyết, hệ sinh thái Ethereum sẽ trở nên phổ biến hơn sau khi EIP 4844 được ra mắt, nhưng phí chuyển khoản hoặc thực hiện hợp đồng thông minh sẽ bắt đầu trở thành đô la Mỹ. Vào năm 2022, khoản phí này đã tăng lên 50 USD, thậm chí hơn 100 USD, lấy hợp đồng triển khai làm ví dụ, điều này rõ ràng là không bền vững.

Hệ sinh thái phản ứng bằng các giải pháp cấp hai và cấp hai, phát triển, thu hút nhiều hoạt động và rẻ hơn. Lệ phí dao động từ 15 xu đến khoảng 1 đô la. Phí hoán đổi mã thông báo cơ bản dao động từ 50 xu đến mức tôi thậm chí có thể thấy là 3 đô la.

Mặc dù kế hoạch mở rộng cũng bị ảnh hưởng bởi hoạt động này. Ethereum đang thực hiện các thay đổi và họ đặc biệt nhận ra rằng các giao dịch đến từ lớp hai, nơi chỉ có một loạt dữ liệu đại diện cho giao dịch, sẽ được xử lý khác nhau và tiêu thụ ít gas hơn. Vì vậy, phí giao dịch Ethereum mà tôi vừa trích dẫn từ mức tối thiểu là 0,14 USD đến tối đa là 1 USD sẽ giảm đáng kể. Vì vậy tôi không biết con số chính xác nhưng ở tầng thứ hai, mọi thứ trở nên rẻ hơn. Điều này là tốt cho thị trường. Nhưng tôi cũng muốn chỉ ra rằng có một chút tương tự như đường cao tốc Khi đường cao tốc trở nên tắc nghẽn và bạn thêm một vài làn đường nữa, điều gì sẽ xảy ra? Sẽ có ít lưu lượng truy cập hơn? Tất nhiên là không, sẽ có nhiều phương tiện lưu thông trên đường hơn và vấn đề vẫn như cũ.

Đây là điều xảy ra khi mô hình là một mạng lưới đồng thuận gồm các nút đạt được sự đồng thuận. Ethereum có khoảng 1,5 triệu nút, tất cả đều thực hiện lại các giao dịch giống nhau để đạt được sự đồng thuận. Điều này sẽ cải thiện mọi thứ theo thời gian. Họ đang làm những việc khác để cải thiện hơn nữa. Nhưng cuối cùng, cách để đạt được khả năng mở rộng thực sự là sử dụng bằng chứng không có kiến ​​thức. Chúng tôi coi đây là bằng chứng không có kiến ​​thức phía khách hàng, trong đó bạn tạo bằng chứng ở phía khách hàng và chi phí xác minh thấp và không đổi trong thời gian. Họ làm những điều tốt cho người dùng và giảm chi phí.

Mina: Ngoài những sự kiện nóng hổi nêu trên của sự kiện này, bạn còn có khám phá mới nào có thể chia sẻ với mọi người trong sự kiện này không?

Phil：DePIN là một trong những xu hướng mà tôi coi là tương lai. Dành cho những ai chưa biết, DePIN đề cập đến cơ sở hạ tầng vật lý phi tập trung. Helium là ví dụ điển hình nhất về chu kỳ lớn vừa qua và tôi nghĩ đó là một trong những dự án thành công nhất trước khi thị trường tăng giá tấn công. Nhưng có nhiều dự án tương tự hơn đang được triển khai. Ví dụ: một số người có thể đã biết về Demo, cho phép bạn sử dụng các thiết bị trong ô tô để tương tác với chuỗi. Bạn sẽ thấy rằng nhiều dự án liên quan đến các thiết bị vật lý tùy chỉnh đang nổi lên và các mạng này Đang trong quá trình triển khai. Ngoài ra còn có WeatherXm, cho phép công dân thu thập dữ liệu thời tiết và thực hiện việc thu thập dữ liệu thời tiết phi tập trung. Ngoài ra còn có các lựa chọn thay thế có thể nâng cao chức năng của các nhà cung cấp dịch vụ viễn thông truyền thống.

Vì vậy DePIN chắc chắn là một lĩnh vực mới nổi. Và điều tôi thích ở nó là khi bạn xử lý nhiều dữ liệu ở rìa mạng, bạn muốn có thể thực hiện các phép tính trên dữ liệu và sau đó gửi lại thay vì truyền tất cả dữ liệu. Trên thực tế, tại một sự kiện DePIN, ai đó đã trình diễn một chiếc nhiệt kế ở rìa mạng. Rõ ràng, nó liên tục đo nhiệt độ, nhưng thay vì gửi kết quả mỗi lần, nó có thể được lập trình để theo dõi phạm vi nhiệt độ và sau đó gửi tin nhắn định kỳ như Nhiệt độ ở đây nằm trong khoảng từ 10° đến 20°.

Ở đây, bạn sẽ có được một biểu thức ngắn gọn tóm tắt một loạt điểm dữ liệu thay vì truyền một lượng dữ liệu khổng lồ. Ví dụ cụ thể này là một ví dụ rất hay vì khi hàng hóa quý giá được vận chuyển khắp thế giới, chẳng hạn, việc đo nhiệt độ thường là một yếu tố rất quan trọng. Hiện tại, có một số cách truyền thống hơn để đo lường dữ liệu này, chẳng hạn như sử dụng thiết bị ghi lại thời điểm thiết bị vượt quá phạm vi để đảm bảo thuốc được phân phối chính xác. Nhưng sẽ rất hữu ích nếu bạn có thể sử dụng cảm biến cho bạn biết ngắn gọn phạm vi nhiệt độ trong hoặc khi kết thúc chuyến đi.