Dịch vụ

Ba năng lực, một kỷ luật.

Mọi thứ dưới đây đều được xây dựng theo cùng một phép thử: nếu nó dừng, ai nhận ra; nếu nó sai, ai trả giá; nếu nó bị kiểm toán, dấu vết cho thấy điều gì.

Kiến trúc & triển khai hệ thống trọng yếu

Số phận của một hệ thống được định đoạt từ rất lâu trước dòng mã đầu tiên. Chúng tôi viết những quyết định ấy thành văn bản — rồi mang chúng đến tận môi trường vận hành.

Kiến trúc hệ thống cho các nghiệp vụ trọng yếu. Nền tảng giao dịch đa tầng: tầng ứng dụng, tầng tính toán, tầng báo cáo, tầng giao tiếp và các ranh giới giữa chúng. Hệ thống đăng ký và kiểm soát nơi cơ sở dữ liệu là nguồn sự thật cho các nghĩa vụ trong thế giới thực — tiền, công suất, quyền hạn.
Quy trình sinh ra đã là số, trên nền tảng mật mã. Không phải quy trình giấy tờ chiếu lên màn hình: quy trình được thiết kế số hóa từ bước đầu tiên, nơi chữ ký, phê duyệt, truyền nhận và lưu trữ hợp thành một chuỗi được toán học bảo vệ. Thời gian xử lý rút từ nhiều ngày xuống vài giây, mỗi bước để lại bằng chứng kiểm chứng được, và tính đúng đắn của quy trình có thể được chứng minh với bên ngoài — một cách công khai, không tiết lộ dữ liệu bên dưới.
Thiết kế kế toán chi tiết & sổ cái. Quản lý người dùng, công cụ tài chính, tài khoản, sản phẩm, giao dịch — mô hình đối tượng của tiền. Mẫu định khoản, các cấu trúc số dư và tồn kho, logic tài khoản loro/nostro, ánh xạ lên sổ cái. Cho ngân hàng, công ty dịch vụ đầu tư, quỹ hưu trí — và cho những thị trường thanh toán bằng megawatt-giờ thay vì forint.
Đặc tả sống sót qua va chạm với quá trình phát triển. Đặc tả nghiệp vụ và chức năng, thiết kế hệ thống logic, use case, hợp đồng giao tiếp giữa các hệ thống. Viết để xây dựng theo được, và để tranh luận trước khi tiền được chi ra.
Kiểm toán & thẩm định chuyên sâu. Thẩm định vận hành và CNTT đối với các hệ thống và nhà cung cấp hiện có — thực sự đang có gì, duy trì tốn bao nhiêu, rời bỏ tốn bao nhiêu.
Thiết kế thuật toán tính toán. Lịch trả góp niên kim với lãi suất và kỳ hạn biến đổi, quy ước đếm ngày và làm tròn đứng vững qua đối soát, thuật toán phân bổ cho báo giá và thanh toán bù trừ.
Kỷ luật triển khai. Chuẩn mực lập trình, soát xét mã nguồn, độ phủ kiểm thử gắn với đặc tả, quản lý phát hành. Agile ở nơi hữu ích, văn bản hóa ở mọi nơi.

Minh chứng

Cho một đơn vị bao thanh toán, chúng tôi xây dựng lại phép tính hợp đồng từ nguyên lý gốc — một công thức truy hồi trên lãi suất và kỳ trả biến đổi theo tháng, giải được cho bất kỳ ẩn số nào: kỳ trả, lãi suất, giá trị hiện tại hay kỳ hạn. Bảng tính mà bộ phận nghiệp vụ ký duyệt cũng chính là phép toán mà cỗ máy đang chạy.

Thuật toán & hệ thống phân tán

Tính đúng đắn ở quy mô lớn là một thuộc tính thiết kế, không phải kết quả của một bài kiểm tra tải.

