📢@PortaltoBitcoin vừa hoàn thành một cuộc kiểm toán với Grey Swan: 15 phát hiện trong các hợp đồng cốt lõi, 7 trong Solana HTLC → tất cả đều đã được sửa chữa, có mức độ nghiêm trọng và rủi ro cao. Cải tiến: Ủy quyền an toàn hơn, Thời gian khóa động, Toán học an toàn, Tối ưu hóa kiểm soát truy cập. Giải quyết nghiêm trọng <72h, bản vá rủi ro cao trong vài ngày tới. Portal không chỉ là một DEX → mà còn là một lớp thực thi đa chuỗi với: BTC gốc (Lightning) Hoán đổi HTLC Sự đồng thuận Cosmos + EVM Hướng dẫn xác thực phi tập trung Kết quả: một trong những hệ thống đa chuỗi được kiểm toán toàn diện nhất trong DeFi, ưu tiên bảo mật, bền vững cho tương lai. Tôi từng nghĩ @Lombard_Finance giống như các giao thức LST khác. Nhưng khi nhìn kỹ hơn, tôi nhận ra họ đang chơi trên một lĩnh vực hoàn toàn khác. LST chỉ là một sản phẩm phụ, một công cụ để hấp thụ thanh khoản. Cốt lõi của Lombard là cơ sở hạ tầng để đẩy BTC đến nhiều chuỗi khác nhau, tương tự như những gì WBTC hoặc cbBTC đang làm - và thực tế, đây là đối thủ thực sự của họ. Từ góc độ đó, Lombard giống như một nhà phát hành stablecoin hơn là một giao thức LST. Circle hoặc Tether phát hành USD trên chuỗi, Lombard làm điều tương tự với Bitcoin. Điều này được thể hiện rõ ràng qua katana $BTCK - một sản phẩm hoàn toàn mới dựa trên cơ sở hạ tầng của Lombard. Nó chứng minh rằng Lombard không chỉ đơn thuần là một LST, mà là một giao thức hạ tầng BTC - một danh mục riêng biệt. Và điều thú vị là: đi theo hướng này, Lombard gần như không có giới hạn tăng trưởng. Nghe Balajis trên @a16z nói một điều khá đúng: “AI không hoạt động từ đầu đến cuối. Nó chỉ hoạt động từ giữa đến giữa. Bạn phải kích hoạt nó và sau đó tự xác minh.” Đây thực sự là nút thắt lớn nhất của AI: xác minh đầu ra. Và đó cũng là lý do tại sao tôi thấy @Mira_Network thú vị - họ đang biến xác minh thành một điều có thể thực hiện tự động, bằng mã, thay vì phụ thuộc vào con người. Nếu AI có thể là "vòng khép kín" với xác minh lập trình được, trò chơi sẽ khác.