《Pituitary：Nhóm DUSK nhét vào trào lưu AI một “bộ phát hiện trôi đặc kỹ”, vừa “ngầu” vừa thông minh》
Ngày 26/03/2026, tài khoản quan phương đăng một bài 《Pituitary: AI Spec Drift Detection》. Tiêu đề nghe như đang “cọ nhiệt” của các dự án AI; bấm vào thì mới biết đây là công cụ dành cho nhà phát triển: dùng LLM để đối chiếu “ý định hợp đồng mà bạn đã viết” và “ràng buộc thực tế của mạch ZK”; khi có “spec drift” (lệch/khác biệt đặc tả) thì sẽ báo động.
Vì sao DUSK làm cái này? Bởi lộ trình phát triển của họ bị chia nhánh: trên DuskVM, viết hợp đồng Rust/WASM thì phải tự tay “điều” các ràng buộc ZK; còn nếu chuyển sang Solidity thì dựa vào DuskEVM + Hedger bọc thêm một lớp tự động. Ở đoạn giữa rất dễ dính bẫy kiểu “tưởng là đã ẩn số tiền, nhưng thực ra không ẩn”. Pituitary chính là biến các spec dạng ngôn ngữ tự nhiên (ví dụ: “số dư không công khai với công chúng nhưng bên kiểm toán có thể chứng minh được”) thành các mệnh đề (assertion) hình thức, rồi đem so sánh với bản build (phần sinh ra) thông qua diff.
Mình lôi GitHub của họ ra xem rồi: cốt lõi là một dịch vụ Python + có thể chọn dùng Ollama cục bộ, không bắt buộc phải lên cloud—phù hợp với “chủ nghĩa giữ chủ quyền dữ liệu” kiểu châu Âu. Trong nhóm có người làm ZK cho vay/thử rồi nói rằng: “dương tính giả nhiều nhưng âm tính giả ít; khi dùng làm cổng kiểm CI thì đủ dùng”.
DUSK năm 2018 giống một đám “fan cuồng mật mã”; đến DUSK năm 2026 bắt đầu nghĩ “làm sao để anh thợ Solidity bình thường đừng vô tình viết hở quyền riêng tư”. RWA không phải dựa vào các bài báo mật mã để triển khai, mà dựa vào việc khiến lập trình viên trung cấp ít phạm sai lầm ngớ ngẩn khi triển khai. Pituitary không sexy, nhưng nó là giàn giáo trước khi hệ sinh thái bắt đầu bùng lên. #dusk $DUSK @Dusk
Ngày 26/03/2026, tài khoản quan phương đăng một bài 《Pituitary: AI Spec Drift Detection》. Tiêu đề nghe như đang “cọ nhiệt” của các dự án AI; bấm vào thì mới biết đây là công cụ dành cho nhà phát triển: dùng LLM để đối chiếu “ý định hợp đồng mà bạn đã viết” và “ràng buộc thực tế của mạch ZK”; khi có “spec drift” (lệch/khác biệt đặc tả) thì sẽ báo động.
Vì sao DUSK làm cái này? Bởi lộ trình phát triển của họ bị chia nhánh: trên DuskVM, viết hợp đồng Rust/WASM thì phải tự tay “điều” các ràng buộc ZK; còn nếu chuyển sang Solidity thì dựa vào DuskEVM + Hedger bọc thêm một lớp tự động. Ở đoạn giữa rất dễ dính bẫy kiểu “tưởng là đã ẩn số tiền, nhưng thực ra không ẩn”. Pituitary chính là biến các spec dạng ngôn ngữ tự nhiên (ví dụ: “số dư không công khai với công chúng nhưng bên kiểm toán có thể chứng minh được”) thành các mệnh đề (assertion) hình thức, rồi đem so sánh với bản build (phần sinh ra) thông qua diff.
Mình lôi GitHub của họ ra xem rồi: cốt lõi là một dịch vụ Python + có thể chọn dùng Ollama cục bộ, không bắt buộc phải lên cloud—phù hợp với “chủ nghĩa giữ chủ quyền dữ liệu” kiểu châu Âu. Trong nhóm có người làm ZK cho vay/thử rồi nói rằng: “dương tính giả nhiều nhưng âm tính giả ít; khi dùng làm cổng kiểm CI thì đủ dùng”.
DUSK năm 2018 giống một đám “fan cuồng mật mã”; đến DUSK năm 2026 bắt đầu nghĩ “làm sao để anh thợ Solidity bình thường đừng vô tình viết hở quyền riêng tư”. RWA không phải dựa vào các bài báo mật mã để triển khai, mà dựa vào việc khiến lập trình viên trung cấp ít phạm sai lầm ngớ ngẩn khi triển khai. Pituitary không sexy, nhưng nó là giàn giáo trước khi hệ sinh thái bắt đầu bùng lên. #dusk $DUSK @Dusk