Hôm nay chúng ta sẽ nói về chuỗi Merlin, một dự án Bitcoin ace cấp hai đã được ra mắt ngày hôm qua. Chúng tôi thực sự đã nói về các hoạt động đặt cược của nó trước đây, vì vậy những người bạn đã thực hiện nhiệm vụ ngày hôm qua cũng đã nhận được airdrop, vì nó vẫn rất bổ ích. . Bởi vì Merlin hiện có khối lượng TVL là 3 tỷ đô la Mỹ, vượt xa các dự án Bitcoin lớp 2 khác nên hôm nay chúng ta sẽ xem điểm mạnh kỹ thuật của Merlin ở đâu và mức giá nào phù hợp hơn?
Tổng quan
Chuỗi Merin là giải pháp Bitcoin lớp 2 được phát triển bởi nhóm đằng sau Bitmap Jech (trước đây là Recursiverse). Mạng ZK-Rollup tích hợp, mạng Oracle phi tập trung, tính khả dụng của dữ liệu và mô-đun chống gian lận BTC trên chuỗi. Merlin Chain cam kết trao quyền cho các tài sản, giao thức và sản phẩm gốc của Bitcoin thông qua mạng lớp thứ hai. Nó hỗ trợ nhiều giao thức Bitcoin khác nhau, chẳng hạn như BRC-20, BRC-420, Atomics, Pipe, v.v. Merin Chain cũng tương thích với EVM và hoạt động với mức phí thấp và khả năng mở rộng cao.
Merlin Chain sử dụng bằng chứng không có kiến thức được gửi tới Bitcoin để xác minh cam kết, cung cấp hỗ trợ nâng cao cho mạng Bitcoin. Nó cho phép những người thách thức đưa ra bằng chứng gian lận về các vấn đề gây tranh cãi, tận dụng cơ chế đồng thuận mạnh mẽ của Bitcoin để đảm bảo tính bảo mật của mạng Merlin Chain. Điều này đảm bảo môi trường mạng an toàn, thiết thực, toàn diện và tiết kiệm chi phí cho người dùng trong hệ sinh thái.
Ngành kiến trúc
Cơ sở hạ tầng của Merlin Chain được xây dựng trên công nghệ ZK của Polygon, cung cấp mạng Oracle phi tập trung thông qua Celestia để cung cấp dữ liệu và sức mạnh tính toán của nó được hỗ trợ bởi mạng sức mạnh điện toán ZK phi tập trung của Lumoz để tính toán bằng chứng không có kiến thức.
Merlin Chain cung cấp giải pháp mở rộng quy mô không có kiến thức (ZK) hàng đầu của Bitcoin, có những ưu điểm sau:
- Bảo mật: Kế thừa tính bảo mật của Bitcoin đồng thời cung cấp các lợi thế bổ sung về khả năng mở rộng hàng loạt L2.
- Khả năng tương thích EVM: hỗ trợ hầu hết các hợp đồng thông minh, công cụ dành cho nhà phát triển và ví hiện có, đảm bảo khả năng tương tác liền mạch.
- Chi phí thấp: Sử dụng ZK proof kết hợp với zkSNARK để giảm mức tiêu thụ không gian trong L1 và tối ưu hóa chi phí giao dịch cho người dùng.
- Hiệu suất cao: Tính xác định mạng nhanh thông qua các bằng chứng xác thực thường xuyên và khả năng mở rộng tối đa thông qua STARK đệ quy.
Tạo bằng chứng không có kiến thức và xác minh cam kết
ZK-L2 của Merlin Chain sử dụng công nghệ Polygon CDK và bằng chứng không có kiến thức được cung cấp bởi mạng điện toán ZK phi tập trung của Lumoz.
Tạo bằng chứng
Tương tự như các chuỗi CDK Polygon khác, chuỗi Merlin xử lý việc tạo bằng chứng và xác minh các giao dịch thông qua một thành phần có tên là zkProver, một trình tạo bằng chứng không có kiến thức. Tất cả các quy tắc cho các giao dịch hợp lệ được triển khai và thực thi trong zkProver.
zkProver thực hiện các phép tính toán học phức tạp dưới dạng đa thức và hợp ngữ, sau đó được xác minh trên hợp đồng thông minh. Những quy tắc này có thể được coi là những ràng buộc mà các giao dịch phải tuân theo để sửa đổi cây trạng thái hoặc cây thoát.
Tương tác với các nút và cơ sở dữ liệu (DB)
zkProver chủ yếu tương tác với hai thành phần là nút và cơ sở dữ liệu. Dưới đây là sơ đồ giải thích rõ ràng quá trình này.
Như được hiển thị trong biểu đồ ở trên, toàn bộ tương tác được chia thành bốn bước.
1 → Nút gửi nội dung của cây Merkle đến cơ sở dữ liệu và lưu trữ ở đó
2 → Sau đó, nút sẽ gửi giao dịch đầu vào tới zkProver
3 → zkProver truy cập cơ sở dữ liệu để lấy thông tin cần thiết cho bằng chứng có thể xác minh được về các giao dịch do nút gửi. Thông tin này bao gồm gốc Merkle, các khóa anh chị em liên quan và các hàm băm.
4 → Sau đó, zkProver tạo bằng chứng giao dịch và gửi những bằng chứng này trở lại nút.
máy trạng thái
zkProver áp dụng thiết kế mô-đun. Ngoài một số thành phần, nó chủ yếu bao gồm một nhóm máy trạng thái hữu hạn. Nó có tổng cộng 13 máy trạng thái hữu hạn.
máy trạng thái hữu hạn chính
Máy trạng thái hữu hạn phụ trợ → SM nhị phân, SM lưu trữ, SM bộ nhớ, SM số học, Hàm Keccak SM, PoseidonG SM
Máy trạng thái hữu hạn phụ trợ → Fill-PG SM, Fill-KK SM, Trường truyền bit SM, Căn chỉnh bộ nhớ SM, Byte4 SM, ROM SM
Do thiết kế mô-đun của zkProver, máy trạng thái hữu hạn chính có thể ủy thác nhiều nhiệm vụ nhất có thể cho các máy trạng thái hữu hạn chuyên dụng khác. Điều này cải thiện đáng kể hiệu quả của SM chính.
Máy trạng thái hữu hạn phụ trợ
Bộ chấp hành SM chính trực tiếp hướng dẫn từng máy trạng thái hữu hạn thứ cấp bằng cách gửi các hướng dẫn thích hợp (được gọi là "hành động"), như minh họa trong hình bên dưới.
Tổng hợp kiến thức không
Là một ngôn ngữ hợp ngữ, ngôn ngữ hợp ngữ không có kiến thức (hoặc zkASM) được thiết kế đặc biệt để ánh xạ các hướng dẫn trong máy trạng thái hữu hạn chính zkProver sang các máy trạng thái hữu hạn khác. Đối với các máy trạng thái hữu hạn có phần sụn, zkASM là trình thông dịch cho phần sụn.
Mã tập hợp đã chỉ định được tạo từ mã zkASM, sử dụng các hướng dẫn trong máy trạng thái hữu hạn chính để chỉ định cách người thực thi SM nhất định phải thực hiện các phép tính. Người thực thi tuân thủ nghiêm ngặt logic và quy ước của mã zkASM, giúp việc xác minh tính toán trở nên đơn giản.
ngôn ngữ nhận dạng đa thức
Ngôn ngữ nhận dạng đa thức (hoặc PIL) được thiết kế dành riêng cho zkProver. Hầu như tất cả các máy trạng thái hữu hạn đều sử dụng đa thức để biểu diễn các phép tính của chúng. Do đó, việc chuyển đổi trạng thái trong máy trạng thái hữu hạn phải thỏa mãn tính toán nhận dạng đa thức cụ thể.
Polygon zkEVM đang tạo ra giải pháp hiệu quả nhất cho ba câu hỏi hóc búa về quyền riêng tư, bảo mật và khả năng mở rộng trong blockchain. Nền tảng là một chương trình cam kết không có kiến thức hiệu quả. Cho đến nay, sơ đồ cam kết hiệu quả và đáng tin cậy nhất là sơ đồ cam kết đa thức.
Chứng minh tính đúng đắn của việc thực hiện
Máy trạng thái cuối cùng của zkProver được thiết kế để thực thi các chương trình và đảm bảo rằng các chương trình đó thực thi chính xác.
Do đó, mỗi máy trạng thái tốt phụ trợ chứa bộ thực thi riêng và chương trình PIL có thể được sử dụng để kiểm tra xem tất cả các lệnh được gửi bởi bộ thực thi SM chính có được thực thi chính xác hay không.
Các thành phần của zkProver bao gồm bốn phần sau.
-Actuator hoặc máy thực thi trạng thái hữu hạn chính
-STARK thành phần đệ quy
-Thư viện CIRCOM
-Zk-SNARK người chứng minh
Nói tóm lại, zkProver sử dụng bốn thành phần này để tạo ra bằng chứng có thể kiểm chứng được. Vì vậy, các ràng buộc mà mỗi lô đề xuất phải thỏa mãn là các ràng buộc đa thức hoặc đồng nhất thức đa thức. Tất cả các lô hợp lệ phải đáp ứng các ràng buộc đa thức nhất định.
Thiết bị truyền động
Người thực thi hoặc người thực thi máy trạng thái hữu hạn chính xử lý việc thực thi zkEVM. Đây là nơi ngôn ngữ tập hợp không có kiến thức mới (hoặc zkASM), được phát triển đặc biệt bởi nhóm Polygon zkEVM, được sử dụng để diễn giải mã byte EVM.
Nó lấy đầu vào; các giao dịch, trạng thái cũ và mới, ChainID của Sequencer, v.v. Bộ truyền động cũng cần
PIL, danh sách đa thức, danh sách thanh ghi và ROM, lưu trữ và thực thi danh sách lệnh
Cài đặt người thực thi phải đáp ứng các ràng buộc đa thức cho từng lô giao dịch hợp lệ. Một ngôn ngữ khác mà nhóm phát triển cụ thể, được gọi là Ngôn ngữ nhận dạng đa thức (hoặc PIL), được sử dụng để mã hóa tất cả các ràng buộc đa thức.
Người thực thi thực hiện tất cả các hướng dẫn trên phần cứng PIL và tạo ra đa thức đã cam kết; đây là vòng lặp máy trạng thái tốt hoặc danh sách tất cả các trạng thái. Nó cũng tạo ra một số dữ liệu phổ biến tạo thành một phần đầu vào cho trình xác thực zk-SNARK.
Mạng Oracle phi tập trung
Trong kiến trúc L2 của Merlin Chain, các nút tuần tự thu thập và xử lý các giao dịch theo lô, đồng thời tạo ra dữ liệu giao dịch nén, gốc trạng thái ZK và bằng chứng thông qua zkEVM. Mạng oracle phi tập trung biên dịch dữ liệu L2 này và tải nó lên root của mạng chính Bitcoin, giúp toàn bộ mạng có thể truy cập công khai.
Quy trình làm việc của Merlin Chain có thể được tóm tắt như sau: ZK L2 thu thập và phân nhóm các giao dịch, sau đó zkProver tạo bằng chứng. Đồng thời, dữ liệu thô giao dịch, cây Merkle, trạng thái Bitcoin và các dữ liệu khác được tổng hợp để tạo thành bằng chứng chung và được đồng bộ hóa với mạng Oracle.
Khi nhận được dữ liệu L2 này, mạng Oracle thực hiện biên dịch mạch, gửi dữ liệu nén và các cam kết tới root của mạng chính Bitcoin, làm cho dữ liệu này có thể được xác minh công khai và có thể truy cập được đối với tất cả người tham gia.
Các nút Oracle đóng một vai trò quan trọng trong Chuỗi Merlin. Họ không chỉ chịu trách nhiệm xác minh các bằng chứng không có kiến thức trong chuỗi Merlin mà còn chịu trách nhiệm tải dữ liệu lớp 2 (L2) lên taproot của mạng chính Bitcoin.
Quyết toán cuối cùng của ZKP:
Các nút của Oracle hỗ trợ các nhà tổng hợp bằng chứng trong việc chuẩn bị và gửi bằng chứng không có kiến thức (ZKP) tới gốc rễ của các khối Bitcoin. Bằng chứng này xác nhận tính hợp lệ của giao dịch hàng loạt và cập nhật trạng thái chuỗi ở Lớp 2 mà không tiết lộ chi tiết.
Xác minh phi tập trung:
Là một thực thể phi tập trung, mạng nút Oracle đảm bảo xác minh chung về tính khả dụng của dữ liệu (DA) và bằng chứng zk. Điều này có nghĩa là mỗi nút tham gia độc lập vào quá trình xác minh, tăng cường tính bảo mật và phân cấp của toàn bộ hệ thống.
Các nút của Oracle không chỉ tham gia xác minh và xác nhận giao dịch mà còn tương tác với mạng chính Bitcoin, đảm bảo tích hợp liền mạch và bảo mật các giải pháp lớp 2 với mạng Bitcoin. Thiết kế này nâng cao khả năng của Merlin Chain như một nền tảng blockchain hiệu quả, an toàn và phi tập trung.
Cơ chế đặt cược nút Oracle
Trong hệ thống đặt cược đa mã thông báo của Merlin Chain, cơ chế đặt cược là thành phần chính trong việc duy trì an ninh mạng, thúc đẩy người tham gia và đảm bảo tính phân cấp. Cơ chế này cho phép người dùng tham gia vào quá trình xác minh dữ liệu và quản trị của Merlin Chain bằng cách đặt cược các tài sản tiền điện tử khác nhau hoặc đặt cược proxy vào các nút Oracle hiện có.
Bảo mật và minh bạch tài sản
Để bảo vệ tài sản cầm cố của người dùng, 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. 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. Ngoài ra, việc sử dụng hợp đồng thông minh đảm bảo tính bất biến và tự động hóa của quá trình đặt cược, càng làm tăng thêm độ tin cậy của hệ thống.
Đặt cược phần thưởng
Phần thưởng đặt cược của các nút Oracle chủ yếu bao gồm hai phần: phần thưởng khối và phí giao dịch. Phần thưởng khối là mã thông báo Merl được phát hành theo tỷ lệ lạm phát nhất định, được phân phối dựa trên trọng số đặt cược của nút và hiệu suất mạng. Phí giao dịch là mã thông báo BTC và tỷ lệ phần trăm của mỗi giao dịch trong chuỗi Merlin được lấy từ phí giao dịch.
Phần thưởng đặt cược sẽ được phân phối dựa trên loại và số lượng tài sản cầm cố. Người đặt cược BTC sẽ nhận được 40% phần thưởng, người đặt cược Merl cũng sẽ nhận được 40% phần thưởng và 20% phần thưởng còn lại sẽ được phân phối cho người đặt cược của các tài sản chính thống khác (chẳng hạn như BRC20).
Để đảm bảo sự công bằng trong việc phân phối phần thưởng, chúng tôi sẽ sử dụng thuật toán bình quân gia quyền dựa trên vốn hóa thị trường và số tiền cam kết. Thuật toán sẽ tính đến vốn hóa thị trường và tính thanh khoản của các tài sản khác nhau, cũng như số tiền đặt cược của mỗi nút Oracle, để tính phần thưởng mà mỗi nút sẽ nhận được.
biện pháp an ninh
Lựa chọn và loại bỏ nút
Việc lựa chọn các nút Oracle sẽ dựa trên một loạt tiêu chí, bao gồm số tiền cam kết, thời lượng trực tuyến, tỷ lệ xác minh thành công, v.v. Hệ thống sẽ thường xuyên đánh giá các nút Oracle và các nút hoạt động kém sẽ bị loại bỏ. Các nút mới sẽ được chọn dựa trên hiệu suất và đánh giá của cộng đồng.
Quá trình từ mạng ZKP đến mạng BTC
Mạng Oracle phi tập trung kết hợp tính khả dụng của dữ liệu (DA) và xác minh bằng chứng zk. Quy trình cụ thể có thể được chia nhỏ như sau:
Hình thành hàng loạt:
Các giao dịch của người dùng được bộ sắp xếp thu thập và sắp xếp thành từng đợt.
Xác minh hàng loạt:
Sau khi lô được hình thành, nó sẽ được xác minh và dữ liệu lô cũng như giá trị băm của nó sẽ được chuyển đến nút Oracle.
Xác thực và lưu trữ dữ liệu:
Mỗi nút Oracle xác minh dữ liệu lô một cách độc lập và lưu trữ các giá trị băm đã xác minh trong cơ sở dữ liệu cục bộ để sử dụng trong tương lai.
Tạo chữ ký:
Mỗi nút Oracle tạo một chữ ký cho hàm băm lô để xác nhận tính toàn vẹn và tính xác thực của lô.
Giao tiếp với Bitcoin:
Trình sắp xếp thứ tự thu thập chữ ký của thành viên oracle và các hàm băm lô ban đầu rồi gửi chúng đến taproot của mạng Bitcoin.
Xác minh chữ ký ngưỡng bitcoin:
Trình sắp xếp thứ tự xác minh chữ ký đã gửi dựa trên danh sách hợp lệ các thành viên mạng Oracle và xác nhận rằng đã cung cấp đủ phê duyệt cho hàm băm hàng loạt.
Celestia: Lớp DA công khai
Merlin Chain sẽ sử dụng Celestia làm lớp dữ liệu sẵn có để đảm bảo rằng dữ liệu khối được phát hành một cách chính xác để bất kỳ ai cũng có thể hiểu và lưu trữ trạng thái của Merlin Chain.
Thông qua Celestia, Merlin Chain cho phép mọi người truy cập dữ liệu lịch sử để các nút Rollup mới có thể tái tạo lại trạng thái mới nhất bằng cách phát lại các khối lịch sử. Sau khi dữ liệu được xuất bản trên Celestia và được đảm bảo khả dụng, Rollups và ứng dụng sẽ chịu trách nhiệm lưu trữ dữ liệu lịch sử của dữ liệu đó. Cụ thể, khi các nút nhận được một khối mới được thêm vào chuỗi, chúng sẽ xác minh tính sẵn có của dữ liệu. Các nút sẽ cố gắng tải xuống tất cả dữ liệu giao dịch cho khối mới để xác minh tính khả dụng. Nếu nút có thể tải xuống tất cả dữ liệu giao dịch, tính khả dụng của dữ liệu đã được xác minh thành công, chứng minh rằng dữ liệu khối thực sự đã được xuất bản lên mạng.
Nâng cấp trong tương lai: Cơ chế chống gian lận trên chuỗi của Bitcoin
Mạng chính Beta của Merlin Chain dựa vào mạng Oracle phi tập trung để cung cấp tính khả dụng của dữ liệu ZK-L2 (DA) và xác minh bằng chứng không có kiến thức (ZKP). Tuy nhiên, do mạng Bitcoin chưa hoàn thiện Turing nên việc tiến hành xác minh bằng chứng không có kiến thức trực tiếp trên mạng chính Bitcoin là không khả thi. Do đó, các phương pháp truyền thống để xác minh bằng chứng không có kiến thức trên mạng blockchain lớp 1 (như đã thấy trong giải pháp ZK-Rollup) không áp dụng cho Bitcoin.
Merlin Chain giải quyết thách thức này bằng cách tận dụng Taproot để viết các bằng chứng tổng hợp không có kiến thức và dữ liệu tổng hợp vào mạng chính Bitcoin. Quá trình này đảm bảo rằng dữ liệu ZK-Rollup được neo trong Bitcoin và không thay đổi. Tuy nhiên, chỉ điều này không thể đảm bảo tính hợp lệ và chính xác của các giao dịch trong ZK-Rollup, cũng như không thể sử dụng đầy đủ cơ chế đồng thuận mạnh mẽ của Bitcoin để đảm bảo tính bảo mật của ZK-Rollup Lớp 2.
Trong các bản nâng cấp trong tương lai, Merlin Chain có kế hoạch giới thiệu cơ chế chống gian lận trên chuỗi Bitcoin: các nút trong mạng Oracle phi tập trung phải cam kết trước BTC trên mạng Bitcoin, tạo thành nền tảng của cơ chế thách thức trên chuỗi Bitcoin. Người dùng có thể bắt đầu các thử thách đối với ZK-Rollup dựa trên dữ liệu giao dịch nén, gốc trạng thái ZK và bằng chứng ZK trên mạng chính Bitcoin. Nếu có sự mâu thuẫn giữa dữ liệu bằng chứng thách thức và bằng chứng, người dùng có thể yêu cầu tài sản được đặt trước trên mạng chính Bitcoin và ZK-Rollup sẽ quay trở lại trạng thái được xác minh cuối cùng.
Merlin Chain sử dụng cơ chế chống gian lận trên chuỗi Bitcoin để đảm bảo tính chính xác của dữ liệu và ZKP do mạng phi tập trung Oracle gửi. So với việc tổng hợp lạc quan, mạng chính Bitcoin không còn thực hiện bằng chứng gian lận trên toàn bộ khối lượng giao dịch mà tập trung vào việc xác minh tính bảo mật của gốc trạng thái ZK và bằng chứng ZK. Điều này làm tăng đáng kể tốc độ.
Nền kinh tế mã thông báo
Tổng số mã thông báo là 2.100.000.000, trong đó 245.700.000 hiện đang được lưu hành, với tỷ lệ lưu hành là 11,7%. Giá tiền tệ hiện tại là khoảng 1,1 đô la Mỹ và tổng FDV đã đạt 2,2 tỷ đô la Mỹ. Thật không may, việc phân phối mã thông báo không được tìm thấy.
Tóm lại, dự án này thực sự vượt trội so với btc lớp 2 khác về mặt công nghệ, sinh thái và TVL tổng thể, đặc biệt là TVL tự nói lên điều đó (3 tỷ đô la Mỹ) và arb chỉ có 2,6 tỷ so với các btc layer2 khác. , chẳng hạn như stacksTVL, nó chỉ là 100 triệu, trong khi FDV của stacks hiện có 4 tỷ đô la Mỹ. Giá trị thị trường tổng thể của các dự án hàng đầu của lớp 2 của EVM là 8-10 tỷ FDV, vì vậy từ quan điểm này, Merlin thực sự vẫn ở trong phạm vi bị đánh giá thấp.