Bitcoin (BTC), là đồng tiền điện tử đầu tiên trên thế giới, dần trở thành nền móng của tài sản kỹ thuật số và tài chính phi tập trung kể từ khi ra đời vào năm 2009. Tuy nhiên, khi số lượng người dùng và khối lượng giao dịch tăng, các vấn đề về mạng BTC ngày càng trở nên rõ rệt, chủ yếu như sau:：

• Phí giao dịch cao: Khi mạng Bitcoin quá tải, người dùng cần phải trả phí cao để đảm bảo giao dịch được xác nhận càng nhanh càng tốt.
• Thời gian xác nhận giao dịch: Blockchain Bitcoin tạo ra một khối mới khoảng mỗi 10 phút trung bình, có nghĩa là giao dịch trên chuỗi thường cần phải đợi nhiều lần xác nhận khối trước khi được coi là cuối cùng.
• Giới hạn của hợp đồng thông minh: Ngôn ngữ kịch bản của Bitcoin có các chức năng hạn chế và khó triển khai các hợp đồng thông minh phức tạp.

Trong bài viết này, chúng tôi sẽLightning Network(Lightning Network), Sidechains, Rollup và các công nghệ khác được gọi chung là các giải pháp mở rộng BTC Layer2. Chúng duy trì tính phân tán và an ninh của mạng BTC trong khi đạt được giao dịch nhanh chóng và giá thấp. Việc giới thiệu công nghệ Layer2 có thể cải thiện tốc độ giao dịch và giảm chi phí giao dịch, tối ưu hóa trải nghiệm người dùng và mở rộng dung lượng mạng, đóng vai trò quan trọng trong hỗ trợ kỹ thuật và hướng đổi mới quan trọng cho sự phát triển tương lai của BTC.

Hiện tại, Beosin đã trở thành đối tác bảo mật chính thức của BTC Layer2 như Merlin Chain., đã được kiểm toán nhiều giao thức sinh thái BTC, chẳng hạn như Bitmap.Games、Surf Protocol、Savmswap、Mineral. Trong các kiểm toán trước đây, nhiều chuỗi công khai nổi tiếng đã vượt qua kiểm toán bảo mật chuỗi công khai của Beosin, bao gồm Ronin Network、Clover、Self Chain、Crust Network. Hiện nay, Beosin đã ra mắt giải pháp kiểm toán cho BTC Layer2 để cung cấp dịch vụ kiểm toán bảo mật toàn diện và đáng tin cậy cho toàn bộ hệ sinh thái BTC.

Mạng Lightning

Khái niệm sớm nhất của Lightning Network được gọi là “kênh thanh toán”. Ý tưởng thiết kế của nó là liên tục cập nhật trạng thái giao dịch chưa được xác nhận thông qua việc thay thế giao dịch cho đến khi cuối cùng được phát sóng đến mạng Bitcoin. Satoshi Nakamoto đã đề xuất ý tưởng về các kênh thanh toán khi tạo ra Bitcoin vào năm 2009, và đã bao gồm một đoạn mã nháp cho các kênh thanh toán trong Bitcoin 1.0, cho phép người dùng cập nhật trạng thái giao dịch trước khi giao dịch được xác nhận bởi mạng. Tuy nhiên, đến khi phát hành báo cáo trắng “Lightning Network Bitcoin: Thanh toán nhanh ngoài chuỗi có khả năng mở rộng” thì Lightning Network mới thực sự ra đời và được công chúng biết đến.

Hiện nay, việc triển khai các kênh thanh toán và Lightning Network rất thành công. Hiện tại, Lightning Network có tổng cộng 13.325 nút, 49.417 kênh, và tổng số BTC cam kết đã đạt 4.975.

https://1ml.com/

Trong Lightning Network, việc đảm bảo an ninh tài sản người dùng trong quá trình chuyển tiếp rất quan trọng. Bài viết sau sẽ giải thích cách Lightning Network hoạt động và cách bảo vệ an ninh tài sản người dùng dựa trên quy mô các nút mạng.

Người dùng từ cả hai bên gửi hai giao dịch lên mạng lưới chính của Bitcoin: một để mở kênh và một để đóng kênh. Nó được chia khoảng thành ba bước sau đây:

1. Mở kênh:

Đầu tiên, người dùng từ cả hai bên cam kết Bitcoin vào ví đa chữ ký của Mạng Lightning trên BTC. Khi Bitcoin được cam kết và khóa thành công, kênh thanh toán được mở, và cả hai bên có thể tiến hành giao dịch ngoại chuỗi trong kênh này.

2.Off-chain giao dịch:

Khi kênh được mở, tất cả giao dịch chuyển khoản giữa người dùng sẽ được xử lý trong Lightning Network, và không giới hạn về số lượng giao dịch ngoại chuỗi này. Tất nhiên, những giao dịch này không cần phải được gửi ngay lập tức lên mạng lưới Bitcoin chính, mà được hoàn tất ngay lập tức thông qua cơ chế ngoại chuỗi của Lightning Network.

Phương pháp xử lý ngoại chuỗi này cải thiện đáng kể tốc độ và hiệu quả giao dịch, tránh tình trạng tắc nghẽn và phí giao dịch cao trên mạng lưới Bitcoin chính.

3. Đóng kênh và thanh toán sổ cái:

