Trong thời kỳ bùng nổ đặt cược lại vào đầu năm nay, cái tên Zircuit lần đầu tiên xuất hiện trong tầm nhìn của mọi người, ZK L2, được Dragonfly và Pantera xác nhận, đã trở thành điểm đến cuối cùng của nhiều mã thông báo LRT và sau đó. ra mắt, TVL Climb nhanh chóng. Tuy nhiên, ngoài lợi nhuận và điểm, ấn tượng của hầu hết mọi người về Zircuit vẫn là “L2 khác”.

Gần đây, sau cuộc trao đổi sâu sắc với Martin, người đồng sáng tạo Zircuit, tôi bắt đầu đặt nhiều kỳ vọng vào tương lai của L2 mới này. Trong bối cảnh L2 “liên kết với Ethereum”, Zircuit kiên quyết chọn chủ nghĩa thực dụng, không chỉ “chơi chiêu trò” trên trình sắp xếp chuỗi mà còn tìm ra lối thoát mới cho L2 đang gặp khó khăn.

"Tính hợp pháp" không còn phù hợp với L2

Mỗi người thực hiện mã hóa đều là một bản phân phối A siêu ủng hộ sổ sách kế toán truyền thống, theo đuổi sự công khai tuyệt đối và không thể giả mạo cho đến khi vụ trộm xảy ra với anh ta.

Nếu bạn từng gặp phải một cuộc tấn công của hacker và thấy tài sản giao thức bị đánh cắp, chắc hẳn bạn đã nghĩ: "Sẽ thật tuyệt nếu giao dịch có thể được khôi phục. " Tất nhiên, dù ở góc độ kỹ thuật hay tư tưởng thì đây đều là vấn đề “đúng đắn về mặt chính trị” không được phép xảy ra trong lĩnh vực mã hóa. Trong thế giới sổ cái phân tán, sự đồng thuận là Chúa. Một khi sự đồng thuận được hình thành, nó có quyền lực tuyệt đối. Công lý cá nhân phải bị hy sinh để đối mặt với sự công bằng của tập thể.

Điều thú vị là ngành này dường như tập trung quá nhiều vào quá trình xây dựng sự đồng thuận, đến nỗi hệ tư tưởng này đã mở rộng đến những ngóc ngách không quá “khó tính” .

Đối với hệ sinh thái Ethereum, Lớp 2 là một góc như vậy. Là một giải pháp nhằm cải thiện khả năng mở rộng của Ethereum, L2 đã được coi là một phần của cơ thể Ethereum trong tương lai ngay từ ngày đầu tiên và đã bị ràng buộc bởi các yêu cầu của "Liên kết Ethereum". Trong một thời gian dài, mọi người đã thảo luận về cách L2 có thể đạt được khả năng tương thích EVM, cách Rollup có thể chuyển đổi từ OP sang ZK, v.v. Ngay cả Vitalik, với tư cách là nhân vật cốt lõi của Ethereum, cũng đã thay đổi quan điểm và bài phát biểu của mình theo hệ tư tưởng “liên kết” này Nó đã trở thành một “sắc lệnh của hoàng gia”.

Nhưng sự tiến bộ của công nghệ Không dựa trên ý chí cá nhân, với sự xuất hiện của Celestia, câu chuyện mô-đun cung cấp những ý tưởng và hướng đi mới cho sự phát triển của ngăn xếp công nghệ mã hóa, đồng thời cũng có tác động nghiêm trọng đến "tính hợp pháp" của Ethereum. Các công nghệ và khái niệm mô-đun như RaaS, DA mô-đun, tổng hợp chủ quyền, v.v. trực tiếp thách thức sự tồn tại của L2 "phù hợp với Ethereum" như Arbitrum, zkSync và Scroll. Rollup nên đề cao hệ tư tưởng nào và nó sẽ trông như thế nào? Có vẻ như có nhiều quyền tự chủ hơn.

Nhưng quyền tự chủ không có nghĩa là tăng trưởng. Ngược lại, nếu bạn không thể cung cấp giá trị khác biệt, bạn đang cạnh tranh việc làm với Ethereum. Tính đến thời điểm hiện tại, hầu hết các L2 vẫn chưa phát triển được giá trị khác biệt của riêng mình. Cái gọi là giá trị khác biệt không phải là "Gas của tôi thấp hơn Ethereum", bởi vì điều tương tự có thể nói đối với tất cả L2 hoặc các L1 khác, đồng thời không phải là "Tôi là L2 tập trung vào meme/DeFi". bởi vì sự cạnh tranh hiện tại trong ngành mã hóa là theo chiều dọc. Nếu không có hào quang, "mùa meme" có thể xảy ra ở Base và Solana chẳng hạn.

