Sandeep, đồng sáng lập Polygon: Viết bài sau vụ nổ cầu Chain Bridge

Tác giả: Sandeep

Biên soạn bởi: Carnival, ChainCatcher

Cuối tuần này thật đau lòng. Ba sự cố an ninh đã xảy ra trên cầu nối giữa hai bờ sông chỉ trong ba tuần. Những ngày này, tôi không tập trung vào chi tiết cụ thể của bất kỳ vụ tấn công nào, mà thay vào đó là nghiên cứu các mô hình ẩn chứa trong tất cả các sự cố này.

Vào ngày 1 tháng 4, Drift báo cáo khoản lỗ 285 triệu đô la.

Vào ngày 13 tháng 4, Polkadot Hyperbridge đã tạo ra 1 tỷ token không được hỗ trợ thông qua bằng chứng phát lại; thiệt hại sẽ còn lớn hơn nữa nếu tính thanh khoản trên chuỗi của chuỗi mục tiêu không ở mức rất thấp trước đó.

Vào ngày 18 tháng 4, KelpDAO đã mất 292 triệu đô la. Trước đó, các dự án như Wormhole, Ronin, Harmony, BNB Bridge, Nomad và Multichain cũng chịu chung số phận.

Trước hết, tôi muốn bày tỏ lòng kính trọng sâu sắc nhất đến tất cả các đội đã làm việc không mệt mỏi và chủ động trong suốt cuối tuần đầy căng thẳng này. Tôi hoàn toàn không có ý định cản trở bất kỳ ai trong quá trình xử lý tình huống khẩn cấp.

Tất cả chúng ta đều từng trải qua những tình huống tương tự, và nhóm đang phát hành các bản vá lỗi hiện đang làm việc rất chăm chỉ. Việc Kelp tạm ngừng khẩn cấp cơ chế đa chữ ký đã ngăn chặn hai vụ trộm tài sản tiếp theo; nếu không, thiệt hại sẽ tăng thêm 200 triệu đô la nữa.

Tôi muốn nhấn mạnh rằng những gì xảy ra cuối tuần này không chỉ là vấn đề của Kelp, mà là một lựa chọn thiết kế mà toàn bộ ngành công nghiệp đã thực hiện từ lâu. Hiện tại, hầu hết cơ sở hạ tầng chuỗi chéo tiền điện tử vẫn hoạt động như một công chứng viên.

Dù bạn gọi nó là DVN, bộ chuyển tiếp, ủy ban oracle hay chữ ký đa chữ ký, về bản chất nó là một ủy ban nhỏ giám sát hoạt động trên một chuỗi và chứng nhận hoạt động đó trên một chuỗi khác.

Nếu ủy ban hoặc thông tin giá cả mà ủy ban dựa vào bị sai lệch, công chứng viên này sẽ không ngần ngại xác nhận lời nói dối. Tên của thỏa thuận có thể thay đổi, nhưng nguyên tắc tin tưởng vẫn không thay đổi.

@moo9000 đã đặt cho nó một cái tên rất phù hợp: MultisigFi.

Lời mô tả này rất chính xác. Bất kể bạn gọi ủy ban ngầm này là gì, mô hình tin cậy của nó vẫn giống nhau, và những gì đã xảy ra trong ba tuần qua đã cho thấy một cách đau đớn rằng mô hình này sụp đổ như thế nào khi được mở rộng quy mô.

Một cuộc quét gần đây các ứng dụng đang hoạt động của LayerZero do Dune thực hiện đã tiết lộ rằng 47% ứng dụng chạy trên cấu hình trình xác thực 1/1, 45% chạy trên cấu hình 2/2 và chưa đến 5% sử dụng cấu hình bảo mật mạnh hơn.

Điều này có nghĩa là đối với 90% các ứng dụng giao dịch xuyên chuỗi trong môi trường sản xuất hiện tại, chỉ cần một hoặc hai người ký bị xâm phạm là rào cản bảo mật duy nhất giữa tiền của người dùng và kẻ tấn công.

Cách đây 5 năm, đây có thể được coi là một thiết lập bảo mật hợp lý. Vào thời điểm đó, các cầu nối chuỗi chéo chỉ xử lý các giao dịch trị giá vài triệu đô la, và không ai tiến hành thăm dò quy mô lớn.

Nhưng điều này thật vô lý trong năm 2026. Cùng một kiến trúc đó giờ đây có thể xử lý hàng tỷ đô la! Hơn nữa, các công cụ hỗ trợ bởi trí tuệ nhân tạo liên tục phát hiện ra các lỗ hổng cấu hình trong thời gian thực với tốc độ máy tính. Bề mặt tấn công đang tăng lên theo cấp số nhân, trong khi các mô hình bảo mật lại trì trệ.