Khi người dùng ở cả hai bên quyết định thoát khỏi kênh, việc quyết toán sổ sách cuối cùng sẽ xảy ra. Quá trình này đảm bảo rằng tất cả các quỹ trong kênh đều được phân bổ lên đến ngày. Đồng thời, người dùng ở cả hai bên sẽ rút số dư sau quyết toán từ ví đa chữ ký, phản ánh phân phối thực tế của quỹ khi kênh đóng cửa. Cuối cùng, kênh sẽ gửi trạng thái cuối cùng của giao dịch sổ sách đến Bitcoin mainnet.

Lợi ích của Mạng Lightning là:

• Tốc độ giao dịch tăng lên. Mạng Lightning cho phép người dùng thực hiện các giao dịch ngoài chuỗi, điều này có nghĩa là giao dịch có thể hoàn thành gần như ngay lập tức mà không cần chờ thời gian xác nhận khối. Điều này có thể đạt được tốc độ giao dịch cấp hai, cải thiện đáng kể trải nghiệm người dùng.
• Tính riêng tư nâng cao. Các giao dịch ngoại chuỗi của Lightning Network không cần được ghi chép công khai trên chuỗi chính Bitcoin, điều này cải thiện tính riêng tư của giao dịch. Chỉ có việc mở và đóng kênh cần được ghi chép trên chuỗi chính, vì vậy hành vi giao dịch của người dùng sẽ không được tiết lộ hoàn toàn.
• Hỗ trợ thanh toán nhỏ. Lightning Network rất thích hợp để xử lý các khoản thanh toán nhỏ (micropayments), chẳng hạn như thanh toán nội dung, thanh toán thiết bị IoT, vv. Giao dịch Bitcoin truyền thống không phù hợp cho các khoản thanh toán nhỏ thường xuyên do phí xử lý cao, trong khi Lightning Network giải quyết vấn đề này.

Những thách thức đang đối mặt với Lightning Network:

• vấn đề thanh khoản mạng: Lightning Network phụ thuộc vào việc các Bitcoin được đặt cọc trước trong các kênh. Điều này có nghĩa là người dùng phải gửi đủ Bitcoin vào kênh thanh toán của họ trước để thực hiện giao dịch. Thiếu thanh khoản có thể làm giao dịch thất bại, đặc biệt là đối với các giao dịch lớn.
• vấn đề định tuyến: Tìm đường đi hiệu quả từ người gửi thanh toán đến người nhận có thể là một vấn đề phức tạp, đặc biệt là ở các kích thước mạng lớn hơn. Khi số lượng nút mạng và kênh tăng lên, độ khó trong việc đảm bảo việc hoàn thành thanh toán một cách trôi chảy cũng tăng lên.
• Vấn đề tin cậy quản lý quỹ: Các nút có thể bị tấn công độc hại và người dùng cần tin tưởng rằng các nút mà họ kết nối sẽ không cố gắng đánh cắp tài sản. Có thể các nút ngăn chặn rò rỉ khóa riêng tư không?
• Tiêu chuẩn kỹ thuật và khả năng tương thích: Cần có những tiêu chuẩn kỹ thuật và giao thức nhất quán giữa các phiên bản mạng Lightning khác nhau để đảm bảo khả năng tương thích. Hiện tại, có nhiều nhóm phát triển đang làm việc trên các phiên bản khác nhau của mạng Lightning, điều này có thể gây ra vấn đề về khả năng tương thích.
• vấn đề riêng tư: Mặc dù Mạng Lightning cải thiện tính riêng tư của giao dịch Bitcoin, thông tin giao dịch vẫn có thể bị theo dõi hoặc phân tích. Ngoài ra, các nhà điều hành nút mạng có thể nhìn thấy các giao dịch đi qua các nút của họ, có thể tiết lộ một số thông tin riêng tư nhất định.

Sự an toàn của Lightning Network trực tiếp ảnh hưởng đến khả năng mở rộng ngoài chuỗi của Bitcoin và sự an toàn của quỹ của người dùng. Do đó, ngoài các mục kiểm tra chung của chuỗi công khai (Xem phụ lục ở cuối bài viết để biết chi tiết), Lightning Network cũng cần chú ý đến những rủi ro an ninh quan trọng sau đây:

