Dự án tiêu biểu
Kể lại không kèm tên khách hàng. Hệ thống của khách hàng là chuyện kinh doanh của họ; phần kỹ thuật là câu chuyện chúng tôi được quyền kể. Ngành nghề và quy mô là chính xác; danh tính được chủ ý giữ kín. Nghiên cứu và giao thức của riêng chúng tôi thì được nêu tên, vì chúng là của chúng tôi.
Một nền tảng core banking xây mới hoàn toàn: quản lý người dùng và mô hình công cụ tài chính, các cỗ máy sản phẩm, cấu trúc tài khoản và số dư, xử lý giao dịch và lớp ánh xạ sổ cái bên dưới tất cả. Chúng tôi đặc tả và thiết kế phần lõi kế toán chi tiết — nơi mỗi chuyển động của tiền trở thành một bút toán — và xây ứng dụng khách hàng cùng API của nó bên trên. Một chương trình nhiều năm, chuẩn mực do chúng tôi soạn, từ UML đến soát xét mã nguồn.
Thanh toán bù trừ và quản lý tài khoản chứng khoán: phân bổ, xử lý lệnh, xử lý sao kê ngân hàng, sự kiện quyền, kế toán lưu ký. Theo dõi trạng thái và tồn kho kèm định giá và lãi/lỗ — bao gồm một thiết kế quản lý tồn kho phi tập trung nơi lãi/lỗ tính được mà không cần hạch toán qua tài khoản khách hàng. Những hệ thống vận hành hằng ngày tại nhiều tổ chức, được tinh chỉnh qua từng bản phát hành suốt hơn một thập kỷ — loại phần mềm sống lâu hơn cả những chiếc máy trạm từng dùng để cài đặt nó.
Mô-đun nơi hợp đồng được định giá: một công thức truy hồi với lãi suất và kỳ trả biến đổi, giải cho đúng đại lượng mà cuộc đàm phán cần — kỳ trả, lãi suất, chiết khấu hay kỳ hạn. Xây dựng từ nguyên lý gốc, thử nghiệm trên MATLAB, đối chiếu với chính các ví dụ tính tay của bộ phận nghiệp vụ và được ký duyệt bởi những người sống bằng nghề định giá hợp đồng.
Trái tim thầm lặng của tiết kiệm dài hạn: sổ đăng ký chứng chỉ, kế toán chi tiết, tích hợp sổ cái, định giá và đối soát. Hàng thập kỷ số dư của các thành viên quỹ, phải đúng đến đồng forint cuối cùng.
Một cái nhìn có cấu trúc vào bên trong bộ máy phục vụ khách hàng SME: quy trình, hệ thống, lỗ hổng, và chi phí để khắc phục. Sản phẩm bàn giao là sự sáng tỏ.
Bên trong một tổ chức kỹ thuật lớn, xây dựng công cụ giám sát những mô hình đang giám sát dòng tiền. Công việc full-stack trên nền tảng lấy Python làm trung tâm, agile ở quy mô lớn, với nghĩa vụ kiểm toán của một định chế có tầm quan trọng hệ thống.
Một nền tảng thiên về nghiên cứu, áp dụng toán học dựa trên hình học fractal vào dữ liệu nến — nhận diện cấu trúc và dự báo, được chế tác thành một sản phẩm thay vì một notebook nghiên cứu.
Hệ thống ghi nhận chính thức cho mặt tiền tệ của một thị trường điện: trạng thái, giá, phiên thanh toán, tài sản bảo đảm. Kỷ luật kế toán chuẩn ngân hàng áp dụng cho megawatt-giờ — cùng độ nghiêm ngặt chúng tôi mang đến mọi hàng hóa thanh toán qua một sổ đăng ký.
Hỗ trợ CNTT cho việc mua sắm dịch vụ cấp hệ thống: hồ sơ thầu công suất cân bằng hằng ngày được tiếp nhận, chấm bằng một cỗ máy tối ưu hóa trên nền MATLAB — hàm mục tiêu phức tạp đến mức không thể nghịch đảo giải tích, nên được giải bằng phương pháp số — với kết quả công bố lên các hệ thống của đơn vị vận hành và nền tảng minh bạch châu Âu. Quy trình chuyển nhượng công suất kèm kiểm tra tính hợp lý, bởi ở thị trường này một con số phi lý không phải là lỗi gõ phím, mà là một sự cố.
Một hệ thống neo-core banking và quản lý tài khoản thế hệ mới với sổ cái trực tuyến — phân tán ở mức cao và mở rộng tuyến tính, với một nút trung bình trên 2 CPU và 4 GB RAM hạch toán 10.000–15.000 giao dịch mỗi giây và phục vụ 100.000 tài khoản khách hàng. Bên trên nó: lưu ký tài sản số với kế toán chi tiết thực sự phía sau mỗi số dư, và quản lý khóa ngưỡng xây trên lược đồ đã công bố của chính chúng tôi. Nền tảng đã vượt qua cuộc thẩm định kết thúc bằng một giấy phép MiCA — lần đầu tiên ở cấp quốc gia đối với cơ quan quản lý ấy, được chính ngân hàng trung ương — cơ quan giám sát — công khai ghi nhận.
Hạ tầng back-end hợp nhất cho chương trình khách hàng thân thiết số và thanh toán điện tử giá trị nhỏ: một nơi cho điểm thưởng, phiếu giảm giá, thẻ quà tặng và một tài khoản tiền điện tử, có khả năng khởi tạo giao dịch — không chỉ hiển thị số dư. Logic tài khoản hỗ trợ các tài khoản liên kết trong cùng một hộ gia đình. Thiết kế theo các chuẩn thanh toán ISO và yêu cầu an ninh dữ liệu của các tổ chức thẻ.
Những thứ này là của chúng tôi — nên chúng có tên.
Một lược đồ sinh khóa phân tán 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: các bên độc lập cùng tạo một khóa ngưỡng, ai cũng kiểm chứng được từng bước, không cần vòng tương tác nào — và khóa bí mật hoàn chỉnh không bao giờ tồn tại ở bất kỳ đâu. Đã được các nhà mật mã học ở các trường đại học soát xét, công bố mã nguồn mở, hôm nay đang chạy bên dưới một nền tảng có giấy phép MiCA. 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. Một biến thể hậu lượng tử trên lưới đã thiết kế xong, chờ hiện thực hóa.
Quyền hạn là dữ kiện mật mã thay vì 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 với một bên thẩm tra có thẩm quyền. Chữ ký ngưỡng cấp tổ chức khiến quyết định có người chịu trách nhiệm, trong khi che chắn các cá nhân đứng sau khỏi sức ép nhắm vào họ. Thiết kế cho những thủ tục nơi tính toàn vẹn quy trình phải chứng minh được với bên ngoài — hồ sơ niêm phong chứng minh được là chưa mở, dấu vết xâu chuỗi lộ rõ khi bị can thiệp, tuân thủ được chứng minh bằng bằng chứng kiểu zero-knowledge mà không giao nộp dữ liệu.
Two-phase commit không cần máy chủ quản lý giao dịch trung tâm. Bỏ bộ điều phối là bỏ luôn nút thắt cổ chai và điểm hỏng duy nhất — 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. Giao thức này là nền móng cho phần xử lý giao dịch chúng tôi xây cho các nghiệp vụ quản lý tài khoản.
Thanh toán riêng tư, dùng được ngoại tuyến, tức thì — với thuộc tính rằng tiêu cùng một đồng tiền hai lần sẽ tự phơi bày kẻ gian lận bằng toán học. Các bằng chứng kiểu zero-knowledge chuyên dụng cho phép xác minh dưới 100 ms mà không cần mạch chứng minh tổng quát. Pactena là giao thức; Qashmore là sản phẩm: tiền mặt số, và hơn thế nữa.