Whitepaper Kỹ Thuật & Đánh Giá Thực Nghiệm Rul (.rl) — Zenodo DOI 10.5281/zenodo.23722094
Bài báo khoa học kỹ thuật, phân tích nguyên lý đầu tiên (First-Principles), phương pháp đo kiểm 80 MB dữ liệu cột và bảng băm SHA-256 Prior Art của Rul (.rl).
Rul (.rl): Ngôn Ngữ Lập Trình Nhị Phân SSA-DAG 128-Bit Mang Theo Lịch Trình & Bằng Chứng
Các ngôn ngữ lập trình truyền thống (C, Go, Rust, Python) được thiết kế xoay quanh giới hạn sinh học của con người: tốc độ gõ phím băng thông thấp (~40 bit/giây) và việc đọc chữ ASCII bằng mắt, vô tình áp đặt chi phí tuần tự hóa, phân tích cú pháp, suy luận kiểu và tối ưu hóa LLVM khổng lồ lên các tác nhân AI tự chủ.
Rul (.rl) xóa bỏ mã nguồn văn bản khỏi vai trò biểu diễn chính, thay thế bằng đồ thị nhị phân phẳng SSA-DAG ánh xạ trực tiếp vào bộ nhớ (mmap), nơi mỗi lệnh là một khung NodeFrame 128-bit (16-byte) cố định mã hóa Algorithm + ScheduleHint + ProofIdx + AffineToken/ReadLease. Vì AI Agent phát trực tiếp lịch trình phần cứng và chứng chỉ an toàn cùng với thuật toán, trình biên dịch Rul không tốn thời gian đoán kiểu hay tìm kiếm: bộ kiểm chứng tuyến tính 1 lượt O(N) đảm bảo toán học 100% không có lỗi aliasing, use-after-consume, tràn bộ đệm hay vi phạm quyền sandbox chỉ trong ~5.78 ns/node, đồng thời engine thực thi 3 tầng và trình biên dịch AOT x86_64 ELF64 hợp nhất các pipeline nhiều bước vào vòng lặp thanh ghi chỉ trong ~6.4 µs.
Tại Sao Ngôn Ngữ Văn Bản Là Nút Cổ Chai Của AI Agents?
- • AI phải dịch ý định số học bên trong thành hàng nghìn ký tự ASCII (pub fn, dấu ngoặc, dấu chấm phẩy).
- • Trình biên dịch mất hàng giây đọc chữ, dựng cây AST và giải bài toán NP-hard cho Borrow Checker / cấp phát thanh ghi.
- • Lịch trình phần cứng (SIMD / chia khối cache / đa luồng) bị trộn lẫn vào cú pháp vòng lặp tuần tự.
- • AI phát trực tiếp khung nhị phân 16-byte (0 ms đọc chữ, 0% lỗi cú pháp).
- • Một vòng lặp tiến duy nhất kiểm chứng thứ tự SSA, phiên bản bộ nhớ và biên mảng trong ~5.78 ns/lệnh.
- • Chỉ đổi đúng 1 byte (Byte 2: schedule_hint) để chuyển từ SIMD đơn nhân sang Đa nhân + ZoneMap.
Kết Quả Thực Nghiệm (80 MB / 10 Triệu Số Thực f64)
| PHƯƠNG PHÁP TRIỂN KHAI | CHẾ ĐỘ CHẠY | ĐỘ TRỄ | BĂNG THÔNG | SO VỚI C 8-ACC |
|---|---|---|---|---|
| [A] AoS Truyền thống + Vec::collect() | 1 Nhân AoS + Cấp phát Heap | 70.66 ms | 1.13 GB/s | 0.10x |
| [B] Rust SoA Chuẩn (filter().map().sum()) | 1 Nhân Chuỗi Iterator SoA | 19.12 ms | 4.18 GB/s | 0.38x |
| [C] C/Rust Viết Tay 8-Accumulator SoA | 1 Nhân 8 Làn Trải Vòng Lặp (Mốc chuẩn) | 7.32 ms | 10.92 GB/s | 1.00x (Baseline) |
| [D] Rul (.rl) Tier 2 SIMD Hợp Nhất (0x11) | 1 Nhân L1-Tile SIMD (SimdStream) | 5.91 ms | 13.53 GB/s | 1.24x (1-Core vs 1-Core) |
| [E] Rul (.rl) Tier 2 Đa Nhân (0x12) | Toàn Bộ Nhân (Đổi 1 Byte Lịch Trình) | 3.19 ms | 25.04 GB/s | 2.29x (Schedule Byte) |
| [F] Rul (.rl) Tier 2 Đa Nhân + ZoneMap | Toàn Bộ Nhân + Bỏ Qua Khối Lạnh O(1) | 1.55 ms | 51.53 GB/s | 4.72x (Peak Speedup) |
Trích Dẫn Rul (.rl) Trong Nghiên Cứu Khoa Học
@software{rul_2026_spec,
author = {Rul Core Architecture Team},
title = {{Rul (.rl): A 128-Bit Schedule- and Proof-Carrying Binary SSA-DAG Programming Language and Execution Engine for Autonomous AI Agents}},
month = oct,
year = 2026,
publisher = {Zenodo},
version = {0.4.0},
doi = {10.5281/zenodo.23722094},
url = {https://doi.org/10.5281/zenodo.23722094}
}Xác Thực Quyền Tác Giả & Bằng Chứng Mật Mã (Prior Art)
Các mã băm SHA-256 của đặc tả và mã nguồn Rust lõi được đóng dấu thời gian trên Bitcoin blockchain qua OpenTimestamps trong thư mục docs/prior_art/.
| ĐƯỜNG DẪN TỆP | VAI TRÒ KIẾN TRÚC | MÃ BĂM SHA-256 |
|---|---|---|
| docs/rul_spec_v0.md | Đặc tả cấu trúc nhị phân .rl & Bộ kiểm chứng O(N) | 9174ff81b429b19785646f25707034a36b4ba7b4a7964b7e04ddbc31fda9d9c6 |
| docs/WHITEPAPER_RUL_V0_1.md | Bài báo khoa học kỹ thuật & Đánh giá thực nghiệm (Zenodo DOI) | 141ea3d9b348369b4e233746619fee443387e931c821fe2eb32b93f760571b98 |
| docs/new_language_for_AI.md | Phân tích kiến trúc nguyên lý đầu tiên cho AI Agents | 88043cda84b7289e9fe26f4bc3547a58b994a91b1df8774bbc206dc6dba5504d |
| src/bytecode.rs | Định nghĩa RulHeader 64B, ArenaDescriptor 16B, ProofEntry & NodeFrame 128-bit | 3a8c780cf4181c936b303943eafa3729eba9e519cd9d55569c28f1f630f26c03 |
| src/verifier.rs | Bộ kiểm chứng tĩnh tuyến tính 1 lượt O(N) (~5.78 ns/node) | feaa5ae7e94b2bede64772d1ce595286bed35ac2afc9be9b571836813a4eb11b |
| src/engine.rs | Engine thực thi 3 tầng, hợp nhất L1-Tile, ZoneMap & White-Box Tracer | 8037e2f718dc24d372a67111d9a6c5481ade4ff55a62d1b315b35c9ccf879bcf |
| src/aot.rs | Trình biên dịch mã máy Linux x86_64 AVX2 ELF64 không cần LLVM (~6.4 µs) | fe8eddae822fae0df6ea751aaa7919fc81675a7c169d2aadb4c3b9e6f05f27ac |
| src/mcp.rs | Máy chủ giao thức Model Context Protocol (JSON-RPC 2.0 qua stdio) | c58faa2f0ac626412a6c8ef00ae67dabc85b863f4c0ba73c3e16a0ff909a91c6 |