• Tắc nghẽn kênh: Kiểm tra tính toàn diện của thiết kế của hệ thống Lightning Network và liệu nó có gây tắc nghẽn kênh do các cuộc tấn công đau buồn hay không.
• Nhiễu loạn kênh: Kiểm tra tính an toàn của cấu trúc kênh Mạng Lightning và xem liệu nó có bị tấn công bởi nhiễu loạn kênh hay không.
• Kiểm tra quá trình khóa và mở khóa tài sản kênh: Xem xét quá trình khóa và mở khóa tài sản trong Lightning Network để đảm bảo rằng khi mở hoặc đóng một kênh thanh toán, việc chuyển tiền vào và ra khỏi chuỗi là an toàn và đáng tin cậy.
• Cập nhật trạng thái và đóng cửa: Đánh giá quá trình cập nhật trạng thái và cơ chế đóng cửa bắt buộc của kênh để đảm bảo rằng trạng thái mới nhất có thể được xác định và thực hiện đúng khi điều kiện bất thường xảy ra.
• Hợp đồng khóa thời gian và khóa băm (HTLC): Đánh giá việc triển khai HTLC để đảm bảo rằng các điều kiện khóa thời gian và khóa băm có thể được thực hiện đúng cách để ngăn chặn mất mát quỹ do vấn đề cửa sổ thời gian.
• Phụ thuộc thời gian Blockchain: Đánh giá sự phụ thuộc của Lightning Network vào thời gian dấu thời gian của Bitcoin để đảm bảo rằng thời gian trên chuỗi và ngoài chuỗi có thể được phối hợp đúng cách để ngăn chặn các cuộc tấn công thời gian.
• Bảo mật thuật toán định tuyến: Kiểm tra hiệu quả và bảo mật của thuật toán định tuyến để ngăn chặn nguy cơ tiết lộ thông tin riêng tư của người dùng và các rủi ro can thiệp định tuyến độc hại.
• Lưu trữ kênh và phục hồi dữ liệu: Kiểm tra cơ chế lưu trữ kênh và chiến lược phục hồi dữ liệu để đảm bảo rằng trạng thái kênh có thể được khôi phục trong trường hợp node bị lỗi hoặc mất kết nối bất ngờ để tránh mất tiền.

side chain

Khác với Lightning Network, side chain là một blockchain độc lập chạy song song với chuỗi chính (như chuỗi BTC) và tương tác với chuỗi chính thông qua giấu neo hai chiều (Two-Way Peg). Mục đích của side chain là đạt được nhiều chức năng hơn và nâng cao khả năng mở rộng mà không thay đổi giao thức chuỗi chính.

Là một chuỗi con độc lập trên blockchain, chuỗi con có cơ chế đồng thuận, nút và quy tắc xử lý giao dịch riêng. Nó có thể áp dụng các công nghệ và giao thức khác với chuỗi chính tùy theo nhu cầu của các kịch bản ứng dụng cụ thể. Thông qua cơ chế cách mạng neo (2WP), chuỗi con liên lạc với chuỗi chính để đảm bảo tài sản có thể được chuyển giao một cách tự do và an toàn giữa hai chuỗi. Cơ chế vận hành của cơ chế cách mạng neo (2WP) gần như như sau:

1. Người dùng khóa BTC trên chuỗi chính và tổ chức đáng tin cậy 1 nhận và sử dụng xác minh SPV 2 để đảm bảo xem giao dịch khóa của người dùng được xác nhận hay chưa.

2. Tổ chức đáng tin cậy sẽ phát hành các token tương đương cho người dùng trên chuỗi phụ.

3. Sau giao dịch miễn phí, người dùng khóa số dư token còn lại trên chuỗi bên.

4. Sau khi xác minh tính hợp pháp của giao dịch, tổ chức đáng tin cậy mở khóa BTC trên chuỗi chính và phát hành giá trị tương ứng của BTC cho người dùng.

Lưu ý 1: Cơ quan đáng tin cậy đóng vai trò quan trọng trong cơ chế neo hai chiều và chịu trách nhiệm quản lý việc khóa và giải phóng tài sản. Những tổ chức này cần có mức độ đáng tin cậy cao và khả năng kỹ thuật để đảm bảo an toàn cho tài sản của người dùng.

Lưu ý 2: Xác minh SPVCho phép các nút xác minh tính hợp lệ của các giao dịch cụ thể mà không cần tải xuống toàn bộ blockchain. Các nút SPV chỉ cần tải xuống tiêu đề khối và xác minh xem giao dịch có được bao gồm trong khối thông qua cây Merkle.

Các dự án đại diện của side chains:

CKB（Nervos Network）

Nervos Network là một hệ sinh thái chuỗi khối công cộng mã nguồn mở nhằm tận dụng những lợi thế về bảo mật và phân quyền của cơ chế đồng thuận POW của BTC trong khi giới thiệu một mô hình UTXO linh hoạt và có khả năng mở rộng hơn để xử lý giao dịch. Lõi của nó là Common Knowledge Base (CKB), một chuỗi khối Layer 1 được xây dựng trên RISC-V và sử dụng PoW (Proof of Work) làm cơ chế đồng thuận. Nó mở rộng mô hình UTXO thành mô hình Cell, cho phép lưu trữ bất kỳ dữ liệu nào và hỗ trợ viết các tập lệnh bằng bất kỳ ngôn ngữ nào để thực thi trên chuỗi như một hợp đồng thông minh.

Stacks

Stacks kết nối mỗi Stacks block với Bitcoin block thông qua cơ chế PoX (Proof of Transfer) của nó. Để phát triển smart contract, Stacks đã thiết kế ngôn ngữ lập trình Clarity chuyên dụng. Trong Clarity, hàm get-burn-block-info? cho phép truyền vào chiều cao của Bitcoin block và nhận lại hash tiêu đề của block. Đồng thời, từ khóa burn-block-height có thể nhận được chiều cao hiện tại của chuỗi Bitcoin. Hai hàm này cho phép smart contract Clarity đọc trạng thái của chuỗi gốc Bitcoin, cho phép các giao dịch Bitcoin phục vụ như các khởi động hợp đồng. Bằng cách tự động thực thi các smart contract này, Stacks mở rộng khả năng của Bitcoin.

