أعلنت Anaxi Labs بالتعاون مع معهد أمن الشبكات والخصوصية في جامعة كارنيجي ميلون عن إطلاق إطار ترميز تشفيري ثوري يحل مشكلة تُعاني منها الصناعة منذ فترة طويلة - الحاجة إلى التنازل عن بعض الأمور على المستوى الأساسي لبناء تطبيقات المعرفة الصفرية القابلة للتوسع. في الماضي، كان من المستحيل تحقيق القابلية للتوسع والأمان التشفيري واللامركزية في نفس الوقت، وهو ما عرقل تطبيقات الحجم الكبير - حتى الآن.
اختراق لا حاجة للتضحية في علم الكلمات السرية
تمتاز بلوكشين مثل Ethereum بأنها الأساس المستقبلي للبنية التحتية اللامركزية، حيث يعتبر تقنية الإثبات بدون معرفة (ZK) قادرة على تحسين أمان Ethereum وقدرتها القابلة للتوسعة إلى ما يزيد عن 120 معاملة في الثانية. ومع ذلك، فإن الواقع يختلف تمامًا. إن تطوير الدليل دون معرفة يتطلب معرفة معقدة ووقتًا طويلًا، بحيث يتطلب الأمر عشرات من المطورين للاستثمار الآلاف من الساعات. ومن أجل تحسين سرعة إنتاج الإثبات، يتطلب الأمر في كثير من الأحيان تصميم البروتوكول يدويًا، والبرمجة اليدوية والآلاف من الأسطر من الرمز يترتب عليها مخاطر أمنية كبيرة. هذا يجعل إنشاء تطبيقات لامركزية حساسة للأمن أمرًا معقدًا، كما يجعل التدقيق والامتثال أمرًا محبطًا - وهذا يعرقل استخدام هذه التقنية على نطاق واسع في الصناعات التي تخضع للرقابة مثل المالية والرعاية الصحية والذكاء الاصطناعي.
فريق بحث جامعة كارنيجي ميلون يعمل بالتعاون مع Anaxi Labs على التغلب على هذا التحدي
تقدم ورقة بحثية حديثة من جامعة كارنيجي ميلون طريقة ثورية يمكنها تحويل البرامج المتقدمة تلقائيًا وتبسيطها إلى نموذج أبسط (تمثيل منخفض المستوى) المطلوب بواسطة أنظمة الإثبات الأساسية. يتم هذه العملية بشكل تلقائي تمامًا وقابلة للتكرار وقابلة للتدقيق، مما يزيل العمل اليدوي ويعزز أداء النظام بشكل كبير مع ضمان الأمان على مستوى التشفير. ينقسم البرنامج المتقدم إلى وحدات صغيرة غير قابلة للتجزئة من خلال تحليله، ثم يتم إنشاء تمثيل منخفض المستوى لكل وحدة يمكن إدخالها بسهولة إلى مختلف أنظمة الإثبات.
قال Riad Wahby ، مساعد أستاذ في قسم الهندسة الكهربائية والحاسوب في جامعة كارنيجي ميلون: " إن تقسيم الحوسبة إلى كتل محددة بشكل جد خاص بهذه الطريقة التلقائية بدلاً من وحدة المعالجة المركزية هو طريقة جديدة تمامًا ، وهذا هو أول مرة يحاول فيها أحد تلك الأساليب لتجنب تمثيل البرنامج بالكامل. نحن متحمسون جدًا لهذا"
فتح تطبيق جديد للملكية الفكرية المركزة
سيغير هذا البحث والإطار الذي قامت Anaxi Labs ببنائه بناءً على البحث تمامًا نمط صناعة Web3 وغيرها من المجالات. في المجال المالي التقليدي والمنظم ، من الممكن الآن تحقيق تسوية في الوقت الحقيقي (مثل الدفع بالدولار الفوري) مع الحفاظ على قابلية التدقيق وتحسين الأداء. في مجال الرعاية الصحية ، يمكن الآن حل المشكلات الحاسمة التي تواجهها 23andMe باستخدام أدوات التشفير الآمنة وحماية الخصوصية المدعومة بمنتجات التطوير التي يعمل عليها Anaxi Labs ، من خلال ضمان الملكية الشرعية للفرد للحمض النووي الخاص به ودعم الأبحاث القيمة. في مجال الذكاء الاصطناعي المؤسسي والبنية التحتية الفيزيائية الحاسمة ، أصبح من الممكن الآن الحصول على حلول غير مركزية عالية الكفاءة والتأخير تقريبًا صفر (مثل التعديل والاستدلال السريع عبر عدة مصادر للبيانات والموارد الحسابية).
بالنسبة للفترة الأخيرة ، قدمت المنتجات المستندة إلى هذه الدراسة حلاً فعالًا لشركات ويب3 التي تواجه التحديات في المقام الأول فيما يتعلق بالقابلية للتوسع والأمان واللامركزية ، وتوفر نماذج تصميم جديدة لمجموعات ومنتجات التوافق.
قالت كيت شين، شريك مؤسس في Anaxi Labs: "سيكون لهذا البحث، وللمنتج الذي نقوم ببنائه والذي يدمج نتائج هذا البحث، تأثير عميق على العديد من التطبيقات الصناعية الحيوية التي تحتاج إلى حلول قابلة للتدقيق لمواجهة الكثير من مشاكل الأداء، مثل ZK و EVM، وبالتالي دفعنا نحو تحقيق رؤيتنا المتمثلة في القدرة على التسوية في الوقت الحقيقي والتشفير الآمن واللامركزي والموافقة.
Shen أضاف: "نحن نقدر أيضًا قدرة هذا البحث عبر اللغات المختلفة، مما يعني أن مختلف المشاريع يمكن أن تستفيد منه دون تعديل الشفرة. هذا يتيح لنا بناء إطار مفتوح وتعاوني بدلاً من اعتماد الطريقة اليومية المتزايدة بشكل متزايد والتي تعتمد على الكود الثابت. يجعل هذا جميع المطورين قادرين على اختيار وتجميع مزايا أحدث أنظمة البرهان تلقائيًا، مثل البحث في الجداول ومعالجات المساعدة وتسريع الأجهزة، مما يزيد إلى أقصى حد من الأداء المحقق لكل طريقة حساب.
Anaxi Labs و CyLab: شراكة تغير قواعد اللعبة
كان معهد سايلاب في جامعة كارنيجي ميلون دائمًا مركزًا للبحث الرائد في تطوير تقنيات سلسلة الكتل (بما في ذلك التقنيات المعرفية الصفرية). وتضم قائمة أساتذة وباحثين مشهورين في معهد سايلاب برايان بارنو، الذي يعتبر من المساهمين المهمين في تاريخ تطوير التقنيات المعرفية الصفرية، والذي أنتج مجموعة من الأوراق البحثية الرائجة، بالإضافة إلى المساعد الأكاديمي رياد واهبي، الذي أسفرت نتائج بحوثه عن تقنيات تشفير جديدة تدعم رؤية مؤسسة إثيريوم، ومؤخرًا نجد أيضًا تنفيذ Jolt zkVM الرائد من قسم التشفير a16z crypto التابع لشركة Andreessen Horowitz.
نتائج البحث لهذا الإطار المترجم تأتي من Anaxi Labs و CyLab في إطار شراكة تعاونية ثنائية تم إنشاؤها من خلال مشروع CMU للبلوكشين الآمن. تمكن هذا التعاون العلماء في جامعة كارنيجي ميلون من التعاون مع Anaxi Labs للحصول على رؤى وتعلم من بحوثهم في البلوكشين المنفذة تجاريًا في تطبيقات الويب 3 والويب 2.0. يمكنهم بذلك العثور على حلول تجارية للمشاكل الرئيسية في مجال البلوكشين وتعويض الفجوة بين المزايا المعروفة للتكنولوجيا والتطبيقات الكبيرة. يوفر هذا أيضًا منصة لطلاب جامعة كارنيجي ميلون لبدء حياتهم المهنية في مجال الويب 3.
صرح مدير الشراكات الرئيسي في CyLab، مايكل ليسانتي: "إن التعاون بين Anaxi Labs و CyLab يعزز من قدرة الباحثين في جامعة كارنيجي ميلون على العمل في المشاريع التي لها تطبيقات عملية مباشرة، ويضمن أن عملهم له علاقة وتأثيرات محتملة."
لمزيد من المعلومات حول Anaxi Labs، يرجى زيارة الموقع الرسمي.
لمعرفة المزيد حول أحدث أعمال Anaxi Labs و CyLab ، يرجى زيارة هنا.
لمزيد من المعلومات حول التعاون بين CyLab و Anaxi Labs ، يرجى زيارة هنا.
** حول مختبرات أناكسي **
Anaxi Labs هي نوع جديد من المختبرات للبحوث والتطوير، والتي تقوم ببناء جسر بين النظريات الأكاديمية المتقدمة والتطبيقات على نطاق واسع. نحن ملتزمون بتقديم بحوث مبتكرة في الجبهة، وبناء البنية التحتية اللامركزية على مستوى المؤسسات والآمنة والقابلة للتوسيع، ودفع تطوير تطبيقات اللامركزية من الجيل التالي التي تعمل بتشفير البيانات.
نحن نتعاون مع أفضل خبراء الكريبتوغرافيا في العالم ومهندسين عالميين، وقد نجح هؤلاء المهندسون في بناء وتشغيل منتجات معروفة على مستوى مئات الملايين من المستخدمين، فخبراتهم المهنية وخبراتهم تقدم لمشروعنا دعمًا فنيًا قويًا. نحن شركاء صناعيون مع مؤسسات أكاديمية رائدة مثل جامعة كارنيجي ميلون في مجال الكريبتوغرافيا. نحن ملتزمون معًا بتغيير مستقبل الإنترنت من خلال تحرير العلم لاستخداماته في خدمة الإنسانية والمجتمع والكوكب.
حول CyLab
معمل سي لاب في جامعة كارنيجي ميلون هو معهد الأمان والخصوصية في الجامعة. لقد جمعنا خبراء من جميع كليات الجامعة، مما يشمل الهندسة، وعلوم الكمبيوتر، وسياسات العامة، وأنظمة المعلومات، والأعمال، وإدارة المخاطر، والعلوم الإنسانية والاجتماعية وغيرها من المجالات. مهمتنا هي تعزيز ودعم وتعزيز وتعزيز البحث والتعليم في مجالات الأمان والخصوصية بين الأقسام والتخصصات والحدود الجغرافية، من أجل تحقيق تأثير كبير في البحث والتعليم وسياسات العامة والممارسة.
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
أطلقت Anaxi Labs بالتعاون مع CyLab التابعة لجامعة كارنيجي ميلون نظام إثبات مبتكر يمهد الطريق لتطبيقات الواقع الافتراضي القابلة للتوسيع والآمنة
أعلنت Anaxi Labs بالتعاون مع معهد أمن الشبكات والخصوصية في جامعة كارنيجي ميلون عن إطلاق إطار ترميز تشفيري ثوري يحل مشكلة تُعاني منها الصناعة منذ فترة طويلة - الحاجة إلى التنازل عن بعض الأمور على المستوى الأساسي لبناء تطبيقات المعرفة الصفرية القابلة للتوسع. في الماضي، كان من المستحيل تحقيق القابلية للتوسع والأمان التشفيري واللامركزية في نفس الوقت، وهو ما عرقل تطبيقات الحجم الكبير - حتى الآن.
اختراق لا حاجة للتضحية في علم الكلمات السرية
تمتاز بلوكشين مثل Ethereum بأنها الأساس المستقبلي للبنية التحتية اللامركزية، حيث يعتبر تقنية الإثبات بدون معرفة (ZK) قادرة على تحسين أمان Ethereum وقدرتها القابلة للتوسعة إلى ما يزيد عن 120 معاملة في الثانية. ومع ذلك، فإن الواقع يختلف تمامًا. إن تطوير الدليل دون معرفة يتطلب معرفة معقدة ووقتًا طويلًا، بحيث يتطلب الأمر عشرات من المطورين للاستثمار الآلاف من الساعات. ومن أجل تحسين سرعة إنتاج الإثبات، يتطلب الأمر في كثير من الأحيان تصميم البروتوكول يدويًا، والبرمجة اليدوية والآلاف من الأسطر من الرمز يترتب عليها مخاطر أمنية كبيرة. هذا يجعل إنشاء تطبيقات لامركزية حساسة للأمن أمرًا معقدًا، كما يجعل التدقيق والامتثال أمرًا محبطًا - وهذا يعرقل استخدام هذه التقنية على نطاق واسع في الصناعات التي تخضع للرقابة مثل المالية والرعاية الصحية والذكاء الاصطناعي.
فريق بحث جامعة كارنيجي ميلون يعمل بالتعاون مع Anaxi Labs على التغلب على هذا التحدي
تقدم ورقة بحثية حديثة من جامعة كارنيجي ميلون طريقة ثورية يمكنها تحويل البرامج المتقدمة تلقائيًا وتبسيطها إلى نموذج أبسط (تمثيل منخفض المستوى) المطلوب بواسطة أنظمة الإثبات الأساسية. يتم هذه العملية بشكل تلقائي تمامًا وقابلة للتكرار وقابلة للتدقيق، مما يزيل العمل اليدوي ويعزز أداء النظام بشكل كبير مع ضمان الأمان على مستوى التشفير. ينقسم البرنامج المتقدم إلى وحدات صغيرة غير قابلة للتجزئة من خلال تحليله، ثم يتم إنشاء تمثيل منخفض المستوى لكل وحدة يمكن إدخالها بسهولة إلى مختلف أنظمة الإثبات.
قال Riad Wahby ، مساعد أستاذ في قسم الهندسة الكهربائية والحاسوب في جامعة كارنيجي ميلون: " إن تقسيم الحوسبة إلى كتل محددة بشكل جد خاص بهذه الطريقة التلقائية بدلاً من وحدة المعالجة المركزية هو طريقة جديدة تمامًا ، وهذا هو أول مرة يحاول فيها أحد تلك الأساليب لتجنب تمثيل البرنامج بالكامل. نحن متحمسون جدًا لهذا"
فتح تطبيق جديد للملكية الفكرية المركزة
سيغير هذا البحث والإطار الذي قامت Anaxi Labs ببنائه بناءً على البحث تمامًا نمط صناعة Web3 وغيرها من المجالات. في المجال المالي التقليدي والمنظم ، من الممكن الآن تحقيق تسوية في الوقت الحقيقي (مثل الدفع بالدولار الفوري) مع الحفاظ على قابلية التدقيق وتحسين الأداء. في مجال الرعاية الصحية ، يمكن الآن حل المشكلات الحاسمة التي تواجهها 23andMe باستخدام أدوات التشفير الآمنة وحماية الخصوصية المدعومة بمنتجات التطوير التي يعمل عليها Anaxi Labs ، من خلال ضمان الملكية الشرعية للفرد للحمض النووي الخاص به ودعم الأبحاث القيمة. في مجال الذكاء الاصطناعي المؤسسي والبنية التحتية الفيزيائية الحاسمة ، أصبح من الممكن الآن الحصول على حلول غير مركزية عالية الكفاءة والتأخير تقريبًا صفر (مثل التعديل والاستدلال السريع عبر عدة مصادر للبيانات والموارد الحسابية).
بالنسبة للفترة الأخيرة ، قدمت المنتجات المستندة إلى هذه الدراسة حلاً فعالًا لشركات ويب3 التي تواجه التحديات في المقام الأول فيما يتعلق بالقابلية للتوسع والأمان واللامركزية ، وتوفر نماذج تصميم جديدة لمجموعات ومنتجات التوافق.
قالت كيت شين، شريك مؤسس في Anaxi Labs: "سيكون لهذا البحث، وللمنتج الذي نقوم ببنائه والذي يدمج نتائج هذا البحث، تأثير عميق على العديد من التطبيقات الصناعية الحيوية التي تحتاج إلى حلول قابلة للتدقيق لمواجهة الكثير من مشاكل الأداء، مثل ZK و EVM، وبالتالي دفعنا نحو تحقيق رؤيتنا المتمثلة في القدرة على التسوية في الوقت الحقيقي والتشفير الآمن واللامركزي والموافقة.
Shen أضاف: "نحن نقدر أيضًا قدرة هذا البحث عبر اللغات المختلفة، مما يعني أن مختلف المشاريع يمكن أن تستفيد منه دون تعديل الشفرة. هذا يتيح لنا بناء إطار مفتوح وتعاوني بدلاً من اعتماد الطريقة اليومية المتزايدة بشكل متزايد والتي تعتمد على الكود الثابت. يجعل هذا جميع المطورين قادرين على اختيار وتجميع مزايا أحدث أنظمة البرهان تلقائيًا، مثل البحث في الجداول ومعالجات المساعدة وتسريع الأجهزة، مما يزيد إلى أقصى حد من الأداء المحقق لكل طريقة حساب.
Anaxi Labs و CyLab: شراكة تغير قواعد اللعبة
كان معهد سايلاب في جامعة كارنيجي ميلون دائمًا مركزًا للبحث الرائد في تطوير تقنيات سلسلة الكتل (بما في ذلك التقنيات المعرفية الصفرية). وتضم قائمة أساتذة وباحثين مشهورين في معهد سايلاب برايان بارنو، الذي يعتبر من المساهمين المهمين في تاريخ تطوير التقنيات المعرفية الصفرية، والذي أنتج مجموعة من الأوراق البحثية الرائجة، بالإضافة إلى المساعد الأكاديمي رياد واهبي، الذي أسفرت نتائج بحوثه عن تقنيات تشفير جديدة تدعم رؤية مؤسسة إثيريوم، ومؤخرًا نجد أيضًا تنفيذ Jolt zkVM الرائد من قسم التشفير a16z crypto التابع لشركة Andreessen Horowitz.
نتائج البحث لهذا الإطار المترجم تأتي من Anaxi Labs و CyLab في إطار شراكة تعاونية ثنائية تم إنشاؤها من خلال مشروع CMU للبلوكشين الآمن. تمكن هذا التعاون العلماء في جامعة كارنيجي ميلون من التعاون مع Anaxi Labs للحصول على رؤى وتعلم من بحوثهم في البلوكشين المنفذة تجاريًا في تطبيقات الويب 3 والويب 2.0. يمكنهم بذلك العثور على حلول تجارية للمشاكل الرئيسية في مجال البلوكشين وتعويض الفجوة بين المزايا المعروفة للتكنولوجيا والتطبيقات الكبيرة. يوفر هذا أيضًا منصة لطلاب جامعة كارنيجي ميلون لبدء حياتهم المهنية في مجال الويب 3.
صرح مدير الشراكات الرئيسي في CyLab، مايكل ليسانتي: "إن التعاون بين Anaxi Labs و CyLab يعزز من قدرة الباحثين في جامعة كارنيجي ميلون على العمل في المشاريع التي لها تطبيقات عملية مباشرة، ويضمن أن عملهم له علاقة وتأثيرات محتملة."
لمزيد من المعلومات حول Anaxi Labs، يرجى زيارة الموقع الرسمي.
لمعرفة المزيد حول أحدث أعمال Anaxi Labs و CyLab ، يرجى زيارة هنا.
لمزيد من المعلومات حول التعاون بين CyLab و Anaxi Labs ، يرجى زيارة هنا.
** حول مختبرات أناكسي **
Anaxi Labs هي نوع جديد من المختبرات للبحوث والتطوير، والتي تقوم ببناء جسر بين النظريات الأكاديمية المتقدمة والتطبيقات على نطاق واسع. نحن ملتزمون بتقديم بحوث مبتكرة في الجبهة، وبناء البنية التحتية اللامركزية على مستوى المؤسسات والآمنة والقابلة للتوسيع، ودفع تطوير تطبيقات اللامركزية من الجيل التالي التي تعمل بتشفير البيانات.
نحن نتعاون مع أفضل خبراء الكريبتوغرافيا في العالم ومهندسين عالميين، وقد نجح هؤلاء المهندسون في بناء وتشغيل منتجات معروفة على مستوى مئات الملايين من المستخدمين، فخبراتهم المهنية وخبراتهم تقدم لمشروعنا دعمًا فنيًا قويًا. نحن شركاء صناعيون مع مؤسسات أكاديمية رائدة مثل جامعة كارنيجي ميلون في مجال الكريبتوغرافيا. نحن ملتزمون معًا بتغيير مستقبل الإنترنت من خلال تحرير العلم لاستخداماته في خدمة الإنسانية والمجتمع والكوكب.
حول CyLab
معمل سي لاب في جامعة كارنيجي ميلون هو معهد الأمان والخصوصية في الجامعة. لقد جمعنا خبراء من جميع كليات الجامعة، مما يشمل الهندسة، وعلوم الكمبيوتر، وسياسات العامة، وأنظمة المعلومات، والأعمال، وإدارة المخاطر، والعلوم الإنسانية والاجتماعية وغيرها من المجالات. مهمتنا هي تعزيز ودعم وتعزيز وتعزيز البحث والتعليم في مجالات الأمان والخصوصية بين الأقسام والتخصصات والحدود الجغرافية، من أجل تحقيق تأثير كبير في البحث والتعليم وسياسات العامة والممارسة.
：