كيف تساعد ZeroSync في جلب تقنية ZKPs إلى شبكة Bitcoin؟
النقاط الرئيسية:
- قامت ZeroSync بالفعل بإنشاء نموذج أولي وظيفي يمكّن المستخدمين من مصادقة الحالة الحالية وسجل المعاملات الخاص بـ Bitcoin blockchain دون الحاجة إلى تنزيل السلسلة الكاملة أو الاعتماد على طرف ثالث.
- في حين أن النموذج الأولي يمكنه التحقق من صحة قواعد إجماع البيتكوين، إلا أنه لا يمكنه التحقق من صحة توقيعات المعاملات.
- يأخذ ZeroSync اقتراح ساتوشي خطوة أخرى إلى الأمام من خلال تأكيد المعاملات باستخدام أدلة التشفير بدلاً من مجرد الثقة في العقد الصادقة.
تمت مناقشة إثباتات المعرفة الصفرية (ZKPs) في مجتمع العملات المشفرة لأكثر من عقد من الزمان. حتى ساتوشي ناكاموتو كان على علم بها باعتبارها بدائية يمكن استغلالها، وتم استكشاف مفهوم دمجها في بيتكوين في وقت مبكر من عام 2010 بينما كانت لا تزال تعمل.
ماذا سيحدث إذا طبقت البيتكوين إثباتات المعرفة الصفرية؟ كيف ستتواصل شبكة Bitcoin مع المستخدمين إذا كان من الممكن التحقق من حالة السلسلة بسرعة دون تنزيل بيانات الكتلة أو الاعتماد على أطراف ثالثة؟
تقود مبادرة ZeroSync، وهي مبادرة تم الإعلان عنها حديثًا، عملية إنشاء نظام إثبات مفهوم البيتكوين.
أعلنت جمعية ZeroSync السويسرية غير الربحية وشركة البنية التحتية للبيتكوين Blockstream عن خطط لبث إثباتات المعرفة الصفرية للبيتكوين - وهو نوع من التشفير الذي ظهر كواحد من أهم اتجاهات تكنولوجيا blockchain لهذا العام - من القمر الصناعي الخاص بـ Blockstream، مما يساعد في تطوير مستقبل البيتكوين بخصائص مثل الخصوصية وقابلية التشغيل البيني وقابلية التوسع.
ما هو زيرو سينك؟
قام ثلاثة علماء كمبيوتر ألمان بتأسيس جمعية ZeroSync في سويسرا للمساعدة في توسيع نطاق Bitcoin من خلال استخدام أدلة المعرفة الصفرية (zk-proofs)، وهو نهج التشفير الذي ارتفع لصالح سلسلة منافسة Ethereum.
يُستخدم التشفير في إثباتات المعرفة الصفرية لإظهار صحة المعلومات دون الكشف عن المعلومات نفسها. إن استخدام دليل zk للتحقق من blockchain Bitcoin يسمح للعقد بالمزامنة على الفور بدلاً من الحاجة إلى ساعات (أو حتى أيام) لتنزيل 500 جيجابايت من البيانات الحالية للسلسلة.
قامت ZeroSync ببناء نموذج أولي وظيفي في فبراير من هذا العام يمكّن المستخدمين من مصادقة الحالة (من يملك ماذا الآن) وسجل المعاملات الخاصة بـ Bitcoin blockchain دون تنزيل السلسلة الكاملة أو الاعتماد على طرف ثالث.
النموذج الأولي قادر على التحقق من صحة قواعد إجماع البيتكوين ولكن ليس على توقيعات المعاملات. كما أنه أمر غريب بعض الشيء ويجب ضبطه من أجل السرعة والأمان، لذا فهو ليس جاهزًا تمامًا لوقت الذروة بعد، ولكن الشيء الرئيسي هو أنه يعمل.
تقوم Geometry وStarkWare، وهما شركتان ملتزمتان بشكل وثيق بتقنيات خصوصية المعرفة الصفرية، بتمويل تطوير ZeroSync. توم والتون بوكوك، الرئيس التنفيذي السابق لشبكة Aztec، هو رئيس قسم الهندسة. تم تمويل التطوير المبكر لـ ZeroSync من خلال منحة بحثية. يوفر OnlyDust، وهو جهد StarkWare مفتوح المصدر، أيضًا أموال تطوير للتطوير.
في blockchain Bitcoin، كان العملاء الخفيفون، المعروفون أيضًا باسم عقد التحقق من الدفع البسيط (SPV)، موجودين دائمًا. في الواقع، وصف ساتوشي ناكاموتو هذه الفكرة في ورقته البيضاء الأولية. تعتبر هذه العناصر ضرورية للأجهزة الصغيرة التي لا يمكنها تنزيل سلسلة الكتل الكاملة، مثل الهواتف المحمولة.
أنظمة إثبات ZeroSync
تعد أدلة المعرفة الصفرية الموجزة بالدخول في حقبة جديدة من قابلية التوسع والخصوصية في blockchain. على الرغم من أنه يتم استثمار جهد تقني كبير في مجتمع إيثريوم لنشر هذه التكنولوجيا، إلا أنه لم يتم إجراء مثل هذا الاستثمار حتى الآن لشبكة بيتكوين. ونتيجة لذلك، تم تأسيس ZeroSync من أجل تقديم آليات الإثبات هذه إلى Bitcoin لأول مرة.
إن إثبات مئات التيرابايت من تاريخ blockchain أمر مكلف حسابيًا، ومع ذلك فإن التخفيض الذي قمنا به يؤدي إلى دليل مضغوط للغاية. بعد إنشاء الدليل، قد يستخدمه أي عدد من العقد في الشبكة للمزامنة بسرعة مع الشبكة. البراهين موجزة، بغض النظر عن طول السلسلة. يجوز لكل مُثبِّت توسيع دليل السلسلة السابق تدريجيًا عند تعدين الكتلة الجديدة.
تلتزم ZeroSync بتنفيذ براهين ZK موجزة على blockchain Bitcoin، وإنشاء براهين ZK لشبكة Bitcoin باستخدام دليل صحة إثبات المعرفة الشفاف القابل للتطوير بدون معرفة (zk-STARK) الخاص بشركة StarkWare، والقدرة على التحقق الفوري من أحدث حالة لـ blockchain دون تنزيل بيانات الحظر أو الاعتماد على أطراف ثالثة. يستخدم ZeroSync أيضًا لغة StarkWare في القاهرة لبناء إثباتات Bitcoin.
أنظمة الإثبات تكمل ثبات البيتكوين بشكل فعال. إنها تتيح ضغط السلسلة واستكمالها بهياكل بيانات جديدة، مثل التزام مجموعة UTXO، دون الحاجة إلى أي تعديلات متفق عليها. يمكن للمستخدمين اختيار ما إذا كانوا يريدون استخدام الإثبات أو التمهيد التقليدي. علاوة على الطبقة الأساسية الصارمة للبيتكوين، توفر أنظمة ZKP مرونة كبيرة وتقدم مجموعة متنوعة من التطبيقات الفريدة للبحث.
كيف يتم تطبيق ZeroSync على البيتكوين؟
يوفر ZeroSync براهين متسلسلة على ثلاث مراحل: براهين سلسلة الرؤوس، وبراهين السلسلة الصحيحة نظريًا، وبراهين السلسلة الكاملة، وقد أنهى ZeroSync النماذج الأولية في أول مرحلتين منها.
الدليل الأول الذي يعمل عليه فريق ZeroSync، والذي من المفترض أن يكون متاحًا الآن، يتناول صحة رأس الكتلة. وهو يتحقق من أن كل كتلة في السلسلة تلبي معيار الصعوبة في الوقت الحالي بشكل صحيح، وتراقب كل تعديل للصعوبة للتأكد من أن كل كتلة تتوافق مع الهدف الصحيح. سيؤثر هذا أيضًا بشكل كبير على بنية محفظة التحقق من الدفع البسيط (SPV).
يتحقق إثبات السلسلة الرئيسية فقط من رؤوس الكتل وإثبات العمل وتغييرات الصعوبة، معززًا بشجرة Merkle على جميع رؤوس الكتل لتقديم أدلة موجزة على التضمين لجميع الكتل والمعاملات. ويتميز بوزنه الصغير والتكلفة الحسابية المنخفضة.
يركز الدليل الثاني على الصلاحية الفعلية لمحتويات الكتلة، ومع ذلك، مثل وظيفة Assume Valid الخاصة بـ Bitcoin Core، فإنها لا تتحقق من صحة بيانات الشاهد.
وسوف تقوم بفحص والتحقق من حدود حجم المعاملات، وقواعد تضخم العملة، وبيانات الشهود الأخرى، ولكنها لن تقدم ضمانًا بصحة التوقيعات وأقفال التجزئة وبيانات الشهود الأخرى. على العكس من ذلك، سيستخدم هذا الدليل Utreexo لتضمين UTXO المنشأ عند كل ارتفاع كتلة في إجراء ZKP الشامل للسلسلة.
أخيرًا، سيستخدم الدليل النهائي كلاً من ZKP لرؤوس الكتل وZKP لافتراض صالح لإثبات صحة كل جزء من بيانات الشاهد في السلسلة التاريخية. من الناحية الفنية، ستكون العقدة التي تستخدم نظام إثبات ZeroSync النهائي قادرة على التمهيد باستخدام دليل واحد ومجموعة UTXO مع نموذج تحقق أفضل من Bitcoin Core افتراضيًا.
يتم التحقق من جميع قواعد الإجماع الخاصة بالبيتكوين، بما في ذلك معلومات التوقيع، عبر Full Chain Proof. ونتيجة لذلك، فإن الأدلة ستكون باهظة الثمن إلى حد ما.
علاوة على ذلك، ستصدر ZeroSync مجموعة أدوات للمطورين لمساعدة المطورين في دمج أدلة المعرفة الصفرية في أعمالهم أو خدماتهم. تتضمن سيناريوهات التطبيق المحددة، على سبيل المثال لا الحصر، بورصات Bitcoin التي تكشف عن القدرة على الدفع لعملائها دون الكشف عن رصيد محدد أو معلومات سجل المعاملات؛ يمكن للبراهين تحويل أو تصفية بيانات blockchain وإنشاء فهارس للاستعلامات الفعالة؛ يمكن توسيع البراهين وتخصيصها بسهولة أكبر نظرًا لقابليتها للتركيب؛ عدم وجود ثقة أو أقل وقابلية التشغيل البيني عبر السلاسل والمزيد؛ بيع بيانات إثباتية من خلال المدفوعات الطارئة للمعرفة الصفرية.
باختصار، لن تسمح ZeroSync بالتحقق السريع من حالة السلسلة فحسب، بل ستؤدي أيضًا، بشكل مثالي، إلى تغيير نموذجي في قابلية التوسع في Bitcoin وقابلية التشغيل البيني والخصوصية. وبطبيعة الحال، لا تزال هناك عقبات فيما يتعلق بتحسين الأمن وأداء الإثبات من أجل تطوير إثبات بيتكوين على مستوى الإنتاج.
وفي الختام
تعمل تقنية ZeroSync على تسريع عملية دمج تقنيات ZKP في الطبقة الأساسية للبيتكوين. في Bitcoin، يوفر أداة التحقق من الإثبات عددًا من الميزات الجديدة المهمة مثل مجموعات الصلاحية، والربط ثنائي الاتجاه غير الموثوق به، والخصوصية الكاملة للمعاملات. تتمتع ZKPs بالقدرة على أن تكون أداة قوية للغاية للبيتكوين حتى لو لم يتم تضمينها في طبقة الإجماع أو استخدامها لقفل وإنفاق البيتكوين.
تنصل: يتم توفير المعلومات الواردة في هذا الموقع كتعليق عام على السوق ولا تشكل نصيحة استثمارية. نحن نشجعك على إجراء البحث الخاص بك قبل الاستثمار.
انضم إلينا لتتبع الأخبار: https://linktr.ee/coincu
هارولد
كوينكو الأخبار
المعلن / كاتب التعليق
معرفة
كيف تساعد ZeroSync في جلب تقنية ZKPs إلى شبكة Bitcoin؟
النقاط الرئيسية:
- قامت ZeroSync بالفعل بإنشاء نموذج أولي وظيفي يمكّن المستخدمين من مصادقة الحالة الحالية وسجل المعاملات الخاص بـ Bitcoin blockchain دون الحاجة إلى تنزيل السلسلة الكاملة أو الاعتماد على طرف ثالث.
- في حين أن النموذج الأولي يمكنه التحقق من صحة قواعد إجماع البيتكوين، إلا أنه لا يمكنه التحقق من صحة توقيعات المعاملات.
- يأخذ ZeroSync اقتراح ساتوشي خطوة أخرى إلى الأمام من خلال تأكيد المعاملات باستخدام أدلة التشفير بدلاً من مجرد الثقة في العقد الصادقة.
تمت مناقشة إثباتات المعرفة الصفرية (ZKPs) في مجتمع العملات المشفرة لأكثر من عقد من الزمان. حتى ساتوشي ناكاموتو كان على علم بها باعتبارها بدائية يمكن استغلالها، وتم استكشاف مفهوم دمجها في بيتكوين في وقت مبكر من عام 2010 بينما كانت لا تزال تعمل.
ماذا سيحدث إذا طبقت البيتكوين إثباتات المعرفة الصفرية؟ كيف ستتواصل شبكة Bitcoin مع المستخدمين إذا كان من الممكن التحقق من حالة السلسلة بسرعة دون تنزيل بيانات الكتلة أو الاعتماد على أطراف ثالثة؟
تقود مبادرة ZeroSync، وهي مبادرة تم الإعلان عنها حديثًا، عملية إنشاء نظام إثبات مفهوم البيتكوين.
أعلنت جمعية ZeroSync السويسرية غير الربحية وشركة البنية التحتية للبيتكوين Blockstream عن خطط لبث إثباتات المعرفة الصفرية للبيتكوين - وهو نوع من التشفير الذي ظهر كواحد من أهم اتجاهات تكنولوجيا blockchain لهذا العام - من القمر الصناعي الخاص بـ Blockstream، مما يساعد في تطوير مستقبل البيتكوين بخصائص مثل الخصوصية وقابلية التشغيل البيني وقابلية التوسع.
ما هو زيرو سينك؟
قام ثلاثة علماء كمبيوتر ألمان بتأسيس جمعية ZeroSync في سويسرا للمساعدة في توسيع نطاق Bitcoin من خلال استخدام أدلة المعرفة الصفرية (zk-proofs)، وهو نهج التشفير الذي ارتفع لصالح سلسلة منافسة Ethereum.
يُستخدم التشفير في إثباتات المعرفة الصفرية لإظهار صحة المعلومات دون الكشف عن المعلومات نفسها. إن استخدام دليل zk للتحقق من blockchain Bitcoin يسمح للعقد بالمزامنة على الفور بدلاً من الحاجة إلى ساعات (أو حتى أيام) لتنزيل 500 جيجابايت من البيانات الحالية للسلسلة.
قامت ZeroSync ببناء نموذج أولي وظيفي في فبراير من هذا العام يمكّن المستخدمين من مصادقة الحالة (من يملك ماذا الآن) وسجل المعاملات الخاصة بـ Bitcoin blockchain دون تنزيل السلسلة الكاملة أو الاعتماد على طرف ثالث.
النموذج الأولي قادر على التحقق من صحة قواعد إجماع البيتكوين ولكن ليس على توقيعات المعاملات. كما أنه أمر غريب بعض الشيء ويجب ضبطه من أجل السرعة والأمان، لذا فهو ليس جاهزًا تمامًا لوقت الذروة بعد، ولكن الشيء الرئيسي هو أنه يعمل.
تقوم Geometry وStarkWare، وهما شركتان ملتزمتان بشكل وثيق بتقنيات خصوصية المعرفة الصفرية، بتمويل تطوير ZeroSync. توم والتون بوكوك، الرئيس التنفيذي السابق لشبكة Aztec، هو رئيس قسم الهندسة. تم تمويل التطوير المبكر لـ ZeroSync من خلال منحة بحثية. يوفر OnlyDust، وهو جهد StarkWare مفتوح المصدر، أيضًا أموال تطوير للتطوير.
في blockchain Bitcoin، كان العملاء الخفيفون، المعروفون أيضًا باسم عقد التحقق من الدفع البسيط (SPV)، موجودين دائمًا. في الواقع، وصف ساتوشي ناكاموتو هذه الفكرة في ورقته البيضاء الأولية. تعتبر هذه العناصر ضرورية للأجهزة الصغيرة التي لا يمكنها تنزيل سلسلة الكتل الكاملة، مثل الهواتف المحمولة.
أنظمة إثبات ZeroSync
تعد أدلة المعرفة الصفرية الموجزة بالدخول في حقبة جديدة من قابلية التوسع والخصوصية في blockchain. على الرغم من أنه يتم استثمار جهد تقني كبير في مجتمع إيثريوم لنشر هذه التكنولوجيا، إلا أنه لم يتم إجراء مثل هذا الاستثمار حتى الآن لشبكة بيتكوين. ونتيجة لذلك، تم تأسيس ZeroSync من أجل تقديم آليات الإثبات هذه إلى Bitcoin لأول مرة.
إن إثبات مئات التيرابايت من تاريخ blockchain أمر مكلف حسابيًا، ومع ذلك فإن التخفيض الذي قمنا به يؤدي إلى دليل مضغوط للغاية. بعد إنشاء الدليل، قد يستخدمه أي عدد من العقد في الشبكة للمزامنة بسرعة مع الشبكة. البراهين موجزة، بغض النظر عن طول السلسلة. يجوز لكل مُثبِّت توسيع دليل السلسلة السابق تدريجيًا عند تعدين الكتلة الجديدة.
تلتزم ZeroSync بتنفيذ براهين ZK موجزة على blockchain Bitcoin، وإنشاء براهين ZK لشبكة Bitcoin باستخدام دليل صحة إثبات المعرفة الشفاف القابل للتطوير بدون معرفة (zk-STARK) الخاص بشركة StarkWare، والقدرة على التحقق الفوري من أحدث حالة لـ blockchain دون تنزيل بيانات الحظر أو الاعتماد على أطراف ثالثة. يستخدم ZeroSync أيضًا لغة StarkWare في القاهرة لبناء إثباتات Bitcoin.
أنظمة الإثبات تكمل ثبات البيتكوين بشكل فعال. إنها تتيح ضغط السلسلة واستكمالها بهياكل بيانات جديدة، مثل التزام مجموعة UTXO، دون الحاجة إلى أي تعديلات متفق عليها. يمكن للمستخدمين اختيار ما إذا كانوا يريدون استخدام الإثبات أو التمهيد التقليدي. علاوة على الطبقة الأساسية الصارمة للبيتكوين، توفر أنظمة ZKP مرونة كبيرة وتقدم مجموعة متنوعة من التطبيقات الفريدة للبحث.
كيف يتم تطبيق ZeroSync على البيتكوين؟
يوفر ZeroSync براهين متسلسلة على ثلاث مراحل: براهين سلسلة الرؤوس، وبراهين السلسلة الصحيحة نظريًا، وبراهين السلسلة الكاملة، وقد أنهى ZeroSync النماذج الأولية في أول مرحلتين منها.
الدليل الأول الذي يعمل عليه فريق ZeroSync، والذي من المفترض أن يكون متاحًا الآن، يتناول صحة رأس الكتلة. وهو يتحقق من أن كل كتلة في السلسلة تلبي معيار الصعوبة في الوقت الحالي بشكل صحيح، وتراقب كل تعديل للصعوبة للتأكد من أن كل كتلة تتوافق مع الهدف الصحيح. سيؤثر هذا أيضًا بشكل كبير على بنية محفظة التحقق من الدفع البسيط (SPV).
يتحقق إثبات السلسلة الرئيسية فقط من رؤوس الكتل وإثبات العمل وتغييرات الصعوبة، معززًا بشجرة Merkle على جميع رؤوس الكتل لتقديم أدلة موجزة على التضمين لجميع الكتل والمعاملات. ويتميز بوزنه الصغير والتكلفة الحسابية المنخفضة.
يركز الدليل الثاني على الصلاحية الفعلية لمحتويات الكتلة، ومع ذلك، مثل وظيفة Assume Valid الخاصة بـ Bitcoin Core، فإنها لا تتحقق من صحة بيانات الشاهد.
وسوف تقوم بفحص والتحقق من حدود حجم المعاملات، وقواعد تضخم العملة، وبيانات الشهود الأخرى، ولكنها لن تقدم ضمانًا بصحة التوقيعات وأقفال التجزئة وبيانات الشهود الأخرى. على العكس من ذلك، سيستخدم هذا الدليل Utreexo لتضمين UTXO المنشأ عند كل ارتفاع كتلة في إجراء ZKP الشامل للسلسلة.
أخيرًا، سيستخدم الدليل النهائي كلاً من ZKP لرؤوس الكتل وZKP لافتراض صالح لإثبات صحة كل جزء من بيانات الشاهد في السلسلة التاريخية. من الناحية الفنية، ستكون العقدة التي تستخدم نظام إثبات ZeroSync النهائي قادرة على التمهيد باستخدام دليل واحد ومجموعة UTXO مع نموذج تحقق أفضل من Bitcoin Core افتراضيًا.
يتم التحقق من جميع قواعد الإجماع الخاصة بالبيتكوين، بما في ذلك معلومات التوقيع، عبر Full Chain Proof. ونتيجة لذلك، فإن الأدلة ستكون باهظة الثمن إلى حد ما.
علاوة على ذلك، ستصدر ZeroSync مجموعة أدوات للمطورين لمساعدة المطورين في دمج أدلة المعرفة الصفرية في أعمالهم أو خدماتهم. تتضمن سيناريوهات التطبيق المحددة، على سبيل المثال لا الحصر، بورصات Bitcoin التي تكشف عن القدرة على الدفع لعملائها دون الكشف عن رصيد محدد أو معلومات سجل المعاملات؛ يمكن للبراهين تحويل أو تصفية بيانات blockchain وإنشاء فهارس للاستعلامات الفعالة؛ يمكن توسيع البراهين وتخصيصها بسهولة أكبر نظرًا لقابليتها للتركيب؛ عدم وجود ثقة أو أقل وقابلية التشغيل البيني عبر السلاسل والمزيد؛ بيع بيانات إثباتية من خلال المدفوعات الطارئة للمعرفة الصفرية.
باختصار، لن تسمح ZeroSync بالتحقق السريع من حالة السلسلة فحسب، بل ستؤدي أيضًا، بشكل مثالي، إلى تغيير نموذجي في قابلية التوسع في Bitcoin وقابلية التشغيل البيني والخصوصية. وبطبيعة الحال، لا تزال هناك عقبات فيما يتعلق بتحسين الأمن وأداء الإثبات من أجل تطوير إثبات بيتكوين على مستوى الإنتاج.
وفي الختام
تعمل تقنية ZeroSync على تسريع عملية دمج تقنيات ZKP في الطبقة الأساسية للبيتكوين. في Bitcoin، يوفر أداة التحقق من الإثبات عددًا من الميزات الجديدة المهمة مثل مجموعات الصلاحية، والربط ثنائي الاتجاه غير الموثوق به، والخصوصية الكاملة للمعاملات. تتمتع ZKPs بالقدرة على أن تكون أداة قوية للغاية للبيتكوين حتى لو لم يتم تضمينها في طبقة الإجماع أو استخدامها لقفل وإنفاق البيتكوين.
تنصل: يتم توفير المعلومات الواردة في هذا الموقع كتعليق عام على السوق ولا تشكل نصيحة استثمارية. نحن نشجعك على إجراء البحث الخاص بك قبل الاستثمار.
انضم إلينا لتتبع الأخبار: https://linktr.ee/coincu
هارولد
كوينكو الأخبار
وظائف أخرى
المنشورات المشابهة
الأخبار
تنخفض رسوم شبكة Ethereum إلى مستويات قياسية مع توقعات متفائلة قريبًا للعملات البديلة
الأخبار
تستهدف مجموعة Lazarus الكورية الشمالية عملية احتيال العملات المشفرة من خلال حسابات LinkedIn المزيفة
الأخبار
تستمر دعوى Ripple SEC القضائية مع رد الشركة على غرامة قدرها 2 مليار دولار
معرفة
أفضل 10 منصات تداول تعمل بالذكاء الاصطناعي لعام 2024: تصنيفات ومراجعات الخبراء
معرفة
ما هو صندوق الاستثمار المتداول Ethereum؟ ما مدى أهمية صندوق ETF الجديد للأثير؟
الأخبار