Giá trị khác biệt thực sự ở đâu? Sau khi tìm hiểu và tương tác với nhóm Zircuit, tôi tin rằng giá trị này chủ yếu sẽ mang tính tư tưởng và được thể hiện cụ thể thông qua kho công nghệ của trình sắp xếp chuỗi.

Ví dụ, trong hệ tư tưởng của mạng chính Ethereum, việc "xem xét các giao dịch" không được phép xảy ra, vì nó đe dọa trực tiếp đến sự đồng thuận của toàn mạng, nhưng L2 có chủ quyền thì có thể, không chỉ vì khả năng thực thi kỹ thuật của nó mà còn vì nó không bị hạn chế bởi hệ tư tưởng của mạng chính. Miễn là bạn di chuyển tài sản của mình sang L2 này, điều đó có nghĩa là bạn nhận ra các quy tắc hoạt động cụ thể của nó. Trong trường hợp này, "đánh giá trên chuỗi" trở thành một sự kiện được đồng thuận cho phép và đối với các nhóm có nhu cầu đặc biệt này. Nói cách khác, L2 có giá trị khác biệt.

“Cảnh sát chuỗi” của Zircuit

Bạn muốn đóng băng sau khi bị hack Tài sản được chuyển nhượng? Ethereum có thể không làm được nhưng Zircuit có thể giúp bạn làm được điều đó. Bằng cách thêm mô hình oracle vào trình sắp xếp trình tự, trình sắp xếp trình tự của Zircuit có thể xác định hoặc dự đoán trước các giao dịch độc hại trong mạng, chẳng hạn như các cuộc tấn công của hacker và ngăn chặn các giao dịch này xảy ra kịp thời, từ đó đảm bảo an toàn cho tiền của người dùng. Nhóm Zircuit gọi nó là "SLS", viết tắt của Sequencer Level Security.

Điều này nghe có vẻ hơi bí ẩn nhưng ưu điểm lớn nhất của L2 nằm ở bộ phân loại từng bị chỉ trích vì tập trung hóa. Vì không cần phải cân nhắc về thiết kế cơ chế đồng thuận, L2 có thể thực hiện rất nhiều công việc trên trình tự sắp xếp, từ đó tự tạo cho mình thêm "siêu cường không chính trị".

Trước khi giải thích nguyên tắc xem xét giao dịch của máy phân loại Zircuit, trước tiên chúng ta hãy xem lại cách thức hoạt động chung của L2 hiện tại. Nói chung, khi các giao dịch xảy ra trên L2, chẳng hạn như chuyển giao tài sản giữa các tài khoản, triển khai và gọi hợp đồng, chúng sẽ được xử lý bởi nút Tổng hợp bao gồm trình sắp xếp thứ tự, công cụ thực thi và bộ xử lý hàng loạt.

Trình sắp xếp thứ tự hướng dẫn công cụ thực thi những giao dịch nào nên được đưa vào khối tiếp theo, bộ xử lý hàng loạt đóng gói các giao dịch L2 và tải chúng lên L1 để người dùng có thể lấy dữ liệu tính khả dụng và Công cụ thực thi xử lý các giao dịch theo nhóm và tạo ra các trạng thái L2 mới. Tất nhiên ở đây sẽ có một khoảng cách về thời gian giữa OP và ZK Rollup nên mình sẽ không đi sâu vào chi tiết trong bài viết này.

Vì vậy, quy trình vận hành L2 thông thường là: tạo giao dịch, trình sắp xếp chuỗi xử lý và tạo khối L2, xác minh các khối (bằng chứng gian lận lạc quan hoặc bằng chứng không có kiến thức), tải lên quyết toán L1 ( Như được hiển thị bên dưới).

So với cách sắp xếp thông thường của Zircuit trình sắp xếp chuỗi được kết hợp với một oracle giao dịch, khác với các oracle về giá như ChainLink và được sử dụng để giám sát và dự đoán các giao dịch độc hại trên L2. Máy oracle giám sát nhóm bộ nhớ của mạng L2, xác định hoặc dự đoán các giao dịch độc hại và gửi các giao dịch được coi là có mục đích xấu vào "Cách ly".

Các giao dịch đi vào vùng cách ly sẽ không còn được đưa vào khối tiếp theo nữa. Nếu tin tặc tấn công thỏa thuận cho vay hoặc lấy được ủy quyền ví thông qua một trang web lừa đảo, thì bạn. có thể muốn chuyển tài sản, trình sắp xếp Zircuit sẽ cô lập giao dịch sau khi xác định nó, do đó đảm bảo an toàn cho tiền của người dùng.

