Nubit và ZeroSync cùng công bố bài nghiên cứu động cơ học hình thức BTCBitVM đầu tiên về xác minh hình thức

Tin tức BlockBeats: Vào ngày 1 tháng 11, theo thông tin chính thức, Nubit và ZeroSync đã cùng xuất bản một bài báo nghiên cứu đột phá về BTC BitVM Xác minh chính thức. Được biết, thành tích học tập này được dẫn dắt bởi Nubit, phối hợp với ZeroSync, Alpen Labs, Citrea, Layer 1 Foundation, Đại học Stanford, Đại học California, Santa Barbara và các tổ chức hàng đầu khác, và được hỗ trợ bởi Fractal Bitcoin và Starkware, thiết lập một tiêu chuẩn kỹ thuật mới cho BitVM, lớp thực thi được BTCPhi tập trung tin cậy. Giải pháp "xác minh bằng một cú nhấp chuột" của Nubit cho phép các nhà phát triển, nhà nghiên cứu và người dùng đảm bảo tính bảo mật khi sử dụng BitVM mà không cần kiến thức mã hóa phức tạp, đặt nền tảng cho việc phổ biến hệ sinh thái BTC và tiến bộ công nghệ.