Lớp 2 trong mắt StarkWare
Tuyển chọn TechFlowTuyển chọn TechFlow
Lớp 2 trong mắt StarkWare
Gọi tên Web3 tại trung tâm thế giới: Lớp 2 theo góc nhìn của StarkWare
Chuyên sâu báo cáo Web3Sự kiện "Gọi Web3 từ trung tâm thế giới" do Jinse Finance tổ chức đã diễn ra buổi giao lưu AMA với chủ đề "Lớp 2 trong mắt StarkWare", khách mời là Eli Ben-Sasson.
Người dẫn chương trình: Giáo sư Eli, xin chào ông. Chúng tôi biết trước đây ông là giáo sư tại Viện Công nghệ Israel, từng làm nghiên cứu khoa học tại các viện nghiên cứu danh tiếng như Viện Nghiên cứu Cao cấp Princeton, Harvard, MIT... Điều gì đã thúc đẩy ông rời khỏi giới học thuật để khởi nghiệp trong ngành tiền mã hóa?
Eli: Tóm lại, thông qua nghiên cứu của mình, tôi đã phát hiện ra một bộ công cụ mà tôi nhận ra có thể tạo ra tác động lớn và thực sự giúp ích cho nhân loại. Tôi thấy rằng không ai thực sự đang thúc đẩy công nghệ này, càng không ai thúc đẩy việc ứng dụng nó vào thực tế — vì vậy tôi muốn thử nỗ lực một lần. Một lý do khác là tôi tin chắc rằng những công cụ này là hữu ích, và giờ đây tôi thấy chúng đang được sử dụng trong thực tiễn. Vì vậy, nếu bạn có một phát minh mà bạn tin tưởng, bạn thực sự mong muốn nó được ứng dụng và sử dụng, mang lại điều tốt đẹp cho thế giới. Chúng ta có thể thúc đẩy phát minh đó trong khuôn khổ nghiên cứu học thuật, nhưng đôi khi bạn phải nỗ lực hơn nữa, xây dựng một đội ngũ lớn hơn, huy động thêm nhiều vốn — những điều mà giới học thuật khó làm tốt.
Vào năm 2018, công nghệ đã tương đối trưởng thành. Nhờ vào việc trước đó tôi đã tham gia zCash — không chỉ riêng tôi, mà còn có đồng sáng lập viên khác của tôi, Giáo sư Alessandro Juels. Khi chúng tôi tiếp xúc với các nhà chơi lớn trong thế giới blockchain, họ thể hiện sự nhiệt tình rất lớn. Vì vậy vòng hạt giống của chúng tôi thực sự tiến triển rất nhanh, nhà đầu tư hạt giống quan trọng nhất ban đầu của chúng tôi là Vitalik Buterin, cùng rất nhiều nhà đầu tư khác cũng mạnh mẽ ủng hộ dự án của chúng tôi. Vì vậy, chúng tôi thấy rằng có thể huy động vốn và xây dựng một đội ngũ. Nhiều người mà Starkware tuyển dụng từ sớm cũng rất đam mê blockchain và nghiên cứu về baltist, vì vậy, chúng tôi nhìn thấy cơ hội huy động vốn và xây dựng một đội ngũ cực kỳ mạnh mẽ, những người cũng rất nhiệt huyết biến Starkware thành hiện thực, và theo cách tốt nhất hỗ trợ mở rộng quy mô và phát triển quyền riêng tư cho blockchain. Đó là lý do vì sao chúng tôi xây dựng nó.
Người dẫn chương trình: Xin ông vui lòng giới thiệu ngắn gọn về StarkWare và các sản phẩm của StarkWare như StarkEx, StarkNET, Cairo?
Eli: Để tôi giới thiệu về StarkEx, StarkNET và Cairo. Trước tiên, hãy lùi lại một bước, cốt lõi công nghệ của chúng tôi là gì? Bởi vì tất cả các dự án bạn vừa nhắc đến — StarkEx, StarkNET, Cairo — đều được xây dựng dựa trên công nghệ STARK. Vậy hệ thống STARK là gì? Đó là một công nghệ đảm bảo tính toàn vẹn thông qua toán học. Điều đó có nghĩa là ngay cả khi không ai giám sát, thì mọi thứ vẫn được thực hiện đúng. Chúng ta thực sự khao khát hiểu rõ các phép tính liên quan đến tiền bạc của chúng ta, dữ liệu y tế của chúng ta, ví dụ như hồ sơ pháp y hay dữ liệu cá nhân.
Chúng ta mong muốn rằng khi những dữ liệu thuộc về chúng ta này được xử lý, chúng được xử lý một cách toàn vẹn, tức là ai đó đang làm đúng sự thật, ngay cả khi tôi không nhìn thấy, ngay cả khi người khác có thể muốn ăn cắp tiền của tôi hoặc dùng nó để làm điều xấu. Vì vậy, chúng ta thực sự cần sự trung thực. Trong thế giới truyền thống mà tất cả chúng ta đều quen thuộc — ngân hàng và chính phủ — về cơ bản chúng ta cần tin tưởng vào một số tổ chức trung ương hoạt động theo cách thức tập trung. Tôi phải tin rằng chính phủ sẽ xử lý trung thực dữ liệu y tế của tôi. Tôi phải tin rằng ngân hàng sẽ xử lý trung thực dữ liệu tài chính của tôi — không có lựa chọn nào khác. Nhưng hiện nay, cách thức hoạt động của blockchain hoàn toàn khác biệt. Chúng cung cấp tính toàn vẹn thông qua minh bạch, tính bao hàm và kỹ thuật số. Blockchain nói rằng: “Này, hãy mời tất cả mọi người tham gia, kết nối máy tính xách tay của họ vào Internet.” Sau đó ghi lại toàn bộ quá trình phát triển của hệ thống, về cơ bản kiểm tra xem mọi giao dịch có bình thường hay không.
Do đó, blockchain cung cấp tính toàn vẹn bằng cách dựa vào kỹ thuật số, tính bao hàm và minh bạch. Tuy nhiên, chính vì điều này mà khả năng mở rộng của chúng bị giới hạn rất lớn, bởi vì chiếc laptop hiệu suất yếu của tôi bây giờ lại phải kiểm tra mọi giao dịch trên toàn thế giới. Bạn biết đấy, nếu bạn nghĩ đến Alipay hay WeChat Pay, điều đó thật phi thường — laptop của tôi có thể kiểm tra tất cả những giao dịch này. Vì vậy, blockchain thực sự gặp vấn đề về quy mô. Vậy chúng ta bắt đầu từ đâu? Chúng tôi đã phát minh ra một bộ công cụ toán học để cung cấp tính toàn vẹn, nghĩa là chúng tôi có thể kiểm tra một chứng minh, một chứng minh rõ ràng, rằng một phép tính khổng lồ là chính xác, và chúng tôi biết nó đúng không phải vì chúng tôi tin tưởng bên kia, mà vì chúng tôi tin tưởng vào toán học — thứ đã được chứng minh có thể cung cấp tính toàn vẹn này.
Bây giờ chúng tôi đã có công nghệ này, cho phép blockchain thay vì chạy tất cả các phép tính và làm mọi công việc nặng nhọc, chúng có thể đóng vai trò là bộ xác minh, kiểm tra nghiêm ngặt, kiểm tra chứng minh. Nếu chứng minh vượt qua, blockchain sẽ biết rằng các giao dịch, tất cả các giao dịch, đã được xử lý một cách toàn vẹn. Đây là công nghệ cốt lõi, gọi là STARK. Nó cho phép bạn đạt được tính toàn vẹn theo cấp số mũ, không phải bằng cách tin tưởng bên kia, mà bằng cách tin tưởng vào toán học.
Tiếp theo, để tôi giải thích ý nghĩa của StarkEx, StarkNET và Cairo.
● StarkEx là một hệ thống, mã nguồn do StarkWare viết, vận hành riêng cho từng khách hàng. Ví dụ, dYdX có một hệ thống starkex, Immutable X xử lý NFTs, và một hệ thống Stark khác được viết riêng cho dYdX để giao dịch YDX. Mỗi hệ thống là khác nhau. Chúng phân chia X thành dạng hiếm, X bất biến đa dạng hóa, và một số chức năng khác cũng sẽ sớm ra mắt. Trong quá trình sử dụng công nghệ này, về cơ bản chúng tôi đang xử lý lượng lớn giao dịch, ví dụ như thanh toán, sau đó gửi lên blockchain một chứng minh STARK rất ngắn để chứng minh tính hợp lệ của các giao dịch này, rồi bạn sẽ nhận được toàn bộ tính toàn vẹn và an ninh của blockchain, ngoại trừ giả định tin cậy vào blockchain. Đó là StarkEx.
● StarkNet giống như Ethereum. Nó là một nền tảng mở, bất kỳ ai cũng có thể sử dụng để viết và triển khai hợp đồng thông minh nhằm phát triển. Nó dành cho các nhà phát triển, vì vậy các nhà phát triển có thể bắt đầu triển khai và gửi UMether để khởi động mạng và bắt đầu chạy ứng dụng trên đó. Theo thời gian, chúng tôi cung cấp ngày càng nhiều công cụ để các nhà phát triển dễ dàng phát triển và triển khai trên starkNet hơn, chúng tôi đang cải thiện hiệu suất và thông lượng. Mục tiêu của chúng tôi là mang lại trải nghiệm tốt nhất cho các nhà phát triển. Tuy nhiên hiện tại chúng tôi đang chuẩn bị cho môi trường sản xuất, nghĩa là phải tăng tốc độ và tăng sản lượng. Mục tiêu tiếp theo của chúng tôi là đạt được eTPS, tức là ít nhất gấp mười lần thông lượng của Ethereum, và chi phí thấp hơn ít nhất mười lần so với Ethereum. Đây là mục tiêu tiếp theo mà chúng tôi đang nỗ lực hướng tới. Ngoài ra, chúng tôi cũng bắt đầu tập trung vào phi tập trung hóa.
Cuối cùng, vậy Cairo là gì? Cũng giống như ở phiên điều trần, bạn dùng một ngôn ngữ đặc thù để viết hợp đồng thông minh của mình — ngôn ngữ đáng tin cậy nhất.
Người dẫn chương trình: Hiện nay có nhiều công nghệ mở rộng L2 như Optimistic Rollup, ZK Rollup, Plasma, Sidechain… nhưng ngành công nghiệp thường đánh giá cao ZK Rollup hơn. Quan điểm của ông như thế nào? Công nghệ ZK Rollup của StarkWare có điểm gì nổi bật so với các ZK Rollup khác?
Eli: Người ta thường nhắc đến Optimistic và Arbitrum. Còn trong nhóm rollup hiệu lực (validity rollup), đôi khi gọi là ZK Rollup, chúng ta có StarkNET và Cairo. Về rollup của chúng tôi, thực tế đây là rollup duy nhất hiện nay đã lên mainnet và sử dụng công nghệ bảo mật đúng như cam kết. Để tôi giải thích: Optimistic không có bằng chứng gian lận. Bằng chứng gian lận là cơ chế bảo mật cốt lõi đảm bảo an toàn cho nó, nhưng nó chưa được mở trên Arbitrum, tất cả chúng ta đều không thể khiếu nại bằng chứng gian lận, chỉ một nhóm nhỏ mới có thể sử dụng. Họ đã đưa ra một testnet. Nó không có bằng chứng ZK. Hiện nay, L2 duy nhất là do công nghệ vốn nên có tính an toàn cung cấp an toàn trước. Đây là điều chúng tôi thực sự tự hào, cũng là điểm nổi bật giúp chúng tôi vượt lên trong cạnh tranh. Về mặt này, nhân tiện nói luôn, hiện nay chúng tôi đang trải qua sự biến động lớn trên thị trường, và chúng tôi nhận thấy tầm quan trọng của việc vận hành đúng tất cả các cơ chế bảo mật và tất cả các công nghệ. Chúng tôi không chỉ kích hoạt công nghệ cốt lõi, mà còn sở hữu công nghệ minh chứng rõ ràng nhất cho tương lai.
Người dẫn chương trình: Trong số rất nhiều sản phẩm L2 hiện nay, có khá nhiều dự án như dYdX, Immutable X, DeversiFi, Sorare đều dựa trên StarkEx, tại sao họ lại chọn StarkEx?
Eli: Câu trả lời thực ra rất đơn giản, nó liên quan đến câu hỏi trước của bạn: khi những đội ngũ rất nghiêm túc, rất thành công này tìm kiếm một công nghệ có thể làm nền tảng vững chắc, nơi họ có thể xây dựng thứ gì đó đủ sức chịu đựng gió mưa của thị trường, và có được mức độ an toàn mà người dùng cần. Dù trong quá khứ hay hiện tại, chỉ có một công nghệ duy nhất có thể đạt được mục tiêu này — đó là công nghệ của chúng tôi.
Người dẫn chương trình: Do có quá nhiều công nghệ và sản phẩm liên quan đến L2, điều này khiến lợi thế về khả năng kết hợp (composability) khó phát huy. Ông nghĩ thách thức lớn nhất về khả năng kết hợp trên L2 hiện nay là gì? Có những giải pháp khả thi nào?
Eli: Thách thức lớn nhất của chúng tôi là đạt đến mức độ công cụ mà các nhà phát triển có thể sử dụng. Nghĩa là các nhà phát triển quen với việc phát triển trên Ethereum. Nhưng chúng tôi đang tiến triển rất nhanh trong lĩnh vực này. Có một hệ sinh thái phát triển đáng kinh ngạc, với hàng chục đội ngũ đang nỗ lực cung cấp công cụ. Nếu bạn là một nhà phát triển và đang tìm kiếm một hệ sinh thái đang phát triển nhanh chóng, hãy nhất định xem xét StackNet.
Trên Ethereum có khả năng kết hợp, bạn chỉ cần có khả năng kết hợp ở lớp hai là có thể hưởng miễn phí. Giải pháp thứ hai là bạn có thể dùng lớp một để kết nối các đường ống lớp khác nhau. Giải pháp thứ ba là trong rollup hiệu lực, bạn thực sự có thể đạt được khả năng kết hợp rất nhanh, bởi vì bạn có thể chứng minh trong một hệ thống rằng những gì xảy ra trong hệ thống khác là toàn vẹn. Những thứ này sau đó cũng được người khác sử dụng, có một điều chỉ có thể xảy ra trên rollup hiệu lực, cũng là thứ chúng tôi phát minh ra — đó là khái niệm lớp vi mô (layer of breeze), nghĩa là bạn dùng nó như lớp thứ ba. Sau đó, khi họ muốn trò chuyện và giao tiếp, bạn có thể dùng lớp này để kết hợp họ, để họ nói chuyện với nhau, giống như bạn có thể cho hai người ở hai lớp nói chuyện với nhau thông qua một người ở lớp phía sau. Đây là một thứ mới khác do StarkWare phát minh, chúng tôi hy vọng và tin rằng điều này cũng sẽ trở thành tiêu chuẩn của StarkNet.
Người dẫn chương trình: Cảm ơn giáo sư Eli đã phát biểu, rất xuất sắc. Cảm ơn các phương tiện truyền thông đồng hành trong AMA lần này: Dao của DeFi, Foresight News, Lian Bushou, MarsBit News, Planet Daily, Panews, TechFlow và cộng đồng 0x499.
Bài viết có lược bỏ, nội dung đầy đủ vui lòng xem tại phát lại livestream Twitter Space.
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