Xử lý giao dịch thông lượng cao. Nền tảng vận hành chuẩn six-sigma trên cơ sở dữ liệu cỡ terabyte; khóa, ghi nhật ký và tính lũy đẳng được đối xử như tính năng hạng nhất. Hệ thống neo-core banking do chúng tôi thiết kế và xây dựng hạch toán 10.000–15.000 giao dịch mỗi giây trên mỗi nút và phục vụ 100.000 tài khoản khách hàng trên mỗi nút — với 2 CPU và 4 GB RAM, không phải một cụm máy to bằng cả trung tâm dữ liệu.
Two-phase commit không cần trình quản lý trung tâm. Giao thức giao dịch phân tán của riêng chúng tôi không cần máy chủ quản lý giao dịch trung tâm — và chính điều đó khiến việc mở rộng tuyến tính trở nên trung thực: thêm một nút, nhận trọn thông lượng của một nút, không còn bộ điều phối nào để trở thành điểm nghẽn.
Sổ đăng ký phân tán không có điểm giữ sự thật duy nhất. Kiến trúc nơi mỗi tổ chức tự duy trì hồ sơ được xâu chuỗi bằng mật mã của mình, liên kết với nhau sao cho toàn thể vẫn kiểm chứng được mà không bên nào nắm trọn bộ dữ liệu. Bao gồm thiết kế quản lý tồn kho phi tập trung của chúng tôi — tính được lãi/lỗ mà không cần hạch toán qua tài khoản khách hàng.
Máy trạng thái cho tiền. Chào giá, hợp đồng, chuyển khoản, phiên thanh toán bù trừ — được mô hình hóa thành các máy trạng thái tường minh, thiết kế cho phát lại, đối soát và kiểm toán.
Đường ống xử lý hướng thông điệp. NATS, Kafka, RabbitMQ; các luồng từ tiếp nhận đến công bố nơi đầu ra là một sự kiện thị trường — chấm thầu, tối ưu hóa, công bố minh bạch.
Thuật toán cho 1% khó nhất. Lược đồ phân bổ và làm tròn giữ được tính nhất quán dưới xử lý đồng thời; mô hình tối ưu hóa cho mua sắm công suất — kể cả những hàm mục tiêu phức tạp đến mức không thể nghịch đảo, phải giải bằng phương pháp số; những trường hợp biên mà ai khác cũng trì hoãn.

Minh chứng

Hệ thống mua sắm năng lượng cân bằng chúng tôi thiết kế cho một đơn vị vận hành hệ thống truyền tải quốc gia tiếp nhận hồ sơ thầu hằng ngày, đưa vào một cỗ máy tối ưu hóa, và công bố kết quả lên nền tảng minh bạch châu Âu — một đường ống nơi một con số phi lý không phải là lỗi gõ phím, mà là một sự cố.

Mật mã ứng dụng

Mười lăm năm kỹ thuật mật mã — những giao thức chúng tôi thiết kế, chứng minh, công bố và vận hành trong thực tế. Không phải thứ mật mã lý thuyết chỉ sống trong các bài báo: đây là những cấu trúc vượt qua kiểm toán, gánh giấy phép và thanh toán tiền thật. Ở EU, có lẽ chỉ một hai nhóm làm được việc này từ đầu đến cuối. Chúng tôi là một trong số đó.

Vì sao giao thức chuyên dụng thắng ZK tổng quát

Các hệ thống zero-knowledge tổng quát là một kỳ quan — và thường là công cụ sai. Chúng kéo theo nghi thức thiết lập tin cậy, thời gian tạo bằng chứng nặng nề và một phụ thuộc không thể thay thế. Chúng tôi thiết kế giao thức chuyên dụng thay vào đó: bằng chứng được đo cắt đúng theo thuộc tính nghiệp vụ cần chứng minh. Kết quả là tốc độ (dưới 100 ms ở nơi mạch tổng quát mất hàng giây), không có trusted setup nào phải giải trình với kiểm toán viên, và các nguyên thủy mật mã có thể hoán đổi — khi một đường cong hay lược đồ già đi, cấu trúc vẫn sống. Đó là điều biến mật mã từ một dòng chi phí thành một lợi thế kinh doanh.

