Trang chủ Tạp chí Tin tức Bitcoin (BTC) Thông số kỹ thuật đằng sau Lightning Network của Bitcoin đã vượt...

Thông số kỹ thuật đằng sau Lightning Network của Bitcoin đã vượt qua bài kiểm tra “chính thức” đầu tiên về bảo mật

Bộ đôi nhà nghiên cứu đã công bố kết quả xác minh chính thức về Lightning Network của Bitcoin.

Bitcoin-Lightning-Network

Các lỗ hổng trong mạng Lightning Network, trong đó có thể dẫn đến những tổn thất trong quỹ của người dùng vẫn đang được phát hiện. Nhưng kể cả như vậy, bài nghiên cứu – được phát hành vào tháng trước bởi hai nhà nghiên cứu Aggelos Kiayias và Orfeas Litos từ Đại học Edinburgh. Kiayias cũng là nhà khoa học hàng đầu của công ty blockchain IOHK – đã mang đến một tin tích cực về bảo mật cơ bản của mạng thanh toán non trẻ này.

Cho đến nay, Lightning Network đã được thử nghiệm toán học theo cách bảo mật chính thức, đây là một phương tiện để thiết lập mức độ an toàn của một ý tưởng khoa học máy tính với sự trợ giúp của toán học. Bài nghiên cứu – “Phương pháp bảo mật có thể kết hợp của Lightning Network” – mô tả việc thiếu sự xác minh chính thức đối với đặc điểm kỹ thuật về code của Lightning, “một vấn đề nghiêm trọng”, kể từ khi Lightning Network được sử dụng để bảo đảm tiền thật – ít nhất là 8,5 triệu đô la.

Bài viết giải thích:

“Kết quả là, phương pháp của chúng tôi mô tả chính xác cách bảo đảm giao thức của mạng lưới phụ thuộc vào các thuộc tính của sổ cái cơ bản.”

Quá trình mà họ thực hiện điều này được gọi là xác minh chính thức. Mặc dù nó rất phổ biến trong không gian tiền điện tử và hữu ích cho việc xác định tính bảo mật của code, nhưng “bảo mật chính thức” không được thực hiện trên tất cả các chương trình code. Vì đòi hỏi kiến thức chuyên sâu nên nó khá đắt đỏ.

Các thông số kỹ thuật đều rất “vững chắc”

Các kết quả rất khả quan, cho thấy rằng mật mã cơ bản được xếp chồng lên nhau để làm cho hệ thống thanh toán hoạt động tốt, theo các nhà nghiên cứu.

“Tất cả các phần quan trọng về bảo mật của hệ thống đều vững chắc. Đây là kết quả được mong đợi – nhiều người thông minh đã hợp tác để bước vào không gian Lightning Network,” Litos nói với CoinDesk.

Chính xác thì điều đó có nghĩa là gì? Litos và Kiayias đã xem xét các thông số kỹ thuật của Lightning Network, đó là các quy tắc cần thiết cho việc triển khai phần mềm Lightning Network để có thể gửi các khoản thanh toán đến phần còn lại của mạng lưới.

Litos nói với CoinDesk:

“Kết quả chính ở đây đó là Lightning Network cũng an toàn như Bitcoin vậy.”

Để xác định điều này, họ đã xem xét mật mã nitty-gritty, có vai trò củng cố Lightning Network. Mật mã học bao gồm các thuật toán toán học cung cấp nền tảng cho sự riêng tư và bảo mật trên internet. Trong Lightning Network, mật mã là chất keo gắn kết hệ thống thanh toán với nhau, với kết quả cuối cùng là cho phép một người gửi bitcoin cho người khác.

Vì vậy, các nhà nghiên cứu xem xét các công nghệ mã hóa khác nhau làm nền tảng cho Lightning Network, bao gồm cả chữ ký điện tử, trong trường hợp bitcoin chỉ có thể được sản xuất bởi người dùng có khóa riêng bitcoin chính xác.

“Một người tham gia trung thực của Lightning Network chỉ có thể mất tiền nếu chữ ký hoặc hàm băm được sử dụng bởi bitcoin bị phá vỡ,” theo Litos, anh nói thêm rằng:

“Việc sử dụng một sổ cái cơ bản thực tế cho phép chúng tôi xác định giới hạn bảo mật chính xác cho các tham số vận hành trong Lightning Network. Cụ thể là chúng tôi cung cấp một câu trả lời cụ thể cho câu hỏi về “tần suất mà người dùng Lightning Network kiểm tra blockchain, đặc biệt là khi quá trình thanh toán nhiều bước đang diễn ra?”

Thông số kỹ thuật chứ không phải phần mềm

Mặc dù việc xác minh thông số kỹ thuật là một bước quan trọng, nó chỉ áp dụng cho bản blueprint về code của Lightning Network chứ không phải các triển khai phần mềm đã được đưa ra bởi các nhà phát triển.

Mặc dù bài nghiên cứu lập luận rằng Lightning Network là “an toàn như bitcoin”, thì điều đó không có nghĩa là phần mềm này cũng an toàn. Điều đó nghe có vẻ mơ hồ, nhưng đúng là nó có một sự khác biệt lớn.

Có ba quá trình triển khai Lightning Network tuân theo các thông số kỹ thuật: Acinq’s Eclair, c-lightning của Blockstream, và Lightning Lab’s lnd.