Vì vậy, quy trình chạy của Zircuit là: tạo giao dịch, trình sắp xếp chuỗi xác định và cô lập các giao dịch độc hại, trình sắp xếp chuỗi xử lý và tạo các khối L2 và xác minh các khối (lạc quan Bằng chứng gian lận hoặc bằng chứng không có kiến thức), tải lên quyết toán L1.

Dành riêng cho bộ sắp xếp , Zircuit được triển khai dựa trên Geth Khi xây dựng một khối, nó được chia thành hai bước: Hàng đợi và Hàng đợi chờ xử lý. Khi một giao dịch được tạo ra, nó sẽ được đưa vào hàng đợi giả bất kể liệu cuối cùng nó có thể được đóng gói thành một khối hay không. Trong liên kết này, người xác thực ZK Rollup sẽ tạo bằng chứng ZK cho giao dịch và Zircuit sẽ tiếp tục tiến hành xem xét giao dịch trên cơ sở này, đưa các giao dịch không gặp sự cố vào hàng đợi đang chờ xử lý và gửi các giao dịch có mục đích xấu đến khu vực cách ly Các giao dịch vào hàng đợi chờ xử lý cuối cùng sẽ được đóng gói và tải lên L1.

Theo cách này, Zircuit nhúng một hệ thống bảo mật ở cùng mức độ đồng thuận như chuỗi công khai L1, đồng thời ngăn chặn các đợt phân nhánh cứng và khôi phục khối.

Ai là người có tiếng nói cuối cùng?

Vì là đổi mới cơ chế ở cấp độ đồng thuận nên “ai là người có tiếng nói cuối cùng” và “làm thế nào để có tiếng nói cuối cùng” phải là vấn đề quan trọng nhất . Người sắp xếp thứ tự là "Thần" của L2. Khi các siêu năng lực khác nhau của anh ta được mở khóa, họ phải dựa vào sự công khai và minh bạch ở cấp độ cơ học để hạn chế chúng. Vậy làm thế nào để trình phân loại của Zircuit xác định rằng một giao dịch có thể có mục đích xấu?

Các mô hình AI dường như cung cấp một giải pháp tốt vào thời điểm này. Nguyên tắc đào tạo của oracle giao dịch Zircuit chủ yếu là sử dụng giao dịch được gắn ở cuối khối (nghĩa là trạng thái cuối cùng của chuỗi dài nhất) làm dữ liệu để mô phỏng. Dữ liệu theo dõi này sẽ bao gồm thông tin của tất cả các khe lưu trữ hợp đồng thông minh. trên chuỗi và khi thực hiện Hợp đồng thông minh này đối với các lệnh gọi hợp đồng thông minh được thực hiện trong quá trình giao dịch. Trên cơ sở này, nhóm cũng sẽ thêm một số lịch sử siêu dữ liệu ngoài chuỗi, chẳng hạn như liệu người gửi tài khoản (Người gửi tài khoản) có hoạt động thường xuyên trước đó hay không, liệu đó có phải là tài khoản mới được cấp vốn hay không, v.v. Thông qua phương pháp tiếp cận "trên chuỗi + ngoài chuỗi" này, nhóm đã thu thập dữ liệu lịch sử của hơn 4,5 tỷ giao dịch trên 22 chuỗi EVM và cung cấp thông tin này cho mô hình học máy để đào tạo.

Vì vậy, ở một mức độ nhất định, oracle của Zircuit có thể biết bạn là loại người tiêu dùng trực tuyến nào và giúp bạn ngăn chặn các giao dịch đáng ngờ khi cần thiết. Ví dụ: sau khi đào tạo dữ liệu, nhà tiên tri biết rằng địa chỉ ví cụ thể của bạn chưa bao giờ chuyển quá 10% tổng tài sản của bạn trong 7 năm. Sau đó, khi địa chỉ này đột nhiên thực hiện một số lần chuyển tiền liên tiếp hoặc chuyển tất cả tài sản của bạn khi chuyển ra ngoài. , oracle có thể đưa những giao dịch này vào trạng thái cách ly. Tất nhiên, nhà tiên tri Zircuit sẽ không can thiệp vào phần lớn các giao dịch chuyển tiền thuần túy. Việc giám sát trên chuỗi này chủ yếu được sử dụng để ngăn chặn các cuộc tấn công giao thức.

