Khi AI học cách "Blockchain": Kỹ sư MIT làm thế nào để xây dựng Cursor cho thế giới Web3 "Cursor và Claude có thể chơi với React của Web2, nhưng khi đến Web3, chúng giống như những người mù sờ voi." Khi Luke nói câu này, các thí sinh hackathon bên dưới đều mỉm cười đồng cảm - nỗi đau "bế tắc" này, họ không còn xa lạ gì. Việc viết hợp đồng thông minh không chỉ đơn giản là "ghép vài hàm". Một sai lệch nhỏ trong biến trạng thái có thể trực tiếp mở ra lỗ hổng an ninh hàng triệu đô la; một dòng mã không tính đến chi phí gas có thể khiến toàn bộ ứng dụng không thể hoạt động trên chuỗi. Thật mỉa mai, AI đã khiến lập trình viên Web2 "trở thành full-stack chỉ sau một đêm", trong khi các nhà phát triển Web3 vẫn đang chuyển đổi giữa Remix, Hardhat, Foundry, kiểm tra báo cáo thử nghiệm một lần nữa - sợ rằng sẽ bước vào những "cái bẫy vô hình" trên chuỗi. Vì vậy, Luke quyết định tự mình hành động: tạo ra một AI thực sự "hiểu ngữ nghĩa blockchain". Có thể viết hợp đồng, có thể kiểm tra an toàn, có thể xử lý toàn bộ quy trình lên chuỗi. Đây chính là điểm khởi đầu của Nora. @mynoraai #MyNoraAI #BuiltWithNora #NoraAgent #CodeWithNora #NoraAI

Một, từ MIT đến chuỗi: Các nhà nghiên cứu AI rơi vào "cạm bẫy ngữ cảnh" của Web3 Trước khi tham gia vào Web3, Luke là một nhà nghiên cứu AI tại MIT Media Lab; sau đó, anh trở thành một trong số ít chuyên gia kỹ thuật tham gia sâu vào phát triển nền tảng blockchain, trực tiếp thiết kế cơ chế đồng thuận HotStuff và giải pháp thực thi song song BlockSTM. Kinh nghiệm này đã giúp anh nhận ra một vấn đề then chốt: nút thắt của Web3 không phải là mã nguồn mà là "ngữ cảnh trên chuỗi" đứng sau mã nguồn. Thế giới của hợp đồng thông minh không bao giờ chỉ là các phép toán logic đơn thuần, mà là một hệ sinh thái "máy trạng thái" phức tạp: mỗi giao dịch đều bị ảnh hưởng bởi các khối trước và sau, mỗi dòng mã đều phải được thực thi theo quy tắc của "đồng thuận trên chuỗi", thậm chí những tối ưu hóa nhỏ của trình biên dịch cũng có thể thay đổi kết quả thực thi cuối cùng. Anh đã thấy quá nhiều nhà phát triển trẻ bị những "độ phức tạp vô hình" này làm cho vấp ngã - rõ ràng cú pháp không có vấn đề gì, nhưng hợp đồng lại chạy sai trên chuỗi; rõ ràng chức năng đã được thực hiện, nhưng do gas quá cao nên không ai sử dụng. Cũng chính vào lúc này, một ý tưởng hình thành trong đầu anh: "Có lẽ, AI không chỉ nên hiểu cú pháp mã nguồn, mà còn nên hiểu 'logic ngôn ngữ' của blockchain."

Hai, điểm mù của công cụ AI: Tại sao Cursor của Web2 không thể xử lý phát triển trên chuỗi?​ Để hiểu giá trị của Nora, trước tiên cần hiểu "điểm mù Web3" của các công cụ lập trình AI truyền thống. ​ Ngày nay, các trợ lý lập trình LLM - bất kể là Cursor, Claude Code hay Copilot - đều có thể dễ dàng tạo ra các thành phần React, viết API và thậm chí xây dựng logic cho toàn bộ trang web. Nhưng khi yêu cầu chúng viết một hợp đồng thông minh Solidity? Gần như chắc chắn sẽ gặp vấn đề. ​ Vấn đề nằm ở đâu?​ "Sự hiểu biết ngữ nghĩa" của những mô hình này hoàn toàn dựa trên mô hình của Web2: kết xuất phía trước, giao diện phía sau, gọi HTTP, đầu vào và đầu ra của hàm... Chúng không thể nhìn thấy sự thay đổi trạng thái đặc trưng trên chuỗi, logic thực thi của máy ảo, hay tính toán chi phí gas, và càng không thể nắm bắt được ranh giới an toàn (chẳng hạn như tấn công tái nhập, kiểm soát quyền hạn).​ "Chúng hiểu thế giới JavaScript nhưng không hiểu 'tiếng địa phương' của blockchain." Tóm tắt của Luke đã chạm đến nỗi đau của vô số nhà phát triển Web3. ​ Và đây chính là điểm xâm nhập của Nora.

Ba, khoảnh khắc giác ngộ: Để AI hiểu "nhiệt độ của bytecode"​ Cuối năm 2024, Luke gặp phải một vấn đề khó khăn khi điều chỉnh một hợp đồng Move: mã do AI tạo ra có cú pháp hoàn toàn chính xác, nhưng khi đưa lên chuỗi thì báo lỗi —— lý do là sau khi biên dịch, logic thực thi hoàn toàn khác với dự kiến của mã gốc. ​ Chính vào khoảnh khắc này, anh bỗng nhận ra: để AI viết ra hợp đồng an toàn, trước tiên phải để nó hiểu "ngôn ngữ cấp thấp" của trình biên dịch và máy ảo. ​ Điều này đã trở thành điểm thiết kế cốt lõi nhất của Nora. ​ Khác với các AI Agent truyền thống, trong kiến trúc mô hình của Nora, đã được nhúng trực tiếp **"nhận thức trình biên dịch (Compiler-Aware) và "ngữ cảnh cấp máy ảo (VM-Level Context)"**. Nó không chỉ hiểu sự khác biệt về cú pháp của Solidity, Move, Cairo, Rust, mà còn có thể theo dõi đường đi thực thi của bytecode sau khi biên dịch, phân tích logic luân chuyển của từng lệnh. ​ Điều này có nghĩa là: Nora không chỉ "viết mã", mà còn có thể tự động xác minh logic hợp đồng, phát hiện lỗ hổng bảo mật, thậm chí tối ưu hóa tiêu thụ gas —— giống như một "kỹ sư toàn năng" hiểu biết về nguyên lý biên dịch, cơ chế đồng thuận và kiểm toán bảo mật.