Khi đợt giảm một nửa Bitcoin đến gần, sự chú ý ngày càng tăng về cách cải thiện việc sử dụng vốn của $BTC và việc phát triển lớp thứ hai của Bitcoin đã trở thành trọng tâm. Trong bối cảnh đó, Merlin Chain nhanh chóng nổi lên, với TVL vượt 3,5 tỷ USD chỉ trong vòng một tháng kể từ khi bắt đầu hoạt động đặt cược. Trong tháng này, Merlin Chain đã ra mắt M-Token. Với việc thanh khoản dần dần được giải phóng, mức độ phổ biến của thị trường tiếp tục tăng lên và thiết kế kỹ thuật của nó đã thu hút nhiều sự chú ý.

Dựa trên ZK-Rollup, Merlin Chain giới thiệu mạng Oracle phi tập trung và sử dụng Celestia làm lớp DA. Kiến trúc kỹ thuật này mang lại cho Merlin Chain hiệu suất mạnh mẽ đồng thời cung cấp hỗ trợ nâng cao cho mạng Bitcoin.

Trong bài viết này, chúng ta sẽ đi sâu vào các tính năng kỹ thuật và cải tiến của Merlin Chain.

ZK-Rollup có khả năng mở rộng cao

Merlin Chain đã đề xuất một giải pháp dựa trên bằng chứng không kiến ​​thức tổng hợp của Taproot và ghi dữ liệu Rollup vào mạng chính Bitcoin, hiện thực hóa ZK-Rollup có khả năng mở rộng cao và giải quyết tính không hoàn chỉnh Turing của mạng Bitcoin.

Mạng tổng hợp và nén dữ liệu giao dịch thành các đợt, sau đó gửi chúng tới Taproot trên mạng chính Bitcoin thông qua bằng chứng không có kiến ​​thức. Các thành phần quan trọng bao gồm các nút, zkProver và cơ sở dữ liệu. Cả ba phối hợp với nhau để hoàn thành việc trao đổi và lưu trữ dữ liệu nhằm đảm bảo tiến trình xử lý và xác minh giao dịch diễn ra suôn sẻ:

Nút: chịu trách nhiệm xử lý và truyền dữ liệu giao dịch, cũng như tương tác với zkProver và cơ sở dữ liệu

• Gửi nội dung của Merkle Tree tới cơ sở dữ liệu và lưu trữ ở đó

• Gửi giao dịch đầu vào tới zkProver để xử lý

• Tương tác với zkProver để đảm bảo tính hợp lệ và chính xác của giao dịch

zkProver: Sử dụng công nghệ SNARK để tạo bằng chứng không có kiến ​​thức nhằm chứng minh tính hợp lệ và chính xác của các giao dịch

• Chứa 13 loại máy trạng thái, được chia thành máy trạng thái chính và máy trạng thái phụ (như BinarySM, StorageSM, MemorySM, ArithmeticSM, v.v.)

• Thực hiện các phép tính toán học phức tạp, sử dụng PIL (Ngôn ngữ nhận dạng đa thức) để mô tả các chuyển đổi trạng thái và các ràng buộc trong quá trình thực hiện giao dịch, chuyển đổi chúng thành các ràng buộc đa thức hoặc nhận dạng đa thức và xác minh chúng trên hợp đồng thông minh

• Tương tác với các nút và cơ sở dữ liệu để thu thập thông tin nhằm tạo ra bằng chứng giao dịch có thể xác minh được, bao gồm thông tin như Merkle Root, khóa anh em liên quan và hàm băm

• Gửi bằng chứng giao dịch đã tạo trở lại nút để nút có thể xác minh thêm và ghi lại nó nhằm đảm bảo tính hợp pháp và bảo mật của giao dịch.

Cơ sở dữ liệu: dùng để lưu trữ các dữ liệu quan trọng, chẳng hạn như nội dung của Merkle Tree và thông tin giao dịch

• Nhận và lưu trữ nội dung của Cây Merkle do nút gửi

• Cung cấp cho zkProver thông tin cần thiết để tạo bằng chứng giao dịch

Mô hình này mang lại nhiều lợi ích cho Merlin:

• Bảo mật: Kế thừa tính bảo mật của Bitcoin, cung cấp khả năng mở rộng xử lý hàng loạt L2 và đảm bảo rằng dữ liệu được neo trong Bitcoin và không thể bị giả mạo.

