عالم واحداقتصاد واحدسجل واحد

مرّر للاستكشاف
91%من أصل ⁨93⁩ بنكًا مركزيًا شملها استطلاع بنك التسويات الدولية في ⁨2024⁩ كانت تستكشف عملة رقمية للبنك المركزي (⁨CBDC⁩) للاستخدام بالتجزئة أو بالجملة أو كليهما. أوراق ⁨BIS⁩ رقم ⁨159⁩ · استطلاع ⁨CBDC⁩ لعام ⁨2024⁩
لماذا الآن

النقود الرقمية تتجه نحو السيادة. والمدفوعات لا يمكن أن تبقى معزولة.

تحتاج كل ولاية قضائية إلى التحكم في نقودها. وتحتاج المدفوعات بين تلك الأنظمة إلى بروتوكول مشترك يحترم اختلاف قواعدها وبياناتها الخاصة وشبكات التحقق فيها. يجمع ⁨SORA Nexus⁩ بين هاتين الحاجتين.

سيادة بلا انعزال.

يمكن لكل مؤسسة العمل داخل فضاء بيانات: بيئة لها قواعدها الخاصة للسياسة والوصول. وتربط هذه الفضاءات طبقة تسوية مشتركة قابلة للبرمجة، لتنتقل المعاملات المصرح بها عبر سجل منطقي واحد.

⁨01⁩ · قابلية التشغيل البيني

ربط الأنظمة السيادية

تتبّع مثالًا توضيحيًا لتبادل واحد: تدفع مؤسسة في ولاية قضائية لأخرى مقابل أصل. وتحتفظ كل منهما بقواعدها وبياناتها. وينسق بروتوكول مشترك الدفع والتسليم عبر فضاءَي بياناتهما.

السؤالكيف تسوّي مؤسسات مستقلة تبادلًا واحدًا؟

يمكن تسوية الدفع وتسليم الأصل معًا، مع احتفاظ كل مؤسسة بحدود سياستها.

01

بوابة ⁨ISO 20022⁩

ابدأ برسائل الدفع التي تستخدمها المؤسسات بالفعل.

تدخل الدفعة إلى ⁨Nexus⁩ عبر ⁨Torii⁩، واجهة ⁨Iroha⁩ للطلبات الواردة. تتحقق البوابة من رسائل ⁨ISO 20022⁩ المدعومة، ومنها ⁨pacs.008⁩ و⁨pacs.009⁩، وتحولها إلى تعليمات للسجل وفق السياسة المعمول بها.

داخل البروتوكول

تعيد حالة ⁨pacs.002⁩ النتيجة إلى المرسل. ويمنح ذلك الأنظمة المؤسسية مسارًا محددًا من رسالة دفع مألوفة إلى إجراء مصرح به على السجل المشترك.

رسائل مألوفة

تصل نية الدفع المؤسسية عبر بُنى ⁨pacs.008⁩ و⁨pacs.009⁩.

إجراء حتمي

تتحول الرسائل المتحقق منها إلى تعليمات ⁨Iroha⁩ صريحة وفق السياسة المحلية.

استجابة معيارية

تسجل حالة ⁨pacs.002⁩ ما إذا كان الطلب قد قُبل أو رُفض أو سُوّي.

أطلس البروتوكول

بوابة ⁨ISO 20022⁩

يُتحقق من رسائل ⁨pacs.008⁩ و⁨pacs.009⁩ وتُنفّذ ويُرد عليها بنتيجة ⁨pacs.002⁩ حتمية.

جسر ⁨ISO 20022⁩ من دخول الرسالة إلى حالة حتميةتدخل رسائل الدفع ⁨ISO 20022⁩ مثل ⁨pacs.008⁩ و⁨pacs.009⁩ عبر ⁨Torii⁩، ويتحقق الجسر من المعرّفات والبيانات المرجعية، وينشئ إجراءً واحدًا على السجل، ويتيح حالة حتمية عبر نقطة نهاية ⁨ISO⁩.لغة مالية مشتركة⁨ISO⁩رسالة⁨Torii⁩التحققإجراء على السجلأُعيدت حالة ⁨ISO⁩

يتيح ⁨ISO 20022⁩ انتقال رسائل الدفع المؤسسية إلى التسوية القابلة للبرمجة القائمة على سلسلة الكتل وإلى الاقتصاد الرقمي.

تتبّع المعاملة⁨4⁩ خطوات
  1. تدخل رسالة ⁨pacs.008⁩ أو ⁨pacs.009⁩ عبر ⁨Torii⁩.
  2. يحدد التحقق من المخطط والسياسة الإجراء المطلوب.
  3. ينفذ ⁨Iroha⁩ التعليمة المقابلة على السجل.
  4. تعود إلى المرسل حالة ⁨pacs.002⁩ محددة بصورة حتمية.
02

فضاءات بيانات سيادية

اربط المؤسسات مع احتفاظ كل منها بالتحكم في قواعدها وبياناتها الخاصة.

عند وصول الطلب، يجب أن يحترم المؤسسة المسؤولة عنه. يحدد فضاء البيانات السيادي تلك الحدود: الحوكمة ولجنة التحقق وقواعد الإتاحة وشروط قبول المعاملات.

داخل البروتوكول

يطبق كل فضاء سياسته الخاصة. وفي التبادل المصرح به بين الفضاءات، ينسق ⁨Nexus⁩ القيمة والالتزامات والبراهين المطلوبة عبر سجل منطقي واحد، مع بقاء بيانات المعاملات الخاصة داخل حدودها.

سياسة محلية

تحتفظ كل مؤسسة بقواعد صريحة للصلاحيات والرؤية وقبول المعاملات.

لجان تحقق محددة

يمكن لعبء عمل مقيّد استخدام لجنته الخاصة دون أن يصبح سلسلة منفصلة غير مترابطة.

تشغيل بيني مصرح به

لا تعبر حدود الفضاء إلا القيمة والأدلة المعتمدة؛ ولا تعبر الحالة الخاصة بأكملها.

أطلس البروتوكول

فضاءات بيانات سيادية

تحتفظ الفضاءات العامة والمقيّدة بسياستها المحلية بينما تعبر الحدود عملية مصرّح بها صراحةً.

فضاءات البيانات السيادية وحدود السجل المشتركيحتفظ الفضاء السيادي والفضاء المفتوح بقواعد داخلية مختلفة. يشارك الطرف السيادي الالتزامات والبراهين، مع إبقاء البيانات الخاصة محليًا. ويمكن للطرف المفتوح تصدير البيانات والبراهين. ويربط كلاهما التزاماته بسجل مشترك واحد يسجل معرّفات الفضاءات والجذور والبيانات وشهادات النصاب.قواعد منفصلة. تاريخ مشترك.سياديمفتوحتبقى البيانات المحلية في الداخلمفتوح وفق السياسةالتزامات تشفيرية+ براهينبيانات وبراهينسجل مشترك واحد

بيئات مفتوحة وسيادية تتشارك محركًا واحدًا وتحتفظ بحدود مختلفة.

تتبّع المعاملة⁨3⁩ خطوات
  1. تطبّق الفضاءات العامة والمقيّدة سياستها المحلية الخاصة.
  2. يصل إلى الحد الفاصل طلب ذو تصريح صريح.
  3. لا تعبر حدود الفضاء إلا الأدلة والقيمة المعتمدتان.
03

معاملات ذرية عبر فضاءات البيانات