Để làm rõ, bài viết này không nhằm mục đích so sánh Polygon với các công ty khác. Nhiều năm trước, chúng tôi cũng đã xây dựng một giả định về sự tin tưởng tương tự vào các sản phẩm của mình trong các phiên bản trước đó. Chúng tôi đã học hỏi từ kinh nghiệm đó, và toàn ngành công nghiệp đã được hưởng lợi rất nhiều từ điều đó.

Trong quá trình đó, một số người trong chúng tôi tiếp tục xây dựng công ty theo mô hình ủy ban, trong khi những người khác đặt toàn bộ vốn của công ty vào ZK (bằng chứng không tiết lộ thông tin).

Cam kết của chúng tôi đối với bằng chứng không tiết lộ thông tin không chỉ là lời nói suông: Vào tháng 7 năm 2024, chúng tôi đã triển khai bằng chứng không tiết lộ thông tin cho cầu nối Agglayer, hiện đã hoạt động hơn một năm và đang xử lý các giao dịch xuyên chuỗi trên quy mô lớn mỗi ngày. Thành thật mà nói, những gì xảy ra vào cuối tuần này càng củng cố thêm niềm tin của tôi vào điều này.

Bằng chứng không tiết lộ thông tin thay thế công việc trước đây do các ủy ban thực hiện. Chúng giống như những biên lai mã hóa thu nhỏ chứng minh rằng phép tính đã được thực hiện chính xác, và bất kỳ máy móc nào trên Trái đất cũng có thể xác minh điều đó trong vài mili giây.

Hoặc là quá trình xác minh toán học thành công và giao dịch chuyển khoản hoàn tất, hoặc là quá trình xác minh toán học thất bại và tài sản vẫn không thay đổi. Không ai có thể bị mua chuộc, không ai có thể can thiệp vào hệ thống RPC, không cần phải phối hợp đủ số người tham dự, và sẽ không ai ngồi trong phòng lúc 3 giờ sáng thứ Bảy để quyết định xem tiền của bạn có an toàn hay không.

Ngoài ra, chúng ta còn có cái gọi là "bằng chứng bi quan". Cách đơn giản nhất để hiểu nó là: đừng tin tưởng vào sổ cái trên chuỗi của bất kỳ ai.

Mỗi chuỗi kết nối với Agglayer đều có một sổ cái động ghi lại việc nhận và gửi tài sản, và các tài khoản phải luôn cân bằng để bất kỳ khoản rút tiền nào được xác nhận cuối cùng. Bất kể lý do là gì hay liệu các tin nhắn từ phía thượng nguồn có bị làm giả hay không, một chuỗi không bao giờ có thể rút nhiều tài sản hơn số lượng đã được ghi nhận.

Các quy tắc toán học không cho phép những tình huống như vậy xảy ra. Agglayer thực thi quy tắc này thông qua hệ thống chứng minh Succinct SP1 được xây dựng trên Polygon Plonky3.

Nếu tình huống cuối tuần trước xảy ra trên Agglayer, bằng chứng tiêu cực sẽ ngay lập tức chặn các giao dịch rút tiền vì không có hồ sơ gửi tiền, do đó tiền chắc chắn sẽ không được chuyển.

Cơ chế kế toán tương tự có thể phát hiện lỗ hổng phát hành vô hạn trong Wormhole và BNB Bridge, cũng như lỗ hổng chống phát lại trong Hyperbridge.

Những lỗ hổng này về cơ bản là khác nhau, nhưng tất cả đều quy về cùng một vấn đề: các cầu nối xuyên chuỗi giải phóng các tài sản không được hỗ trợ ở đầu bên kia. Agglayer có thể ngăn chặn tất cả những tình huống này xảy ra trước khi quá trình thanh toán diễn ra.

Đây không chỉ là lý thuyết. Mặc dù hầu hết các giao dịch DeFi đã bị tạm ngừng vào cuối tuần này, Agglayer vẫn xử lý khoảng 200 triệu đô la giao dịch cầu nối, hoàn toàn không bị ảnh hưởng.

Việc tích hợp gốc của Katana với Agglayer đã duy trì mức độ rủi ro bằng không trong suốt sự cố. Nhóm bảo mật của chúng tôi đã tạm ngừng tích hợp LayerZero trong hệ sinh thái Polygon trước khi nguyên nhân gốc rễ được công bố, và các nhóm sản phẩm và hỗ trợ của chúng tôi vẫn duy trì liên lạc với các đối tác trong suốt cuối tuần.

Sau gần sáu năm phát triển, nền tảng Polygon đã hoàn tất các giao dịch trị giá 24 nghìn tỷ đô la, xử lý 7 tỷ giao dịch và tự hào có thời gian hoạt động ổn định 99,99%. Nền tảng Agglayer cũng không có bất kỳ lỗ hổng nào về kết nối chuỗi chéo. Đó là lý do tại sao chúng tôi đã dành nhiều năm để xây dựng Agglayer: bảo mật luôn là ưu tiên hàng đầu của chúng tôi.