• Khả năng tương thích EVM: Hỗ trợ các hợp đồng và công cụ thông minh hiện có để đảm bảo khả năng tương tác

• Chi phí thấp: Sử dụng công nghệ ZK proof và zkSNARK để giảm mức tiêu thụ không gian L1 và tối ưu hóa chi phí giao dịch

• Hiệu suất cao: đảm bảo tính cuối cùng nhanh chóng của các giao dịch thông qua các bằng chứng hiệu lực thường xuyên và STARK đệ quy để đạt được khả năng mở rộng nhằm đáp ứng nhu cầu đồng thời cao và nhu cầu của người dùng quy mô lớn

Mạng Oracle phi tập trung

Merlin Chain sử dụng mạng Oracle phân tán. Các nút trình tự chịu trách nhiệm thu thập và xử lý hàng loạt giao dịch, tạo ra dữ liệu giao dịch nén, gốc trạng thái ZK và bằng chứng. Dữ liệu này được Biên soạn bởi Mạch thực thi mạng Oracle và tải lên Taproot trên mạng chính Bitcoin, giúp toàn bộ mạng có thể truy cập công khai dữ liệu này. Cơ chế cụ thể như sau:

• Sử dụng các cơ chế ngăn chặn gian lận được thiết kế đặc biệt cho ZK Proofs để cung cấp xác nhận cuối cùng về Bitcoin

• Tất cả dữ liệu gốc được lưu trữ trong mạng Oracle và trạng thái gốc tương ứng được lưu trữ trong mạng Bitcoin

• Người dùng có thể truy xuất tất cả các giao dịch tổng hợp trên Merlin Chain bất cứ lúc nào

• Người dùng có thể sử dụng ZK để chứng minh tính chính xác và hợp lệ của dữ liệu mà không làm lộ nội dung dữ liệu cụ thể.

Bằng cách phân cấp quyền lực và dữ liệu, Merlin Chain chống lại rủi ro từ các điểm thất bại và tập trung hóa duy nhất. Đồng thời, hệ thống sử dụng công nghệ đa chữ ký và kho lạnh đảm bảo an toàn cho tài sản cầm cố. Tất cả quy trình đặt cược và phân phối phần thưởng đều công khai và minh bạch, đồng thời người dùng có thể kiểm tra trạng thái đặt cược cũng như lợi nhuận dự kiến ​​của mình bất kỳ lúc nào.

Thiết kế đặt cược nút như sau:

• Tài sản đa dạng: Hỗ trợ cam kết $BTC, $MERL và các tài sản BRC 20 chính thống khác, cải thiện tính linh hoạt và khả năng chống rủi ro.

• Quản lý hợp đồng thông minh: Tất cả việc đặt cược đại lý và phân phối phần thưởng sẽ được thực hiện tự động thông qua hợp đồng thông minh để đảm bảo tính công bằng và không giả mạo của quy trình

• Giám sát thời gian thực: Người dùng có thể xem trạng thái cam kết đại lý và thu nhập của họ trong thời gian thực, cũng như hồ sơ hiệu suất của các nút đại lý

• Cơ chế thoát: Hệ thống cung cấp cơ chế thoát linh hoạt, người dùng có thể rút tài sản của mình bất cứ lúc nào để đảm bảo tính thanh khoản của tiền.

Tính khả dụng của dữ liệu

Merlin Chain sử dụng Celestia làm lớp sẵn có của dữ liệu để đảm bảo việc phát hành dữ liệu khối có thể kiểm chứng được và nâng cao tính minh bạch cũng như độ tin cậy của mạng:

• Celestia cung cấp các đảm bảo về tính sẵn có của dữ liệu công khai, cho phép mọi người xem và lưu trữ trạng thái của Chuỗi Merlin

• Các bản tổng hợp và ứng dụng chịu trách nhiệm lưu trữ dữ liệu lịch sử sau khi dữ liệu đó được xuất bản trên Celestia và được xác nhận là có sẵn

• Khi một nút nhận được một khối mới, nó sẽ xác minh tính sẵn có của dữ liệu để đảm bảo rằng dữ liệu trong mạng là đầy đủ và nhất quán.

Cơ chế gửi hai bước bằng chứng không có kiến ​​thức

Merlin Chain sẽ áp dụng cơ chế gửi hai bước bằng chứng không kiến ​​thức (ZKP) do Lumoz đề xuất trong tương lai để đạt được PoW phi tập trung:

Gửi hàm băm

