stylus

Theo báo cáo của Ủy ban An ninh Arbitrum, để đối phó với rủi ro tấn công hỗ trợ AI ngày càng phức tạp, Arbitrum đã thực hiện hành động khẩn cấp vào khoảng 23:30 giờ Bắc Kinh ngày 2 tháng 10, tạm thời ngăn chặn việc kích hoạt các hợp đồng Stylus mới trên mạng Arbitrum One và Nova.Sự hạn chế này chủ yếu nhắm vào các chương trình và cập nhật ứng dụng cần kích hoạt hoàn toàn mới, trong khi các ứng dụng Stylus đã được kích hoạt vẫn có thể tiếp tục hoạt động, việc triển khai và thực thi hợp đồng Solidity thông thường không bị ảnh hưởng. Arbitrum cho biết, biện pháp phòng ngừa này xuất phát từ mối đe dọa tấn công chương trình WebAssembly nhắm vào công cụ biên dịch Stylus không tiêu chuẩn, hiện chưa phát hiện rủi ro bị đánh cắp tài sản, mối lo ngại chính nằm ở mức độ hoạt động trên chuỗi và tấn công từ chối dịch vụ (DoS). Các nhà phát triển vẫn có thể kéo dài vòng đời của các chương trình hiện có thông qua cơ chế gia hạn không cần giấy phép, nhưng không thể kích hoạt các chương trình đã hết hạn hoặc ứng dụng phiên bản mới.

Ủy ban an ninh Arbitrum đã thực hiện nâng cấp khẩn cấp vào lúc 11:30 theo giờ miền Đông Hoa Kỳ vào ngày 2 tháng 10 trên Arbitrum One và Nova, tạm dừng kích hoạt tất cả các hợp đồng Stylus mới trên hai chuỗi, đồng thời thêm cơ chế bảo vệ cho chứng minh từng bước BoLD trong hệ thống tranh chấp của Arbitrum One. Quỹ Arbitrum cho biết, động thái này thuộc về các biện pháp an ninh chủ động liên tục, nhằm bảo vệ tính an toàn và toàn vẹn của mạng lưới.Stylus cho phép các nhà phát triển sử dụng các ngôn ngữ như Rust, C++ để viết hợp đồng thông minh, và duy trì tính tương thích với máy ảo Ethereum, chương trình của nó sẽ được biên dịch thành định dạng WebAssembly. Việc tạm dừng này chủ yếu nhắm vào các chương trình WASM được viết thủ công mà không sử dụng bộ công cụ biên dịch Stylus tiêu chuẩn và chưa được phiên bản ArbOS hiện tại sửa chữa. Ủy ban an ninh đã tăng Gas cần thiết để kích hoạt lên giới hạn lý thuyết bằng cách gọi ArbOwner.setWasmActivationGas(2^64 - 1), khiến việc kích hoạt mới về mặt kinh tế trở nên không khả thi. Các hợp đồng Stylus đã được kích hoạt không bị ảnh hưởng, vẫn có thể tiếp tục thực hiện và gia hạn, việc triển khai và thực hiện hợp đồng Solidity cũng không bị hạn chế.Bảo vệ BoLD mới cho phép bất kỳ ai tạm dừng việc thanh toán từ Arbitrum One đến Ethereum khi xuất hiện hai câu trả lời mâu thuẫn và đều được chấp nhận trong cùng một bước tranh chấp, các khoản rút chưa được xác nhận có thể bị trì hoãn để ủy ban an ninh triển khai sửa chữa. Chính thức chỉ ra rằng, các lỗ hổng liên quan đến Stylus đã được phát hiện chủ yếu ảnh hưởng đến tính hoạt động của chuỗi, chẳng hạn như tấn công từ chối dịch vụ, sẽ không gây nguy hiểm cho tài sản của người dùng.

Tin tức từ ChainCatcher, nhóm phát triển Arbitrum cho biết, đang đưa chứng minh không kiến thức (ZK) vào nền tảng Arbitrum để thực hiện mô hình thanh toán đa chứng minh. Thông qua chứng minh ZK, thời gian thanh toán của khối Arbitrum tới Ethereum L1 dự kiến sẽ giảm từ vài ngày xuống còn vài giờ, đồng thời nâng cao hiệu quả vốn của người dùng, cầu nối chuỗi và giao thức, nhờ vào cơ chế đa chứng minh duy trì tính bảo mật. Các khả năng liên quan sẽ hướng tới Arbitrum One và các chuỗi chuyên dụng dựa trên nền tảng Arbitrum, Offchain sẽ tiếp tục nộp đề xuất nâng cấp cho DAO.Tiến độ hiện tại bao gồm: có thể chạy các hàm chuyển đổi trạng thái giống như thực thi lạc quan trong SP1 zkVM, tạo chứng minh ZK cho khối mạng chính thực; hợp đồng WASM của Stylus có thể được chứng minh cùng với hợp đồng Solidity; nhóm đã ra mắt bộ xác thực Rust độc lập, khiến chứng minh ZK trở thành một chế độ hàng đầu bên cạnh xác thực tiêu chuẩn; giao thức thanh toán BoLD đã hỗ trợ tiếp nhận chứng minh ZK và được ủy quyền bởi ủy ban xác nhận nhanh, các trò chơi tranh chấp trước đó vẫn được coi là con đường dự phòng, hình thành kiến trúc đa chứng minh phối hợp giữa chứng minh ZK, ủy ban chứng minh và chứng minh gian lận.Nhóm cho biết đang tiếp tục giảm chi phí chứng minh và sẽ dần tích hợp mã liên quan vào đường dẫn sản xuất chính Nitro. Bước tiếp theo sẽ tập trung vào việc tối ưu hóa thêm chứng minh và chuyển sang thực thi dựa trên Reth, hoàn thành chứng minh hộp thư nhận tin L1, cũng như tích hợp khả năng thanh toán ZK vào cấu hình nút, để các chuỗi có thể kích hoạt theo nhu cầu.

