الخدمات
ثلاث قدرات، انضباط واحد.
كل ما يلي مبني على الاختبار نفسه: إذا توقف، فمن يلاحظ؛ وإذا أخطأ، فمن يدفع الثمن؛ وإذا خضع للتدقيق، فماذا يُظهر سجل الأثر.
01
بنية أنظمة المهام الحرجة وتسليمها
مصير النظام يتقرر قبل أول سطر من الكود بزمن طويل. نحن ندوّن القرارات كتابةً — ثم نحملها إلى الإنتاج.
- بنية الأنظمة للعمليات الحرجة. منصات معاملات متعددة الطبقات: طبقات التطبيق والحوسبة والتقارير والواجهات، والحدود الفاصلة بينها. وأنظمة سجلات وتحكم تكون فيها قاعدة البيانات مصدر الحقيقة لالتزامات في العالم الفعلي — أموال وقدرات وصلاحيات.
- إجراءات رقمية المولد، على أسس تشفيرية. ليست تدفقات عمل ورقية مسقَطة على الشاشات: بل إجراءات مصممة رقمية من الخطوة الأولى، يشكّل فيها التوقيع والتفويض والإرسال والأرشفة سلسلة واحدة محمية رياضيًا. تنخفض مدة الإنجاز من أيام إلى ثوانٍ، وتترك كل خطوة دليلًا قابلًا للتحقق، ويمكن إثبات صحة الإجراء لأطراف خارجية — علنًا، ومن دون الإفصاح عن البيانات الأساسية.
- تصميم المحاسبة التحليلية ودفتر الأستاذ العام. إدارة المستخدمين، والأداة المالية، والحساب، والمنتج، والمعاملة — النموذج الكائني للمال. قوالب القيود، وحاويات الأرصدة والمخزون، ومنطق حسابات loro/nostro، والربط بدفتر الأستاذ العام. للمصارف ومقدمي خدمات الاستثمار وصناديق التقاعد — وللأسواق التي تسوّي بالميغاواط-ساعة بدل الفورنت.
- مواصفات تصمد عند احتكاكها بالتطوير. مواصفات أعمال ومواصفات وظيفية، ومخططات نظم منطقية، وحالات استخدام، وعقود واجهات. مكتوبة ليُبنى منها، وليُختلف حولها قبل إنفاق المال.
- التدقيق والفحص النافي للجهالة. فحص تشغيلي وتقني نافٍ للجهالة للأنظمة والموردين القائمين — ما الموجود فعلًا، وكم تكلفة الإبقاء عليه، وكم تكلفة مغادرته.
- تصميم الحسابات. جداول أقساط بأسعار وآجال متغيرة، وأنظمة عدّ الأيام والتقريب التي تصمد أمام المطابقة، وخوارزميات توزيع للتسعير والتسوية.
- انضباط التسليم. معايير كتابة الكود، ومراجعة الكود، وتغطية اختبارات مرتبطة بالمواصفات، وإدارة الإصدارات. منهجية أجايل حيث تفيد، وتوثيق كتابي دائمًا.
نقطة إثبات
لعملية تخصيم، اشتققنا حساب الاتفاقية من المبادئ الأولى — علاقة تكرارية على أسعار وأقساط شهرية متغيرة تُحل لأي مجهول واحد: القسط أو السعر أو القيمة الحالية أو الأجل. وجدول البيانات الذي اعتمده فريق الأعمال هو الرياضيات نفسها التي يشغّلها المحرك.
02
الخوارزميات والأنظمة الموزّعة
الدقة على نطاق واسع خاصية تصميم، لا نتيجة اختبار حمل.
- معالجة معاملات عالية الإنتاجية. منصات تُشغَّل بموثوقية Six Sigma فوق قواعد بيانات من فئة التيرابايت؛ يُعامل فيها القفل والتدوين اليومي وتكرار التنفيذ الآمن (idempotency) كخصائص من الدرجة الأولى. النظام المصرفي الأساسي من الجيل الجديد الذي صممناه وبنيناه يقيّد 10–15,000 معاملة في الثانية لكل عقدة ويخدم 100,000 حساب عميل لكل عقدة — بمعالجَين و4 غيغابايت من الذاكرة، لا بعنقود بحجم مركز بيانات.
- تثبيت على مرحلتين من دون مدير مركزي. بروتوكولنا الخاص للمعاملات الموزّعة لا يحتاج إلى خادم مركزي لإدارة المعاملات — وهذا تحديدًا ما يجعل التوسّع الخطي صادقًا: أضف عقدة، تحصل على إنتاجية عقدة كاملة، من دون منسّق يمكن أن يختنق.
- سجلات موزّعة من دون حارس وحيد للحقيقة. بنى معمارية تحتفظ فيها كل مؤسسة بسجلاتها المسلسلة تشفيريًا، مترابطة بحيث يبقى الكل قابلًا للتحقق من دون أن يحوز أي مشارك مجموعة البيانات الكاملة. تشمل تصميمنا اللامركزي لإدارة المخزون — حيث يمكن احتساب الأرباح والخسائر من دون تمرير القيود عبر حسابات العملاء.
- آلات حالة للمال. العروض والاتفاقيات والتحويلات ودورات التسوية — مصاغة كآلات حالة صريحة، مصممة لإعادة التشغيل والمطابقة والتدقيق.
- خطوط معالجة قائمة على الرسائل. NATS وKafka وRabbitMQ؛ تدفقات من الاستيعاب إلى النشر يكون ناتجها حدثًا سوقيًا — تقييم مناقصات، وتحسين، ونشر عبر منصات الشفافية.
- خوارزميات لنسبة الـ1% الصعبة. مخططات توزيع وتقريب تبقى متسقة في ظل التزامن؛ ونماذج تحسين لشراء القدرات — بما فيها دوال هدف أعقد من أن تُعكس تحليليًا فتُحل عدديًا؛ والحالات الحدية التي يؤجلها الجميع سوانا.
نقطة إثبات
نظام شراء طاقة الموازنة الذي صممناه لمشغّل وطني لنظام نقل الكهرباء يستوعب عطاءات المناقصات اليومية، ويغذي بها محرك تحسين، وينشر النتائج على منصة الشفافية الأوروبية — خط معالجة يكون فيه الرقم غير المعقول ليس خطأً مطبعيًا، بل حادثة تشغيلية.
03
التشفير التطبيقي
خمسة عشر عامًا من الهندسة التشفيرية — بروتوكولات نصممها ونبرهنها وننشرها ونشغّلها في الإنتاج. ليس تشفيرًا نظريًا يعيش في الأوراق البحثية: بل بنى تجتاز التدقيقات، وتحمل التراخيص، وتسوّي المدفوعات. في الاتحاد الأوروبي، ربما توجد مجموعة أو مجموعتان تفعلان ذلك من طرف إلى طرف. ونحن إحداهما.
لماذا يتفوق التصميم المخصص على أنظمة المعرفة الصفرية العامة
أنظمة المعرفة الصفرية العامة أعجوبة — وغالبًا ما تكون الأداة الخاطئة. فهي تجلب معها مراسمَ «إعداد موثوق» تستلزم الثقة، وأزمنة برهنة ثقيلة، وتبعيةً لا يمكن استبدالها. نحن نصمم بدلًا منها بروتوكولات مبنية لغرضها: براهين مفصّلة على الخاصية التجارية الدقيقة الواجب إثباتها. والنتيجة سرعة (أقل من 100 ميلي ثانية حيث تستغرق الدارات العامة ثواني)، ولا إعداد موثوق يحتاج شرحًا أمام مدقق، وبدائيات تشفيرية قابلة للاستبدال — فإذا شاخ منحنى أو مخطط، بقيت البنية سليمة. هذا ما يحوّل التشفير من بند تكلفة إلى ميزة تجارية.
- التشفير العتبي. توليد وإدارة موزّعان للمفاتيح لا يوجد فيهما المفتاح الخاص الكامل قط — في أي مكان، وفي أي لحظة. مخططنا المنشور NPVDKGRS (توليد وإعادة توزيع موزّعان للمفاتيح، غير تفاعليين وقابلان للتحقق العلني على منحنى BLS12-381) يعمل اليوم تحت منصة مرخّصة بموجب MiCA، وقد راجعه خبراء تشفير أكاديميون.
- التفويض التشفيري. بروتوكول الصلاحيات الخاص بنا، المبني على NPVDKGRS: حقوق الوصول حقائق تشفيرية، لا صفوف في قاعدة بيانات. من يحق له التصرف، ومن تصرف فعلًا، ومتى — كلها قابلة للإثبات؛ وتفويض من دون تسليم أي مفتاح قط؛ وحقوق قابلة للإلغاء فورًا. توقيعات عتبية مؤسسية تجعل القرار خاضعًا للمساءلة من دون تعريض الأفراد للضغوط.
- القيادة والتحكم العتبيان. قاعدة الشخصين، معمَّمة: أي مخطط موافقة k من n تفرضه الرياضيات لا الإجراءات — ختم لا يوجد قط قطعةً واحدة، يُستخدم في ثوانٍ، من دون وحدة HSM ومن دون مراسم موثوقة. التوقيع برسالة واحدة (غير تفاعلي)، فيعمل عبر الوصلات البطيئة أو المتدهورة أو أحادية الاتجاه؛ وتبقى التوقيعات ثابتة الحجم مهما بلغ عدد المشاركين. وعند تغيّر حائز مفتاح — بإعادة تكليف، أو فقدان، أو اشتباه اختراق — يعاد توزيع الحصص في أجزاء من الثانية بينما يبقى الختم العلني للمؤسسة كما هو.
- سلامة إجراءات قابلة للإثبات. عروض مختومة لا يستطيع أي مشغّل فتحها قبل أوانها — على نحو قابل للبرهنة؛ وسجلات إجرائية مسلسلة تكشف أي عبث؛ وامتثال يُثبت لأطراف خارجية ببراهين على نمط المعرفة الصفرية، من دون تسليم البيانات الأساسية. صُممت للمشتريات والمناقصات والرقابة في السياقات السرية، ولأي إجراء لم تعد فيه عبارة «ثقوا بنا» جوابًا مقبولًا.
- الجاهزية لما بعد الكم. عمل على الخوارزميات الآمنة كموميًا وتصميم لمسارات الانتقال إلى تشفير ما بعد الكم استعدادًا لموعد الاتحاد الأوروبي لعام 2030 الخاص بالبنية التحتية الحرجة: جرود تشفيرية، ومخططات انتقال هجينة — ونسخة ما بعد كمومية قائمة على الشبيكات من مخططنا العتبي، مصمَّمة وتنتظر التنفيذ.
- النقد الرقمي، كما ينبغي أن يكون. نحن مؤلفو بروتوكول Pactena — مدفوعات خاصة فورية قادرة على العمل من دون اتصال، يكشف فيها الإنفاق المزدوج المحتالَ رياضيًا — وQashmore، حل الدفع المبني عليه.
- أنظمة إثبات على مقاس المشكلة. إفصاح انتقائي، والتزامات، ومراكِمات، وبنى إثبات الاحتياطيات — براهين خفيفة مبنية لغرضها حيث يكون SNARK كامل أكثر مما تحتاجه المشكلة.
- مراجعة البروتوكولات. رأي ثانٍ في التصاميم التشفيرية قبل أن تتحول إلى التزامات — مراسم المفاتيح، ومخططات الحفظ، وتدفقات التوقيع، ومسارات الاسترداد.
نقطة إثبات
بلا حاجة إلى الثقة، لكن تحت الإشراف: في مخططنا لتوليد المفاتيح، تنشئ أطراف مستقلة مفتاحًا عتبيًا وتعيد توزيعه وكل خطوة قابلة للتحقق علنًا — وعند تغيّر حائز مفتاح، يعاد توزيع الحصص في ثوانٍ، من دون مراسم ومن دون HSM. الخاصية التي يريدها المنظِّم، مقدَّمة رياضياتٍ لا سياسات.
أين تعمل هذه الأنظمة
الأنظمة المالية الأساسية
الأنظمة المصرفية الأساسية، وتسوية الأوراق المالية، والتخصيم، ومحاسبة صناديق التقاعد وصناديق الاستثمار. عقدان من دفاتر الأستاذ في الإنتاج.
الطاقة والسلع
أنظمة السجلات والتسوية والمشتريات لأسواق الطاقة — أثبتت جدارتها في جانب الكهرباء (مقاصة البورصة، ومناقصات الموازنة لمشغّل نظام النقل، والنشر عبر منصة الشفافية الأوروبية)، وبُنيت لتحمل الغاز والنفط وسائر السلع بالانضباط نفسه.
الأصول الرقمية المنظَّمة
هندسة منصات مرخّصة بموجب MiCA، وترميز أصول تقف خلفه محاسبة تحليلية حقيقية، وعمليات تشغيل تراعي متطلبات DORA.
القطاع الحكومي والدفاع
حيث سلامة الإجراءات هي المهمة ذاتها. إدارة رقمية المولد بدل الورق المرقمن؛ وسلاسل قيادة وصلاحيات تفرضها رياضيات k من n؛ وإجراءات مختومة بسجلات تكشف العبث؛ ورقابة تكتفي بالبراهين بدل تسليم البيانات. اللبنات المذكورة أعلاه — إدارة المفاتيح العتبية، والتفويض التشفيري، وسلامة الإجراءات القابلة للإثبات — تنطبق هنا مباشرة؛ والانضباط نفسه الذي اجتاز تدقيق الرقابة المالية ينطبق على إجراءات رهاناتها أعلى بعد. ونحن نتحدث لغة هذا المجال: السيادة، ولا صناديق سوداء أجنبية، وخوارزميات مفتوحة قابلة للتدقيق المستقل.
كيف يبدأ التعاون
- 01محادثة. تصف لنا النظام، ونطرح نحن الأسئلة غير المريحة مبكرًا.
- 02نطاق عمل مكتوب. قصير، مسعَّر، صريح بشأن المجاهيل.
- 03عمل في العلن. المواصفات والقرارات وسير التقدم مرئية لك طوال الوقت.