النصوص الأصلية: بارت ستيفنز ، وريان سبرول ، ويوان هان لي ،
《إضفاء الطابع الديمقراطي على الحوسبة الصفرية: قوة شبكة بونساي RISC Zero
المحرر: Zen، PANews
في 19 يوليو ، أعلنت شركة RISC Zero ، وهي شركة بنية تحتية مصممة لمساعدة المطورين على تطوير برامج خالية من الصفر ، عن الانتهاء من جولة تمويل من السلسلة A بقيمة 40 مليون دولار ، بقيادة Blockchain Capital ، بمشاركة من Galaxy Digital و IOSG وغيرها. بصفته المستثمر الرئيسي ، كتب Blockchain Capital مقالًا يحلل تطور الحوسبة الصفرية ، وخصائص ومزايا RISC Zero ، وقام PANews بتجميعها.
تخيل عالمًا لم تعد فيه خصوصية البيانات وأمنها وثقتها مصدر قلق ، وحيث تكون سلاسل إمداد البرامج شفافة ويمكن التحقق منها ، وحيث يمكن لجيل جديد من التطبيقات تسخير قوة حوسبة المعرفة الصفرية لحل بعض التحديات الأكثر إلحاحًا في العصر الرقمي. هذا هو الوعد بحوسبة المعرفة الصفرية (ZK) ولماذا استثمرنا في RISC Zero ، وهي شركة رائدة تهدف إلى إضفاء الطابع الديمقراطي على الوصول إلى ZK من خلال شبكة Bonsai الخاصة بها.
تعد الحوسبة الصفرية بدائية ثورية تسمح للتطبيقات والبروتوكولات باستغلال الخصائص الرئيسية الثلاثة للبساطة والصحة والمعرفة الصفرية. هذا يعني أنه من خلال التحقق من إثبات ZK (صحة) ، يمكن للمدقق أن يعرف بضمان شبه دقيق أن الحساب قد تم إجراؤه بشكل صحيح.
علاوة على ذلك ، فإن الدليل الذي تم التحقق منه سيكون أكثر إيجازًا من الحساب الأصلي ، ويمكن أيضًا استغلال خاصية المعرفة الصفرية للإثبات للتأكد من أن المدقق لا يعرف شيئًا عن الحساب نفسه. هذا المزيج الفريد من الخصائص له آثار بعيدة المدى ويوفر طريقة جديدة للتحقق من المعلومات. تعمل هذه الخصائص معًا على تحقيق التوازن بين الحاجة إلى الخصوصية والأمان والثقة ، مما يوفر إمكانية لعالم رقمي أكثر أمانًا وخصوصية. ولكن لا تزال هناك بعض العقبات قبل أن تصل ZK إلى كامل إمكاناتها.
أولاً ، إجراء العمليات الحسابية في ZK يستغرق وقتًا طويلاً ومكلفًا للغاية. يجب أن تنخفض أوقات الإثبات والتكاليف بشكل كبير لتمكين العمليات الحسابية المعقدة في ZK. والخبر السار هو أن هذه تنخفض بشكل كبير: فقد اتبعت مسارات أوقات إثبات ZK والتكاليف اتجاهات مألوفة في تاريخ التكنولوجيا - سواء كان قانون مور (تكلفة الحوسبة تنخفض إلى النصف كل عامين) ، وقانون فلاتلي (تكلفة تسلسل معدل التراجع البشري البطيء) أو قانون كلايد (تتضاعف كثافة القرص كل 13 شهرًا تقريبًا). إن التطورات المعمارية الحديثة في أنظمة الإثبات (Plonky2 و Hyperplonk و STARK) والتطورات في التشفير الأساسي (Poseidon) تقلل من النفقات العامة المطلوبة لإنشاء براهين ZK لأي حساب. وسيستمر التقدم في هذه المجالات بوتيرة مماثلة (خاصة التدفق الأخير للمواهب إلى ZK) ، مما يثبت أن النفقات العامة ستستفيد أيضًا من التقدم في تسريع الأجهزة (MSM ، NTT) ، وهو أمر لم يتم استغلاله حتى الآن.
هناك عقبة كبيرة أخرى أمام التبني الجماعي لـ ZK وهي الرياضيات المعقدة للغاية والتشفير المتأصل في أنظمة ZK. إن عمق ومستوى الخبرة المطلوبين لدفع ابتكار ZK متاحان فقط لمجموعة صغيرة من مطوري التكنولوجيا ذوي المهارات العالية.
من الناحية المثالية ، سيكون المطورون أحرارًا في كتابة البرامج بلغتهم المفضلة بينما يظلون قادرين على إثبات العمليات الحسابية بدون معرفة دون الحاجة إلى كتابة دوائر الإدخال والتصميم يدويًا بلغة برمجة منخفضة المستوى خاصة بـ ZK. هذا هو المكان الذي تعمل فيه منصة RISC Zero's Bonsai على تغيير قواعد اللعبة للمطورين في جميع أنحاء العالم ، ولماذا استثمرنا في RISC Zero.
من خلال إنشاء جهاز ظاهري بدون معرفة (zkVM) يحاكي بنية مجموعة تعليمات RISC-V (ISA) ، بنى RISC Zero نظامًا قادرًا على إثبات تنفيذ التعليمات البرمجية منخفضة المستوى. نظرًا لأن ISA هي جسر بين التعليمات البرمجية التي يمكن قراءتها بواسطة الإنسان والتعليمات التي يمكن تفسيرها آليًا ، فإن هذا الإنجاز يعني أن شبكة Bonsai يمكنها إثبات أن أي برنامج عالي المستوى يمكن تجميعه وفقًا لهذه البنية. نظرًا لأن معظم لغات البرمجة الحديثة متوافقة مع RISC-V ، فإن RISC Zero's Bonsai قادرة على تنفيذ أي برنامج كمبيوتر تعسفي تقريبًا بدون معرفة.
في المستقبل حيث تصبح الحوسبة الصفرية (ZK) شائعة ، ستصبح العديد من التطبيقات التي كانت مستحيلة سابقًا ممكنة. لا يشمل هذا فقط التطبيقات المستندة إلى Ethereum التي تستخدم شبكة RISC Zero's Bonsai كمعالج مساعد (يؤدي عملًا كثيف الموارد خارج السلسلة قبل التحقق من صحة النتائج على السلسلة) ، بل يمتد أيضًا إلى ما هو أبعد من العملات المشفرة. بونساي ، على سبيل المثال ، يتيح للقراصنة ذوي القبعات البيضاء إثبات وجود ثغرات أمنية وأخطاء دون الكشف عنها بشكل مباشر. ويمكنه أيضًا منع هجمات سلسلة التوريد المستقبلية على البرامج من خلال السماح للمستخدمين بتنزيل إثباتات ZK والتحقق منها للتأكد من أن الكود الذي يقومون بتشغيله يخضع للتدقيق المسبق في Bonsai. الأمر الأكثر إثارة هو أن التبني الواسع النطاق لبونساي يمكن أن يؤدي إلى حالات استخدام جديدة تمامًا لم يتم تخيلها بعد.
بالإضافة إلى الاختراق التكنولوجي المذهل ، هناك فريق قوي وفريد من نوعه وراء RISC Zero. ** لقد عرف المؤسسون الثلاثة ، برايان ريتفورد وجيريمي بروستل وفرانك لوب ، بعضهم البعض منذ أكثر من 20 عامًا. تشمل خبرتهم المشتركة المشاركة في تأسيس العديد من الشركات ، كان آخرها مشروعًا لتحسين الذكاء الاصطناعي وتجميعه تم الحصول عليه في النهاية من قبل شركة إنتل. **
يجلب كل عضو في الثلاثي ثروة من الخبرة إلى RISC Zero: عمل Brian على أنظمة التسعير والقياس في Google Cloud Platform ؛ جيريمي هو متحمس للرياضيات مدى الحياة يعمل على تسريع GPU للتسلسل الجيني ، ولديه خلفية في التشفير ، وأداء عالٍ الحوسبة (HPC) والأمان ؛ يتمتع فرانك بخلفية قوية في المجمعات وقد بنى العديد من قواعد التعليمات البرمجية. بفضل التاريخ المشترك ومجموعات المهارات المتنوعة ، يتمتع فريق RISC Zero بموقع فريد لتقديم الحوسبة الصفرية إلى الجماهير ، مما قد يؤدي إلى إعادة تشكيل المشهد الرقمي في هذه العملية.
بينما نتطلع إلى مستقبل تتوفر فيه الحوسبة الصفرية على نطاق واسع ، فإن إمكانيات الابتكار لا حصر لها. قادرة على دعم مجموعة واسعة من لغات البرمجة ، ستعمل شبكة RISC Zero's Bonsai على إضفاء الطابع الديمقراطي على حوسبة ZK وتمكين المطورين من إنشاء تطبيقات آمنة وخاصة وغير موثوق بها في مجالات مختلفة. من تعزيز تدابير الأمن السيبراني إلى تعزيز الثقة في سلاسل توريد البرمجيات إلى زيادة هائلة في قوة الحوسبة المتاحة للتطبيقات على السلسلة ، فإن التأثير المحتمل للحوسبة الصفرية يكون هائلاً. إن الانخفاض السريع في أوقات وتكاليف إثبات ZK ، وفريق RISC Zero المخلص ، وظهور Bonsai كمنصة حوسبة متعددة الاستخدامات يبشر بعصر جديد من الحوسبة - مع الخصوصية والأمان والثقة المضمنة في نسيج عالمنا الرقمي.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
Blockchain Capital: لماذا قادنا جولة تمويل شركة ZK للبنية التحتية RISC Zero بقيمة 40 مليون دولار؟
النصوص الأصلية: بارت ستيفنز ، وريان سبرول ، ويوان هان لي ،
《إضفاء الطابع الديمقراطي على الحوسبة الصفرية: قوة شبكة بونساي RISC Zero
المحرر: Zen، PANews
في 19 يوليو ، أعلنت شركة RISC Zero ، وهي شركة بنية تحتية مصممة لمساعدة المطورين على تطوير برامج خالية من الصفر ، عن الانتهاء من جولة تمويل من السلسلة A بقيمة 40 مليون دولار ، بقيادة Blockchain Capital ، بمشاركة من Galaxy Digital و IOSG وغيرها. بصفته المستثمر الرئيسي ، كتب Blockchain Capital مقالًا يحلل تطور الحوسبة الصفرية ، وخصائص ومزايا RISC Zero ، وقام PANews بتجميعها.
تخيل عالمًا لم تعد فيه خصوصية البيانات وأمنها وثقتها مصدر قلق ، وحيث تكون سلاسل إمداد البرامج شفافة ويمكن التحقق منها ، وحيث يمكن لجيل جديد من التطبيقات تسخير قوة حوسبة المعرفة الصفرية لحل بعض التحديات الأكثر إلحاحًا في العصر الرقمي. هذا هو الوعد بحوسبة المعرفة الصفرية (ZK) ولماذا استثمرنا في RISC Zero ، وهي شركة رائدة تهدف إلى إضفاء الطابع الديمقراطي على الوصول إلى ZK من خلال شبكة Bonsai الخاصة بها.
تعد الحوسبة الصفرية بدائية ثورية تسمح للتطبيقات والبروتوكولات باستغلال الخصائص الرئيسية الثلاثة للبساطة والصحة والمعرفة الصفرية. هذا يعني أنه من خلال التحقق من إثبات ZK (صحة) ، يمكن للمدقق أن يعرف بضمان شبه دقيق أن الحساب قد تم إجراؤه بشكل صحيح.
علاوة على ذلك ، فإن الدليل الذي تم التحقق منه سيكون أكثر إيجازًا من الحساب الأصلي ، ويمكن أيضًا استغلال خاصية المعرفة الصفرية للإثبات للتأكد من أن المدقق لا يعرف شيئًا عن الحساب نفسه. هذا المزيج الفريد من الخصائص له آثار بعيدة المدى ويوفر طريقة جديدة للتحقق من المعلومات. تعمل هذه الخصائص معًا على تحقيق التوازن بين الحاجة إلى الخصوصية والأمان والثقة ، مما يوفر إمكانية لعالم رقمي أكثر أمانًا وخصوصية. ولكن لا تزال هناك بعض العقبات قبل أن تصل ZK إلى كامل إمكاناتها.
أولاً ، إجراء العمليات الحسابية في ZK يستغرق وقتًا طويلاً ومكلفًا للغاية. يجب أن تنخفض أوقات الإثبات والتكاليف بشكل كبير لتمكين العمليات الحسابية المعقدة في ZK. والخبر السار هو أن هذه تنخفض بشكل كبير: فقد اتبعت مسارات أوقات إثبات ZK والتكاليف اتجاهات مألوفة في تاريخ التكنولوجيا - سواء كان قانون مور (تكلفة الحوسبة تنخفض إلى النصف كل عامين) ، وقانون فلاتلي (تكلفة تسلسل معدل التراجع البشري البطيء) أو قانون كلايد (تتضاعف كثافة القرص كل 13 شهرًا تقريبًا). إن التطورات المعمارية الحديثة في أنظمة الإثبات (Plonky2 و Hyperplonk و STARK) والتطورات في التشفير الأساسي (Poseidon) تقلل من النفقات العامة المطلوبة لإنشاء براهين ZK لأي حساب. وسيستمر التقدم في هذه المجالات بوتيرة مماثلة (خاصة التدفق الأخير للمواهب إلى ZK) ، مما يثبت أن النفقات العامة ستستفيد أيضًا من التقدم في تسريع الأجهزة (MSM ، NTT) ، وهو أمر لم يتم استغلاله حتى الآن.
هناك عقبة كبيرة أخرى أمام التبني الجماعي لـ ZK وهي الرياضيات المعقدة للغاية والتشفير المتأصل في أنظمة ZK. إن عمق ومستوى الخبرة المطلوبين لدفع ابتكار ZK متاحان فقط لمجموعة صغيرة من مطوري التكنولوجيا ذوي المهارات العالية.
من الناحية المثالية ، سيكون المطورون أحرارًا في كتابة البرامج بلغتهم المفضلة بينما يظلون قادرين على إثبات العمليات الحسابية بدون معرفة دون الحاجة إلى كتابة دوائر الإدخال والتصميم يدويًا بلغة برمجة منخفضة المستوى خاصة بـ ZK. هذا هو المكان الذي تعمل فيه منصة RISC Zero's Bonsai على تغيير قواعد اللعبة للمطورين في جميع أنحاء العالم ، ولماذا استثمرنا في RISC Zero.
من خلال إنشاء جهاز ظاهري بدون معرفة (zkVM) يحاكي بنية مجموعة تعليمات RISC-V (ISA) ، بنى RISC Zero نظامًا قادرًا على إثبات تنفيذ التعليمات البرمجية منخفضة المستوى. نظرًا لأن ISA هي جسر بين التعليمات البرمجية التي يمكن قراءتها بواسطة الإنسان والتعليمات التي يمكن تفسيرها آليًا ، فإن هذا الإنجاز يعني أن شبكة Bonsai يمكنها إثبات أن أي برنامج عالي المستوى يمكن تجميعه وفقًا لهذه البنية. نظرًا لأن معظم لغات البرمجة الحديثة متوافقة مع RISC-V ، فإن RISC Zero's Bonsai قادرة على تنفيذ أي برنامج كمبيوتر تعسفي تقريبًا بدون معرفة.
في المستقبل حيث تصبح الحوسبة الصفرية (ZK) شائعة ، ستصبح العديد من التطبيقات التي كانت مستحيلة سابقًا ممكنة. لا يشمل هذا فقط التطبيقات المستندة إلى Ethereum التي تستخدم شبكة RISC Zero's Bonsai كمعالج مساعد (يؤدي عملًا كثيف الموارد خارج السلسلة قبل التحقق من صحة النتائج على السلسلة) ، بل يمتد أيضًا إلى ما هو أبعد من العملات المشفرة. بونساي ، على سبيل المثال ، يتيح للقراصنة ذوي القبعات البيضاء إثبات وجود ثغرات أمنية وأخطاء دون الكشف عنها بشكل مباشر. ويمكنه أيضًا منع هجمات سلسلة التوريد المستقبلية على البرامج من خلال السماح للمستخدمين بتنزيل إثباتات ZK والتحقق منها للتأكد من أن الكود الذي يقومون بتشغيله يخضع للتدقيق المسبق في Bonsai. الأمر الأكثر إثارة هو أن التبني الواسع النطاق لبونساي يمكن أن يؤدي إلى حالات استخدام جديدة تمامًا لم يتم تخيلها بعد.
بالإضافة إلى الاختراق التكنولوجي المذهل ، هناك فريق قوي وفريد من نوعه وراء RISC Zero. ** لقد عرف المؤسسون الثلاثة ، برايان ريتفورد وجيريمي بروستل وفرانك لوب ، بعضهم البعض منذ أكثر من 20 عامًا. تشمل خبرتهم المشتركة المشاركة في تأسيس العديد من الشركات ، كان آخرها مشروعًا لتحسين الذكاء الاصطناعي وتجميعه تم الحصول عليه في النهاية من قبل شركة إنتل. **
يجلب كل عضو في الثلاثي ثروة من الخبرة إلى RISC Zero: عمل Brian على أنظمة التسعير والقياس في Google Cloud Platform ؛ جيريمي هو متحمس للرياضيات مدى الحياة يعمل على تسريع GPU للتسلسل الجيني ، ولديه خلفية في التشفير ، وأداء عالٍ الحوسبة (HPC) والأمان ؛ يتمتع فرانك بخلفية قوية في المجمعات وقد بنى العديد من قواعد التعليمات البرمجية. بفضل التاريخ المشترك ومجموعات المهارات المتنوعة ، يتمتع فريق RISC Zero بموقع فريد لتقديم الحوسبة الصفرية إلى الجماهير ، مما قد يؤدي إلى إعادة تشكيل المشهد الرقمي في هذه العملية.
بينما نتطلع إلى مستقبل تتوفر فيه الحوسبة الصفرية على نطاق واسع ، فإن إمكانيات الابتكار لا حصر لها. قادرة على دعم مجموعة واسعة من لغات البرمجة ، ستعمل شبكة RISC Zero's Bonsai على إضفاء الطابع الديمقراطي على حوسبة ZK وتمكين المطورين من إنشاء تطبيقات آمنة وخاصة وغير موثوق بها في مجالات مختلفة. من تعزيز تدابير الأمن السيبراني إلى تعزيز الثقة في سلاسل توريد البرمجيات إلى زيادة هائلة في قوة الحوسبة المتاحة للتطبيقات على السلسلة ، فإن التأثير المحتمل للحوسبة الصفرية يكون هائلاً. إن الانخفاض السريع في أوقات وتكاليف إثبات ZK ، وفريق RISC Zero المخلص ، وظهور Bonsai كمنصة حوسبة متعددة الاستخدامات يبشر بعصر جديد من الحوسبة - مع الخصوصية والأمان والثقة المضمنة في نسيج عالمنا الرقمي.