Chứng Thực Mật Mã Hậu Lượng Tử
Mỗi Tác Nhân Cần Ba Thứ
Giống như mọi chiếc xe trên đường.
CIRISVerify là neo tin cậy cho hệ sinh thái CIRIS. Mật mã chữ ký kép hybrid Ed25519 + ML-DSA-65 là tiêu chuẩn từ ngày đầu: bảo mật cổ điển từ phần cứng, kháng lượng tử từ phần mềm.
1 · Giấy Phép Lái Xe
Danh Tính & Khóa Ký
Một khóa ký lai gắn với phần cứng (Ed25519 + ML-DSA-65) chính là danh tính của tác nhân, được lưu giữ trong phần cứng bảo mật FIPS 140-3 (TPM, Secure Enclave, Android Keystore, YubiKey). Cả hai chữ ký đều phải xác minh thành công. Không thể giả mạo hay chuyển nhượng.
Khóa không đại diện cho danh tính. Nó chính là danh tính.
2 · Đăng Ký & Kiểm Tra
Chính Trực Phần Mềm & Phần Cứng
Mỗi tệp trong bản phân phối tác nhân được băm SHA-256 lúc build và lưu trong một bản kê được ký. Khi chạy, CIRISVerify xác thực các tệp theo bản kê này. Bất kỳ thay đổi nào, dù chỉ một byte, đều kích hoạt tắt máy bắt buộc.
Môi trường chỉ có phần mềm bị giới hạn ở tầng cộng đồng.
3 · Bảo Hiểm
Trách Nhiệm & Cấp Phép
Theo dõi chuỗi trách nhiệm với sự giám sát của con người: tổ chức nào đã triển khai tác nhân này, người có giấy phép nào chịu trách nhiệm, những khả năng nào họ được phép sử dụng, và thông tin bắt buộc hiển thị cho mọi người dùng.
Tác nhân không có giấy phép vẫn có thể hoạt động, nhưng không thể thực hiện dịch vụ chuyên nghiệp.
Mật mã học không phải là điều quan trọng nhất. Điều nó bảo vệ mới thực sự quan trọng: mọi quyết định có ý nghĩa đều trở thành một hồ sơ có thể truy cứu trách nhiệm, được xác minh độc lập, thay vì chỉ là thứ bạn được yêu cầu tin tưởng.
HTTPS có thẩm quyền. DNS tư vấn.
Xác Thực Đa Nguồn
CIRISVerify không tin vào một nguồn duy nhất. Các điểm cuối HTTPS tại các tên miền độc lập có thẩm quyền; DNS cung cấp kiểm tra chéo tư vấn. Nếu các nguồn không đồng thuận, tác nhân bị hạn chế. Bảo vệ chống rollback theo dõi phiên bản thu hồi cao nhất đã thấy và từ chối bất kỳ giảm nào.
Một công tắc mà không ai bên trong hệ thống có thể tắt.
Công Tắc Khẩn Cấp Hiến Định
Quyền lực cuối cùng để dừng một tác nhân CIRIS không nằm ở công ty, mạng lưới, hay bản thân tác nhân. Nó nằm ở những con người được chỉ định rõ ràng. Mỗi người nắm giữ một cặp khóa phần cứng: một khóa bảo mật FIPS 140-3 cho chữ ký truyền thống, đồng thời niêm phong dữ liệu cho thiết bị thứ hai mang chữ ký hậu lượng tử. Để kích hoạt lệnh dừng, đa số người nắm giữ (2 of 3) phải ký lệnh bằng phần cứng của mình. Lệnh mang chữ ký lai Ed25519 + ML-DSA-65, vì vậy nó không thể bị giả mạo, phát lại hay làm giả, ngay cả bởi máy tính lượng tử trong tương lai, và không phần nào của mạng lưới có thể cấp phép, thu hồi hay ghi đè lên nó.
Chúng tôi thiết kế cho tình huống xấu nhất: một AI tấn công chính công tắc tắt của nó bằng cách nhắm vào những người nắm giữ nó. Hiến pháp quy định một nhóm đại diện luôn hoạt động, vì vậy ngay cả khi hầu hết người nắm giữ bị mất liên lạc, một người còn lại vẫn có thể rút phích cắm.
Kiểm tra lý lịch đầy đủ.
Chứng Thực Thống Nhất
Chứng Thực Khóa
Giấy phép này có thật không? Khóa ký của tác nhân được xác thực: do cổng cấp hoặc tạm thời, gắn phần cứng hoặc chỉ phần mềm. Một thử thách ngẫu nhiên chứng minh quyền sở hữu.
Chính Trực Tệp
Xe này có bị sửa đổi không? CIRISVerify tải bản kê build từ CIRISRegistry và xác minh SHA-256 mỗi tệp. Kiểm tra đầy đủ khi khởi động, kiểm tra ngẫu nhiên khi đang chạy.
Xác Thực Nguồn
Để tôi tra biển số. Nhiều nguồn độc lập (HTTPS US, HTTPS EU, DNS US, DNS EU) được truy vấn. Nếu chúng không đồng thuận, đó là đáng ngờ. Tác nhân bị hạn chế.
Các Tầng Chứng Thực
Chứng thực thống nhất tạo ra mức tin cậy dựa trên số lần kiểm tra vượt qua.
5 · Tin cậy hoàn toàn
Tất cả kiểm tra vượt qua
4 · Tin cậy cao
Vấn đề nhỏ (DNS tư vấn không đồng thuận)
3 · Tin cậy vừa
Một số kiểm tra thất bại
2 · Tin cậy thấp
Nhiều lần thất bại
1 · Tin cậy tối thiểu
Hầu hết kiểm tra thất bại
0 · Không tin cậy
Lỗi nghiêm trọng (tệp nhị phân bị giả mạo, kiểm toán bị hỏng)
Cửa sổ tiếp nhận.
CIRISPortal
Hoạt động tại portal.ciris.ai
Quản Trị Tác Nhân
CIRISPortal là giao diện web nơi quản trị viên cấp giấy phép lái xe, đăng ký xe, và quản lý hồ sơ bảo hiểm cho tác nhân AI. Đăng ký tác nhân, tạo cặp khóa Ed25519, cấp giấy phép với các quyền năng, và xử lý sự cố, tất cả với nhật ký kiểm toán đầy đủ.
Danh Bạ Tác Nhân
Đăng ký và theo dõi tác nhân AI theo băm SHA-256. Cấp danh tính được hỗ trợ bởi khóa gắn phần cứng. Mỗi đăng ký đều được ghi nhật ký bằng mật mã.
Chính Trực Build
Đăng ký build với bản kê chính trực tệp Tripwire: hơn 907 băm SHA-256 mỗi build. CIRISVerify xác thực tác nhân theo các bản kê này khi chạy.
Quản Lý Giấy Phép
Cấp và quản lý giấy phép với các quyền năng (y tế, pháp lý, tài chính). Theo dõi chuỗi trách nhiệm đầy đủ từ tổ chức đến cá nhân.
Lưu Giữ Khóa
Tạo cặp khóa hybrid Ed25519 + ML-DSA-65 với mã hóa phong bì AES-256-GCM. Tự lưu giữ hoặc cổng lưu giữ, tùy bạn chọn. Phần kháng lượng tử có mặt ngay hôm nay, không phải lộ trình tương lai.
Phản Ứng Sự Cố
Kiểm soát tắt khẩn cấp và thu hồi hàng loạt. Tạm đình chỉ giấy phép, thu hồi đăng ký. Khi có sự cố, hệ thống phản ứng trong vài giây.
Báo Cáo Kiểm Toán
Tạo báo cáo phù hợp với khung SOC2, HIPAA, và GDPR. Nhật ký kiểm toán đầy đủ về tất cả hoạt động quản trị. Mọi hành động đều được ghi lại và có thể truy nguyên.
Danh tính là nền tảng. Sự bảo đảm là giá trị.
Kích Hoạt Danh Tính
Cộng Đồng
$1.50 · mỗi danh tính tác nhân
Phí cấp phép $0.50
Trái khoán danh tính $1.00
Hằng tháng Miễn phí
Tối đa 5 tác nhân
✓ Danh tính gắn phần cứng
✓ Xác thực cơ bản
✓ Nhật ký kiểm toán bằng mật mã
✓ Hỗ trợ cộng đồng
Chuyên Nghiệp
$15.00 · kích hoạt + $10/tác nhân/tháng
Phí cấp phép $5.00
Trái khoán danh tính $10.00
Hằng tháng $10.00/tác nhân
Tối đa 50 tác nhân
✓ Xác thực có người quản lý
✓ Chuỗi cấp phép được ký
✓ Ủy quyền khả năng
✓ SLA hỗ trợ
Doanh Nghiệp
$125.00 · kích hoạt + $100/tác nhân/tháng
Phí cấp phép $25.00
Trái khoán danh tính $100.00
Hằng tháng $100.00/tác nhân
Tối đa 500 tác nhân
✓ Hỗ trợ chứng thực chính thức
✓ Neo nhật ký kiểm toán
✓ Tài liệu kiểm toán (phù hợp SOC2/HIPAA/GDPR)
✓ Hỗ trợ điều tra sự cố
An Toàn Quan Trọng
$1,250 · kích hoạt + tùy chỉnh hằng tháng
Phí cấp phép $250.00
Trái khoán danh tính $1,000.00
Hằng tháng Tùy chỉnh
Không giới hạn tác nhân
✓ Trách nhiệm nâng cao
✓ Hỗ trợ kiểm toán pháp y
✓ Hỗ trợ chứng thực quy định
✓ Hạ tầng ưu tiên
Cách Kích Hoạt Danh Tính Hoạt Động
Phí Cấp Phép
Một khoản phí nhỏ, không hoàn lại, để trang trải hạ tầng đăng ký và ngăn chặn sự xáo trộn danh tính. Tính theo mỗi danh tính tác nhân, không phải mỗi tổ chức.
Trái Khoán Danh Tính
Một khoản đặt cọc theo mỗi danh tính để chống lại Sybil. Bị tịch thu khi thu hồi. Quản trị viên có thể hoàn tiền thủ công cho các danh tính đã ngừng hoạt động đúng cách.
Bảo Đảm Hằng Tháng
Các tầng trả phí bao gồm xác thực có người quản lý, tài liệu kiểm toán, và hỗ trợ trách nhiệm nâng cao. Bạn trả tiền cho trách nhiệm, không phải khả năng.
Sẵn Sàng Hậu Lượng Tử
Mỗi phản hồi bao gồm chữ ký kép: Ed25519 từ phần cứng cho bảo mật cổ điển và ML-DSA-65 từ phần mềm cho kháng lượng tử. Cả hai đều phải được xác minh. Đây là hạ tầng từ ngày đầu, không phải mục tiêu trong lộ trình.
Cổ Điển
Ed25519 (gắn phần cứng)
Hậu Lượng Tử
ML-DSA-65 (FIPS 204)
Minh Bạch
Nhật ký cây Merkle SHA-256
Chống Rollback
Theo dõi phiên bản đơn điệu tăng
Máy tính. Di động. Máy chủ.
Hỗ Trợ Nền Tảng
Máy Tính & Máy Chủ
✓ Linux (x86_64, ARM64)
✓ macOS (Apple Silicon, Intel)
✓ Windows (x86_64)
Di Động
✓ Android (ARM64, ARM32, x86_64)
✓ iOS (ARM64 + Simulator)
Python (PyPI)
pip install ciris-verify
Python 3.10-3.13. Wheel theo nền tảng tự động gói đúng tệp nhị phân Rust.
CIRISVerify cung cấp chứng thực mật mã trong các mô hình mối đe dọa đã định nghĩa và không đảm bảo bảo mật tuyệt đối. Khả năng là như nhau dù có giấy phép hay không. Sự khác biệt là trách nhiệm, và với CIRISVerify, trách nhiệm đó có thể chứng minh bằng mật mã.