Nguồn chính thức:Linera

Nguồn chính thức:

Phần tổng hợp gốc: flowie, ChainCatcher

So với Aptos và Sui, Linera, người kế vị của Diem, cũng được đặt cược bởi a16z, đã tương đối chậm, nó đã chính thức phát hành sách trắng của dự án vào ngày hôm nay sau khi nhận được khoản tài trợ 6 triệu đô la do a16z dẫn đầu vào cuối tháng 6 năm nay.

Được biết, hầu hết các thành viên trong nhóm sáng lập của Linera đều là cựu kỹ sư và nhà nghiên cứu của Zcash và Meta/Novi. Mathieu Baudet, người sáng lập Linera, trước đây từng là kỹ sư tại Meta và giúp tạo ra chuỗi khối Diem, là nhà nghiên cứu chính và kỹ sư của Novi, đồng thời tham gia với tư cách là nhân vật cốt lõi trong việc phát minh ra giao thức FastPay và Zef.

Trong sách trắng, Linera đã trình bày chi tiết về những thiếu sót của các giải pháp hiện có như phân đoạn chuỗi khối và Rollup, cũng như các giải pháp sáng tạo và lợi thế kiến ​​trúc của Linera trong việc giải quyết vấn đề khan hiếm không gian khối. ChainCatcher đã biên soạn một phần nội dung của Linera:

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

1. Linera: Để giải quyết vấn đề khan hiếm không gian khối, những khiếm khuyết của các giải pháp hiện có。1. Chuỗi đơn nhanh hơnTốc độ sản xuất các khối trong một chuỗi thường bị giới hạn bởi độ trễ truyền dữ liệu giữa các trình xác thực. Trước đây, kích thước khối là tham số đầu tiên cần điều chỉnh để tối đa hóa thông lượng giao dịch dựa trên các yêu cầu bảo mật và các ràng buộc của mạng. Do tiến độ gần đây của giao thức đồng thuận BFT,

Nút cổ chai mới trong tỷ lệ giao dịch ngày nay dường như là việc thực hiện tuần tự các giao dịch thay vì đặt hàng đồng thuận.Người ta cho rằng nhiều giao dịch chứa trong một khối phải độc lập trong thực tế và một số dự án gần đây đã phát triển các kiến ​​trúc có khả năng thực hiện các tập hợp con giao dịch song song trên nhiều đơn vị xử lý. Mặc dù điều này chắc chắn dẫn đến tỷ lệ giao dịch cao hơn, nhưng các hệ thống như vậy vẫn được đặc trưng bởi các giao dịch tối đa dưới 6 con số mỗi giây. Ngoài ra, tỷ lệ giao dịch hiệu quả phụ thuộc rất nhiều vào tỷ lệ giao dịch thực sự độc lập trong mỗi khối.

Tóm lại, không thể đảm bảo trả trước các khoản phí và/hoặc sự chậm trễ cho người dùng mà không đưa ra bất kỳ giả định nào về hoạt động của những người dùng khác.

Cuối cùng, trong các chuỗi thông lượng cao, việc kiểm tra trình xác thực trở nên khó khăn hơn do sự kết hợp giữa yêu cầu thực thi CPU và yêu cầu mạng đồng bộ hóa dữ liệu. Cụ thể, số lượng lớn các giao dịch tuần tự có thể ngăn các thành viên cộng đồng chỉ sử dụng phần cứng hàng hóa phát lại các giao dịch đủ nhanh để xác minh công việc của người xác thực theo cách có ý nghĩa.2. Bảo vệ chuỗi khối.

Một hướng phổ biến khác để giải quyết khả năng mở rộng chuỗi khối liên quan đến việc chia trạng thái thực thi thành một số chuỗi song song cố định, mỗi chuỗi chạy độc lập bởi một bộ xác thực riêng biệt, được gọi là phân đoạn chuỗi khối. Trong khi cách tiếp cận này vẫn đang được hoàn thiện, nó đã phải chịu một số thách thức trong lịch sử.