ChainCatcher news, Arbitrum has initiated a governance vote for the Stylus Sprint program, aimed at encouraging developers to adopt Arbitrum Stylus for developing smart contracts and tools by offering rewards of up to 5 million ARB tokens. The program lasts for one year, with an application period of 8 weeks. Applying teams are required to utilize Stylus technology to showcase their unique use cases and build foundational tools. Project teams must apply through a designated process, and an evaluation committee will screen based on the criteria outlined in the proposals, with a maximum application limit of 1 million ARB. Funds will be disbursed in phases based on project progress to ensure project deployment and long-term maintenance. Arbitrum has set this proposal to private, and the final results will only be viewable after the voting concludes.

ChainCatcher news, Arbitrum officials posted on the X platform stating that Stylus contracts are fully interoperable with Solidity contracts, which means developers can mix and match contracts within the protocol. This means more options, more optimizations, and stronger development capabilities.

ChainCatcher news, Arbitrum announced on its official Twitter that it will collaborate with the Web3 developer education platform HackQuest to launch the Arbitrum Stylus Learning Track on the HackQuest platform, helping developers learn to use Arbitrum Stylus for development from 0 to 1. After completing the learning, developers will also receive a certificate issued jointly by Arbitrum and HackQuest. An AMA will be held later to introduce Arbitrum Stylus and the HackQuest Arbitrum Learning Track.At the same time, Arbitrum will support HackQuest in hosting a series of online and offline developer events globally to build the Arbitrum developer ecosystem and jointly establish a global Web3 developer network. Currently, HackQuest has reached official developer education cooperation with over 10 public chains, including Mantle, Solana, and Arbitrum, and has jointly launched developer education courses and certificates.

ChainCatcher news, Arbitrum announced on its official Twitter that it will collaborate with the Web3 developer education platform HackQuest to launch the Arbitrum Stylus Learning Track on the HackQuest platform, helping developers learn to use Arbitrum Stylus for development from 0 to 1. After completing the learning, developers will also receive a certificate issued jointly by Arbitrum and HackQuest. An AMA will be held later to introduce Arbitrum Stylus and the HackQuest Arbitrum Learning Track.At the same time, Arbitrum will support HackQuest in hosting a series of online and offline developer events globally to build the Arbitrum developer ecosystem and jointly create a global Web3 developer network. Currently, HackQuest has reached official developer education cooperation with more than 10 public chains, including Mantle, Solana, and Arbitrum, and has jointly launched developer education courses and certificates.

ChainCatcher news, Arbitrum has proposed an AIP to activate Arbitrum Stylus on the Arbitrum One and Arbitrum Nova mainnets and enable the next generation of WebAssembly smart contracts. Stylus is a complement to the EVM (Stylus contracts and EVM contracts are fully interoperable) and is a new programming environment that includes a WebAssembly-based virtual machine, CLI, and a specification SDK that defines patterns and frameworks for writing smart contracts. This allows developers to write smart contracts using new programming languages such as Rust.It is reported that if the Arbitrum DAO approves the AIP, discussions on the proposal will be initiated in the forum, completing the review and remaining code changes, voting on Snapshot to enable Stylus on Arbitrum Sepolia, merging the Stylus branch into the standard Nitro codebase, testing on the public testnet simulating the production environment, and deploying the upgraded on-chain voting on Arbitrum One and Arbitrum Nova.

ChainCatcher news, Arbitrum Stylus has completed a new upgrade, supporting developers to write smart contracts in C language using the Stylus C-SDK. The tools introduced in Cargo-Stylus will parse Solidity and create initial C language code for smart contracts.Previous report, the Arbitrum development team Offchain Labs announced the launch of Arbitrum Stylus code and the public testnet release. This allows developers to build applications on the Arbitrum Nitro chain using traditional EVM tools and WASM-compatible languages (such as Rust, C, and C++).

ChainCatcher news, the Arbitrum development team Offchain Labs announced on social media that the Arbitrum Stylus code and public testnet have been launched. This allows developers to build applications on the Arbitrum Nitro chain using traditional EVM tools and WASM-compatible languages (such as Rust, C, and C++).Additionally, by improving computational, storage, and memory efficiency, Stylus significantly reduces gas costs and supports new blockchain use cases, such as alternative signature schemes, larger generative art libraries, C++-based games, and previously computation-intensive AI models.

ChainCatcher news, the Arbitrum development team Offchain Labs announced that they have written a complete and effective fraud proof program for the next-generation programming environment Stylus. Stylus allows users to deploy contracts written in their favorite programming languages, including Rust, C, C++, and more. Additionally, it enhances the security of Stylus contracts in WASM using Nitro and expands EVM+ support. Stylus is expected to undergo auditing this year and be ready for production. (source link)