Để có một phân tích chi tiết về Stacks, bạn có thể đọc bài viết nghiên cứu trước đó của Beosin: "Stack là gì? Những thách thức nào mà Stacks mạng lớp 2 BTC có thể đối mặt?》

Lợi ích của side chain là:

• Side chains có thể sử dụng các công nghệ và giao thức khác nhau để tiến hành các thí nghiệm và đổi mới khác nhau mà không ảnh hưởng đến sự ổn định và an ninh của chuỗi chính.
• Side chains có thể giới thiệu các chức năng mà chuỗi chính không có, chẳng hạn như hợp đồng thông minh, bảo vệ quyền riêng tư, phát hành token, v.v., để làm phong phú hơn các kịch bản ứng dụng của hệ sinh thái blockchain.

Thách thức đối mặt với sidechains:

• Side chain có cơ chế đồng thuận độc lập, có thể không bảo mật như chuỗi chính BTC. Nếu cơ chế đồng thuận của side chain yếu hoặc có lỗ hổng, có thể dẫn đến tấn công 51% hoặc các hình thức tấn công khác, ảnh hưởng đến an ninh tài sản người dùng. An ninh của chuỗi chính BTC dựa trên sức mạnh tính toán lớn và phân phối nút rộng, trong khi side chain có thể không đáp ứng cùng tiêu chuẩn bảo mật.
• Việc triển khai cơ chế neo hai chiều yêu cầu thuật toán mã hóa và giao thức phức tạp. Nếu có lỗ hổng trong chúng, có thể gây ra vấn đề với việc chuyển tài sản giữa chuỗi chính và chuỗi phụ, và thậm chí có thể dẫn đến mất mát hoặc mất cắp tài sản.
• Để tìm sự cân bằng giữa tốc độ và an ninh, hầu hết các sidechain. Mức độ tập trung cao hơn so với chuỗi chính.

Layer2 là một hệ thống blockchain hoàn chỉnh, do đó các mục kiểm tra chung của chuỗi công cộng cũng áp dụng cho chuỗi phụ. Để biết thêm chi tiết, xem phụ lục ở cuối bài viết này.

Ngoài ra,Do tính chất đặc biệt của nó, sidechains cũng yêu cầu một số kiểm toán bổ sung:

• Bảo mật giao thức đồng thuận: Xem xét xem giao thức đồng thuận của chuỗi bên (như PoW, PoS, DPoS) đã được xác minh và kiểm tra đầy đủ chưa, và xem có các lỗ hổng tiềm ẩn hoặc vector tấn công, như tấn công 51%, tấn công xa, vv.
• Bảo mật nút đồng thuận: Đánh giá bảo mật của các nút đồng thuận, bao gồm quản lý khóa, bảo vệ nút và sao lưu dự phòng dư thừa, để ngăn chặn việc xâm nhập hoặc lạm dụng các nút.
• Khóa tài sản và phát hành: Xem xét cơ chế gắn kết hai chiều của tài sản giữa chuỗi phụ và chuỗi chính để đảm bảo rằng hợp đồng thông minh cho việc khóa và phát hành tài sản là an toàn và đáng tin cậy, ngăn chặn chi tiêu gấp đôi, mất tài sản hoặc khóa tài sản thất bại.
• Xác minh đa chuỗi: Kiểm tra độ chính xác và an toàn của việc xác minh đa chuỗi, đảm bảo rằng quá trình xác minh là phi tập trung và không thể thay đổi, và ngăn chặn việc xác minh thất bại hoặc xác minh độc hại.
• Kiểm tra mã hợp đồng: Kiểm tra chi tiết tất cả các hợp đồng thông minh đang chạy trên side chain để phát hiện các lỗ hổng hoặc cửa sau có thể xảy ra, đặc biệt là logic hợp đồng khi xử lý các hoạt động qua chuỗi.
• Cơ chế nâng cấp: Kiểm tra xem cơ chế nâng cấp của hợp đồng thông minh có an toàn không và có quy trình kiểm toán và đồng thuận cộng đồng phù hợp để ngăn chặn việc nâng cấp độc hại hoặc làm gián đoạn hợp đồng.
• Giao tiếp giữa các nút: Kiểm tra xem giao thức truyền thông giữa các nút mạng phụ có an toàn hay không và xem liệu có sử dụng kênh được mã hóa để ngăn chặn tấn công từ giữa hoặc rò rỉ dữ liệu hay không.
• Giao tiếp qua chuỗi: Kiểm tra kênh giao tiếp giữa chuỗi phụ và chuỗi chính để đảm bảo tính toàn vẹn và xác thực của dữ liệu và ngăn chặn việc giao tiếp bị chiếm đoạt hoặc làm giả.
• Điểm đánh dấu thời gian và thời gian khối: Xác minh cơ chế đồng bộ hóa thời gian của chuỗi bên để đảm bảo tính nhất quán và độ chính xác của thời gian tạo khối và ngăn chặn các cuộc tấn công hoặc cuộc quay lại khối do sự khác biệt về thời gian.
• Bảo mật quản trị trên chuỗi: Xem xét cơ chế quản trị của chuỗi phụ để đảm bảo tính minh bạch và an toàn của quá trình bỏ phiếu, đề xuất và ra quyết định, và ngăn chặn sự kiểm soát hoặc tấn công độc hại.
• Kiểm định kinh tế Token: Kiểm tra mô hình kinh tế của chuỗi phụ bao gồm phân bổ token, cơ chế khuyến khích và mô hình lạm phát, để đảm bảo rằng các động cơ kinh tế sẽ không dẫn đến hành vi độc hại hoặc không ổn định của hệ thống.
• Cơ chế phí: Kiểm tra cơ chế phí giao dịch của chuỗi phụ để đảm bảo rằng nó phù hợp với nhu cầu của người dùng chuỗi chính và chuỗi phụ để ngăn chặn việc thao tác phí hoặc tắc nghẽn mạng.
• Bảo mật tài sản: Kiểm tra cơ chế quản lý tài sản trên chuỗi để đảm bảo quá trình lưu trữ, chuyển nhượng và phá hủy tài sản an toàn và đáng tin cậy, không có nguy cơ truy cập trái phép hay mất cắp.
• Quản lý khóa: Kiểm tra chính sách quản lý khóa của chuỗi bên để đảm bảo an ninh và kiểm soát truy cập của khóa riêng tư và ngăn chặn khóa bị rò rỉ hoặc bị mất.