3、Rollups。Đầu tiên, việc sử dụng các bộ trình xác thực khác nhau sẽ tạo ra sự đánh đổi về bảo mật, vì kẻ tấn công có thể tấn công có chọn lọc vào bộ yếu nhất trong hệ thống (ví dụ: đúc tiền). Thứ hai, tổ chức lại các phân đoạn, cách tài khoản người dùng được phân phối trên các chuỗi, là một hoạt động phức tạp đòi hỏi giao tiếp mạng rộng rãi. Cuối cùng, khi số lượng phân đoạn tăng lên để hỗ trợ lưu lượng truy cập bổ sung, số lượng thông báo xuyên chuỗi cần được trao đổi cũng tăng lên. Trong một hệ thống mà mỗi phân đoạn có một bộ trình xác thực độc lập, các thông báo xuyên chuỗi có thể gây ra độ trễ đáng kể mà cuối cùng sẽ bù đắp tác động của việc thêm một chuỗi mới.

Trong thực tế, việc thu thập đủ các giao dịch lớp 2, tính toán bằng chứng về tính hợp lệ và lưu trữ các giao dịch để thực thi nghiêm ngặt tính khả dụng của dữ liệu mất vài giờ cho mỗi khối lớp 2. Thời gian xác nhận lớp 1 lâu hơn có thể khuyến khích một số người dùng chấp nhận đánh đổi bảo mật và tin tưởng vào tính hữu hạn của lớp 2 đối với một số ứng dụng nhất định. Nói chung, Rollup phải được tin cậy để thực thi thỏa thuận (tức là tính sống động) và chọn giao dịch một cách công bằng (xem Giá trị có thể trích xuất của công cụ khai thác). Mối quan tâm này có thể được nhìn thấy trong những nỗ lực gần đây để thiết kế một giao thức tổng hợp phi tập trung.

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

2. Những đổi mới của Linera là gì?

Dựa trên quan sát và nguồn cảm hứng từ các kế hoạch trên, Linera tuyên bố rằng họ nhằm mục đích phát triển cơ sở hạ tầng web3 mới dựa trên ba nguyên tắc chính sau:

1. Xây dựng cơ sở hạ tầng an toàn với hiệu suất và khả năng đáp ứng có thể dự đoán được bằng cách chạy nhiều chuỗi trong một bộ trình xác nhận linh hoạt;

2. Làm cho chương trình đa chuỗi trở thành xu hướng chủ đạo bằng cách làm việc trên một lớp thực thi mới, cho phép một hệ sinh thái phong phú gồm các ứng dụng web3 có thể mở rộng;

3. Tối đa hóa tính phi tập trung bằng cách đảm bảo các trình xác nhận đàn hồi được khuyến khích tối ưu và được kiểm toán trên quy mô lớn bởi cộng đồng.

Những đổi mới của Linera được phản ánh trong các khía cạnh sau:

1. Một hệ thống đa chuỗi tích hợp với các trình xác thực linh hoạt

• Để hiện thực hóa tầm nhìn về cơ sở hạ tầng web3 với hiệu suất và khả năng đáp ứng có thể dự đoán được trên quy mô lớn, Linera sử dụng cơ sở hạ tầng đám mây và phát triển một giao thức đa chuỗi mới - một hệ thống đa chuỗi tích hợp với các trình xác thực linh hoạt.

• Trong Linera, trình xác thực là một dịch vụ linh hoạt giống như web2, xác thực và thực hiện song song các khối giao dịch trong nhiều chuỗi. Vì số lượng chuỗi (đang hoạt động và không hoạt động) tồn tại trong hệ thống Linera là không giới hạn nên chúng còn được gọi là chuỗi vi mô.

• Nhiệm vụ tích cực mở rộng chuỗi vi mô với các khối mới tách biệt với việc xác minh hoặc thực thi và được thực hiện bởi chủ sở hữu của mỗi chuỗi. Mỗi người dùng Linera được khuyến khích tạo một chuỗi của riêng họ và đặt tài khoản của họ ở đó.

• Mỗi trình xác thực quản lý tất cả các chuỗi siêu nhỏ (được gọi là phương pháp tiếp cận đa chuỗi tích hợp). Chuỗi vi mô tương tác bằng cách sử dụng thông báo không đồng bộ và chạy độc lập. Do đó, trình xác thực có thể thay đổi quy mô một cách linh hoạt bằng cách phân phối khối lượng công việc giữa nhiều phân đoạn nội bộ. Nhắn tin không đồng bộ giữa các chuỗi đạt được hiệu quả bằng cách sử dụng mạng nội bộ của mỗi trình xác thực.

