Perkhidmatan
Tiga keupayaan, satu disiplin.
Segala-galanya di bawah dibina mengikut ujian yang sama: jika ia terhenti, siapa yang perasan; jika ia tersilap, siapa yang menanggung kosnya; jika ia diaudit, apa yang ditunjukkan oleh jejaknya.
01
Seni bina & penyampaian kritikal misi
Nasib sesebuah sistem ditentukan jauh sebelum baris kod yang pertama. Kami menuliskan keputusan-keputusan itu — kemudian kami membawanya hingga ke production.
- Seni bina sistem untuk operasi kritikal. Platform transaksi berbilang peringkat: peringkat aplikasi, pengiraan, pelaporan dan antara muka, serta sempadan antara kesemuanya. Sistem pendaftaran dan kawalan di mana pangkalan data ialah sumber kebenaran bagi obligasi dunia sebenar — wang, kapasiti, hak.
- Proses lahir digital, di atas asas kriptografi. Bukan aliran kerja kertas yang dipindahkan ke skrin: proses yang direka digital sejak langkah pertama, di mana tandatangan, keizinan, penghantaran dan pengarkiban membentuk satu rantaian yang dilindungi secara matematik. Masa pemprosesan susut daripada berhari-hari kepada beberapa saat, setiap langkah meninggalkan bukti yang boleh disahkan, dan ketepatan proses boleh ditunjukkan kepada pihak luar — secara terbuka, tanpa mendedahkan data asasnya.
- Reka bentuk perakaunan analitikal & lejar am. Pengurusan pengguna, instrumen, akaun, produk, transaksi — model objek bagi wang. Templat catatan, bekas baki dan inventori, logik loro/nostro, pemetaan GL. Untuk bank, penyedia perkhidmatan pelaburan, dana pencen — dan untuk pasaran yang menyelesaikan urus niaga dalam megawatt-jam, bukannya forint.
- Spesifikasi yang bertahan apabila bertembung dengan pembangunan. Spesifikasi perniagaan dan fungsian, pelan sistem logikal, kes penggunaan, kontrak antara muka. Ditulis untuk dijadikan asas pembinaan, dan untuk diperdebatkan sebelum wang dibelanjakan.
- Audit & usaha wajar. Usaha wajar operasi dan IT terhadap sistem dan vendor sedia ada — apa yang sebenarnya ada, berapa kos untuk mengekalkannya, berapa kos untuk meninggalkannya.
- Reka bentuk pengiraan. Jadual anuiti dengan kadar dan tempoh berubah, rejim kiraan hari dan pembundaran yang bertahan melalui penyesuaian, algoritma peruntukan untuk sebut harga dan penyelesaian.
- Disiplin penyampaian. Piawaian pengekodan, semakan kod, liputan ujian yang terikat pada spesifikasi, pengurusan keluaran. Agile di mana ia membantu, didokumenkan dalam setiap keadaan.
Bukti nyata
Untuk sebuah operasi pemfaktoran, kami menerbitkan pengiraan perjanjian dari prinsip asas — satu jujukan rekursi ke atas kadar dan ansuran bulanan yang berubah, boleh diselesaikan untuk mana-mana satu pemboleh ubah: ansuran, kadar, nilai kini atau tempoh. Hamparan yang diluluskan oleh pihak perniagaan ialah matematik yang sama yang dijalankan oleh enjin itu.
02
Algoritma & sistem teragih
Ketepatan pada skala besar ialah sifat reka bentuk, bukan keputusan ujian beban.
- Pemprosesan transaksi berdaya pemprosesan tinggi. Platform yang beroperasi pada tahap six-sigma di atas pangkalan data kelas terabait; penguncian, penjurnalan dan keidempotenan dilayan sebagai ciri kelas pertama. Sistem neo-core banking yang kami reka dan bina merekodkan 10–15,000 transaksi sesaat bagi setiap nod dan melayan 100,000 akaun pelanggan bagi setiap nod — dengan 2 CPU dan 4 GB RAM, bukannya kluster sebesar pusat data.
- Komit dua fasa tanpa pengurus pusat. Protokol transaksi teragih kami sendiri tidak memerlukan pelayan pengurus transaksi pusat — dan itulah yang menjadikan penskalaan linear itu jujur: tambah satu nod, dapat daya pemprosesan senilai satu nod, tiada penyelaras yang boleh menjadi tepu.
- Pendaftaran teragih tanpa satu penyimpan kebenaran tunggal. Seni bina di mana setiap institusi menyelenggara rekodnya sendiri yang dirantai secara kriptografi, saling berhubung supaya keseluruhannya kekal boleh disahkan tanpa mana-mana peserta memegang set data penuh. Termasuk reka bentuk pengurusan inventori ternyahpusat kami — untung rugi boleh dikira tanpa catatan melalui akaun pelanggan.
- Mesin keadaan untuk wang. Tawaran, perjanjian, pemindahan, larian penyelesaian — dimodelkan sebagai mesin keadaan yang eksplisit, direka untuk main semula, penyesuaian dan audit.
- Saluran dipacu mesej. NATS, Kafka, RabbitMQ; aliran dari pengambilan hingga penerbitan di mana outputnya ialah peristiwa pasaran — penilaian tender, pengoptimuman, penerbitan ketelusan.
- Algoritma untuk 1% yang paling sukar. Skim peruntukan dan pembundaran yang kekal konsisten di bawah keserentakan; model pengoptimuman untuk perolehan kapasiti — termasuk fungsi objektif yang terlalu kompleks untuk disongsangkan, diselesaikan secara berangka; kes-kes pinggir yang ditangguhkan oleh semua pihak lain.
Bukti nyata
Sistem perolehan tenaga pengimbangan yang kami reka untuk sebuah pengendali sistem penghantaran nasional menerima bidaan tender harian, menyalurkannya ke enjin pengoptimuman, dan menerbitkan keputusannya ke platform ketelusan Eropah — saluran di mana angka yang tidak munasabah bukanlah kesilapan taip, tetapi satu insiden.
03
Kriptografi gunaan
Lima belas tahun kejuruteraan kriptografi — protokol yang kami reka, buktikan, terbitkan dan jalankan dalam production. Bukan kriptografi teori yang hanya hidup dalam kertas kerja: pembinaan yang lulus audit, mendukung lesen dan menyelesaikan pembayaran. Di EU, mungkin hanya satu dua kumpulan yang melakukannya dari hujung ke hujung. Kami salah satu daripadanya.
Mengapa protokol tujuan khusus mengatasi ZK generik
Sistem pengetahuan sifar generik memang menakjubkan — tetapi selalunya alat yang salah. Ia membawa upacara amanah, masa pembuktian yang berat dan kebergantungan yang tidak boleh ditukar. Kami sebaliknya mereka bentuk protokol tujuan khusus: bukti yang dibentuk mengikut sifat perniagaan yang tepat yang perlu ditunjukkan. Hasilnya ialah kelajuan (bawah 100 ms di mana litar generik mengambil masa beberapa saat), tiada persediaan amanah yang perlu diterangkan kepada juruaudit, dan primitif kriptografi yang boleh saling ditukar — apabila sesuatu lengkung atau skim menjadi lapuk, pembinaannya kekal bertahan. Itulah yang mengubah kriptografi daripada satu baris kos kepada kelebihan perniagaan.
- Kriptografi ambang. Penjanaan dan pengurusan kunci teragih di mana kunci persendirian yang lengkap tidak pernah wujud — di mana-mana pun, pada bila-bila masa. Skim NPVDKGRS terbitan kami (DKG dan pengagihan semula tanpa interaksi, boleh disahkan secara umum, di atas BLS12-381) beroperasi hari ini di bawah sebuah platform berlesen MiCA, dan telah disemak oleh pakar kriptografi universiti.
- Keizinan kriptografi. Protokol hak akses kami sendiri yang dibina di atas NPVDKGRS: hak akses sebagai fakta kriptografi, bukan baris pangkalan data. Siapa yang boleh bertindak, siapa yang telah bertindak, dan bila — boleh dibuktikan; perwakilan kuasa tanpa pernah menyerahkan kunci; hak boleh ditarik balik serta-merta. Tandatangan ambang institusi di mana keputusan boleh dipertanggungjawabkan tetapi individu di sebaliknya tidak terdedah kepada tekanan.
- Perintah & kawalan ambang. Peraturan dua orang, diperluaskan: sebarang skim kelulusan k-daripada-n dikuatkuasakan oleh matematik dan bukannya prosedur — meterai yang tidak pernah wujud dalam satu kepingan, boleh digunakan dalam beberapa saat, tanpa HSM dan tanpa upacara amanah. Penandatanganan berlaku dalam satu mesej sahaja (tanpa interaksi), maka ia berfungsi merentasi pautan yang perlahan, merosot atau sehala; saiz tandatangan kekal malar tidak kira berapa ramai pihak yang terlibat. Apabila pemegang kunci bertukar — pertukaran tugas, kehilangan, disyaki terjejas — syer diagihkan semula dalam pecahan saat sementara meterai awam organisasi kekal tidak berubah.
- Integriti proses yang boleh dibuktikan. Serahan bermeterai yang tidak boleh dibuka awal oleh mana-mana operator — secara boleh dibuktikan; jejak prosedur berantai yang menyerlahkan sebarang gangguan; pematuhan yang ditunjukkan kepada pihak luar melalui bukti gaya pengetahuan sifar, tanpa menyerahkan data asasnya. Dibina untuk perolehan, tender, pengawasan dalam konteks terperingkat dan sebarang prosedur di mana "percayalah kami" bukan lagi jawapan yang boleh diterima.
- Kesiapsiagaan pasca-kuantum. Kerja algoritma selamat kuantum dan reka bentuk migrasi PQC menjelang tarikh akhir infrastruktur kritikal EU pada 2030: inventori kriptografi, skim peralihan hibrid — serta varian pasca-kuantum berasaskan kekisi bagi skim ambang kami sendiri, telah direka dan menunggu pelaksanaan.
- Wang tunai digital, dibuat dengan betul. Kami mengarang Pactena Protocol — pembayaran segera yang memelihara privasi dan boleh berfungsi luar talian, di mana perbelanjaan berganda secara matematik mendedahkan si penipu — dan Qashmore, penyelesaian pembayaran yang dibina di atasnya.
- Sistem bukti mengikut skala masalah. Pendedahan terpilih, komitmen, akumulator, pembinaan bukti rizab — bukti ringan tujuan khusus di mana SNARK penuh melebihi keperluan masalah.
- Semakan protokol. Pandangan kedua terhadap reka bentuk kriptografi sebelum ia menjadi komitmen — upacara kunci, skim kustodi, aliran penandatanganan, laluan pemulihan.
Bukti nyata
Tanpa perlu percaya, namun tetap diselia: dalam skim penjanaan kunci kami, pihak-pihak bebas mencipta dan mengagih semula kunci ambang dengan setiap langkah boleh disahkan secara umum — dan apabila pemegang kunci bertukar, syer diagihkan semula dalam beberapa saat, tanpa upacara dan tanpa HSM. Sifat yang dikehendaki oleh pengawal selia, disampaikan sebagai matematik dan bukannya polisi.
Di mana ia beroperasi
Sistem teras kewangan
Core banking, penyelesaian sekuriti, pemfaktoran, perakaunan dana pencen dan dana. Dua dekad lejar dalam production.
Tenaga & komoditi
Sistem pendaftaran, penyelesaian dan perolehan untuk pasaran tenaga — terbukti dalam pasaran elektrik (penjelasan bursa, tender pengimbangan TSO, penerbitan ketelusan Eropah), dibina untuk menampung gas, minyak dan komoditi lain dengan disiplin yang sama.
Aset digital terkawal selia
Kejuruteraan platform berlesen MiCA, tokenisasi dengan perakaunan analitikal sebenar di belakangnya, operasi yang peka kepada DORA.
Sektor awam & pertahanan
Di mana integriti proses ialah misi utama. Pentadbiran lahir digital, bukannya kertas yang didigitalkan; rantaian perintah dan hak yang dikuatkuasakan oleh matematik k-daripada-n; prosedur bermeterai dengan jejak yang menyerlahkan sebarang gangguan; pengawasan yang dipenuhi dengan bukti, bukan dengan menyerahkan data. Blok binaan di atas — pengurusan kunci ambang, keizinan kriptografi, integriti proses yang boleh dibuktikan — terpakai secara langsung; disiplin yang sama yang telah melepasi penelitian penyeliaan kewangan terpakai untuk prosedur yang taruhannya lebih tinggi lagi. Kami bertutur dalam bahasa domain ini: kedaulatan, tiada kotak hitam asing, algoritma terbuka yang boleh diaudit secara bebas.
Bagaimana kerjasama bermula
- 01Satu perbualan. Anda menerangkan sistemnya, kami mengemukakan soalan-soalan yang tidak selesa seawal mungkin.
- 02Skop bertulis. Ringkas, dengan harga yang jelas, jujur tentang perkara yang belum pasti.
- 03Kerja secara terbuka. Spesifikasi, keputusan dan kemajuan sentiasa boleh dilihat oleh anda.