BitVM và Bitlayer: Tạo ra một tương lai có thể lập trình cho Bitcoin

Tác giả: Nhóm nghiên cứu Bitlayer

Tiêu đề gốc: BitVM và Bitlayer: Tiên phong cho tương lai có thể lập trình của Bitcoin

Liên kết gốc: https://blog.bitlayer.org/BitVM_and_Bitlayer_Pioneering_Bitcoins_Programmable_Future/

Bitcoin, là khu vực an toàn nhất và phi tập trung nhất thế giới, Blockchain từ lâu đã được coi là được coi là có khả năng lập trình hạn chế so với các nền tảng như Ethereum. Tuy nhiên, BitVM đang thay đổi điều đó bằng cách giới thiệu một khuôn khổ tính toán và lập trình tiên tiến cho Bitcoin. Về cốt lõi, BitVM mở ra tiềm năng kết nối Bitcoin với mức độ tin cậy tối thiểu và các ứng dụng khác trong khi vẫn duy trì các nguyên tắc phân quyền và bảo mật của Bitcoin.

Bài viết này sẽ khám phá lịch sử phát triển của BitVM, trạng thái hiện tại của nó, những nỗ lực kỹ thuật quan trọng đằng sau nó và những đóng góp nổi bật của Bitlayer với tư cách là người đóng góp quan trọng cho hệ sinh thái BitVM.

Lịch sử phát triển của BitVM

BitVM ngoài vai trò là một loại tiền kỹ thuật số còn đại diện cho Bitcoin. Một bước chuyển đổi trong phát triển năng lực. Hành trình của BitVM đánh dấu các nút chính sau:

1. Đề xuất sơ bộ: được đề xuất lần đầu bởi Robin Linus BitVM phục vụ như một giải pháp điện toán phổ quát cho Bitcoin.

2. Chia đôi tương tác: Robin cải thiện khái niệm bằng cách giới thiệu phép chia tương tác (sử dụng hướng dẫn RISC-V) để thực hiện các phép tính hiệu quả hơn.

3. BitVM2: Phiên bản mới nhất, BitVM2, loại bỏ sự phân đôi và giới thiệu cơ chế thách thức không cần cấp phép, biến nó thành BitVM2 Coin mạnh mẽ khung cầu nối.

Hiện tại, cộng đồng BitVM gần như tập trung hoàn toàn vào BitVM2 và phiên bản được thảo luận trong bài viết này là BitVM2.

Giới thiệu về Liên minh BitVM

Liên minh BitVM được thành lập bởi Robin Linus và Lukas George để đẩy nhanh quá trình phát triển và quảng bá BitVM. Hiệp hội tập hợp các dự án và nhóm hàng đầu để vượt qua ranh giới về khả năng lập trình Bitcoin. Để biết thêm thông tin, vui lòng truy cập trang dự án BitVM.

Trạng thái dự án BitVM

Nguyên tắc hoạt động của BitVM: phiên bản đơn giản hóa

BitVM triển khai cơ chế bắc cầu kết nối Bitcoin với các môi trường có thể lập trình, tạo điều kiện thuận lợi cho các quy trình công việc như chuyển giao tài sản. Toàn bộ quá trình có thể được chia thành ba bước chính:

1. Peg-in: người dùng khóa BTC Trong hợp đồng thông minh BitVM và đúc BTC (YBTC) trên hệ thống đích hoặc các hệ thống khác.

2. Peg-out: Người dùng yêu cầu rút tiền và Nhà môi giới cung cấp thanh khoản và chuyển BTC cho người dùng.

3. Xác nhận quyền sở hữu: Nhà môi giới lấy tiền từ hợp đồng thông minh BitVM, miễn là không có ai phản đối yêu cầu.

