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

Charles Hoskinson

Charles Hoskinson: Cardano đã hoàn thiện, Ethereum sẽ diệt vong như Blackberry

Charles Hoskinson, giám đốc điều hành của Input Output Global (IOG), tuyên bố rằng Cardano (ADA) hiện đã hoàn tất theo đúng lộ trình...

Canary Capital bất ngờ nộp đơn đăng ký SEI ETF tại Mỹ

Công ty quản lý đầu tư Canary Capital vừa nộp đơn đăng ký một quỹ tín thác để triển khai ETF dành cho token...

Trader đổ tiền vào ETF đòn bẩy và vàng để ứng phó với biến...

Các trader đang đổ xô vào hai chiến lược ETF hoàn toàn trái ngược nhau nhằm ứng phó với một trong những thị trường...
Metaplanet mua thêm 145 Bitcoin

Metaplanet mua thêm 145 Bitcoin, hiện nắm giữ 5.000 BTC

Công ty đại chúng Metaplanet của Nhật Bản, thường được ví như Strategy của châu Á, vừa thông báo đã mua thêm 145 Bitcoin,...
ceo-bitmex-arthur-hayes-du-doan-bitcoin-tang-len-50000-va-tien-mat-se-di-den-hoi-ket

Arthur Hayes: Bitcoin có thể vượt $110K, tiến tới $200K nhờ Mỹ làm việc...

Cựu CEO của BitMEX, Arthur Hayes, tin rằng Bitcoin đang sẵn sàng tăng mạnh và thiết lập mức giá cao nhất mọi thời đại...
eth-tang

Dòng tiền đổ vào ETH ETF tăng vọt – Phe bò liệu có đủ...

Ethereum (ETH) đã tăng 2% vào thứ Năm, khi các quỹ Ether ETF giao ngay tại Mỹ chứng kiến dòng vốn đổ vào mạnh...
Nga chuẩn bị ra mắt sàn giao dịch tiền điện tử cấp quốc gia

Nga chuẩn bị ra mắt sàn giao dịch tiền điện tử cấp quốc gia

Bộ Tài chính và Ngân hàng Trung ương Nga đang hợp tác để triển khai một sàn giao dịch tiền điện tử tập trung....

DeFi Development nâng nắm giữ Solana lên 48 triệu USD, xu hướng tích lũy...

DeFi Development Corp (JNVR), trước đây là Janover, vừa bổ sung thêm 9,9 triệu USD giá trị Solana (SOL) vào kho bạc công ty, nâng...

Aave phá vỡ ngưỡng kháng cự 150 đô la khi phe mua tự tin...

Aave (AAVE) đã ghi nhận sự gia tăng chậm nhưng ổn định của Tổng giá trị bị khóa (TVL) trong những ngày gần đây,...
Giá SUI tăng 26%

Giá SUI tăng 26% khi các memecoin trên hệ sinh thái bùng nổ

Hệ sinh thái Sui (SUI) đã ghi nhận sự tăng trưởng ấn tượng khi khối lượng giao dịch tăng vọt 180%, đạt mức 3,8...
xrp-tang-gia

OI hợp đồng tương lai XRP tăng vọt 32% – Các trader đang lạc...

Vào ngày 7 tháng 4, giá XRP đã rơi xuống mức thấp nhất kể từ đầu năm, chạm mốc $1,61. Tuy nhiên, trong hai...

3 token AI Agent cần chú ý vào cuối tháng 4

Các loại tiền điện tử liên quan đến AI agent đang lấy lại đà tăng trưởng khi lĩnh vực này có dấu hiệu phục...
ngay-24-4-phan-tich

Phân tích kỹ thuật ngày 24 tháng 4: BTC, ETH, XRP, BNB, SOL, DOGE,...

Bitcoin (BTC) áp sát mốc kháng cự $95.000 vào ngày 23/4, khi đà tăng được thúc đẩy bởi dòng vốn mạnh mẽ đổ vào...
Pi Network (PI) gặp khó khăn trong việc quay trở lại $1

Pi Network (PI) gặp khó khăn trong việc quay trở lại $1

Pi Network (PI) đang cho thấy dấu hiệu ổn định sau một tháng đầy biến động, với mức tăng 4,7% trong tuần qua. Tuy...

Dòng tiền vào Bitcoin ETF ngày 22/4 cao gấp 500 lần mức trung bình...

Vào ngày 22 tháng 4, các nhà đầu tư tổ chức đã rót vào các ETF Bitcoin tại Mỹ gấp hơn 11 lần mức...

SOL Strategies huy động 500 triệu USD để mua token Solana

SOL Strategies, một công ty đầu tư có trụ sở tại Canada, vừa phát hành 500 triệu USD trái phiếu chuyển đổi nhằm mục...