Mật mã ngưỡng. Sinh và quản lý khóa phân tán nơi khóa bí mật hoàn chỉnh không bao giờ tồn tại — ở bất kỳ đâu, vào bất kỳ thời điểm nào. Lược đồ NPVDKGRS đã công bố của chúng tôi (DKG và tái phân phối khóa không tương tác, kiểm chứng được công khai trên BLS12-381) hôm nay đang chạy bên dưới một nền tảng có giấy phép MiCA, và đã được các nhà mật mã học ở các trường đại học soát xét.
github.com/natrixofficial/npvdkgrs
Ủy quyền bằng mật mã. Giao thức quyền hạn của riêng chúng tôi, xây trên NPVDKGRS: quyền truy cập là dữ kiện mật mã, không phải hàng trong cơ sở dữ liệu. Ai được phép hành động, ai đã hành động, và khi nào — chứng minh được; ủy quyền mà không bao giờ phải trao khóa; quyền thu hồi được tức thì. Chữ ký ngưỡng cấp tổ chức, nơi quyết định có người chịu trách nhiệm nhưng cá nhân không thể bị đem ra gây sức ép.
Chỉ huy & kiểm soát theo ngưỡng. Quy tắc hai người, được tổng quát hóa: mọi lược đồ phê duyệt k-trên-n được toán học cưỡng chế thực thi thay vì quy trình — một con dấu không bao giờ tồn tại nguyên vẹn ở một nơi, dùng được trong vài giây, không cần HSM và không cần nghi thức tin cậy. Việc ký chỉ cần một thông điệp duy nhất (không tương tác), nên hoạt động được trên đường truyền chậm, suy hao hoặc một chiều; chữ ký giữ kích thước không đổi dù bao nhiêu bên tham gia. Khi một người giữ khóa thay đổi — thuyên chuyển, thất lạc, nghi ngờ bị lộ — các mảnh khóa được phân phối lại trong tích tắc, trong khi con dấu công khai của tổ chức giữ nguyên.
Tính toàn vẹn quy trình chứng minh được. Hồ sơ niêm phong mà không nhân viên vận hành nào mở sớm được — một cách chứng minh được; dấu vết thủ tục xâu chuỗi, lộ dấu khi bị can thiệp; sự tuân thủ được chứng minh với bên ngoài bằng các bằng chứng kiểu zero-knowledge, không phải giao nộp dữ liệu bên dưới. Xây cho mua sắm công, đấu thầu, giám sát trong bối cảnh mật và mọi thủ tục nơi “hãy tin chúng tôi” không còn là câu trả lời chấp nhận được.
Sẵn sàng hậu lượng tử. Nghiên cứu thuật toán an toàn lượng tử và thiết kế lộ trình chuyển đổi PQC hướng tới hạn chót 2030 của EU cho hạ tầng trọng yếu: kiểm kê mật mã, lược đồ chuyển tiếp lai — và một biến thể hậu lượng tử trên lưới của chính lược đồ ngưỡng của chúng tôi, đã thiết kế xong, chờ hiện thực hóa.
Tiền mặt số, làm cho đúng. Chúng tôi là tác giả của Pactena Protocol — thanh toán riêng tư, dùng được ngoại tuyến, tức thì, nơi việc tiêu cùng một đồng tiền hai lần tự phơi bày kẻ gian lận bằng toán học — và Qashmore, giải pháp thanh toán xây trên đó.
pactena.com · qashmore.com
Hệ thống chứng minh vừa vặn với bài toán. Tiết lộ chọn lọc, cam kết mật mã, bộ tích lũy, cấu trúc chứng minh dự trữ — những bằng chứng gọn nhẹ, chuyên dụng ở nơi một SNARK đầy đủ là quá mức bài toán cần.
Soát xét giao thức. Ý kiến thứ hai về các thiết kế mật mã trước khi chúng trở thành cam kết — nghi thức khóa, lược đồ lưu ký, quy trình ký, đường phục hồi.

Minh chứng

Không cần tin cậy nhưng vẫn giám sát được: trong lược đồ sinh khóa của chúng tôi, các bên độc lập tạo và tái phân phối một khóa ngưỡng với mọi bước đều kiểm chứng được công khai — và khi một người giữ khóa thay đổi, các mảnh khóa được phân phối lại trong vài giây, không nghi thức, không HSM. Thuộc tính mà cơ quan quản lý mong muốn, được trao dưới dạng toán học thay vì chính sách.

Nơi hệ thống vận hành

Hệ thống lõi tài chính

Core banking, thanh toán bù trừ chứng khoán, bao thanh toán, kế toán quỹ hưu trí và kế toán quỹ đầu tư. Hai thập kỷ sổ cái trong môi trường vận hành.

Năng lượng & hàng hóa

Hệ thống đăng ký, thanh toán bù trừ và mua sắm cho thị trường năng lượng — đã kiểm chứng ở thị trường điện (bù trừ trên sàn giao dịch, đấu thầu công suất cân bằng cho TSO, công bố lên nền tảng minh bạch châu Âu), được thiết kế để gánh cả khí đốt, dầu và các hàng hóa khác với cùng một kỷ luật.

Tài sản số được quản lý

Xây dựng nền tảng có giấy phép MiCA, token hóa với kế toán chi tiết thực sự phía sau, vận hành theo tinh thần DORA.

Khu vực công & quốc phòng

Nơi tính toàn vẹn của quy trình chính là nhiệm vụ. Hành chính sinh ra đã là số thay vì giấy tờ được số hóa; chuỗi chỉ huy và chuỗi quyền hạn được cưỡng chế bằng toán học k-trên-n; thủ tục niêm phong với dấu vết lộ rõ khi bị can thiệp; sự giám sát được thỏa mãn bằng bằng chứng, không phải bằng việc giao nộp dữ liệu. Các khối xây dựng nêu trên — quản lý khóa ngưỡng, ủy quyền bằng mật mã, tính toàn vẹn quy trình chứng minh được — áp dụng trực tiếp; đúng kỷ luật đã vượt qua sự soi xét của cơ quan giám sát tài chính nay áp dụng cho những thủ tục có tầm quan trọng còn cao hơn nữa. Chúng tôi nói ngôn ngữ của lĩnh vực này: chủ quyền, không hộp đen nước ngoài, thuật toán mở và kiểm toán độc lập được.

Một dự án bắt đầu như thế nào

01
Một cuộc trò chuyện. Bạn mô tả hệ thống, chúng tôi đặt những câu hỏi khó chịu ngay từ đầu.
02
Một phạm vi bằng văn bản. Ngắn gọn, kèm báo giá, trung thực về những điều chưa biết.
03
Làm việc minh bạch. Đặc tả, quyết định và tiến độ luôn hiển thị với bạn trong suốt quá trình.

Bắt đầu cuộc trò chuyện