نسّق الدفع وتسليم الأصل لتسويتهما معًا، حتى بين أنظمة سيادية مختلفة.

تحدد المعاملة الذرية (⁨AMX⁩) كل فضاء بيانات تتعامل معه، والحالة التي ستقرأها أو تغيرها. ويهيئ كل فضاء جزءه انطلاقًا من لقطة مشتركة. ولا يعتمد ⁨Nexus⁩ التغيير إلا عندما تكون جميع النتائج المطلوبة صحيحة.

داخل البروتوكول

إذا تعذر على أي فضاء التحضير، أو فشلت أدلته في التحقق، يُلغى التبادل بأكمله دون آثار جزئية. ويمكن للفضاءات الخاصة تقديم التزامات وبراهين مع إبقاء بيانات معاملاتها محليًا.

الكل أو لا شيء

تعتمد جميع الفضاءات المشاركة معًا، أو تنتهي المعاملة دون أي تسوية جزئية.

نطاق صريح

يمكن مراجعة فضاءات البيانات المشاركة وعمليات القراءة والكتابة المقصودة قبل الاعتماد.

خصوصية تحميها الحدود

يمكن لفضاء مقيّد تصدير التزامات الحالة وأدلة الصحة بدلًا من البيانات الخاصة الخام.

قابلية التشغيل البيني

معاملات ذرية عبر فضاءات البيانات

تجهّز لجنتان مشاركتان عملهما وفق لقطة سلطة واحدة، وتتبادلان الدفع والتسليم تحت قفل يتطلب موافقة ⁨2⁩ من ⁨2⁩، ثم تعتمدان معًا أو تتراجعان معًا.

معاملات ذرية عبر فضاءات البياناتتجهّز لجنتان مشاركتان عملهما وفق لقطة سلطة واحدة، وتتبادلان الدفع والتسليم تحت قفل يتطلب موافقة ⁨2⁩ من ⁨2⁩، ثم تعتمدان معًا أو تتراجعان معًا.

يصبح تغييران محليان نتيجة مشتركة واحدة.

تتبّع المعاملة⁨5⁩ خطوات
  1. حدد فضاءَي البيانات ومجموعات القراءة والكتابة ولقطة واحدة لسياق الصلاحية.
  2. جهّز ⁨A₀ → A₁⁩ و⁨B₀ → B₁⁩؛ وتصدر اللجنتان شهادتي نصاب التحضير (⁨QCs⁩).
  3. أرسل البرهانين إلى ⁨Nexus⁩ وانتظر حتى يُحضَّر الفضاءان.
  4. حرّك الدفع والتسليم في اتجاهين متعاكسين تحت قفل ذري واحد.
  5. اعتمد طرفي العملية بإيصال ⁨AMX⁩ معياري، أو أعد الجذرين إلى حالتهما السابقة دون حالة جزئية.
04

موجّه تسوية حتمي

حوّل الالتزامات المحلية للتبادل إلى نتائج تسوية يستطيع المشغّلون إعادة إنتاجها ومطابقتها.

لمطابقة التبادل، يحسب موجّه التسوية المستحقات باستخدام تحويل دقيق للكميات، وهوامش وتخفيضات احترازية مهيّأة، وقواعد مخزون الاحتياطي لكل مسار تنفيذ. وتنتج المدخلات والقواعد نفسها دائمًا النتيجة نفسها.

داخل البروتوكول

تجمع كل كتلة التسويات بحسب المسار وفضاء البيانات، ثم تسجل الالتزام الناتج وحالة الاحتياطي. وتمنح الإيصالات والمقاييس التشغيلية المشغّلين والمدققين سجلًا مشتركًا للمطابقة.

تحويل معياري

تنتج الكميات الدقيقة ومدخلات الأوراكل والهوامش وقواعد التقريب نتيجة قابلة لإعادة الحساب.

ضمانات الاحتياطي

يمكن لحالات الاحتياطي المحددة إصدار تنبيهات أو تقييد التدفق أو فرض التسوية بـ⁨XOR⁩ فقط أو إيقاف التسوية.

أدلة بحسب المسار

تتشارك التزامات التسوية والقياسات التشغيلية هوية المسار وفضاء البيانات نفسيهما.

المدفوعات

موجّه تسوية حتمي

تتبع المبالغ المعيارية والتوجيه المراعي للسياسة والتزام المسار وإيصال المطابقة مسارًا واحدًا قابلًا لإعادة الإنتاج.

موجّه تسوية حتميتتبع المبالغ المعيارية والتوجيه المراعي للسياسة والتزام المسار وإيصال المطابقة مسارًا واحدًا قابلًا لإعادة الإنتاج.

التزام مالي قابل لإعادة الحساب، وحالة احتياطي واضحة، وإيصال للمطابقة.

تتبّع المعاملة⁨4⁩ خطوات
  1. تحقق من المبلغ ومدخل الأوراكل والهامش وسياسة السيولة.
  2. احسب التزام ⁨XOR⁩ المعياري ونسبة الحسم المطبقة.
  3. تحقق من احتياطي تسوية المسار وحالة سياسته.
  4. ثبّت التزام المسار وأصدر إيصال مطابقة.
⁨02⁩ · التنفيذ

اجعل كل نتيجة قابلة للتحقق

لنتابع هذا التبادل عبر التنفيذ. يجب أن تعالجه الشبكة باتساق، وتدير السعة التي يستخدمها، وتتفق على نتيجة نهائية. وتحتاج المؤسسة المتلقية إلى أدلة تستطيع التحقق منها بصورة مستقلة.

السؤالكيف يثق الطرفان في النتيجة النهائية نفسها؟

يمكن للطرفين مطابقة نتيجة معتمدة، ويمكن لنظام آخر التحقق من نهائيتها انطلاقًا من نقطة ثقة.

05

نواة ⁨Hyperledger Iroha 3⁩

امنح كل عقدة تحقق مشاركة القواعد نفسها لتنفيذ المعاملة.

تحتاج التبادلات السابقة إلى محرك يستطيع المشاركون التحقق منه. يوفره ⁨Hyperledger Iroha 3⁩: يمثّل ⁨Torii⁩ مدخل الطلبات، ويترجم ⁨Kotodama⁩ البرامج، وتنفذ آلة ⁨Iroha⁩ الافتراضية (⁨IVM⁩) منطقها بصورة حتمية.

داخل البروتوكول

تعالج مسارات التنفيذ العمل بالتوازي. ويتفق ⁨Sumeragi⁩، آلية الإجماع، على النتيجة، بينما يخزن ⁨Kura⁩ الكتل المعتمدة. ويحافظان معًا على تاريخ سجل واحد عند إضافة المسارات أو إيقافها.

بيئة تشغيل كاملة تورينغ

يترجم ⁨Kotodama⁩ البرامج إلى شيفرة بايتات ⁨IVM⁩ آمنة لعقد التحقق، بحيث ينفذ كل نظير المنطق المحدود نفسه.

دورة حياة المسارات أثناء التشغيل

يتكيف التوجيه وبيانات التعريف والقياس عن بُعد عند إضافة المسارات أو إخراجها من الخدمة، دون فرض سلسلة جديدة.

سجل معياري واحد

ترفع المسارات المتوازية معدل المعالجة، مع بقاء نهائية ⁨Sumeragi⁩ والتخزين الدائم في ⁨Kura⁩ ضمن تاريخ معتمد واحد.

أطلس البروتوكول

نواة ⁨Iroha 3⁩

قبول ⁨Torii⁩، وترجمة ⁨Kotodama⁩، وتنفيذ ⁨IVM⁩ الحتمي، وتوجيه المسارات، واعتماد معياري واحد.

كيف يوسّع ⁨Hyperledger Iroha 3⁩ سجلًا واحدًا كاملًا وفق نموذج تورنغيقبل ⁨Torii⁩ الطلبات ويترجم ⁨Kotodama⁩ البرامج لبيئة تشغيل ⁨IVM⁩. وتوجّه البيئة العمل إلى مسارات متعددة، ويمكن إضافة مسارات أثناء التشغيل، ويعتمد ⁨Sumeragi⁩ مع ⁨Kura⁩ سجلًا معياريًا واحدًا.محرك واحد. سجل معياري واحد.⁨Torii⁩قبول المعاملات⁨Kotodama⁩ترجمة البرامجآلة ⁨Iroha⁩ الافتراضيةتنفيذ حتميالمسارات⁨Sumeragi + Kura⁩ → تاريخ معتمد

بيئة تشغيل واحدة، مسارات متعددة، سجل واحد.

تتبّع المعاملة⁨4⁩ خطوات
  1. يقبل ⁨Torii⁩ طلبًا موقّعًا.
  2. تُترجَم برامج ⁨Kotodama⁩ إلى شيفرة بايتات للتنفيذ الحتمي في ⁨IVM⁩.
  3. توجّه بيئة التشغيل النتيجة عبر مسارها المعيّن.
  4. يثبّت ⁨Sumeragi⁩ و⁨Kura⁩ اعتمادًا معياريًا واحدًا.
06

المسارات + سجل الدمج

عالج مزيدًا من العمل بالتوازي مع الاحتفاظ بتاريخ سجل واحد.

مع نمو حجم المدفوعات، يمكن لأعباء العمل المستقلة الدخول في مسارات تنفيذ منفصلة. يعالج كل مسار عمله وينتج التزامًا بالحالة الناتجة.

داخل البروتوكول

يجمع سجل الدمج تلك الالتزامات في تاريخ واحد مرتب. ويمكن للمؤسسات إضافة سعة تنفيذ، مع استمرار مستخدميها وأصولها في مشاركة السجل نفسه.

التوازي افتراضيًا

تتوزع أعباء العمل الكثيفة على المسارات بدلًا من إحداث اختناق في مسار تنفيذ واحد.

تاريخ مشترك واحد

يحافظ سجل الدمج على وضوح الشبكة كسجل واحد، لا كخليط من الشظايا.

تقليل تشعّب الجسور

يضيف التوسع معدل معالجة، بدل المزيد من السلاسل والأغلفة ومنطق الجسور.

أطلس البروتوكول

المسارات + سجل الدمج

تنتج أعباء العمل المتوازية التزامات مستقلة تتجمع في كتلة معيارية واحدة في سجل الدمج.

تندمج المسارات المتوازية في سجل واحديحتفظ كل مسار بكتله وتحديثات حالته، ثم يرسل التزاماته إلى سجل دمج واحد، فتزداد الإنتاجية دون تقسيم التاريخ المشترك.عمل متوازٍ. تاريخ واحد.المسار ⁨01⁩المسار ⁨02⁩المسار ⁨03⁩دمج الالتزاماتسجل واحد

تعود المسارات المتوازية إلى سجل واحد بدل التشتت إلى سلاسل منفصلة.

تتبّع المعاملة⁨3⁩ خطوات
  1. تدخل أعباء العمل المستقلة في مسارات تنفيذ متوازية.
  2. ينتج كل مسار التزام حالة مصدّقًا عليه.
  3. يرتّب سجل الدمج تلك الالتزامات في كتلة واحدة.
07

دورة حياة المسارات أثناء التشغيل

كيّف قدرة التنفيذ مع عبء عمل المؤسسات عبر تحديث معتمد بالإجماع.

يمكن للمشغّل إضافة مسار أو استبداله أو إيقافه عبر معاملة موقّعة ومصرح بها. وترتبط الخطة بالفهرس الدقيق ونسخ المسارات النشطة التي راجعها المشغّل. وتترك الفهارس المتقادمة والخطط غير الصالحة والطلبات غير المصرح بها البنية دون تغيير.

داخل البروتوكول

بعد اعتماد التحديث بالإجماع، يطبق كل نظير الفهرس نفسه، ويحدّث التوجيه والحدود، ويوائم التخزين. ولا يمكن إيقاف مسار ما دام فيه عمل مصدّق عليه لم يُدمج أو لم يُطبَّق.

خاضع للإجماع

تستخدم تغييرات دورة الحياة معاملات موقّعة عادية، ولا تُنشر إلا مع كتلة معتمدة.

فحوص الحالة الراهنة

تمنع التزامات الفهرس ونسخ المسارات الطلبات المتأخرة من تعديل بنية مختلفة.

تنظيف منسّق

يُحدَّث التوجيه وبيانات التعريف وتخطيط التخزين وحالة إتاحة البيانات وذاكرات الترحيل المؤقتة معًا.

التوسع

دورة حياة المسارات أثناء التشغيل

يمكن إضافة السعة وتوجيهها ومراقبتها وإيقافها، مع استمرار سجل مرجعي واحد في الأساس.

دورة حياة المسارات أثناء التشغيليمكن إضافة السعة وتوجيهها ومراقبتها وإيقافها، مع استمرار سجل مرجعي واحد في الأساس.

تتغير السعة عبر خطة واحدة معتمدة يتبعها كل نظير.

تتبّع المعاملة⁨4⁩ خطوات
  1. راجع الفهرس الحالي ووقّع خطة دورة حياة المسار.
  2. تحقق من الصلاحية والتزام الفهرس وهوية نسخة المسار وبوابات السلامة.
  3. اعتمد تحديث البنية وحدّث توجيه الطابور.
  4. فعّل المسار، أو أوقفه بعد تصفية الأعمال المعلقة.
08

إجماع ⁨Sumeragi⁩

حوّل العمل المتوازي إلى نتيجة معتمدة تتفق عليها عقد التحقق.

⁨Sumeragi⁩ آلية الإجماع التي تمنح الكتلة المقترحة نهائيتها. تصدّق عليها عقد التحقق في مرحلتين: التحضير والاعتماد. وتربط كل شهادة نصاب (⁨QC⁩) أصواتها بالكتلة بعينها وارتفاعها وقائمة عقد التحقق المثبتة وانتقال الحالة.

داخل البروتوكول

تتحقق عقد التحقق من الكتلة وتخزّنها بصورة دائمة قبل التحضير، وتحفظ قفلها قبل الاعتماد، وتثبّت قرار شهادة نصاب الاعتماد قبل تطبيقه. تُرفض الأصوات المتعارضة وتُسجّل كأدلة، ولا تُحتسب قط ضمن النصاب.

مرحلتان مصدَّق عليهما

تجعل شهادتا نصاب التحضير والاعتماد مسار الوصول إلى النهائية صريحًا.

حفظ دائم قبل التوقيع

يُحفظ المتن ونية التصويت والقفل والقرار حفظًا دائمًا قبل تقدم البروتوكول.

أدلة قابلة للنقل

يمكن أن ترافق سجلات الاعتماد النتيجة، لتمكين المرحّلات والمدققين من التحقق من النهائية بصورة مستقلة.

أطلس البروتوكول

إجماع ⁨Sumeragi⁩

تتقدم كتلة محددة عبر شهادتي نصاب التحضير والاعتماد، مع رفض الأصوات المتعارضة والإبلاغ عنها.

كيف يحقق إجماع ⁨Sumeragi⁩ النهائيةيقترح القائد متن كتلة محددًا. تتحقق منه عقد التحقق وتخزنه تخزينًا دائمًا قبل تكوين شهادة نصاب التحضير. ثم تثبّت قفلًا دائمًا، وتكوّن شهادة نصاب الاعتماد، وتحفظ القرار، وتطبق الكتلة. ويُرفض التصويت المتعارض ويُبلَّغ عنه بوصفه دليلًا بدلًا من احتسابه.كتلة واحدة. قرار نهائي واحد.اقترح جسم الكتلة. صدّق الأصوات. ثبّت القرار.الارتفاع والجولة⁨h · r⁩ · قائمة وقوة تصويت ثابتتان⁨02⁩ · التحقق والتخزين01اقتراح⁨b7e1…⁩المتن والبيانتجزئة · حمولة · جذورمطابقالمتنصالح ومحفوظ دائمًارُفض التعارض · حُفظ الدليل03شهادة نصاب التحضيرصالح ومتاحاكتمل النصاب⁨04⁩ · مقفل05شهادة نصاب الاعتمادقرار محفوظ دائمًاتوقيع ⁨BLS⁩ مجمّع⁨06⁩ · نهائيحُفظ القرار دائمًاشهادة نصاب الاعتماد والموضوع الدقيقطُبّق المتن المحددجذر حالة حتميبدء الارتفاع ⁨h+1⁩تقدّم السجل المرجعي

تصدّق عقد التحقق جسم الكتلة ذاته في مرحلتي التحضير والاعتماد؛ وتصبح شهادة نصاب الاعتماد دليل نهائية قابلًا للنقل.

تتبّع المعاملة⁨6⁩ خطوات
  1. يبث القائد المتوقع مقترحًا موقّعًا وبيان الحمولة.
  2. تعيد عقد التحقق بناء جسم الكتلة بعينه، وتتحقق منه، وتخزّنه بصورة دائمة.
  3. يصدّق عدد كافٍ من عقد التحقق وقوة التصويت على التحضير.
  4. تحفظ عقد التحقق القفل الدقيق قبل إصدار أصوات الاعتماد.
  5. تمنح شهادة نصاب الاعتماد تلك الكتلة بعينها نهائية التسوية.
  6. يُحفَظ القرار، ويُطبَّق جسم الكتلة بعينه، ويُفتح الارتفاع التالي.
09

براهين نهائية قابلة للتحقق

زوّد المؤسسة المتلقية بدليل على نهائية المعاملة، يمكن التحقق منه انطلاقًا من نقطة ثقة.

يجمع برهان قابل للنقل ترويسة الكتلة المعيارية مع السجل الدائم الدقيق لإجماع ⁨Sumeragi⁩. ويتضمن هذا السجل سياق ارتفاع الكتلة المثبّت، وموضوع الكتلة المصدّق عليه، والتزام التنفيذ، وشهادة نصاب الاعتماد (⁨QC⁩)، وبراهين حيازة المفاتيح المتوافقة مع قائمة عقد التحقق.

داخل البروتوكول

يفحص النظام المتلقي ترابط هذه السجلات، وعضوية الموقّعين وترتيبهم، وملكية مفاتيح عقد التحقق، وتوقيع ⁨BLS⁩ المجمّع. ويجب استيفاء حدَّي عدد عقد التحقق وقوة التصويت معًا. وقبل قبول البرهان الأول، يجب ربطه أيضًا بسلسلة ومرساة سياق موثوقتين بصورة مستقلة.

أدلة دقيقة

احتفظ بالعنصر المصدَّق عليه وجذور التنفيذ وشهادة الاعتماد وقائمة عقد التحقق المثبتة وبراهين الحيازة.

نصاب مزدوج

يجب أن تستوفي مجموعة الموقّعين عتبة عدد عقد التحقق المتميزة، وأن تتجاوز قوة تصويتها الثلثين تجاوزًا صارمًا.

تبقى الثقة خارجية

لا يمكن لقائمة مرفقة بالبرهان أن تثبت موثوقيتها بنفسها؛ بل يُثبَّت أول سياق مقبول عبر قناة مستقلة موثوقة.

النهائية

براهين نهائية قابلة للتحقق

تتحول الترويسة المعيارية وسجل نهائية ⁨Sumeragi⁩ الدقيق إلى أدلة قابلة للنقل، تفحصها جهة التحقق بالاستناد إلى سياق سلسلة موثوق به بصورة مستقلة.

براهين نهائية قابلة للتحققتتحول الترويسة المعيارية وسجل نهائية ⁨Sumeragi⁩ الدقيق إلى أدلة قابلة للنقل، تفحصها جهة التحقق بالاستناد إلى سياق سلسلة موثوق به بصورة مستقلة.

تربط الأدلة القابلة للنقل النتيجة النهائية لنظام ما بعمليات التحقق في نظام آخر.

تتبّع المعاملة⁨4⁩ خطوات
  1. اجمع الترويسة، والموضوع المصدّق عليه، وجذور التنفيذ، وشهادة الاعتماد، والقائمة المثبّتة، وبراهين الحيازة.
  2. اختم الأثر الدقيق في حافظة برهان ⁨Norito⁩ قابلة للنقل.
  3. اربط البرهان بالسلسلة المتوقعة ومرساة سياق موثوقة بصورة مستقلة.
  4. تحقق من الروابط البنيوية، وحدَّي النصاب، وترتيب الموقّعين، وحيازة المفاتيح، وتوقيع ⁨BLS⁩ المجمّع قبل قبول النهائية.
⁨03⁩ · قابلية البرمجة

حوّل السياسة إلى عمل

يحتاج التبادل أيضًا إلى شروط صريحة. حدّد الحسابات التي يمكنها التصرف، ورمّز شروط الدفع والتسليم، وقرّر متى تُنفَّذ الإجراءات المصرّح بها. وتربط السجلات المشتركة تلك القواعد بالتطبيقات المحيطة بها.

السؤالمن يحق له التصرف، وبأي شروط، وضمن أي حدود؟

تعبّر البرامج عن شروط التبادل، وتحدد الصلاحيات من يستطيع تنفيذها.

10

برامج ⁨Kotodama⁩

عبّر برمجيًا عن قواعد سوق أو دفعة أو تطبيق.

بوجود نموذج مشترك للتنفيذ والنهائية، تستطيع الفرق تحديد سلوك التطبيقات. ⁨Kotodama⁩ لغة لكتابة برامج تعبّر عن منطق الأسواق وشروط الدفع والسياسة المؤسسية.

داخل البروتوكول

يترجم المُترجم تلك البرامج إلى شيفرة بايتات آلة ⁨Iroha⁩ الافتراضية (⁨IVM⁩). تنفذ عقد التحقق المنطق نفسه ضمن حدود التشغيل وتستنتج انتقال الحالة نفسه.

شيفرة مصدرية عالية المستوى

يكتب المطورون برامج مقروءة بدلًا من التعامل مباشرة مع التفاصيل الداخلية لبيئة التشغيل.

المخرجات نفسها في كل مكان

تستهدف الترجمة البرمجية نموذج تنفيذ واحدًا تشترك فيه جميع عقد التحقق.

السياسة والمنتجات

يمكن لنموذج البرمجة نفسه التعبير عن منطق الأسواق والأتمتة والضوابط.

أطلس البروتوكول

⁨Kotodama + IVM⁩

تُترجَم الشيفرة المقروءة إلى شيفرة بايتات محدودة، وتنتج الحالة الحتمية نفسها على كل نظير.

تدفق مُترجم ⁨Kotodama⁩يُترجَم برنامج مصدري قصير بلغة ⁨Kotodama⁩ إلى مخرجات ⁨IVM⁩ حتمية. وتكون بيئة التشغيل المستهدفة هي ⁨IVM⁩، ويظل التنفيذ محدودًا، وتتلقى كل عقدة تحقق بايتات المخرجات نفسها.اكتب القواعد. كرّر النتيجة.⁨policy.ko⁩مصدر ⁨Kotodama⁩ترجمة برمجية⁨IVM⁩شيفرة بايتاتالنتيجة نفسها على كل عقدة

برامج عالية المستوى تُترجَم إلى بيئة تشغيل حتمية واحدة مشتركة عبر الشبكة.

تتبّع المعاملة⁨3⁩ خطوات
  1. تُترجَم شيفرة ⁨Kotodama⁩ المقروءة إلى شيفرة بايتات ⁨IVM⁩.
  2. يستهلك التنفيذ ميزانية محدودة من الدورات.
  3. تستنتج كل عقدة تحقق انتقال الحالة نفسه.
11

تعليمات ⁨Iroha⁩ الخاصة

أنشئ تدفقات الأصول اليومية باستخدام عمليات يفهمها السجل أصلًا.

تستخدم تطبيقات كثيرة الإجراءات الأساسية نفسها: تسجيل أصل، أو سك وحدات، أو نقلها، أو منح صلاحية، أو حرق معروض. يوفر ⁨Iroha⁩ هذه الإجراءات كتعليمات أصلية محددة النوع.

داخل البروتوكول

تفحص كل تعليمة الصلاحية والسياسة المطلوبتين. ويمكن لدفعة مرتبة تهيئة عدة إجراءات مترابطة واعتمادها معًا. وإذا فشلت أي تعليمة، تُلغى جميع الآثار المهيأة.

إجراءات مدمجة

توجد عمليات السجل الشائعة داخل المنصة نفسها.

تطوير أسرع للمنتجات

تركّب الفرق لبنات مشتركة بدل إعادة بناء العمليات نفسها من الصفر.

تدقيق أوضح

يمكن للمدققين الاستناد إلى مجموعة قواعد واحدة بدلًا من نسخ عديدة شبه متطابقة.

أطلس البروتوكول

تعليمات ⁨Iroha⁩ الخاصة

تهيّئ دفعة مرتبة من تعليمات التسجيل والسك والنقل والمنح والحرق محددة النوع حالة حتمية للسجل ضمن صلاحية صريحة.

تعليمات ⁨Iroha⁩ الخاصة كانتقالات حالة أصليةتسجل دفعة تعليمات موقّعة ومرتبة تعريف أصل، وتسك مئة وحدة، وتنقل ثلاثين وحدة، وتمنح إذنًا، وتحرق عشر وحدات. تجتاز كل تعليمة محددة النوع فحوص الصلاحية والسياسة، وتهيّئ تحديثًا حتميًا للسجل، وتساهم في حالة نهائية واحدة معتمدة.خمس تعليمات. تغيير حالة واحد.عمليات مدمجة تُطبَّق بالترتيب.دفعة ⁨ISI⁩ موقّعةسلطة وسياسة لكل خطوةحالة سجل مرحليةمرتب · الفشل يلغي كل الآثار المرحليةتسجيل أصل⁨iroha.register⁩مسجّل⁨CREDIT#CBDC⁩المعروض ⁨0⁩سكّ ⁨100⁩⁨iroha.mint⁩سُكّت ⁨+100⁩المعروض ⁨100⁩المُصدر ⁨100⁩نقل ⁨30⁩⁨iroha.transfer⁩نُقلت ⁨30⁩المُصدر ⁨70⁩المتلقي ⁨30⁩ · المعروض ⁨100⁩منح الوصول⁨iroha.grant⁩مصرح بهصلاحية ⁨+1⁩الأرصدة دون تغييرحرق ⁨10⁩⁨iroha.burn⁩حُرقت ⁨10⁩المعروض ⁨90⁩المُصدر ⁨60⁩اعتُمدت الحالةدفعة ⁨ISI⁩ مرتبةالمعروض ⁨90⁩ · المُصدر ⁨60⁩ · المتلقي ⁨30⁩ · صلاحية ⁨+1⁩

تهيّئ دفعة مرتبة من التعليمات محددة النوع تغييرات حتمية للسجل قبل اعتماد حالة واحدة.

تتبّع المعاملة⁨5⁩ خطوات
  1. سجّل ⁨CREDIT#CBDC⁩ بمعروض صفري.
  2. سكّ ⁨100⁩ وحدة للمُصدر بعد التحقق من السلطة والسياسة.
  3. انقل ⁨30⁩ وحدة إلى المتلقي دون تغيير إجمالي المعروض.
  4. امنح إذنًا واحدًا مع بقاء الأرصدة دون تغيير.
  5. احرق ⁨10⁩ وحدات من المُصدر واعتمد معروضًا نهائيًا قدره ⁨90⁩.
12

بيانات القدرات

امنح حساب كل مشارك الصلاحية التي يحتاجها تحديدًا، ولمدة محددة.

يسجل بيان القدرات ما يُسمح لحساب موحد بفعله داخل فضاء بيانات معين. ويحدد البرامج والطرق والأصول المسموح بها، والدور الاختياري في معاملة ذرية. وتحدد حقبتا التفعيل والانتهاء مدة سريان تلك الصلاحية.

داخل البروتوكول

يقيّد حد أقصى اختياري للمبلغ الطلب الحالي. ويعيد منح الإذن الناجح أيضًا نافذة السماح بوصفها بيانات وصفية. وتكون الأولوية لقواعد المنع المطابقة، ويمكن للمشغّلين مراقبة التفعيل والانتهاء والإلغاء عبر أحداث دورة الحياة.

الحد الأدنى من الصلاحيات

تقتصر الصلاحية على فضاءات بيانات وبرامج وطرق وأصول وأدوار محددة بالاسم.

حدود حتمية

تحقق من المبلغ الحالي مقابل السقف المحدد، وأعد نافذة السماح لكل فترة أو دقيقة أو يوم مع منح الإذن.

الأولوية للمنع

يتغلب المنع الصريح المطابق على الإذن المحتمل، ويُرجع سببًا بصيغة منظمة.

السياسة

بيانات القدرات

يُقيَّم الطلب المحدد بفضاء بيانات وفق نطاق صريح، وسقف لمبلغ الطلب الحالي، وسياسة تمنح المنع الأولوية.

بيانات القدراتيُقيَّم الطلب المحدد بفضاء بيانات وفق نطاق صريح، وسقف لمبلغ الطلب الحالي، وسياسة تمنح المنع الأولوية.

يرتبط كل إذن بحساب وإجراء وفضاء بيانات محددين.

تتبّع المعاملة⁨4⁩ خطوات
  1. حدّد الحساب الموحد للجهة المعنية وبيانه النشط.
  2. تحقق من فضاء البيانات والبرنامج والطريقة والأصل والدور المطلوبة.
  3. تحقق من حقبة الطلب ومبلغه الحالي وفق سقف البيان.
  4. افحص قواعد الرفض المطابقة، ثم أعد إذنًا بالقبول أو رفضًا منظمًا.
13

أتمتة على السلسلة

شغّل إجراءً مصرّحًا به عند وقوع حدثه المسجّل.

تحدد الصلاحيات ما يمكن للإجراء فعله، ويحدد المشغّل وقت تشغيله. يخزّن كل مشغّل برنامجًا تنفيذيًا ومرشح أحداث واحدًا وسلطته وسياسة التكرار. ويمكن للمرشح مطابقة جدول زمني، أو حدث معتمد في مسار المعالجة كارتفاع كتلة محدد، أو حدث بيانات في السجل، أو طلب استدعاء مصرّح به.

داخل البروتوكول

عند تطابق المرشح، ينفذ ⁨Iroha⁩ الإجراء تحت السلطة المسجّلة وسياسة المنفّذ المعتادة. وتحدّ الصلاحيات وحدود التكرار والوقود أو الدورات والغاز وعمق التنفيذ من العمل. وتحدد النتيجة المسجّلة المشغّل وتجزئة التنفيذ والخطوة.

جدولة أصلية في الشبكة

لا تعتمد العمليات المجدولة والموجّهة بالأحداث على روبوت مستقل أو خدمة ⁨cron⁩ منفصلة.

مرشح دقيق واحد

يراقب المُشغِّل المسجل مرشح أحداث حتميًا واحدًا، وليس جميع المصادر في آن واحد.

تنفيذ محدود

تحدّ الصلاحيات والتكرارات والوقود أو الدورات والغاز وعمق التنفيذ من العمل المؤتمت.

أطلس البروتوكول

أتمتة على السلسلة

يُفعّل مرشح أحداث مسجّل واحد برنامجًا تنفيذيًا محدودًا تحت سلطته المعلنة، ثم يسجّل نتيجة إتمامه.

حلقة التحكم بالأتمتة على السلسلةيمكن لجدول زمني، أو حدث عند ارتفاع كتلة محدد، أو حدث لبيانات السجل، أو استدعاء يدوي مصرح به، أن يطابق مُشغِّلًا مسجلًا. يحدد ⁨Iroha⁩ مرشح المُشغِّل، وينفذ برنامجه ضمن الصلاحية وميزانية التنفيذ المسجلتين، ويهيّئ تغيير الحالة، ويسجل نتيجة ⁨TriggerCompleted⁩.

مرشح أحداث مسجّل واحد يفعّل إجراءً محدودًا ويسجّل نتيجة إتمامه.

تتبّع المعاملة⁨5⁩ خطوات
  1. اختر مشغّلًا بمرشح لكتلة معتمدة محددة بدقة.
  2. يحمّل الحدث المطابق برنامجه التنفيذي المسجّل وسلطته وتكراراته المتبقية.
  3. تحقق من المرشح وحالة التفعيل والصلاحية وحدود التنفيذ.
  4. جهّز تغيير الحالة واستهلك تكرارًا واحدًا من العدد المحدود عند النجاح.
  5. يسجّل ⁨TriggerCompleted⁩ معرّف المشغّل وتجزئة التنفيذ والخطوة والنتيجة.
14

مرمّز ⁨Norito⁩

امنح كل مشارك طريقة لا لبس فيها لقراءة البيانات نفسها.

تحتاج البرامج والتعليمات والبراهين إلى تنسيق بيانات مشترك. يرمّز ⁨Norito⁩ القيم المحددة النوع بترتيب حقول معلوم. وتحدد ترويسة ⁨NRT0⁩ من ⁨40⁩ بايت الإصدار والمخطط المتوقع ونمط الضغط والطول والمجموع الاختباري والتخطيط.

داخل البروتوكول

يفحص القارئ هذه الحقول والمجموع الاختباري للسلامة ⁨CRC64-XZ⁩ قبل إعادة بناء القيمة. وباستخدام المخطط نفسه وتخطيط صريح غير مضغوط، تنتج القيمة نفسها البايتات نفسها. ويحافظ الضغط الاختياري على المحتوى بعد فك الترميز؛ وقد تختلف البايتات المضغوطة بين محركات التنفيذ.

إطارات مرتبطة بالمخطط

تربط تجزئة المخطط المكوّنة من ⁨16⁩ بايت الحمولة بنوع البيانات الذي يتوقعه مفكك الترميز.

تحقق تدفّقي

يستهلك القارئ الحمولة المعلنة، ثم يتحقق من مجموعها الاختباري للسلامة ⁨CRC64-XZ⁩.

إعادة بناء مطابقة

يزيل الترتيب المعياري للحقول وقواعد التخطيط الصريحة الغموض من دورة الترميز وفك الترميز.

أطلس البروتوكول

مرمّز ⁨Norito⁩

تتحول قيمة محددة النوع إلى إطار ⁨NRT0⁩ مرتبط بمخطط، وتمر عبر قارئ مجزأ، وتجتاز فحوص التنسيق والسلامة، ثم تُعاد بناؤها بدقة.

دورة الترميز وفك الترميز المعيارية في ⁨Norito⁩يتحول سجل تحويل محدد النوع إلى حمولة معيارية داخل إطار ⁨NRT0⁩ بترويسة من ⁨40⁩ بايت. يتحقق قارئ تدفقي من الإصدار، وأعلام التخطيط، وتجزئة المخطط، والطول المعلن، والمجموع الاختباري للسلامة ⁨CRC64-XZ⁩، قبل إعادة بناء القيمة المحددة النوع نفسها.

قيمة محددة النوع تتحول إلى إطار ⁨NRT0⁩ متحقق منه، ثم تُعاد بناؤها دون غموض.

تتبّع المعاملة⁨5⁩ خطوات
  1. تُسلسَل الحقول المرتبة في حمولة معيارية واحدة.
  2. أضف ترويسة ⁨NRT0⁩ متضمنة المخطط والطول والمجموع الاختباري والضغط وبيانات التخطيط الوصفية.
  3. يتلقى القارئ الترويسة والحمولة على أجزاء.
  4. يُتحقّق بالترتيب من توقيع التنسيق والإصدار وأعلام التخطيط والمخطط والطول المعلن و⁨CRC64-XZ⁩.
  5. أعد بناء القيمة الأصلية المحددة النوع من الحمولة المتحقق منها.
15

⁨SoraNet + SoraFS⁩

امنح التطبيقات وسيلة لاسترجاع المحتوى والتحقق مما وصل.

تحتاج التطبيقات أيضًا إلى بيانات من خارج المعاملة. ينقل ⁨SoraNet⁩ الطلب: في وضع الترحيل الصارم، يمر طلب المحتوى المُعمّى عبر مرحّلات الدخول والوسط والخروج. ويسترجع ⁨SoraFS⁩ المحتوى باستخدام بيان يحدد جذره وترتيب أجزائه وطوله والتجزئات المتوقعة.

داخل البروتوكول

تُفحص أجزاء المزود قبل إعادة بناء المحتوى وإرجاعه مع أدلة الاسترجاع. وتبقى الدفعة المصرّح بها على السجل إجراءً منفصلًا. ويمكن لهذه المكونات دعم برمجيات تطلب خدمة، وتتحقق من النتيجة المسلّمة، وتدفع وفق سياسة صريحة.

دائرة الترحيل المختارة

يعبر الطلب المُعمّى المسار المختار عبر عقد الدخول والوسط والخروج.

استرجاع مرتبط بالبيان

يحدد البيان بدقة الأجزاء وترتيبها وطولها وبصماتها التي يجب أن يطابقها الاسترجاع.

تحقق، ثم سلّم

تُفحص أجزاء المزود وتُجمع قبل إرجاع العنصر؛ ويمكن تركيب الدفع المصرّح به بصورة منفصلة.

أطلس البروتوكول

⁨SoraNet + SoraFS⁩

يعبر طلب محتوى مُعمّى دائرة مختارة من ثلاث قفزات في ⁨SoraNet⁩. يحلّ ⁨SoraFS⁩ بيانه، ويسترجع الأجزاء من عدة مزودين ويتحقق منها، ثم يعيد بناء الحمولة ويُرجع العنصر المتحقق منه مع أدلة الاسترجاع.

نقل ⁨SoraNet⁩ واسترجاع ⁨SoraFS⁩يتحول الطلب المعنون بالمحتوى إلى مفتاح مُعمّى، ويعبر دائرة مختارة من ثلاث قفزات في ⁨SoraNet⁩ ليصل إلى ⁨SoraFS⁩. يحلّ ⁨SoraFS⁩ البيان، ويسترجع الأجزاء من عدة مزودين، ويتحقق من كل جزء، ويعيد بناء الحمولة، ثم يُرجع العنصر المتحقق منه مع أدلة الاسترجاع.

يختار ⁨SoraNet⁩ مسار الترحيل. ويسترجع ⁨SoraFS⁩ المحتوى ويتحقق منه ويعيد بناءه.

تتبّع المعاملة⁨8⁩ خطوات
  1. يتحول الطلب المعنون بالمحتوى إلى مفتاح مُعمّى.
  2. يحدد الدور والإصدار وسياسة النقل الصارمة مسار ⁨SoraNet⁩.
  3. يعبر الطلب أدوار ترحيل الدخول والوسط والخروج.
  4. يحلّ ⁨SoraFS⁩ البيان وبصمات الأجزاء المتوقعة فيه.
  5. تعيد الجهات المزودة المؤهلة الأجزاء إلى مخزن مرتب لإعادة البناء.
  6. يطابق كل جزء والحمولة المكتملة التزامات البيان.
  7. يعود العنصر المتحقق منه وأدلة الاسترجاع عبر الدائرة المختارة.
  8. يكتمل التسليم؛ ويظل أي دفع مصرح به على السجل إجراءً منفصلًا قابلًا للتركيب.
⁨04⁩ · اقتصاد الوكلاء

توسيع الاقتصاد ليشمل وكلاء الذكاء الاصطناعي

قد يمتد نمط التبادل نفسه إلى وكيل برمجي يشتري قدرة حوسبة أو خدمة أخرى نيابة عن مؤسسة. هذه حالة استخدام مستقبلية: يظل البشر هم من يحدد الحسابات والصلاحيات وسلطة الإنفاق التي يجوز للوكيل استخدامها.

السؤالهل يمكن لوكيل برمجي مصرح له المشاركة؟

يمكن لاقتصاد وكلاء محتمل استخدام لبنات التسوية نفسها، مع صلاحيات يمنحها الأفراد والمؤسسات.

16

اقتصاد مشترك لوكلاء الذكاء الاصطناعي

حالة استخدام مستقبلية · يوفر ⁨Iroha⁩ المكونات الأساسية للحسابات والأصول والسياسات والتسوية. وتعمل نماذج الذكاء الاصطناعي خارج البروتوكول.

وسّع نمط التبادل إلى اقتصاد خدمات محتمل: قد يتمكن وكلاء الذكاء الاصطناعي من الدفع مقابل الخدمات وفق قواعد الحسابات والأذونات والتسوية نفسها.

تصوّر مؤسسة تفوّض وكيلًا لشراء قدرة حوسبة من مزود آخر. سيعمل الوكيل من خلال حساب ⁨Iroha⁩ عادي تتحكم فيه المفاتيح. وسيحدد الأفراد والمؤسسات الأدوار والأذونات والميزانيات وحدود الإنفاق وصلاحية المعاملات التي يمكنه استخدامها.

داخل البروتوكول

يمكن للحسابات المصرح لها الجمع بين تعليمات تسجيل الأصول وسكها ونقلها ومبادلتها. ويمكن لهذه اللبنات تمثيل أرصدة الحوسبة، والوصول إلى مجموعات البيانات، وتراخيص النماذج، وسعة التخزين، ووحدات الطاقة، وإيصالات المهام، وحقوق المخرجات الرقمية.

يمكن لبرامج ⁨Kotodama⁩ العاملة في آلة ⁨Iroha⁩ الافتراضية (⁨IVM⁩)، مع المشغّلات على السلسلة، أتمتة المدفوعات وشروط التسليم والأعمال الدورية والإيصالات. ويمكن للمعاملة الذرية أن تجعل الدفع وتسليم الأصل ينجحان معًا أو يتراجعان معًا عبر فضاءات البيانات. وتوفر سجلات ⁨Norito⁩ المعيارية ونهائية ⁨Sumeragi⁩ تاريخًا قابلًا للتدقيق لما جرى التصريح به وتسويته.

هذه حالة استخدام مستقبلية للبنات ⁨Iroha⁩ الاقتصادية والأتمتة والسياسة. وهي لا تشغّل نماذج ذكاء اصطناعي، ولا تحدد ما إذا كان حساب ما خاضعًا لذكاء اصطناعي، ولا تمنح أي وكيل استقلالية غير مقيّدة.

قيمة قابلة للقراءة آليًا

يمكن للحسابات المصرح لها إنشاء وتبادل أصول قابلة للاستبدال، ورموز ⁨NFT⁩، وحقوق خدمات.

تبادل ذري

يمكن اعتماد الدفع والتسليم الرقمي معًا، أو ألّا يتركا لأي طرف نتيجة جزئية.

صلاحية يحددها البشر

تحدّ الأدوار والقدرات والميزانيات والحدود وسجلات التدقيق مما يستطيع الوكيل فعله.

حالة استخدام مستقبلية

اقتصاد مشترك لوكلاء الذكاء الاصطناعي

يمكن لوكلاء البرمجيات المصرّح لهم تبادل المدفوعات والحقوق الرقمية ذريًا، وإصدار إيصالات معيارية، أو التراجع دون نقل جزئي.

اقتصاد مشترك لوكلاء الذكاء الاصطناعييمكن لوكلاء البرمجيات المصرّح لهم تبادل المدفوعات والحقوق الرقمية ذريًا، وإصدار إيصالات معيارية، أو التراجع دون نقل جزئي.

اقتصاد خدمات محتمل مبني على الحسابات والأصول والقواعد التي يحددها البشر.

تتبّع المعاملة⁨8⁩ خطوات
  1. يطلب حساب مشترٍ بيانات أو حوسبة أو تخزينًا أو خدمة أخرى قابلة للقراءة آليًا.
  2. يجتاز الحساب فحوص السلطة والرصيد وحد الإنفاق.
  3. يسجل حساب مزود مصرح له أصل الخدمة أو يسكه.
  4. يدخل الدفع وتسليم الأصل في معاملة ذرية واحدة عبر فضاءات البيانات.
  5. تنتقل القيمة إلى المزود، بينما ينتقل حق الخدمة إلى المشتري.
  6. يعتمد الطرفان معًا، أو يتراجع كلاهما بصورة واضحة.
  7. يصدر مُشغِّل على السلسلة إيصالات معيارية يمكن للمشغّلين تدقيقها.
  8. يمكن لحساب ثالث مصرح له اقتناء الأصل أو مبادلته وفق سياسته الخاصة.
⁨05⁩ · الخصوصية

احمِ البيانات وراء المعاملة

لنعد إلى التبادل المؤسسي الأصلي. يحتاج الطرفان إلى دليل على اجتياز الفحوص المطلوبة، لا إلى وصول غير مقيّد إلى سجلات بعضهما. احمِ البيانات الأساسية، واقبل البراهين المعتمدة، وأبقِ المعلومات المعتمدة قابلة للاسترداد.

السؤالما الذي يجب إثباته، وما الذي يمكن أن يبقى خاصًا؟

يمكن للمشاركين التحقق من الأدلة المطلوبة، مع بقاء الحالة المحمية محليًا وإمكان استرداد المعلومات المعتمدة.

17

مسار براهين ⁨FASTPQ⁩

تحقق من أدلة التنفيذ الخاص مع إبقاء أثره داخل فضاء البيانات.

قد تتضمن المدفوعات المؤسسية والخدمات المؤتمتة أنشطة حساسة. يوفر ⁨FASTPQ⁩ مسار البراهين للتنفيذ السري: تصبح الالتزامات بأثر تنفيذ خاص مدخلات للبرهان، بينما يبقى الأثر داخل فضاء بياناته.

داخل البروتوكول

يتحقق الطرف المتلقي من الأدلة المطلوبة قبل تقرير قبول النتيجة. ويمكنه فحص تلك الأدلة دون تلقي أثر التنفيذ الخاص الكامل.

أثر تنفيذ خاص

يبقى التنفيذ الحساس داخل فضاء البيانات الذي أنتجه.

التزام عام

تربط الالتزامات المعيارية البرهان بالنتيجة الخاصة دون نشر النتيجة نفسها.

قبول متحقق منه

قد يجتاز البرهان المطلوب قاعدة القبول العامة أو يفشل فيها قبل إدراجه في الطابور.

أطلس البروتوكول

مسار براهين ⁨FASTPQ⁩

تتحول التزامات أثر التنفيذ الخاص إلى مدخلات برهان عامة وقرار متحقق منه، دون كشف الأثر.

مسار براهين ⁨FASTPQ⁩يعتمد ⁨FASTPQ⁩ على آثار الصفوف وأعمدة المُحدِّدات، وينشئ التزامات باستخدام ⁨Poseidon2⁩ ومسارات الحالة، ويتحقق منها مقابل مدخلات عامة مثل معرّف فضاء البيانات والفترة والجذور.تنفيذ خاص. تحقق عام.أثر تنفيذ خاص⁨Poseidon2⁩التزام تشفيريبرهانمتحقق منهمدخلات عامةالفضاء · الخانة · الجذور

يبقى أثر التنفيذ الخاص محليًا، ويفحص الطرف المتلقي أدلة البرهان.

تتبّع المعاملة⁨3⁩ خطوات
  1. يبقى أثر التنفيذ الخاص داخل فضاء بياناته.
  2. انشر التزامًا ومدخلات برهان مع إبقاء أثر التنفيذ محليًا.
  3. يحسم التحقق القبول دون كشف أثر التنفيذ.
18

قبول براهين الخصوصية

اشترط الأدلة المعتمدة قبل دخول معاملة خاصة إلى طابور تنفيذها.

يظل التبادل الخاص بحاجة إلى أدلة قابلة للتحقق. يسجل بيان كل مسار التزامات الخصوصية المعتمدة لعبء عمله، مثل جذور ⁨Merkle⁩ أو واصفات البراهين. ويمكن للمعاملة إرفاق دليل لهذا الالتزام مع إبقاء الحالة المحمية خارج التدفق العام.

داخل البروتوكول

تفحص آلية القبول الأدلة مقابل سجل المسار الوجهة، ثم تطبق قاعدة امتثال المسار. وتُرفض المعاملة التي تتطلب برهانًا إذا كان شاهدها مفقودًا أو معيب البنية أو مرتبطًا بالتزام غير مسجل.

جذور مرتبطة بالبيان

تنشر الحوكمة معرّفات التزام ثابتة ومعلمات تحقق معتمدة.

مسار قبول واحد

تقيّم بيئة التشغيل وأدوات التدقيق ارتباط البرهان المعياري نفسه.

رفض عند الشك

تُرفض المعاملة التي تتطلب برهانًا قبل إدراجها في الطابور إذا غابت الأدلة المقبولة.

الخصوصية

قبول براهين الخصوصية

يثبت المسار الخاص التزامه مقابل جذر معتمد، دون كشف النشاط السيادي الكامن وراءه.

قبول براهين الخصوصيةيثبت المسار الخاص التزامه مقابل جذر معتمد، دون كشف النشاط السيادي الكامن وراءه.

تبقى الحالة المحمية محليًا؛ ويعتمد القبول على أدلة معتمدة.

تتبّع المعاملة⁨4⁩ خطوات
  1. وجّه المعاملة إلى مسارها وحمّل سجل الالتزامات الحالي.
  2. طابق البرهان المرفق مع معرّف التزام مسجّل.
  3. تحقق من الشاهد وقيّم متطلب امتثال المسار.
  4. اقبل الأدلة الصحيحة وأظهر رفض المسار الذي يفتقر إلى البرهان.
19

توافر البيانات والبراهين

أبقِ البيانات التي يستند إليها التاريخ المعتمد متاحة للاسترداد.

التحقق من نتيجة جزء من الثقة. وتحتاج الشبكة أيضًا إلى استرداد البيانات وراء التزاماتها بعد انتهاء المعاملة.

داخل البروتوكول

تُرمَّز البيانات المعتمدة إلى شظايا قابلة للاسترداد. يفحص أخذ عينات التوافر إمكانية استرجاع الأجزاء، وتستخدم إعادة البناء الحد المطلوب من الشظايا لاسترداد البيانات الأصلية.

تاريخ قابل للاسترداد

ينبغي أن تظل البيانات المعتمدة قابلة لإعادة البناء بعد وقت طويل من كتابتها.

براهين مدعومة بالاسترجاع

تُبقي فحوص التوافر الثقة مرتبطة بالبيانات الأساسية.

سجلات طويلة العمر

صُممت المنظومة لأنظمة يجب أن تبقى سجلاتها مفيدة لسنوات.

أطلس البروتوكول

توافر البيانات

تُؤخذ عينات من البيانات المجزأة، وتتحمل فقدًا جزئيًا، ويُعاد بناؤها من الأجزاء المتبقية.

أخذ عينات توافر البيانات واستردادهايصف البيان مجموعة الأجزاء الملتزَم بها. تختبر فحوص الإتاحة العشوائية أجزاء مختارة، وإذا بقي عدد كافٍ منها، تظل الشبكة قادرة على استرداد كامل البيانات وراء الالتزام.اختبر عينات من الأجزاء. استردّ الكل.أجزاء معتمدةفحوص عشوائيةبيانات مستردّةيتطلب الاسترداد عددًا كافيًا من الأجزاء المتاحة.

تحافظ مسارات أخذ العينات والاسترداد على سلامة ذاكرة الشبكة.

تتبّع المعاملة⁨3⁩ خطوات
  1. تُرمَّز البيانات المعتمدة إلى شظايا قابلة للاسترداد.
  2. تأخذ عقد التحقق عينات من الأجزاء لفحص الإتاحة، بما في ذلك عند فقدان بعض الشظايا.
  3. يعيد العدد المتبقي، عند بلوغ العتبة، بناء البيانات الأصلية.