Khi truyền
Ký số và niêm phong cho một bo mạch
Được mã hóa bằng khóa của chính bo mạch nhận, được Store ký số và mang theo một vé dùng một lần. Gói được gửi qua USB từ trang Store hoặc qua MQTTS, và được mở bằng cùng một đoạn mã trên bo mạch.
Bảo mật
Cách BENTO bảo vệ mô hình.
BENTO ra đời để đưa AI đến thiết bị một cách an toàn. Trang này trình bày những gì đang chạy trong các bản phát hành công khai hôm nay, những gì đã được trình diễn trên bàn thử nghiệm và những gì vẫn còn ở phía trước.
Quy tắc của chúng tôi cho các tuyên bố về bảo mật
Nêu tên bo mạch
Mọi tuyên bố về bảo mật đều nêu rõ áp dụng cho bo mạch nào. Một tính năng chạy trên một bo mạch thử nghiệm sẽ không được mô tả là đã đến tay người dùng.
Đo trước khi công bố
Chúng tôi chỉ công bố một con số khi đã đo được, và nêu rõ đo ở đâu, khi nào.
Giảm thiểu những gì được truyền đi
Suy luận chạy trên thiết bị, và Highlights lưu kết quả mà không kèm bản ghi.
Xây dựng trên vi mạch đã được kiểm chứng
Chúng tôi xây dựng trên Infineon PSOC™ Edge E84 và kiến trúc bảo mật của nó, thay vì tự tạo ra gốc tin cậy của riêng mình.
Hiện tại
Đã có trong các bản phát hành công khai.
Những điều sau đã có trong firmware và các dịch vụ mà mọi người đang sử dụng hôm nay.
- Hiện có
Suy luận trên thiết bị, ngoại tuyến: mô hình chạy trên NPU của bo mạch và không cần kết nối đám mây.
- Hiện có
Âm thanh chỉ được ghi để huấn luyện khi người nói đồng ý trên trang. Highlights chứa kết quả, không phải bản ghi.
- Hiện có
Các bản phát hành firmware hiện tại có bản ghi định danh và tệp kê khai, nhờ đó công cụ cài đặt trên trình duyệt cài đúng phiên bản cho từng bo mạch.
- Hiện có
Bo mạch được đăng ký cho chủ sở hữu theo mã định danh chip trên Edge AI Store; việc từ bỏ quyền sở hữu và chuyển nhượng được xử lý ngay trong Store.
- Hiện có
Store, Trainer và trang web này chỉ được phục vụ qua HTTPS; thanh toán bằng thẻ, khi được mở, do Stripe xử lý và không bao giờ đến máy chủ của chúng tôi.
- Hiện có
Chuyển giao niêm phong và lưu trữ mô hình mã hóa trên BENTO HMI Kit: mỗi gói được mã hóa bằng khóa của chính bo mạch đó, kèm vé dùng một lần, qua USB hoặc MQTTS.
Cách BENTO chuyển giao một mô hình
Hiện có
Sáu bước từ cửa hàng mô hình đến bo mạch.
Chuỗi chuyển giao niêm phong này hiện đang chạy trên BENTO HMI Kit. Mỗi bước khép lại một cách tấn công mô hình.
- 1
Store ký số
Mỗi mô hình đều mang chữ ký số của Store, nhờ đó bo mạch có thể xác định AI của mình đến từ đâu.
Mô hình bị sửa đổi sẽ bị phát hiện.
- 2
Bo mạch lấy vé
Chính bo mạch lấy một vé dùng một lần.
Gói bị đánh chặn không thể bị phát lại, vì vé của gói đã được sử dụng.
- 3
Niêm phong cho một bo mạch
Gói được mã hóa bằng khóa của chính bo mạch nhận.
Gói bị sao chép sẽ không mở được trên bất kỳ bo mạch nào khác.
- 4
USB hoặc MQTTS
Cùng một đoạn mã trên bo mạch mở gói đến từ bất kỳ đường truyền nào.
Việc đánh chặn trên đường truyền chỉ thu được bản mã.
- 5
Lõi bảo mật mở gói
Gói được mở bên trong lõi bảo mật của bo mạch, nơi lưu giữ khóa.
Mục tiêu: khóa không bao giờ rời khỏi lõi bảo mật. Tệp nhị phân ứng dụng có chữ ký số và tính năng khóa giao diện dòng lệnh, hạng mục tiếp theo trong lộ trình, sẽ hoàn thiện mục tiêu này.
- 6
Xác minh trước khi ghi
Chữ ký số của Store được kiểm tra trên bo mạch trước khi mô hình được ghi.
Mô hình không có chữ ký số hoặc đã bị sửa đổi sẽ không được ghi.
Được mã hóa và ký số bằng các thuật toán tiêu chuẩn đã công bố. Bản thân thiết kế niêm phong không được công bố.
Khi lưu trữ
Bản mã trên bo mạch
Được lưu trên bo mạch ở dạng mã hóa, bằng một khóa chỉ thuộc về riêng con chip đó, nên một tệp bị sao chép sẽ không mở được ở nơi nào khác. Khi đọc ngược từ một BENTO HMI Kit vào ngày 27 tháng 9 năm 2026, tệp được lưu không chứa bất kỳ phần nào trong số 21.817 phần của mô hình.
Khi sử dụng
Chỉ được giải mã bên trong chip
Chỉ được giải mã vào bộ nhớ bên trong chip dành cho NPU Ethos™-U55; chỉ cần một byte bị thay đổi là mô hình sẽ không được nạp.
Hiện cóĐang chạy trên BENTO HMI Kit: triển khai niêm phong qua MQTTS từ ngày 21 tháng 9 năm 2026, và qua USB từ Edge AI Store, lưu trữ ở dạng mã hóa, từ ngày 27 tháng 9 năm 2026. Secure boot và cổng gỡ lỗi đã đóng được thiết lập trên mọi thiết bị BENTO chúng tôi bàn giao. Cho đến khi tính năng khóa giao diện dòng lệnh được phát hành, mã chạy qua giao diện dòng lệnh của chính bo mạch vẫn có thể tiếp cận một mô hình đang chạy.
Khi bàn giao, và tiếp theo
Được thiết lập trên mọi thiết bị chúng tôi bàn giao.
- Hiện có
Secure boot: tệp nhị phân của lõi bảo mật được xác minh bằng OEM key của chúng tôi trước khi khởi chạy, trên mọi thiết bị BENTO chúng tôi bàn giao.
- Hiện có
Trạng thái vòng đời sản xuất, với cổng gỡ lỗi của bên giữ khóa được đóng, trên mọi thiết bị chúng tôi bàn giao.
- Lộ trình
Tiếp theo: tệp nhị phân ứng dụng và tệp nhị phân Cortex®-M55 có chữ ký số, cùng giao diện dòng lệnh được khóa.
- Hiện có
Bắt buộc mô hình có chữ ký số và được niêm phong, trên mọi thiết bị chúng tôi bàn giao.
Vi mạch
Infineon PSOC™ Edge E84.
BENTO chạy trên PSOC™ Edge E84 của Infineon: một Arm® Cortex®-M55 với NPU Arm® Ethos™-U55, bên cạnh một Arm® Cortex®-M33. Các chứng nhận bảo mật thuộc về vi mạch của Infineon; BENTO xây dựng dựa trên chúng và không nhận chúng là của mình.
Báo cáo lỗ hổng
Hãy báo cho chúng tôi trước.
Nếu cho rằng mình đã phát hiện một vấn đề bảo mật trong BENTO, Edge AI Store, Edge AI Trainer hoặc trang web này, xin vui lòng báo riêng cho chúng tôi trước khi thông báo cho bất kỳ ai khác.
- Mô tả vấn đề đã phát hiện, cách tái hiện và những gì kẻ tấn công có thể làm với nó.
- Không truy cập, thay đổi hoặc xóa dữ liệu không thuộc quyền sở hữu của mình, và không chạy các bài kiểm tra làm suy giảm chất lượng dịch vụ đối với người khác.
- Dành cho chúng tôi một khoảng thời gian hợp lý để khắc phục trước khi công bố.
Chúng tôi sẽ xác nhận đã nhận báo cáo, thường xuyên cập nhật tình hình, và ghi nhận công lao của người báo cáo nếu người đó mong muốn.