Rollup

Rollup là một giải pháp tăng cường lớp 2 được thiết kế để cải thiện khả năng xử lý và hiệu quả giao dịch của blockchain. Nó giảm đáng kể gánh nặng trên chuỗi chính bằng cách đóng gói ("Rollup") một số lượng lớn giao dịch và xử lý chúng ngoài chuỗi, chỉ gửi kết quả cuối cùng đến chuỗi chính.

Rollup chủ yếu được chia thành zk-Rollup và op-Rollup. Tuy nhiên, khác với ETH, do tính không hoàn chỉnh của BTC, không thể sử dụng hợp đồng trên BTC để xác minh chứng thư không hiển thị. Các giải pháp zk-Rollup truyền thống không thể được triển khai trên BTC. Vậy làm thế nào để triển khai BTC Layer2 bằng zk-Rollup? Tiếp theo, lấy dự án B² Network làm ví dụ:

Để hoàn tất việc xác minh bằng chứng không biết về BTC, B² Network đã tạo ra kịch bản Taproot, kết hợp việc xác minh bằng chứng không biết về zk-Rollup và thách thức khuyến khích của op-Rollup. Cơ chế hoạt động của nó được mô tả như sau:

1. Mạng B² đầu tiên cuộn tất cả các giao dịch được khởi xướng bởi người dùng.

2. Sau khi sử dụng bộ sắp xếp để sắp xếp các giao dịch Rollup, lưu trữ các giao dịch Rollup bằng lưu trữ phi tập trung và giao chúng cho zkEVM để xử lý đồng thời.

3. Sau khi zkEVM đồng bộ trạng thái chuỗi BTC, nó xử lý các giao dịch như thực hiện hợp đồng, hợp nhất và đóng gói kết quả, sau đó gửi chúng đến bộ tổng hợp.

4. Prover tạo ra một bằng chứng không có kiến thức và gửi nó đến trình tổng hợp. Trình tổng hợp tổng hợp các giao dịch và gửi bằng chứng đến các nút B².

5. B² Nodes thực hiện xác minh chứng minh không thông tin và tạo các kịch bản Taproot dựa trên dữ liệu Rollup trong lưu trữ phi tập trung.

6. Taproot là một UTXO với giá trị là 1 satoshi. B² Inscription trong cấu trúc dữ liệu của nó lưu trữ tất cả dữ liệu Rollup, và Tapleaf lưu trữ tất cả dữ liệu xác minh. Sau khi vượt qua cơ chế thách thức động viên, nó sẽ được gửi đến BTC như một cam kết được xác minh dựa trên chứng minh zk.

Lợi ích của Rollup là:

• RollupKế thừa các tính năng bảo mật và phân quyền của chuỗi chính. Bằng cách thường xuyên gửi dữ liệu và trạng thái giao dịch đến chuỗi chính, tính toàn vẹn và minh bạch của dữ liệu được đảm bảo.
• Rollup có thể được tích hợp một cách liền mạch vào các mạng blockchain hiện có như Ethereum, cho phép các nhà phát triển dễ dàng tận dụng những lợi ích mà nó mang lại mà không cần sửa đổi đáng kể các hợp đồng thông minh và ứng dụng hiện có.
• Bằng cách xử lý một số lượng lớn các giao dịch ngoài chuỗi và đóng gói chúng thành một lô để gửi đến chuỗi chính, Rollup cải thiện đáng kể khả năng xử lý giao dịch và tăng đáng kể số lượng giao dịch mỗi giây (TPS).
• Các giao dịch Rollup chỉ cần được xử lý ngoài chuỗi, điều này giảm thiểu đáng kể tài nguyên tính toán và không gian lưu trữ cần thiết cho các giao dịch trên chuỗi, do đó giảm thiểu đáng kể phí giao dịch của người dùng.

Thách thức mà Rollup đối mặt：

