غريغور روشو أستاذ علوم الحاسوب في جامعة إلينوي ومهندس سابق في ناسا، حيث طور إطار K - "حجر رشيد" مفتوح المصدر لدلالات لغات البرمجة. كان من المساهمين الأوائل في مؤسسة إثيريوم، وأسس لاحقاً Runtime Verification، التي أصبحت الآن الشركة المتصدرة في مجال التحقق الرسمي في Web3. في عام 2023، أسس Pi Squared برؤية لجلب مليون مطور إضافي إلى Web3 من خلال استخدام إطار K الثوري الخاص به.
لماذا يجب أن تستمع
تحل Pi Squared قيود التجزئة والثقة في بنية البلوكتشين الحالية من خلال تمكين الحوسبة والتسوية عبر السلاسل القابلة للتحقق، بحيث يمكن للتطبيقات والوكالات والبروتوكولات التفاعل عبر النظم البيئية دون الاعتماد على الجسور أو الأطراف المركزية أو المنطق غير القابل للإثبات.
إنها طبقة الثقة المفقودة لويب 3 القابل للتعديل، والمتوافق، والمجهز للاستخدام المؤسسي.
العرض الأساسي لشركة Pi Squared هو طبقة التسوية القابلة للتحقق (VSL)—أساس لامركزي وقابل للبرمجة يحيط بأي إجراء (تخزين البيانات، المعاملات، الحساب) في "مطالبة" مختومة تشفيرياً. يتم التحقق من هذه المطالبات بواسطة شبكة عالمية من المدققين، ويتم تسويتها عبر بروتوكول توافق FastSet عالي الأداء، وتصبح متاحة على الفور عبر السلاسل والبيئات—كل ذلك دون وسطاء أو افتراضات ثقة. تمكّن VSL التسويات السريعة والقابلة للإثبات عبر الأنظمة البيئية—م-serving AI، وسلاسل الكتل، أو أي أنظمة خارج السلسلة.
مباشرةً على شبكة التطوير، تعرض Pi Squared حالات استخدام قوية مثل جسر الأصول عبر السلاسل (مثل، عبر Wormhole NTT)، وتطابق حالة البلوكشين، وأنابيب الذكاء الاصطناعي القابلة للتدقيق عبر بيئات التنفيذ الموثوقة. يقلل نظامهم بشكل كبير من حسابات التكرار في البلوكشين - حيث يقوم عقدة واحدة بالحساب والإثبات، والجميع الآخر يتحقق في أجزاء من الثانية - مما يعزز القدرة على المعالجة، ويخفض استهلاك الطاقة، ويقلل من الثغرات. فكر في القابلية للتحقق في كل مكان - من الحوسبة عن بُعد والتمويل اللامركزي إلى استنتاج الذكاء الاصطناعي - مدعومًا بإثباتات مدعومة بلغة رسمية.
بي² يجمع بين التحقق الرسمي، إثباتات المعرفة الصفرية، والتوافق عبر السلاسل في طبقة واحدة سريعة وقابلة للتكوين. لا fluff، لا ثقة—فقط إثبات.
روابط الدعم
ستابل فاينانس
شبكة باي
أندي على تويتر
براف نيو كوين على تويتر
برave نيو كوين
إذا استمتعت بالعرض ، يرجى الاشتراك في محادثة التشفير ومنحنا تقييم 5 نجوم ومراجعة إيجابية في أي تطبيق بودكاست تستخدمه.
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
باي سكويرد - طبقة تسوية قابلة للتحقق للذكاء الاصطناعي ومجال العملات الرقمية - برينف نيو كوين
غريغور روشو أستاذ علوم الحاسوب في جامعة إلينوي ومهندس سابق في ناسا، حيث طور إطار K - "حجر رشيد" مفتوح المصدر لدلالات لغات البرمجة. كان من المساهمين الأوائل في مؤسسة إثيريوم، وأسس لاحقاً Runtime Verification، التي أصبحت الآن الشركة المتصدرة في مجال التحقق الرسمي في Web3. في عام 2023، أسس Pi Squared برؤية لجلب مليون مطور إضافي إلى Web3 من خلال استخدام إطار K الثوري الخاص به.
لماذا يجب أن تستمع
تحل Pi Squared قيود التجزئة والثقة في بنية البلوكتشين الحالية من خلال تمكين الحوسبة والتسوية عبر السلاسل القابلة للتحقق، بحيث يمكن للتطبيقات والوكالات والبروتوكولات التفاعل عبر النظم البيئية دون الاعتماد على الجسور أو الأطراف المركزية أو المنطق غير القابل للإثبات.
إنها طبقة الثقة المفقودة لويب 3 القابل للتعديل، والمتوافق، والمجهز للاستخدام المؤسسي.
العرض الأساسي لشركة Pi Squared هو طبقة التسوية القابلة للتحقق (VSL)—أساس لامركزي وقابل للبرمجة يحيط بأي إجراء (تخزين البيانات، المعاملات، الحساب) في "مطالبة" مختومة تشفيرياً. يتم التحقق من هذه المطالبات بواسطة شبكة عالمية من المدققين، ويتم تسويتها عبر بروتوكول توافق FastSet عالي الأداء، وتصبح متاحة على الفور عبر السلاسل والبيئات—كل ذلك دون وسطاء أو افتراضات ثقة. تمكّن VSL التسويات السريعة والقابلة للإثبات عبر الأنظمة البيئية—م-serving AI، وسلاسل الكتل، أو أي أنظمة خارج السلسلة.
مباشرةً على شبكة التطوير، تعرض Pi Squared حالات استخدام قوية مثل جسر الأصول عبر السلاسل (مثل، عبر Wormhole NTT)، وتطابق حالة البلوكشين، وأنابيب الذكاء الاصطناعي القابلة للتدقيق عبر بيئات التنفيذ الموثوقة. يقلل نظامهم بشكل كبير من حسابات التكرار في البلوكشين - حيث يقوم عقدة واحدة بالحساب والإثبات، والجميع الآخر يتحقق في أجزاء من الثانية - مما يعزز القدرة على المعالجة، ويخفض استهلاك الطاقة، ويقلل من الثغرات. فكر في القابلية للتحقق في كل مكان - من الحوسبة عن بُعد والتمويل اللامركزي إلى استنتاج الذكاء الاصطناعي - مدعومًا بإثباتات مدعومة بلغة رسمية.
بي² يجمع بين التحقق الرسمي، إثباتات المعرفة الصفرية، والتوافق عبر السلاسل في طبقة واحدة سريعة وقابلة للتكوين. لا fluff، لا ثقة—فقط إثبات.
روابط الدعم
ستابل فاينانس
شبكة باي
أندي على تويتر
براف نيو كوين على تويتر
برave نيو كوين
إذا استمتعت بالعرض ، يرجى الاشتراك في محادثة التشفير ومنحنا تقييم 5 نجوم ومراجعة إيجابية في أي تطبيق بودكاست تستخدمه.