Tôi đưa ra những con số này không phải để khoe khoang, mà bởi vì để tự tin bước vào một tổ chức và nói với họ rằng tiền điện tử đã sẵn sàng xử lý một lượng lớn giao dịch thanh toán, bạn phải chứng minh những thành tựu hữu hình này.

Việc xây dựng cầu nối giữa các chuỗi khối sẽ rẻ hơn và nhanh hơn dựa trên thực tế là các ủy ban thường làm như vậy; tôi hiểu lý do tại sao nhóm muốn xây dựng chúng, và chúng tôi cũng đã xây dựng các phiên bản trước đó. Tuy nhiên, khả năng của những kẻ tấn công thực sự đã thay đổi.

Nhóm Lazarus đã tấn công các thiết kế này từ năm 2022 và không có dấu hiệu nào cho thấy họ sẽ chậm lại. Các cuộc kiểm toán có sự hỗ trợ của trí tuệ nhân tạo giờ đây có thể phát hiện ra tất cả các lỗi cấu hình trước đây bị che giấu dưới các cấu trúc phân cấp phức tạp. Những cuộc tấn công này sẽ không biến mất. Toán học cuối cùng sẽ bù đắp cho những thiếu sót của ủy ban.

Trong hai hoặc ba năm qua, ngành công nghiệp này đã xử lý hàng nghìn tỷ đô la giao dịch mỗi năm. Chúng tôi yêu cầu các ngân hàng và công ty thanh toán đầu tư những khoản tiền khổng lồ vào các hệ thống thanh toán vẫn dựa vào phán quyết đúng đắn của một hoặc hai người ký vào tối thứ Bảy. Đó là yêu cầu của chúng tôi; bạn sẽ nhận ra sự vô lý của nó khi nghe thấy.

Chúng ta phải làm tốt hơn, và chúng ta đã biết cách làm điều đó rồi.

Tuy nhiên, chúng ta phải thừa nhận rằng LayerZero hiện đang vô hiệu hóa cài đặt 1/1 (chữ ký đơn) trên toàn ngành. Đây là quyết định đúng đắn, vì nó sẽ tăng cường đáng kể tính bảo mật xuyên chuỗi; tôi hoàn toàn ủng hộ biện pháp này. Các nhóm khác cũng sẽ tiếp tục hoàn thiện thiết kế ủy ban của họ. Công việc này rất quan trọng.

Nhưng sự thay đổi lớn hơn nằm ở kiến trúc. Bằng chứng không tiết lộ thông tin là bất khả xâm phạm, miễn nhiễm với các cuộc tấn công kỹ thuật xã hội và không bị ảnh hưởng bởi ngày cuối tuần. Toán học hoặc đúng hoặc sai; nếu sai, mọi thứ sẽ đình trệ.

Đây là xu hướng mà ngành công nghiệp đang hướng tới, và tốc độ phát triển thậm chí còn nhanh hơn so với một tháng trước, đây là tin tốt cho mọi nhà thầu xây dựng và mọi tổ chức đang tham gia vào ngành này.

Tuần này, tất cả các nhóm xây dựng cơ sở hạ tầng chuỗi chéo nên tự hỏi: Tôi có thực sự cần một ủy ban không? Tăng cường các ủy ban hiện có chỉ là biện pháp cuối cùng.

Agglayer là mã nguồn mở, không có phí giao thức và không có hạn chế truy cập. Bất kỳ nhóm nào đang chuẩn bị chuyển đổi từ các cơ chế bằng chứng tin cậy sang xác minh mật mã đều có thể truy cập. Nếu bạn hiện đang vận hành một cầu nối chuỗi chéo và các sự kiện trong ba tuần qua khiến bạn phải xem xét lại mô hình tin cậy của mình, vui lòng liên hệ với chúng tôi.

Đây không phải là lợi thế cạnh tranh mà chúng tôi đã tạo ra; đây là cơ sở hạ tầng mà toàn ngành nên sử dụng.

Số phận của tiền điện tử trong thập kỷ tới sẽ phụ thuộc vào các nhóm sẵn sàng bắt đầu xây dựng các kiến trúc phức tạp hơn ngay từ bây giờ. Bằng chứng mật mã khó thiết lập hơn so với chứng thực, nhưng chúng sẽ không sụp đổ vào cuối tuần và có thể mở rộng quy mô để xử lý hàng nghìn tỷ đô la mà tiền điện tử hiện đang cần.

Bạn thích phán quyết của ủy ban hay bằng chứng toán học hơn? Chúng tôi đã chọn phương án thứ hai. Tôi hy vọng nhiều người khác cũng sẽ đưa ra lựa chọn tương tự.

Sau cuối tuần này, tôi càng tin tưởng hơn vào tầm quan trọng của công nghệ chuỗi khối không tiết lộ thông tin. Trong thời điểm khó khăn, một kiến trúc rõ ràng là vô cùng quan trọng.