• Nếu dữ liệu ngoại chuỗi không khả dụng, người dùng có thể không thể xác minh các giao dịch và khôi phục trạng thái.
• Các giao dịch Rollup cần được xử lý theo từng lô và cuối cùng được gửi đến chuỗi chính, điều này có thể dẫn đến thời gian thanh toán kéo dài hơn. Đặc biệt trong op-Rollup, có một giai đoạn tranh chấp và người dùng có thể phải chờ đợi lâu trước khi giao dịch cuối cùng được xác nhận.
• Mặc dù ZK Rollup cung cấp tính an toàn cao và xác nhận ngay lập tức, nhưng yêu cầu tính toán và lưu trữ của nó lại rất cao, và việc tạo ra chứng minh không biết thông tin yêu cầu một lượng lớn tài nguyên tính toán.

Vì giải pháp được áp dụng là Rollup, các mục kiểm tra bảo mật chính của nó về cơ bản giống như của ETH Layer2.

Khác (Babylon)

Ngoài BTC Layer2 truyền thống, gần đây còn có một số giao thức bên thứ ba liên quan đến hệ sinh thái BTC theo khái niệm mới, như Babylon:

Mục tiêu của Babylon là chuyển đổi 21 triệu BTC thành tài sản đặt cược phi tập trung. Không giống như các Lớp 2 khác của BTC, Babylon không mở rộng chuỗi BTC. Đó là một chuỗi duy nhất, với một giao protocal cầm cố BTC đặc biệt. Mục đích chính là kết nối với chuỗi PoS. Cầm cố BTC để cung cấp bảo mật mạnh mẽ hơn cho chuỗi PoS và giải quyết vấn đề rủi ro từ phía cuối chuỗi và câu hỏi tập trung.

Kiến trúc được chia thành ba tầng:

Lớp Bitcoin: Đây là nền tảng vững chắc của Babylon, tận dụng tính bảo mật nổi tiếng của Bitcoin để đảm bảo tất cả giao dịch đều siêu an toàn, giống như trên mạng lưới Bitcoin.

Lớp Babylonian: Nằm ở trung tâm của Babylon là lớp Babylon, một blockchain tùy chỉnh kết nối Bitcoin với các chuỗi Proof-of-Stake (PoS) khác nhau. Nó xử lý giao dịch, chạy hợp đồng thông minh và đảm bảo mọi thứ diễn ra một cách suôn sẻ trong toàn hệ sinh thái.

Lớp chuỗi PoS: Lớp trên cùng được tạo thành từ nhiều chuỗi PoS, mỗi chuỗi PoS được chọn lựa vì những ưu điểm độc đáo của nó. Điều này mang lại sự mở rộng và linh hoạt tuyệt vời cho BabylonChain, cho phép người dùng tận hưởng những tính năng tốt nhất của các chuỗi khối PoS khác nhau.

Cách hoạt động là bảo vệ chuỗi PoS bằng cách sử dụng các khối cuối cùng được ký trên chuỗi BTC. Điều này về cơ bản mở rộng giao thức cơ sở với các vòng ký ký hiệu bổ sung. Các chữ ký trong vòng +1 cuối cùng có một đặc điểm duy nhất: chúng là Chữ ký Một Lần Có Thể Trích Xuất (EOTS). Mục đích là tích hợp các điểm kiểm tra PoS vào BTC để giải quyết vấn đề chu kỳ mở lại dài và vấn đề tấn công từ xa của PoS.

Lợi ích của Babylon là:

• Làm cho thời gian giải trừ của PoS nhanh hơn
• Vì BTC được cam kết, giá liên kết với BTC, điều này có thể giảm áp lực lạm phát lên mạng PoS tương ứng.
• Mở ra những cánh đồng mới để kiếm BTC

Thách thức đối mặt với Babylon:

• Thiết kế kinh tế như tỷ lệ lợi nhuận từ việc staking có ảnh hưởng lớn đến sự nhiệt tình của việc staking BTC
• Thiếu các điều khoản về tính nhất quán của phần thưởng giữa các chuỗi PoS

Các giao thức bên thứ ba có các điểm bảo mật khác nhau tùy thuộc vào cách triển khai của họ. Lấy Babylon làm ví dụ, một số mục kiểm tra an ninh cần chú ý như sau:：

1. Bảo mật hợp đồng thông minh: Hợp đồng cam kết trên BTC được thực hiện thông qua UTXO script và cần chú ý đến bảo mật của nó.

2. Bảo mật thuật toán chữ ký: Chữ ký được sử dụng trong hợp đồng để quản lý cam kết của người dùng, và tính bảo mật của thuật toán liên quan đến việc tạo và xác minh chữ ký.

3. Thiết kế mô hình kinh tế giao thức: Dù mô hình kinh tế của giao thức có được thiết lập một cách hợp lý về phần thưởng và phạt, và liệu nó có dẫn đến mất mát tài sản của người dùng hay không.

Phụ lục:

Các mục kiểm tra chung cho chuỗi công khai & Layer2

