Vậy nghĩa là tôi có thể vay USDC bằng cách thế chấp cổ phiếu được token hóa trên @aave vào cuối tuần, nhưng vẫn sử dụng giá của thứ Sáu? Nếu có tin xấu xuất hiện vào thứ Bảy, mọi người vẫn có thể tiếp tục vay dựa trên giá cũ cho đến khi nguồn cấp dữ liệu được cập nhật? Giới hạn bảo đảm của họ để lại bao nhiêu khoảng trống cho tình huống này?
Tôi sẽ trông giống như hệ thống đổi chác đang quay trở lại
Bạn có lẽ đã sử dụng @MetaMask hàng trăm lần, nhưng bạn có biết ai thực sự tạo ra nó? Hai người đàn ông, Dan Finlay (@danfinlay) và Aaron Davis (Kumavis). Điều thú vị là cả hai đều không xuất thân từ nền tảng khoa học máy tính truyền thống. Dan học Văn học Anh, từng làm họa sĩ chân dung, huấn luyện viên cờ vua, thậm chí cả người xoắn bóng bay. Anh học lập trình vì muốn tạo ra một máy tổng hợp khí thải lol. Aaron học tiếng Nhật và muốn trở thành thông dịch viên. Anh cũng đam mê trò chơi điện tử và tự học lập trình bằng cách đọc và chỉnh sửa mã của người khác. Họ gặp nhau năm 2013, cùng làm việc trên một bản sao mã nguồn mở của Minecraft, và cuối cùng bắt đầu thử nghiệm với ethereum. Lúc đó, thậm chí việc kết nối một trang web với ethereum cũng không hề đơn giản. Aaron ban đầu xây dựng một quản lý tài khoản phức tạp, về cơ bản là một trình duyệt trong một trình duyệt. Sau đó, họ đơn giản hóa ý tưởng này thành một tiện ích mở rộng trình duyệt. Đó là cách MetaMask ra đời vào tháng 7 năm 2016. Và chú cáo? Aaron chọn nó vì anh liên tưởng nó với sự độc lập, thông minh và tự lưu trữ. 10 năm sau, MetaMask đã vượt mốc 100 triệu lượt tải về. Thú vị làm sao khi hai người đến từ những nền tảng hoàn toàn khác nhau lại cùng nhau xây dựng một trong những công cụ nhận diện nhất trong lĩnh vực tiền mã hóa. Và tất cả bắt đầu từ nỗ lực làm cho @ethereum có thể sử dụng được từ trình duyệt.
Mọi người đều đang nói về việc Akash rời Cosmos để chuyển sang Solana, nhưng có một điều thú vị đang diễn ra với IBC mà tôi nghĩ xứng đáng nhận được nhiều sự chú ý hơn. Cosmos đã kết nối ethereum thông qua IBC Eureka từ năm 2025, nhưng kể từ đó họ đã làm được rất nhiều việc hơn nữa. IBC v2 đã có các bản triển khai Solidity, client nhẹ ethereum và xác minh chứng minh ZK sử dụng SP1. Họ cũng đang phát triển GMP (General Message Passing) để thực hiện các cuộc gọi hợp đồng chéo chuỗi và IFT (Interchain Fungible Tokens) để di chuyển tài sản giữa các chuỗi bằng mô hình đúc/hủy. Tôi đã xem qua các kho GitHub của họ và phát hiện ra rằng họ đã nâng cấp hạ tầng IBC trên mạng chính ethereum lên phiên bản v3 vào tháng Sáu, và xác nhận rằng các gói tin từ Cosmos Hub vẫn đang được chuyển tiếp sau bản nâng cấp. Họ cũng đang phát triển hỗ trợ Solana và kết nối thêm nhiều chuỗi EVM và L2. Tuy nhiên, không phải tất cả những điều này đều đã hoạt động. Điều tôi thấy thú vị là Cosmos đã dành nhiều năm xây dựng hạ tầng cho các appchain chủ quyền, và giờ đây một số hạ tầng tương tự đang được mở rộng cho các chuỗi ngoài Cosmos. Điều này khiến tôi tự hỏi liệu tương lai của Cosmos có ít liên quan đến việc có bao nhiêu chuỗi được xây dựng bằng Cosmos SDK, mà nhiều hơn là bao nhiêu chuỗi sẽ cuối cùng sử dụng IBC. https://t.co/9Lu7xS34ey
Đang tìm hiểu về triển khai IBC của Cosmos trên Ethereum và phát hiện ra một điều khá thú vị. Ethereum đang xác minh sự đồng thuận của Cosmos bằng các bằng chứng zero knowledge thông qua SP1. Thay vì chạy toàn bộ quá trình xác minh light client của CometBFT bên trong một hợp đồng Ethereum, họ chạy xác minh ngoài chuỗi trong một chương trình Rust, tạo ra bằng chứng ZK, rồi xác minh bằng chứng đó trên Ethereum. Và điều này đã đang chạy trên mạng chính. Tôi đã kiểm tra các bản ghi nâng cấp tháng Sáu của họ, nơi họ chuyển các light client Ethereum sang SP1 v6.1 và thành công trong việc truyền các gói Cosmos Hub bằng bộ xác minh mới. Tôi cũng đã kiểm tra các chỉ số gas của họ. Việc nhận một ERC20 hiện có qua IBC mất khoảng 551k gas trong các bài kiểm tra Foundry của họ, nhưng khi họ gộp 50 gói lại, trung bình giảm xuống còn khoảng 175k gas mỗi gói. Điều đó tương đương với việc giảm khoảng 68% gas mỗi gói. Tuy nhiên, vẫn còn một khía cạnh khác. Hệ thống vẫn phụ thuộc vào tập hợp validator của Cosmos, các chương trình xác minh SP1 và khóa chính xác, cùng một cơ chế quản trị có thể nâng cấp hoặc khôi phục các light client. Vì vậy, việc xác minh ZK không tự động có nghĩa là không có bất kỳ giả định tin tưởng nào. Tôi nghĩ đây chính là điểm thú vị trong hướng đi của tính tương tác. Chúng ta đang chuyển việc xác minh sự đồng thuận phức tạp ra ngoài chuỗi và sử dụng các bằng chứng mật mã để làm cho nó khả thi trên các blockchain khác. nguồn: https://t.co/Y6IL0hSehd
Đã dành một chút thời gian tìm hiểu sâu về SP1 Tendermint light client của Cosmos IBC Eureka trên ethereum. Tò mò liệu các phiên bản SP1 mới hơn có vẫn hoạt động được với verifier đã triển khai hiện tại mà không cần nâng cấp hợp đồng hay không. Đã phát hiện ra một số điều thú vị. Lấy về cả 4 ELF sản xuất chính thức và tái tạo chính xác các khóa xác minh chương trình của chúng bằng SP1 v6.1 và v6.9. Sau đó, tạo ra một bằng chứng cập nhật Tendermint thực tế của Cosmos Hub và thực thi ELF sản xuất ban đầu bằng cả hai phiên bản. Cả hai lần thực thi đều thành công và tạo ra đầu ra công khai giống nhau, dài 768 byte, cùng mức gas thực thi và cùng hash SHA-256. Phần thú vị hơn: SP1 v6.1, v6.9 và v6.10 đều vẫn báo phiên bản mạch là v6.1.0. So sánh các tệp nhị phân khóa xác minh Groth16 thực tế từ v6.1 và v6.10. Chúng giống nhau từng byte. Hash SHA-256 của chúng cũng khớp với hash verifier đã được triển khai trên ethereum: 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 Vì vậy, ít nhất ở cấp độ danh tính chương trình, thực thi và khóa xác minh Groth16, sự tương thích vẫn được duy trì giữa các phiên bản này. Vẫn chưa tạo ra bằng chứng thực sự bằng trình chứng minh mới hơn hoặc thử nghiệm nó với verifier ethereum đang hoạt động. Đó là bước tiếp theo. Thú vị khi thấy có bao nhiêu thành phần trong stack chứng minh có thể thay đổi trong khi giao diện xác minh vẫn giữ nguyên.
Tôi đang tìm hiểu về các hợp đồng Cosmos IBC được triển khai trên ethereum và phát hiện ra một điều thú vị về cách các light client ZK của chúng được quản lý. Các bằng chứng SP1 xác thực sự đồng thuận của Cosmos, nhưng bản thân triển khai light client vẫn có thể được di chuyển thông qua quản trị. Họ thực sự đã sử dụng cơ chế này trong đợt nâng cấp tháng Sáu để chuyển các client Tendermint sang SP1 v6.1. Cấu hình hiện tại sử dụng OpenZeppelin AccessManager, một Safe quản trị 4 trên 7 và thời gian chờ 72 giờ. Vì vậy, dù việc xác thực đồng thuận là mã hóa, hệ thống vẫn có một lớp niềm tin quản trị. Và tôi nghĩ điều đó đáng để hiểu rõ. Nếu ai đó có thể thay đổi triển khai light client mà bộ định tuyến tin tưởng, thì độ an toàn của toàn bộ hệ thống cũng phụ thuộc vào ai kiểm soát quyền hạn đó. Tôi không nói rằng có lỗ hổng ở đây. Cơ chế di chuyển là có chủ ý và hữu ích cho các bản nâng cấp và phục hồi. Nhưng tôi muốn hiểu rõ điều gì xảy ra nếu các khóa quản trị bị xâm phạm, liệu mọi thay đổi nhạy cảm có thực sự đi qua thời gian chờ không, và người dùng có thể xác minh một bản nâng cấp trước khi nó xảy ra như thế nào. nguồn: https://t.co/dnN5drqJMi
Đã tìm hiểu cách Cosmos IBC xác minh sự đồng thuận trên Ethereum bằng các bằng chứng SP1. Điều tôi quan tâm hơn cả các bằng chứng ZK là ai kiểm soát trình xác minh. Bởi vì bạn có thể có các bằng chứng hợp lệ về mặt toán học, nhưng nếu ai đó có quyền nâng cấp light client hoặc thay đổi các khóa xác minh được tin cậy, thì đó là một câu hỏi bảo mật hoàn toàn khác. Việc triển khai trên Ethereum sử dụng multisig 4 trên 7 với các kiểm soát quản trị được timelocked. Bây giờ tôi muốn truy vết chính xác những gì những người quản trị này có thể thay đổi, liệu một trình xác minh độc hại có thể được giới thiệu thông qua bản nâng cấp hay không, và người dùng thực sự có thể làm gì trong khoảng thời gian timelock. ZK chứng minh rằng một phép tính cụ thể đã được thực thi chính xác. Nó không chứng minh rằng những người kiểm soát phép tính nào được xác minh không thể thay đổi nó. Đó mới là phần tôi muốn tìm hiểu sâu hơn.
Đang có một số tin đồn điên rồ lan truyền trong giới công nghệ hiện nay OpenAI được cho là đang tìm cách huy động 30 tỷ USD trước khi Anthropic niêm yết Nvidia có thể đầu tư 10 tỷ USD vào đợt niêm yết của Anthropic Anthropic có thể được định giá 2 nghìn tỷ USD lol OpenAI dường như đang đàm phán để mua lại Trail of Bits Datadog được cho là đã đề xuất gần 4 tỷ USD để mua Upwind Security SpaceX được cho là đang xem xét huy động 40 tỷ USD để mua GPU của Nvidia Chưa phải tất cả đều được xác nhận, nhưng số tiền đang lưu chuyển trong lĩnh vực AI thật sự kinh khủng