• Cách các chuỗi vi mô chấp nhận các khối mới có thể khác nhau. Khi mở rộng quy mô chuỗi của riêng họ, người dùng gửi trực tiếp các khối mới tới trình xác thực bằng cách sử dụng giao thức có độ trễ thấp, không có mempool lấy cảm hứng từ việc phát sóng đáng tin cậy. Các ứng dụng yêu cầu tương tác phức tạp hơn giữa những người dùng cũng có thể dựa vào các vi chuỗi tạm thời được tạo theo yêu cầu. Trên thực tế, chỉ các kênh vi mô công khai thuộc sở hữu của cơ sở hạ tầng Linera mới có giao thức đồng thuận BFT đầy đủ.

Đồng bộ hóa microchain giữa các trình xác nhận được ủy quyền cho chủ sở hữu chuỗi. Điều này có nghĩa là các chuỗi siêu nhỏ không hoạt động (những chuỗi không tạo khối) không có chi phí cho người xác thực ngoài việc lưu trữ.Sử dụng trình xác nhận đàn hồi là một giả định độc đáo của Linera.

Linera dự định cộng đồng Linera sẽ hỗ trợ nhiều nhà cung cấp đám mây mà từ đó những người xác thực mới có thể chọn. Linera ban đầu được lấy cảm hứng từ FastPay, một giao thức thanh toán có độ trễ thấp do Meta phát triển. Linera đã thúc đẩy đáng kể FastPay bằng cách biến tài khoản người dùng thành chuỗi siêu nhỏ, thêm hợp đồng thông minh và hỗ trợ các thông báo không đồng bộ tùy ý giữa các chuỗi.

2. Làm cho lập trình đa chuỗi trở thành xu hướng chủ đạo

• Linera tích hợp nhiều chuỗi vào một bộ trình xác thực duy nhất. Điều này tạo điều kiện thuận lợi đáng kể cho giao tiếp xuyên chuỗi do mạng nội bộ của mỗi trình xác thực. Lần đầu tiên, các ứng dụng web3 khác nhau có cơ hội mở rộng quy mô linh hoạt bằng cách tận dụng kiến ​​trúc đa chuỗi giá rẻ và hiệu quả. Các lựa chọn thiết kế sau đây đã được thực hiện để tạo điều kiện thuận lợi cho việc áp dụng lập trình đa chuỗi:

• Mô hình thực thi của Linera được thiết kế để trở nên trung lập về ngôn ngữ và thân thiện với nhà phát triển. SDK ban đầu của Linera sẽ dựa trên Wasm và hướng đến ngôn ngữ lập trình Rust.

Các ứng dụng Linera có thể kết hợp và đa chuỗi. Sau khi một ứng dụng được tạo, nó có thể chạy trên bất kỳ chuỗi nào theo yêu cầu. Việc chạy các phiên bản của cùng một ứng dụng phối hợp giữa các chuỗi bằng cách sử dụng kênh nhắn tin không đồng bộ và xuất bản/đăng ký. Các ứng dụng chạy trong cùng một microchain tương tác bằng cách sử dụng các cuộc gọi hợp đồng chéo và các đối tượng phiên tạm thời.

Các đối tượng phiên trong Linera được lấy cảm hứng từ các tài nguyên trong ngôn ngữ Move. Các tài nguyên được nhập tĩnh trong Move đã được đề xuất để giúp cải thiện khả năng kết hợp. Trong Linera, khả năng kết hợp tài nguyên lớp đạt được thông qua việc sử dụng các điều khiển phiên và kiểm tra thời gian chạy. Ví dụ: để gửi mã thông báo, hợp đồng Linera sẽ có thể chuyển quyền sở hữu phiên tạm thời chứa mã thông báo. Nói chung, xây dựng một cộng đồng nhà phát triển lớn là yếu tố chính trong việc áp dụng cơ sở hạ tầng chuỗi khối. Do hệ sinh thái Wasm không ngừng cải tiến các công cụ đa ngôn ngữ nên nó mang lại cho Linera khả năng phục vụ nhiều cộng đồng nhà phát triển trong dài hạn.