• Tràn số: Kiểm tra tràn số và tràn dưới số nguyên
• Vòng lặp vô hạn: Kiểm tra xem điều kiện đánh giá vòng lặp của chương trình có hợp lý không
• Cuộc gọi đệ quy vô hạn: Kiểm tra xem điều kiện thoát của cuộc gọi đệ quy của chương trình có hợp lý không
• Ràng buộc đua: Kiểm tra các hoạt động truy cập vào tài nguyên chia sẻ trong điều kiện đồng thời
• Sự cố bất thường: Hãy kiểm tra mã ném ngoại lệ cho phép chương trình thoát hoạt động.
• Lỗ hổng chia cho 0: Kiểm tra xem có chia cho 0 không
• Chuyển đổi loại: Kiểm tra xem chuyển đổi loại có chính xác không và liệu thông tin quan trọng có bị mất trong quá trình chuyển đổi hay không
• Mảng vượt quá giới hạn: Kiểm tra xem có truy cập vào một phần tử vượt quá giới hạn của mảng hay không
• Lỗ hổng giải mã ngược: kiểm tra xem có bất kỳ vấn đề nào xảy ra trong quá trình giải mã ngược không
• Bảo mật triển khai chức năng: Kiểm tra xem có rủi ro bảo mật nào trong việc triển khai giao diện RPC và xem nó có phù hợp với chức năng giao diện RPC không.
• Có thể được thiết kế để phù hợp
• Xem xét xem cài đặt quyền giao diện RPC nhạy cảm có hợp lý không: Kiểm tra cài đặt quyền truy cập của giao diện RPC nhạy cảm
• Cơ chế truyền được mã hóa: Kiểm tra xem giao thức truyền được mã hóa có được sử dụng hay không, chẳng hạn như TLS, v.v.
• Yêu cầu phân tích cú pháp định dạng dữ liệu: Kiểm tra quy trình phân tích cú pháp định dạng của dữ liệu yêu cầu
• Tấn công mở khóa ví: Khi một node mở khóa ví của nó, nó được yêu cầu bằng RPC để đánh cắp tiền.
• Bảo mật truyền thống của Web: Kiểm tra các lỗ hổng sau: Cross-site scripting (XSS) / Template injection
• Lỗ hổng thành phần của bên thứ ba / Ô nhiễm tham số HTTP / SQL injection / XXE entity injection deserialization
• lỗ hổng / lỗ hổng SSRF / tiêm mã / bao gồm tập tin cục bộ / bao gồm tập tin từ xa / tiêm lệnh thực thi và các lỗ hổng truyền thống khác
• Cơ chế xác thực và nhận diện danh tính nút mạng: Kiểm tra xem có cơ chế xác định nút và cơ chế xác định nút có thể được bỏ qua không.
• Ô nhiễm bảng định tuyến: Kiểm tra xem bảng định tuyến có thể bị chèn ngẫu nhiên hoặc ghi đè dữ liệu không
• Thuật toán phát hiện nút: Kiểm tra xem thuật toán phát hiện nút có cân đối và không thể đoán trước, chẳng hạn như thuật toán khoảng cách không cân đối và các vấn đề khác
• Kiểm tra kiểm toán quy mô số lượng kết nối: Kiểm tra xem giới hạn và quản lý số lượng nút kết nối mạng p2p có hợp lý không
• Tấn công Eclipse: Đánh giá chi phí và tác hại của một cuộc tấn công nhật thực và cung cấp phân tích định lượng nếu cần thiết
• Tấn công Sybil: Đánh giá cơ chế đồng thuận bỏ phiếu và phân tích chiến lược kiểm tra đủ điều kiện bỏ phiếu
• Tấn công nghe trộm: Kiểm tra các giao thức truyền thông để phát hiện rò rỉ thông tin riêng tư
• Cuộc tấn công của người ngoài hành tinh: Đánh giá xem node có thể nhận biết các node chuỗi tương tự không
• Đánh cắp thời gian: Kiểm tra cơ chế tính toán thời gian mạng của một nút
• Tấn công kiệt sức bộ nhớ: Kiểm tra các địa điểm tiêu thụ bộ nhớ lớn
• Tấn công Kiến đúc ổ cứng: Kiểm tra nơi lưu trữ các tệp lớn
• Tấn công áp lực ổ cắm: kiểm tra chính sách giới hạn về số lượng kết nối
• Tấn công kiệt quệ cánh cổng nhân cấu: Kiểm tra giới hạn của việc tạo cánh cổng nhân, chẳng hạn như cánh cổng tệp, v.v.
• Rò rỉ bộ nhớ liên tục: Kiểm tra rò rỉ bộ nhớ
• Bảo mật thuật toán băm: Kiểm tra khả năng chống va chạm của một thuật toán băm
• Bảo mật thuật toán chữ ký số: Kiểm tra bảo mật của thuật toán chữ ký và bảo mật của việc triển khai thuật toán
• Bảo mật thuật toán mã hóa: Kiểm tra bảo mật thuật toán mã hóa, bảo mật triển khai thuật toán
• Bảo mật trình tạo số ngẫu nhiên: Kiểm tra xem các thuật toán tạo số ngẫu nhiên quan trọng có an toàn hay không
• Bảo mật triển khai BFT: Đánh giá tính bảo mật thực hiện của thuật toán BFT
• Quy tắc lựa chọn nhánh: Kiểm tra quy tắc lựa chọn nhánh để đảm bảo an toàn
• Phát hiện tập trung: xác định xem có sự tập trung quá mức trong thiết kế hệ thống hay không
• Kiểm toán khuyến khích: Đánh giá tác động của các ưu đãi đối với bảo mật
• Tấn công double-spending: Kiểm tra xem sự nhất quán có thể chống lại tấn công double-spending hay không
• Đánh giá cuộc tấn công MEV: Kiểm tra tác động của MEV của các nút đóng gói khối đến sự công bằng của chuỗi
• Kiểm tra quá trình đồng bộ hóa khối: Kiểm tra các vấn đề bảo mật trong quá trình đồng bộ hóa
• Kiểm tra quá trình phân tích định dạng khối: Kiểm tra các vấn đề bảo mật trong quá trình phân tích định dạng, như lỗi phân tích dẫn đến sự cố
• Kiểm tra quá trình tạo khối: Kiểm tra các vấn đề bảo mật trong quá trình tạo khối, bao gồm việc xác định xem phương pháp xây dựng gốc cây Merkle có hợp lý không
• Kiểm tra quá trình xác minh khối: Kiểm tra xem các mục nội dung chữ ký khối và logic xác minh có đủ không
• Kiểm tra logic xác nhận khối: Kiểm tra xem thuật toán xác nhận khối và việc triển khai có hợp lý không
• Xung đột khối hash: Kiểm tra phương pháp xây dựng xung đột khối hash và xem xét xử lý xung đột có hợp lý hay không.
• Giới hạn tài nguyên xử lý khối: Kiểm tra xem các giới hạn tài nguyên như hồ bơi khối mồ côi, tính toán xác minh, địa chỉ ổ cứng, v.v. có hợp lý không.
• Quá trình kiểm định đồng bộ giao dịch: Kiểm tra các vấn đề bảo mật trong quá trình đồng bộ hóa
• Xung đột băm giao dịch: Kiểm tra phương pháp xây dựng xung đột băm giao dịch và xử lý xung đột
• Phân tích định dạng giao dịch: Kiểm tra các vấn đề bảo mật trong quá trình phân tích định dạng, như lỗi phân tích dẫn đến sự cố
• Xác minh tính hợp pháp của giao dịch: Kiểm tra xem mỗi loại nội dung chữ ký giao dịch và logic xác minh có đủ không
• Giới hạn tài nguyên xử lý giao dịch: Kiểm tra xem các giới hạn tài nguyên như nhóm giao dịch, tính toán xác minh, địa chỉ đĩa cứng, v.v. có hợp lý hay không.
• Tấn công tính linh hoạt của giao dịch: Giao dịch có thể thay đổi các trường nội bộ (chẳng hạn như ScriptSig) để thay đổi hàm băm giao dịch mà không ảnh hưởng đến tính hợp lệ của giao dịch không?
• Kiểm toán tấn công phát lại giao dịch: Kiểm tra hệ thống phát hiện phát lại giao dịch
• Xác minh bytecode hợp đồng: Kiểm tra các vấn đề bảo mật của quá trình xác minh máy ảo của hợp đồng, như tràn số nguyên, vòng lặp vô hạn, v.v.
• Thực thi bytecode hợp đồng: Kiểm tra các vấn đề bảo mật trong quá trình thực thi bytecode của máy ảo, chẳng hạn như tràn số nguyên, vòng lặp vô hạn, v.v.
• Mô hình Gas: Kiểm tra xem phí xử lý tương ứng với mỗi hoạt động nguyên tử của xử lý giao dịch/thực thi hợp đồng có tỷ lệ với tiêu thụ tài nguyên hay không
• Tính toàn vẹn của đăng nhập: Kiểm tra xem thông tin chính của khóa đã được đăng nhập hay chưa
• Bảo mật của bản ghi nhật ký: Kiểm tra xem có vấn đề bảo mật nào gây ra do xử lý không đúng trong quá trình xử lý nhật ký, như tràn số nguyên, v.v.
• Nhật ký chứa thông tin riêng tư: Kiểm tra xem nhật ký có chứa thông tin riêng tư như các khóa không
• Lưu trữ nhật ký: Kiểm tra xem nhật ký ghi lại quá nhiều nội dung, gây tiêu thụ tài nguyên của nút không?
• Bảo mật chuỗi cung ứng mã nguồn nút: Kiểm tra các vấn đề đã biết của tất cả các thư viện bên thứ ba, thành phần và phiên bản tương ứng của khung công cộng chuỗi.