Nhưng ngoài việc đào tạo các mô hình dự đoán của riêng mình, cách chính để giải quyết vấn đề của nhóm Zircuit là tạo ra các nhóm mô hình. Trên thị trường hiện tại, đã có nhiều nhóm có hoạt động kinh doanh cốt lõi là cung cấp các mô hình giám sát hoạt động thông minh trên chuỗi. Zircuit duy trì mối quan hệ hợp tác chặt chẽ với họ và sẽ tiếp tục tích hợp với tất cả các mô hình dự đoán hoặc công cụ phát hiện giao dịch có thể truy cập được trên thị trường.

Điều này cũng mang lại cho thị trường nhiều cơ hội kinh doanh tiềm năng. Ví dụ: bạn có thể tập trung vào việc đào tạo một oracle cho một giao thức cụ thể. mô hình AI. Khi giao tiếp với Zircuit Lianchuang Martin, anh ấy đã cho tôi một ví dụ: Các công ty DeFi cũ như Hợp chất có lịch sử lưu lượng truy cập lâu dài (Lịch sử lưu lượng truy cập). Dựa trên những dữ liệu lịch sử này, bạn có thể phân tích những giao dịch nào thường đi đến Hợp chất, Loại điều kiện Gas nào. họ có thường sử dụng không, v.v. Bạn sẽ thấy rằng 99% hồ sơ giao thông thực sự có những đặc điểm rất giống nhau. Do đó, bạn có thể phát hiện sự bất thường về lưu lượng truy cập dựa trên dữ liệu này. Nếu một giao dịch vượt quá giá trị bất thường trong khoảng 95% thì có lý do để chặn nó.

Nói chung, nhóm Zircuit hy vọng rằng cộng đồng nghiên cứu bảo mật sẽ đưa ra những ý tưởng của riêng họ về cách xem xét các giao dịch và các vấn đề bảo mật. Martin nói với tôi: “Tôi sẽ rất vui nếu cộng đồng có thể sử dụng dữ liệu giao dịch từ Zircuit hoặc các chuỗi khối EVM khác để đào tạo mô hình của riêng họ”. Nhóm Zircuit sẵn lòng cấp cho họ quyền truy cập vào dữ liệu họ cần và sau khi họ tìm thấy một oracle đã hoàn thiện với kết quả tốt, nó có thể được triển khai ngay lập tức vào các tích hợp mô hình hiện có của Zircuit.

Ở cấp độ trình sắp xếp chuỗi, logic thực thi cuối cùng của việc phối hợp nhiều oracle sẽ là: trình sắp xếp sẽ hỏi tất cả các oracle hiện có, nếu mỗi oracle cho rằng giao dịch là ổn, thì trình sắp xếp sẽ sẽ trực tiếp đưa nó vào khối; nếu một hoặc nhiều nhà tiên tri tin rằng có vấn đề với giao dịch, người sắp xếp sẽ quyết định có đưa nó vào vùng cách ly hay không dựa trên logic đơn giản và minh bạch như quy tắc đa số và xếp hạng hiệu suất. .

Tất nhiên, việc chỉ dựa vào các mô hình và lời tiên tri để có tiếng nói cuối cùng là chưa đủ. Có thể thấy trước rằng, ngoài một số tiêu chuẩn bảo mật cơ bản, mọi người dùng trên Ứng dụng Zircuit có thể có các yêu cầu bảo mật tùy chỉnh, chẳng hạn như "số tiền giao dịch không được nhỏ hơn/không vượt quá", "số lượng giao dịch trong một ngày không được vượt quá", v.v. Zircuit đã phát triển API ngôn ngữ khai báo (Ngôn ngữ khai báo) dành riêng cho nhu cầu tiềm năng này nhằm giúp các ứng dụng xác định một số bất biến không thể vi phạm trong quá trình thực hiện giao dịch.

Ngoài ra, Zircuit còn cung cấp nhiều "kênh khiếu nại" cho các giao dịch đã được đưa vào khu vực cách ly. Nếu một giao dịch đáp ứng các yêu cầu cụ thể, giao dịch đó có thể rời khỏi khu vực cách ly. khu vực cách ly và tái hợp nhất vào khối. Hiện nay, các “kênh khiếu nại” này chủ yếu bao gồm:

1. Tiêu chí về thời gian, chẳng hạn như một giao dịch đã đạt đến thời gian cách ly theo quy định.

2. Tiêu chí thay thế. Ví dụ: nếu người dùng không muốn chờ đợi, giao dịch có thể bị hủy trực tiếp.

3. Tiêu chí thất bại, ví dụ, một giao dịch đã thất bại, vì vậy nó không còn có thể gây hại cho bất kỳ địa chỉ nào.

4. Tiêu chí kinh tế. Ví dụ: người dùng có thể cầm cố tài sản thế chấp tương đương với số tiền liên quan đến giao dịch để bù đắp khoản tiền bị mất do oracle dự đoán.

