Vitalik Buterin ra mắt bản demo diễn đàn nhắn tin ẩn danh trên Aztec L2

Đồng sáng lập Ethereum Vitalik Buterin đã phát hành một bản demo hoạt động của diễn đàn nhắn tin ẩn danh trên Aztec vào Chủ nhật. Ông chia sẻ dự án trên Farcaster, mô tả đây là một phiên bản đồ chơi “vibe-coded” của ý tưởng “biển quảng cáo ẩn danh có kiểm duyệt” mà ông đã nêu trong một bài blog năm 2022. Bản demo triển khai đăng bài hoàn toàn riêng tư kết hợp với lớp kiểm duyệt trên chuỗi trên mạng Aztec Layer 2. Mã nguồn của dự án được công khai trên GitHub dưới tài khoản vbuterin của Buterin. Dự án giải quyết các thách thức về quyền riêng tư và kiểm duyệt nội dung trong các hệ thống truyền thông phi tập trung bằng cách kết hợp đăng bài ẩn danh với các quy tắc kiểm duyệt có thể lập trình.

Kiến trúc kỹ thuật trên Aztec Layer 2

Diễn đàn được xây dựng trên Aztec. Theo kho mã nguồn, người dùng nạp ETH trên lớp cơ sở của Ethereum, đăng tin ẩn danh trên Layer 2, và sau đó rút ETH của họ trở lại Layer 1. Các bài đăng không mang địa chỉ người gửi trong dữ liệu gọi công khai và không có liên kết tới khoản nạp ban đầu.

Trong một bài cast tiếp theo trên Farcaster, Buterin cho biết Aztec đã đạt giai đoạn 2, tầng phi tập trung nhất trong thang đo mức trưởng thành của Layer 2.

Hệ thống kiểm duyệt trên chuỗi với LLM Daemon

Thiết kế gắn một vai trò kiểm duyệt, được đặt khi triển khai, có thể gắn cờ các bài đăng là “phi đạo đức”. Các bài đăng bị gắn cờ sẽ bị ẩn khỏi bảng tin mặc định và áp dụng hình phạt khóa thời gian đối với tin nhắn tiếp theo của người đăng.

Một daemon LLM cục bộ theo dõi diễn đàn, đánh giá từng bài đăng dựa trên chính sách kiểm duyệt trên chuỗi, và gắn cờ bất cứ thứ gì vi phạm theo tài liệu. Bản thân chính sách được lưu trên chuỗi và có thể được ứng dụng, CLI và daemon đọc.

Giới hạn tốc độ và Xác minh hình thức

Việc đăng bài được giới hạn tốc độ thông qua cơ chế cooldown giảm dần khi khoản nạp tăng lên. Theo kho mã nguồn, 0,001 ETH mua 1 bài đăng mỗi giờ, trong khi 0,01 ETH mua 10 bài đăng mỗi giờ.

Một phần của hệ thống được kèm theo xác minh hình thức. Tài liệu cho biết các thuộc tính bảo mật bao phủ giới hạn tốc độ, sàng lọc kiểm duyệt, quyền riêng tư và an toàn của khoản nạp đã được chứng minh trong Lean 4 qua 70 định lý, với 0 khoảng trống chưa được chứng minh.

Trạng thái phát triển và các hạng mục còn mở

Kho mã nguồn liệt kê công việc ở giai đoạn sớm và chưa hoàn chỉnh, với các hạng mục còn mở bao gồm sửa lỗi phân quyền và các luồng trình duyệt chưa được thử nghiệm. Buterin cho biết trong cast của mình rằng bản demo hiện đã có thể làm “những thứ rất thú vị và không tầm thường”.

Câu hỏi thường gặp

Bản demo diễn đàn nhắn tin ẩn danh của Vitalik Buterin làm gì?

Bản demo cho phép người dùng đăng tin ẩn danh trên Aztec Layer 2 sau khi nạp ETH trên lớp cơ sở của Ethereum. Các bài đăng không mang địa chỉ người gửi trong dữ liệu gọi công khai và bao gồm một hệ thống kiểm duyệt trên chuỗi có khả năng gắn cờ nội dung vi phạm quy tắc bằng cách sử dụng một daemon LLM cục bộ.

Hệ thống kiểm duyệt hoạt động như thế nào trong diễn đàn của Buterin?

Một vai trò kiểm duyệt được thiết lập khi triển khai có thể gắn cờ các bài đăng là “phi đạo đức”. Một daemon LLM cục bộ đánh giá từng bài đăng dựa trên chính sách kiểm duyệt trên chuỗi và gắn cờ các vi phạm. Các bài đăng bị gắn cờ bị ẩn khỏi bảng tin mặc định và áp dụng hình phạt khóa thời gian đối với tin nhắn tiếp theo của người đăng.

Trạng thái phát triển hiện tại của dự án là gì?

Kho mã nguồn liệt kê công việc ở giai đoạn sớm và chưa hoàn chỉnh. Các hạng mục còn mở bao gồm sửa lỗi phân quyền và các luồng trình duyệt chưa được thử nghiệm. Hệ thống có xác minh hình thức trong Lean 4 với 70 định lý bao phủ các thuộc tính bảo mật cho giới hạn tốc độ, sàng lọc kiểm duyệt, quyền riêng tư và an toàn của khoản nạp.