3. Phân quyền mạnh mẽ cho các trình xác thực có khả năng phục hồi

• "Bộ ba bất khả thi blockchain" cổ điển khẳng định rằng việc đạt được đồng thời khả năng mở rộng, bảo mật và phân cấp là rất khó. Mặc dù quan sát này chắc chắn đúng đối với các trình xác nhận dung lượng cố định, Linera tin rằng vẫn chưa đủ để xác định và triển khai một khái niệm thỏa đáng về phân cấp cho các trình xác nhận đàn hồi.Linera dựa vào Proof-of-Stake được ủy quyền (DPoS) để bảo mật và thường xuyên hỗ trợ thay đổi các bộ trình xác thực.

• Do chuỗi khối, các giao dịch trong quá khứ, thông báo xuyên chuỗi và trạng thái thực thi của từng chuỗi vi mô là bất biến.Điều này có nghĩa là toàn bộ Linera sẽ được cộng đồng kiểm tra theo kiểu phân tán chỉ sử dụng phần cứng hàng hóa. Cộng đồng blockchain đã thảo luận về việc sử dụng các trình xác thực lớn để cải thiện hiệu suất và sử dụng các trình xác thực do cộng đồng điều khiển để duy trì tính phân quyền trong bối cảnh tổng số. Khi dự án Linera tiến triển, chúng tôi sẽ tiếp tục chú ý đến tiến bộ kỹ thuật về chứng minh và triển khai tính hợp lệ (ZK).

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

Thứ tư, ưu điểm của kiến ​​trúc Linera

Linera đặt mục tiêu cung cấp cơ sở hạ tầng đa chuỗi đầu tiên với hiệu suất, khả năng đáp ứng và bảo mật có thể dự đoán được ở quy mô Internet. Để đạt được mục tiêu này, Linera đã đưa ra ý tưởng chạy nhiều chuỗi song song được gọi là chuỗi siêu nhỏ trong cùng một bộ trình xác thực và sử dụng mạng nội bộ của mỗi trình xác nhận để nhanh chóng chuyển các thông báo không đồng bộ giữa các chuỗi. Linera nhận thấy nhiều ưu điểm của kiến ​​trúc này:Quy mô đàn hồi.

Trong Linera, khả năng mở rộng đạt được bằng cách thêm chuỗi chứ không phải bằng cách tăng kích thước hoặc tốc độ khối. Mỗi trình xác thực có thể thêm và xóa năng lực (còn được gọi là công nhân nội bộ) bất kỳ lúc nào để duy trì hiệu suất danh nghĩa của các ứng dụng đa chuỗi.khả năng đáp ứng.

Khi các chuỗi siêu nhỏ được vận hành bởi một người dùng duy nhất, Linera sử dụng một giao thức đồng thuận đơn giản hóa không cần mempool lấy cảm hứng từ việc phát sóng đáng tin cậy. Điều này làm giảm độ trễ của khối và cuối cùng làm cho các ứng dụng Web3 phản hồi nhanh hơn.khả năng kết hợp.

Độ trễ khối thấp cũng góp phần vào khả năng kết hợp so với các hệ thống đa chuỗi khác: phản hồi nhanh bằng cách thêm các khối mới cho phép nhận thông báo không đồng bộ từ một chuỗi khác.an ninh chuỗi.

Một lợi ích của việc chạy tất cả các chuỗi siêu nhỏ trong cùng một bộ trình xác nhận so với các hệ thống đa chuỗi truyền thống là việc tạo chuỗi không ảnh hưởng đến mô hình bảo mật của Linera.Phân quyền.

Linera dựa vào Bằng chứng cổ phần được ủy quyền (DPoS) để bảo mật. Mỗi microchain có thể được thực thi riêng lẻ trên phần cứng hàng hóa. Điều này cho phép khách hàng và kiểm toán viên liên tục chạy các xác thực của riêng họ và quy trách nhiệm cho những người xác thực.Ngôn ngữ "bất khả tri".