@Dusk كنت أتصفح تحديثات هندسة Dusk، أحاول فهم كيف تُنجز شركة Succinct Attestation فعليًا كتلة ما، وليس مجرد عبارة التسويق عن "النهائية الاحتمالية السريعة". الجزء الذي أوقفني: يحصل كل عضو في اللجنة على واحد أو أكثر من الأصوات، تسمى "رصيدًا"، ويتم تحديد إجمالي حوض الأصوات في جولةٍ ما سلفًا. أصوات اللجنة تُسمى Credits، وعدد الأصوات في اللجنة يُسمى Committee Credits. حسنًا، هذا مجرد تصويت مُرجّح حسب الحصة. ليس الأمر مفاجئًا.
ما لم أكن قد فكرت فيه هو ماذا يحدث لكل تلك الأصوات الفردية بعد ذلك. لا تبقى فقط كتوَقِيعات منفصلة. جامع الكتل يجمعها ويُنتج شهادة تُعدّ إقرارًا صحيحًا بكتلة، ويتم تضمينها في الكتلة الفرعية التالية. لذلك فإن "برهان أن الكتلة شرعية" ليس مجرد كلمة من مُدقق واحد؛ بل هو كل رصيد مُضمّن مضغوطًا في كائن واحد مُجمّع بتجميع BLS، وهذا الكائن هو ما يشير إليه الإجماع في المستقبل فعليًا.
وهنا يختفي إشكال التفرد بهدوء. التجميع يجبر كل رصيد على الإشارة إلى مرشح واحد في كل جولة. لا يمكنك أن تُحسب لك الأصوات مرتين، أو أن تُحسب لصالح كتلتين متنافستين، لأن الشهادة لا تتسع إلا لمجموعة واحدة معيارية. ليست ميزة تجربة مستخدم. إنها الشيء الذي يجعل معنى "النهائية" له أي قيمة أصلًا في $DUSK #dusk من الإجماع. ما زلت لست متأكدًا كيف يتصرف تحت مهلات التكرار الثقيلة، رغم ذلك.
ما لم أكن قد فكرت فيه هو ماذا يحدث لكل تلك الأصوات الفردية بعد ذلك. لا تبقى فقط كتوَقِيعات منفصلة. جامع الكتل يجمعها ويُنتج شهادة تُعدّ إقرارًا صحيحًا بكتلة، ويتم تضمينها في الكتلة الفرعية التالية. لذلك فإن "برهان أن الكتلة شرعية" ليس مجرد كلمة من مُدقق واحد؛ بل هو كل رصيد مُضمّن مضغوطًا في كائن واحد مُجمّع بتجميع BLS، وهذا الكائن هو ما يشير إليه الإجماع في المستقبل فعليًا.
وهنا يختفي إشكال التفرد بهدوء. التجميع يجبر كل رصيد على الإشارة إلى مرشح واحد في كل جولة. لا يمكنك أن تُحسب لك الأصوات مرتين، أو أن تُحسب لصالح كتلتين متنافستين، لأن الشهادة لا تتسع إلا لمجموعة واحدة معيارية. ليست ميزة تجربة مستخدم. إنها الشيء الذي يجعل معنى "النهائية" له أي قيمة أصلًا في $DUSK #dusk من الإجماع. ما زلت لست متأكدًا كيف يتصرف تحت مهلات التكرار الثقيلة، رغم ذلك.