Beosin là một trong những công ty bảo mật blockchain đầu tiên trên thế giới tham gia vào xác minh chính thức. Tập trung vào việc kinh doanh sinh thái đầy đủ 'an ninh + tuân thủ', công ty đã thành lập chi nhánh tại hơn 10 quốc gia và vùng lãnh thổ trên toàn thế giới. Hoạt động kinh doanh của Beosin bao gồm kiểm định an ninh mã nguồn trước khi dự án được triển khai, giám sát và chặn rủi ro an ninh trong quá trình hoạt động dự án, phục hồi đánh cắp, cung cấp dịch vụ đầy đủ tuân thủ chuẩn blockchain + an ninh như chống rửa tiền (AML) và đánh giá tuân thủ theo yêu cầu quy định địa phương. Các bên dự án cần kiểm định đều được hoan nghênh liên hệ với đội an ninh của Beosin.

Miễn trách nhiệm:

1. Bài viết này được tái bản từ [Beosin]. Tất cả bản quyền thuộc về tác giả gốc [Beosin]. Nếu có ý kiến phản đối bản in lại này, vui lòng liên hệ với Gate Học và họ sẽ xử lý kịp thời.
2. Tuyên bố từ chối trách nhiệm: Các quan điểm và ý kiến được trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết dịch là bị cấm.