Nguồn: Sách trắng BitVM2 (https://bitvm.org/bitvm_bridge.pdf)

Vai trò của hợp đồng thông minh BitVM

< p style ="text-align: left;">Hợp đồng thông minh BitVM về cơ bản là một biểu đồ giao dịch Bitcoin được ký trước nhằm xác định các quy tắc và quy trình làm việc mà tất cả người tham gia phải tuân theo. Các tính năng chính của nó bao gồm:

• Giao dịch được ký trước: Các giao dịch này được tất cả mọi người ký trước người tham gia, Để thực thi các quy tắc của thỏa thuận.

• Kiểm soát đa chữ ký: Tiền được khóa trong ví đa chữ ký do tất cả những người tham gia quy trình làm việc cùng kiểm soát.

Sau khi bản đồ giao dịch được phát hành, người dùng có thể khóa BTC vào hợp đồng BitVM và đúc gói trên hệ thống đích hoặc hệ thống khác hệ thống BTC để bắt đầu toàn bộ quy trình làm việc.

Đảm bảo tính toàn vẹn: Giải quyết tranh chấp

Để đảm bảo tính hợp lệ của các yêu cầu, BitVM áp dụng Giải quyết tranh chấp Thỏa thuận:

1. Cam kết trước: Nhà môi giới cam kết trước kết quả của trình xác thực Groth16, được tính toán thông qua chương trình ngoại tuyến để đảm bảo rằng yêu cầu là hợp lệ (ví dụ: BTC được gói đã bị hủy, chuyển khoản Peg-out đã được thực hiện hoàn thành).

2. Thử thách: Nếu ai đó đưa ra thử thách, Nhà môi giới phải tiết lộ tất cả các giá trị trung gian được người xác thực tính toán.

3. Xác thực: Người thách đấu chạy trình xác thực ngoại tuyến, tìm kiếm mọi đoạn không hợp lệ. Nếu phát hiện gian lận, người thách thức sẽ gửi giao dịch để hoàn nguyên khối không hợp lệ thành Bitcoin, do đó yêu cầu sẽ vô hiệu.

Công việc kỹ thuật quan trọng

1. Phát triển trình xác thực Groth16

Trình xác thực Groth16 là nền tảng của BitVM và có thể được sử dụng trực tiếp trong Xác minh bằng chứng không có kiến ​​thức hiệu quả về Bitcoin. Những thành tựu chính bao gồm:

• Xây dựng trình xác thực:

• Đã triển khai một xác minh Groth16 hoàn toàn bằng cách sử dụng tập lệnh Bitcoin Một lập trình viên có chức năng tương đương với chức năng của ngôn ngữ lập trình đa năng.

• Đã phát triển các nguyên hàm cơ bản bao gồm số học BIGINT, hàm băm BLAKE3, ghép nối đường cong elip BN254 và chữ ký Winternitz (đối với các cam kết bit ).

• Tối ưu hóa:

• Sử dụng công nghệ mã hóa tiên tiến để giảm kích thước của trình xác thực từ 7,4GB xuống 1GB.

• Trình xác thực khối:

• Chia trình xác nhận duy nhất thành các khối nhỏ hơn, mỗi khối Kích thước đủ nhỏ để vừa với một Bitcoin duy nhất giao dịch (dưới 4 MB). Các khối này đóng vai trò là bằng chứng gian lận, đảm bảo các tranh chấp có thể được giải quyết trực tuyến.

1. Triển khai giao thức

Với trình xác thực Groth16 đã sẵn sàng, bước tiếp theo là phát triển một biểu đồ giao dịch hoàn chỉnh kết nối tất cả các thành phần. Điều này bao gồm:

• Giám sát các sự kiện trên chuỗi và lưu trữ dữ liệu cần thiết.

• Xây dựng và xác minh các giao dịch như XÁC NHẬN và DISPROVE.

• Quản lý đầu ra của Trình kết nối và tải các giao dịch lên chuỗi một cách đáng tin cậy.

Trạng thái hiện tại

Trình xác thực Groth16:

h4>

• Trình xác thực duy nhất đã giảm xuống còn 1GB.

• Trình xác thực phân đoạn bao gồm ít hơn 1000 khối, đủ để triển khai.

Triển khai giao thức:

• Sơ đồ giao dịch gần như hoàn tất.

Bước tiếp theo:

1. BitVM Alliance đang tiến hành kiểm tra mã toàn diện.

2. Các kế hoạch đang được tiến hành để trình diễn cầu nối BitVM đầu cuối đầu tiên.

Đóng góp của Bitlayer

Bitlayer là người đóng góp cho Dự án BitVM Những người đóng góp chính, cụ thể trong hai lĩnh vực sau:

1. Đóng góp của trình xác thực Groth16:< / p>

• Tối ưu hóa:

• Đã phát triển kỹ thuật nhân đa vô hướng (MSM) hàng loạt để giảm kích thước tập lệnh từ 7,4 GB xuống 5,6 GB.

• Đã triển khai thuật toán MSM mới sử dụng tọa độ affine để tiếp tục giảm kích thước trình xác thực xuống 1GB.

• Trình xác thực:

• Đề xuất triển khai chunker khả thi đầu tiên, chia tách trình xác thực duy nhất Chia thành các phần logic (ví dụ: nhóm MSM, G2 kiểm tra, tích lũy vòng lặp Miller).

• Quy trình phân khối đã được tinh chỉnh để cân bằng độ chi tiết đầu vào/đầu ra và đạt được kích thước khối tối ưu.

1. Giao thức cầu nối Đóng góp:

• Đã phát triển các thành phần chính như giao dịch ASSERT và giao dịch DISPROVE.

• Có kế hoạch đóng góp nhiều hoạt động triển khai giao thức hơn cho dự án BitVM.

Bitlayer: nằm ngoài dự án BitVM chính thức

Bitlayer nhận ra tiềm năng biến đổi của BitVM và đang khám phá các ứng dụng của nó ngoài việc kết nối Bitcoin:

1. Tính trừu tượng của BitVM: Phát triển các thành phần có thể tái sử dụng như hợp đồng thông minh kiểu BitVM, bằng chứng gian lận và bằng chứng không có kiến ​​thức.

2. Finality Bridge: Ra mắt triển khai cầu BitVM của riêng mình, mạng thử nghiệm Finality Bridge hiện đã trực tuyến.

3. Bitcoin Rollup: Giao thức cuộn lên dựa trên sự trừu tượng hóa BitVM, bao gồm các hợp đồng thông minh BitVM đệ quy và zkVM.

Đánh giá đóng góp của Bitlayer

1. đã triển khai tính năng tối ưu hóa trình xác thực Groth16 mang tính đột phá, giảm đáng kể kích thước tập lệnh.

2. Đã phát triển triển khai chunker trình xác thực hoạt động đầu tiên.

3. Đã đóng góp các thành phần cốt lõi cho giao thức cầu nối BitVM, bao gồm các giao dịch XÁC NHẬN và DISPROVE.

4. Khám phá các trường hợp sử dụng sáng tạo như Tổng hợp gốc Bitcoin và zkVM.