• Các nhà cung cấp để tạo ZKP cho một chuỗi cụ thể trước tiên cần tính toán hàm băm của (bằng chứng/địa chỉ) và gửi hàm băm đó cùng với địa chỉ của họ tới hợp đồng thông minh cấp chuỗi

• bằng chứng đại diện cho ZKP của chuỗi và địa chỉ xác định danh tính của người chứng minh

• Việc gửi hàm băm của người chứng minh ban đầu không bị hạn chế và sẽ được xử lý và chấp nhận trong các khối T+ 10 tiếp theo; sau khối thứ 11 T+, người chứng minh mới sẽ không được phép gửi các giá trị băm bổ sung.

Gửi ZKP

• Sau khối T+11, bất kỳ người chứng minh nào cũng có thể gửi ZKP hoàn chỉnh

• ZKP đã được xác minh có thể được sử dụng để xác minh tất cả các giá trị băm đã gửi trước đó

• Người chứng minh sẽ nhận được phần thưởng PoW dựa trên tỷ lệ cổ phần

Cơ chế này có thể thúc đẩy các thợ đào luôn trực tuyến một cách hiệu quả, đảm bảo môi trường điện toán ổn định và nâng cao hơn nữa tính bảo mật và độ tin cậy của mạng:

• Ngăn chặn các cuộc tấn công đua xe: Ngăn chặn các tác nhân độc hại cố gắng can thiệp hoặc làm gián đoạn hoạt động bình thường của hệ thống bằng cách nhanh chóng gửi số lượng lớn bằng chứng

• Khuyến khích sự tham gia ổn định: khuyến khích các thợ mỏ cung cấp sức mạnh tính toán ZKP ổn định và liên tục thông qua các phần thưởng, nâng cao tính bảo mật và độ tin cậy của mạng

• Đảm bảo hiệu quả hệ thống: đảm bảo hiệu suất và tính công bằng, tránh lãng phí tài nguyên và tắc nghẽn mạng, đồng thời cải thiện hiệu suất và tính ổn định chung của hệ thống

Bằng chứng gian lận dựa trên Bitcoin

Merlin Chain sẽ giới thiệu một cơ chế chống gian lận trong tương lai để đảm bảo hơn nữa tính toàn vẹn và bảo mật của dữ liệu.

Cơ chế này bao gồm 2 vai trò Prover và Verifier, lộ trình triển khai cụ thể như sau:

• Người chứng minh và người xác minh ký trước một loạt giao dịch để đảm bảo rằng cơ chế phản hồi thử thách có thể được kích hoạt giữa họ

• Proverr chuyển đổi chương trình cần xác minh thành mạch nhị phân chứa nhiều cổng logic NAND để đảm bảo tính toàn vẹn và chính xác của dữ liệu

• Mỗi cổng logic có một tập lệnh lá xác định và mô tả hoạt động cũng như chức năng của cổng logic đó

• Người chứng minh đặt tập lệnh lá của mỗi cổng logic trong mạch nhị phân lớn này vào Cây Merkle và gửi Root Merkle đến địa chỉ Taproot

• Người xác minh trích xuất Merkle Root từ địa chỉ Taproot này và xác minh tính hợp lệ của nó

• Nếu người xác minh nghi ngờ rằng có vấn đề với Merkle Root do người chứng minh gửi, chẳng hạn như dữ liệu không chính xác hoặc hành vi gian lận, thì cơ chế phản hồi thử thách có thể được kích hoạt để thách thức người chứng minh và yêu cầu họ cung cấp tập lệnh lá tương ứng hoặc bằng chứng khác để chứng minh Căn nguyên Merkle.

• Người chứng minh cần cung cấp bằng chứng tương ứng theo thử thách để chứng minh rằng Merkle Root mà họ gửi là đúng.

• Người xác minh sẽ xác minh các bằng chứng này để đảm bảo tính chính xác của bằng chứng và tính toàn vẹn của dữ liệu

Khi đợt giảm một nửa Bitcoin đang đến gần, thị trường đặt nhiều kỳ vọng vào sự phát triển và đổi mới liên tục của Merlin Chain. Với tư cách là người dẫn đầu mạng lớp thứ hai của Bitcoin, Merlin Chain dự kiến ​​sẽ tiếp tục thúc đẩy sự phát triển và đổi mới, cung cấp cho người dùng và nhà phát triển các kịch bản ứng dụng và dịch vụ blockchain ổn định, an toàn và phong phú hơn.