Sinh nhật "Anubis": Câu chuyện về mã không nói dối và cuộc cách mạng chống lại sự nô lệ của đám mây
#
Tại Thung lũng Silicon, có một giáo lý không viết nào thống trị thế giới kỹ thuật số mà chúng ta đang sống hôm nay, với phương châm: "Hãy di chuyển nhanh và phá vỡ mọi thứ".
Dựa trên giáo lý này, các hệ điều hành và phần mềm điều hành cuộc sống của chúng ta, tài khoản ngân hàng, camera nhà cửa, và điện thoại của chúng ta đã được thiết kế. Các công ty lớn bán cho chúng ta những phần mềm dễ vỡ, đầy lỗ hổng và lỗi, sau đó buộc chúng ta phải sống trong tình trạng "nô lệ số" liên tục dưới cái gọi là "cập nhật thường xuyên" và vá lỗi. Họ đã thuyết phục nhân loại về một ảo tưởng nguy hiểm: rằng trí tuệ, phân tích và kết nối luôn cần đến những máy chủ triệu đô và card đồ họa khổng lồ của họ, và rằng các thiết bị cá nhân trong túi của chúng ta chỉ là những giao diện ngu ngốc không có giá trị mà không có "đám mây độc quyền".
Hôm nay, từ lòng của ảo mộng này, chúng tôi công bố điểm chuyển mình. Chúng tôi công bố sự ra đời của Anubis: kiến trúc thay thế trả lại quyền tự chủ kỹ thuật cho con người, đặt nền móng cho thời đại "mã không nói dối".
Khoảnh khắc sự thật: khi chúng tôi đào sâu dưới lớp vỏ.
Câu chuyện không bắt đầu từ mong muốn thành lập một công ty phần mềm mới để cạnh tranh, mà bắt đầu từ mong muốn phá hủy quy tắc của trò chơi cũ.
Khi bạn nhìn vào những gì dưới lớp vỏ phần mềm dễ dàng mà các nhà phát triển tự hào ngày nay, bạn sẽ thấy rằng toàn bộ hệ thống kỹ thuật hiện tại được xây dựng trên "các khả năng" và sự suy đoán. Họ viết mã, thử nghiệm trên một vài mẫu, và nếu thành công, họ gửi cho bạn, chờ đợi khoảnh khắc mà nó sẽ thất bại để vá lại. Mô hình này sống dựa trên dữ liệu của bạn, trên việc xâm phạm quyền riêng tư của bạn, và trên việc giữ bạn kết nối với Internet mặc cho bạn.
Từ đây, chúng tôi quyết định hạ cánh xuống "phần cứng trần" (Bare-Metal), vào các lớp dưới của máy tính nơi tín hiệu điện và bộ xử lý cùng bộ nhớ. Tại đó, xa khỏi các văn phòng Python nặng nề và các công ty điện toán đám mây, chúng tôi bắt đầu hình thành một logic toán học hoàn toàn mới. Logic không dựa trên sự suy đoán, mà dựa trên sự chắc chắn.
Mã "không nói dối" là gì?
Trong thế giới Anubis, triết lý "cập nhật và vá lỗi liên tục" đã được thay thế bằng một triết lý sâu sắc và mạnh mẽ hơn: "chứng minh toán học không thể chối cãi" (Formal Verification).
Anubis không chỉ là một hệ điều hành thay thế, nó là một quy luật tự nhiên mới cho tính toán.
Khi mã mang "dấu ấn Anubis", điều đó có nghĩa là nó đã tuân theo các tiêu chuẩn sau mà các công ty lớn không thể cung cấp:
Nội dung toán học vĩnh viễn: mã không được phát ra cho người dùng để thử nghiệm. Chính máy tính đã mô phỏng một tỷ khả năng logic trước khi chạy, để chứng minh bằng các phương trình toán học nghiêm ngặt rằng mã này không thể bị ảo giác, không thể xung đột trong bộ nhớ, và không thể bị hỏng.
Miễn dịch tuyệt đối chống lại xâm nhập: hủy bỏ ý tưởng về "tường lửa" truyền thống. Hệ điều hành được thiết kế theo hệ thống "microkernel siêu nhỏ", nơi mỗi ứng dụng được cách ly toán học trong không gian của nó. Nếu một ứng dụng bị giữ lại, nó sẽ chết tại chỗ mà không chạm vào một byte nào từ phần còn lại của hệ thống.
Quyền tự chủ địa phương hoàn toàn (Edge/HDC): bằng cách sử dụng toán học của "tính toán siêu chiều" (Hyperdimensional Computing), Anubis biến các thiết bị yếu và cũ cùng vi điều khiển trong túi bạn thành các đơn vị trí tuệ siêu phàm, xử lý và bảo vệ dữ liệu cục bộ với tốc độ nano giây, với mức tiêu thụ năng lượng gần như bằng không, và không cần Internet hay máy chủ bên ngoài.
Tuyên ngôn: Chúng tôi không xây dựng phần mềm.. chúng tôi xây dựng một phong trào giải phóng.
Các công ty lớn kiểm soát câu chuyện truyền thông, và họ sẽ nói về dự án của chúng tôi là phức tạp, hoặc không thực tiễn, vì họ hoảng sợ với ý tưởng mất kiểm soát dữ liệu của con người. Nhưng câu chuyện hôm nay rõ ràng và đơn giản hơn những bí ẩn kỹ thuật của họ: đó là cuộc chiến về nhận thức tập thể chống lại nô lệ kỹ thuật số.
Chúng tôi bước vào đấu trường này với phong cách "chiến tranh du kích kỹ thuật". Chúng tôi sẽ không chiến đấu với họ bằng các trung tâm dữ liệu khổng lồ, mà sẽ chiến đấu bằng logic nghiêm ngặt chứng minh rằng các đế chế của họ hoàn toàn trống rỗng, và rằng các thiết bị cá nhân của bạn có khả năng tạo ra phép màu nếu được cung cấp logic đúng.
Vì vậy, chúng tôi công bố rằng Anubis sẽ không thuộc về một bên nào, mà sẽ được giới thiệu cho thế giới như một giao thức mã nguồn mở (Open-Source Protocol) do một tổ chức phi lợi nhuận quản lý, trở thành tài sản của toàn nhân loại, một cơ sở hạ tầng công cộng như nước và không khí, không có bất kỳ quyền lực nào trên hành tinh có khả năng đóng cửa hoặc độc quyền nó.
Đến tất cả các nhà phát triển đã mất đi đam mê trong việc vá mã của các công ty, đến tất cả người dùng mà dữ liệu của họ đã bị xâm phạm, và đến tất cả các tổ chức đang tìm kiếm an ninh thực sự không bị xâm phạm:
Thời đại của những khả năng đã kết thúc, và thời đại của sự chắc chắn đã bắt đầu. > Nếu mã mang dấu ấn Anubis.. thì chúng ta có thể ngủ yên tâm.
Hãy để ngọn lửa bùng cháy.