“Phân tích của chúng tôi dựa trên đặc điểm kỹ thuật chính thức, chứ không phải sự triển khai. Do đó, công việc của chúng tôi không loại trừ các lỗi trong các triển khai khác nhau, chỉ trong đặc điểm kỹ thuật mà thôi,” Litos nói.

Litos lưu ý rằng phân tích chính thức trong tương lai có thể được sử dụng để xem xét mã thực tế.

“Việc xác minh chính thức về code, chứng minh rằng nó phù hợp với đặc điểm kỹ thuật, sẽ làm tăng sự tin tưởng của chúng ta đối với hệ thống. Nhưng trước đó sẽ cần có một phiên bản mà máy móc có thể đọc được,” anh cho biết.

Diệu Anh

Tạp chí Bitcoin | Coindesk

MỚI CẬP NHẬT

usdt Bitcoin

Hơn $1 tỷ USDT được đúc khi các nhà đầu tư Bitcoin chuẩn bị...

Bitcoin, tiền điện tử lớn nhất thế giới theo vốn hóa thị trường, đang có xu hướng tăng giá và chuẩn bị cho một...

Coinbase nhận 50% doanh thu dư từ dự trữ USDC của Circle

Sàn giao dịch Coinbase Global nhận được một nửa doanh thu dư từ Circle, phát sinh từ các quỹ dự trữ hỗ trợ stablecoin...
bitcoin

Holder Bitcoin ngắn hạn không bán tháo bất kể thua lỗ

Theo một bài đăng gần đây từ CryptoQuant Quicktake, các holder Bitcoin ngắn hạn chọn giữ tài sản kỹ thuật số của mình mặc...

Thượng nghị sỹ Mỹ tái giới thiệu dự luật hưu trí tiền điện tử...

Lần thứ ba, Thượng nghị sĩ Alabama, Tommy Tuberville, chuẩn bị tái giới thiệu một dự luật nhằm cho phép người dân Mỹ bổ...

Lạc quan ngắn hạn khi khối lượng hợp đồng BTC tăng vọt trên Binance...

Trên sàn Binance và OKX, ba cặp hợp đồng tương lai vĩnh cửu phổ biến nhất đã ghi nhận mức tăng giá đáng kể...

American Bitcoin liên kết với Trump có kế hoạch IPO

American Bitcoin Corp., một công ty khai thác tiền điện tử được hậu thuẫn bởi gia đình Trump, đang có kế hoạch huy động...

Uniswap DAO ủng hộ chương trình ‘Treasury Delegation’ trị giá 113 triệu USD để...

Theo cuộc bỏ phiếu quản trị sơ bộ kết thúc vào hôm thứ Ba, Uniswap DAO đã bỏ phiếu để tiếp tục "chương trình...
eth-phuc-hoi

Ethereum (ETH) nỗ lực phục hồi khi đà giảm đang dần suy yếu

Ethereum (ETH) bước vào tuần mới với những tín hiệu trái ngược khi các trader đón nhận thông báo thuế "Ngày Giải Phóng" vào...
Metaplanet tiếp tục đẩy mạnh chiến lược tích lũy Bitcoin

Metaplanet tiếp tục đẩy mạnh chiến lược tích lũy Bitcoin, nâng tổng số nắm...

Metaplanet, công ty niêm yết tại Tokyo, vừa công bố vào thứ Tư rằng họ đã bổ sung thêm 160 Bitcoin vào kho dự...
NEO

Neo Foundation phủ nhận việc bán token, điều tra chuyển khoản Binance sau khi...

Neo Foundation khẳng đinh không dính líu đến các giao dịch bán token NEO gần đây, sau khi giá trị giảm 35,85% từ ngày...

Nhiều altcoin sụp đổ vào ngày Cá tháng Tư, thị trường crypto vẫn ổn...

Một số altcoin và memecoin đã chứng kiến ​​đợt bán tháo mạnh vào Ngày Cá tháng Tư, với một số token, bao gồm Act...
sui-kho-khan

SUI gặp khó khăn dưới mức kháng cự khi mở khóa token trị giá...

Hôm nay, SUI đứng trước một thử thách quan trọng khi đợt mở khóa token trị giá 147 triệu USD có thể tạo ra...
Bitcoin như một hàng rào chống lạm phát

Standard Chartered báo hiệu vai trò của Bitcoin như một hàng rào chống lạm...

Bitcoin đang nổi lên như một hàng rào phòng ngừa lạm phát đầy tiềm năng trong bối cảnh thị trường ngày càng bất ổn....

Solana (SOL) phục hồi chậm lại gần mức kháng cự khi Ethereum tăng khối...

Solana (SOL) đang nỗ lực phục hồi sau đợt điều chỉnh gần 12% trong tuần qua với chỉ số RSI đã tăng vọt vào...

VanEck đăng ký BNB ETF đầu tiên tại Hoa Kỳ

Công ty quản lý đầu tư hàng đầu của Mỹ, VanEck, vừa chính thức nộp hồ sơ thành lập một thực thể ủy thác...
btc-bien-dong-manh

Bitcoin (BTC) biến động mạnh trước ‘ngày giải phóng’ của Trump – Điều gì...

Bitcoin tiếp tục biến động mạnh trong phiên mở cửa Phố Wall ngày 1 tháng 4 khi những lo ngại về thuế quan thương...