5. Tiêu chí quản lý, cộng đồng nhất trí quyết định giao dịch là lành tính.

Điều thú vị là theo bộ logic sản xuất khối mô-đun này, công nghệ Prover (Prover) của Zircuit cũng đã được cải tiến. Zircuit cũng áp dụng cách tiếp cận mô-đun cho bộ chứng minh mà nhóm gọi là Trình chứng minh song song. Mỗi bằng chứng của Zircuit có vai trò cụ thể riêng, ví dụ: một bằng chứng được sử dụng để chứng minh rằng giao dịch được thực hiện chính xác, bằng chứng còn lại được sử dụng để chứng minh rằng hoạt động Keccak liên quan được thực hiện chính xác và sau đó bằng chứng thứ ba được sử dụng để chứng minh điều đó. hai bằng chứng đầu tiên được thực hiện chính xác. Thực hiện tổng hợp các hoạt động, v.v., đạt được hiệu quả cao hơn và chi phí vận hành thấp hơn theo cách này.

Liệu "SL+" có thể trở thành câu chuyện mới cho L2 không?

Theo quan điểm của Martin và nhóm Zircuit, tiềm năng của SLS vượt xa khả năng giám sát trên chuỗi. Nó cũng mở ra một thế giới mới về lập trình hợp đồng cho các nhà phát triển. .

Bản chất của công việc kiểm tra bảo mật blockchain hiện tại vẫn dựa trên trạng thái khối hiện có để đảm bảo rằng logic của hợp đồng thông minh sẽ không tạo ra trạng thái bất ngờ mới trong tương lai . Tuy nhiên, bảo mật ở cấp độ trình sắp xếp chuỗi cho phép các nhà phát triển thực hiện các biện pháp bổ sung để đảm bảo rằng những trạng thái không mong muốn này không bao giờ xảy ra. Nhóm Zircuit gọi đây là "Mã hóa bất biến". Nói một cách đơn giản, đó là nói với nhà tiên tri thông qua ngôn ngữ khai báo rằng không bao giờ được vi phạm một số quy tắc nhất định. Ví dụ: việc chuyển tiền từ kho giao thức không bao giờ được vượt quá 50% tổng số tiền, v.v. và khi giao dịch. vi phạm bất biến này thì bị đưa vào huyện cách ly.

Ngoài ra, các nhà phát triển có thể sử dụng ngôn ngữ khai báo để giải quyết các vấn đề về quyền sở hữu và chuyển giao các chức năng gọi trong hợp đồng thông minh. Một trong những lợi ích chính của việc này là loại bỏ một số dự án mã hóa bất biến trong hợp đồng thông minh và nhận được mã byte hợp đồng thông minh nhỏ hơn để giảm chi phí triển khai mạng chính của hợp đồng.

Nhưng tôi nghĩ rằng mô hình SLS hoặc "SL+" có thể là câu chuyện lớn hơn cho L2.

Trong một bài viết gần đây về Quỹ EF Trong Trong bài báo, tôi đã đề cập rằng L2 đã nhấn mạnh quá mức vấn đề đồng nhất hóa quá mức do "liên kết Ethereum" và sự xuất hiện của Zircuit chắc chắn đã mang lại những ý tưởng mới cho sự đa dạng hóa của L2. Theo quan điểm của Martin, L2 không nên xem xét vấn đề "sự đúng đắn về chính trị". Triết lý của ông là: "Chỉ cần những người xung quanh biết bạn định làm gì thì bạn có thể làm bất cứ điều gì bạn muốn". giống như một ứng dụng có các điều khoản đồng ý. Người dùng có thể chọn đồng ý và bắt đầu sử dụng nó hoặc họ có thể chọn từ chối và rời đi. Đối với L2, điều này có nghĩa là nó sẽ không còn bị ràng buộc bởi hệ tư tưởng. Nó có thể tạo ra nhiều loại "siêu năng lực tùy chỉnh" thông qua trình sắp xếp chuỗi và đưa chúng vào các cảnh được phân đoạn tương ứng.

Trong môi trường thị trường ngày nay, sự cạnh tranh ngày càng trở nên khốc liệt dưới nền tảng kỹ thuật “chuỗi tóc một mảnh”. Solana có sự đồng thuận về vốn, Base có cha đẻ tài chính của Coinbase và TON có quyền truy cập vào lưu lượng truy cập của Telegram. So sánh, L2 còn lại gì? Có lẽ, câu trả lời nằm ở “thần sản xuất khối” của trình sắp xếp chuỗi.

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia