LedgerHash

محرّك المحاسبة ذو الفترات المختومة. بيئة تجريبية على staging

قيود يومية مختومة في سلسلة تجزئة، وفترات مقفلة تحت جذر Merkle، وبراهين تضمين يمكنك التحقق منها دون اتصال.

كيف يُختم القيد

  1. قيد اليومية

    يُدرَج قيد من سطرين إلى 500 سطر كمسودة.

  2. حمولة قياسية

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

  3. الختم

    ‏entry_hash = SHA-256(الحمولة القياسية ‖ previous_hash). التجزئة السابقة هي تجزئة القيد السابق؛ والجذر هو SHA-256(“LEDGERHASH GENESIS v1”). تسلسل الترحيل بلا فجوات.

  4. إعادة اشتقاق في قاعدة البيانات

    عند الانتقال من مسودة إلى مرحَّل، تعيد قاعدة البيانات اشتقاق الختم بشكل مستقل وترفض التجزئات المزوّرة أو الفجوات.

كيف تُقفل الفترة

  1. شجرة Merkle على الفترة

    ‏leaf = SHA-256(0x00 ‖ تجزئة القيد)، ‏node = SHA-256(0x01 ‖ يسار ‖ يمين)، والعقدة الفردية تُرقّى. الناتج هو merkle_root للفترة.

  2. تجزئة الفترة مسلسلة

    ‏period_hash = SHA-256(merkle_root ‖ previous_period_hash). الفترات المقفلة تتسلسل بعضها إلى بعض.

  3. ختم واحد بالضبط

    ختم واحد لكل فترة. الأختام غير قابلة للتغيير لكل الأدوار؛ وقاعدة البيانات تفرض ذلك.

قيود، فترات، برهان

يتتبع التوضيح أدناه قيداً واحداً من الترحيل إلى برهان التضمين، ثم يُظهر ما يحدث عند تعديل قيد سابق.

‏LedgerHash: قيود مختومة، فترات مقفلة، برهان تضمين

خلاصات توضيحية
  1. تُختم القيود من 415 إلى 418 بالتسلسل؛ وتجزئة كل قيد هي SHA-256 للحمولة القياسية والتجزئة السابقة.
  2. تُقفل الفترة P-08: تعطي شجرة Merkle على تجزئات القيود الأربعة merkle_root؛ وperiod_hash هي SHA-256 للجذر وتجزئة الفترة P-07.
  3. يسرد برهان التضمين للقيد 418 التجزئات الشقيقة حتى الجذر؛ ويمكن التحقق منه دون اتصال.
  4. يعيد التحقق اشتقاق كل حمولة ولا يجد تعارضاً: الفترة سليمة.
  5. يُعدَّل مبلغ القيد 417: تختلف خلاصته المُعاد حسابها، ويبلّغ التحقق بـ FINGERPRINT_MISMATCH عند تسلسل الترحيل 417، ويتغير جذر Merkle، وتختلف تجزئتا الفترتين P-08 وP-09.

تُختم القيود بالتجزئة السابقة؛ وتحصل الفترة المقفلة على جذر Merkle وتجزئة فترة مسلسلة إلى الفترة السابقة. قيد واحد مُعدَّل يغيّر الجذر وكل تجزئة فترة لاحقة.

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

ما تقدّمه الواجهة البرمجية

  • براهين التضمين

    يعيد GET /v1/verify/entry/{id}/proof مسار تضمين Merkle يمكن التحقق منه دون اتصال مقابل جذر الفترة.

  • التحقق

    يعيد /v1/verify/* اشتقاق كل حمولة ويبلّغ بـ FINGERPRINT_MISMATCH أو CHAIN_LINK_BROKEN عند أول تسلسل ترحيل مُعدَّل، وينعكس ذلك على جذر Merkle لتلك الفترة وكل تجزئة فترة لاحقة. النتيجة الفارغة تعني السلامة.

  • لقطات الإثبات

    لقطات /v1/proofs أغلفة إثبات دائمة مجزّأة المحتوى. وهي ليست براهين تشفيرية بحد ذاتها.

  • الإرساء مدعوم

    يمكن كتابة سجل إرساء لفترة مختومة إلى تخزين بقفل الكائنات في وضع الامتثال (365 يوماً) والتحقق منه عبر GET /v1/verify/anchor/{code}. الإرساء اليوم يتم بتشغيل من المشغّل؛ ولا يوجد عامل آلي.

  • مفاتيح اختبار ومفاتيح حيّة

    مفاتيح البيئة التجريبية تبدأ بـ lh_test_، والمفاتيح الحية بـ lh_live_. البيئات التجريبية للمنصة مقيّدة في قاعدة البيانات ببيئة الاختبار.

ما لا ندّعيه

  • التجزئة ليست تشفيراً؛ القيود كاشفة للعبث لا سرّية.
  • لا يوجد إثبات عام أو من طرف ثالث؛ يعمل التحقق على بيانات مستأجرك.
  • الإرساء مدعوم ويتم بتشغيل من المشغّل؛ الفترات لا تُرسى تلقائياً.
  • لا يُدّعى الحصول على شهادة أو تدقيق أو إحصاءات توفر.

ابدأ ببيئة تجريبية. وانتقل إلى الإنتاج عندما تكون جاهزاً.

سجّل في البوابة، وأنشئ مؤسسة، وافتح بيئة تجريبية. وعندما تحتاج إلى الإنتاج، انضم إلى قائمة الانتظار.

البيئات التجريبية تعمل على بيئة التهيئة (staging) ببيانات اختبار. الوصول إلى الإنتاج يتم عبر قائمة الانتظار.