1 مستودع
Awesome GitHub RepositoriesPrivate Application Frameworks
Toolsets for developing programs that validate outputs without revealing the underlying private data.
Distinct from Private Attestation Frameworks: No candidate covers a general framework for private application development; others are too narrow (e.g., attestation).
Explore 1 awesome GitHub repository matching security & cryptography · Private Application Frameworks. Refine with filters or upvote what's useful.
Awesome Private Application Frameworks GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- provablehq/leo
ProvableHQ/leo
4,818عرض على GitHubLeo هي لغة برمجة لإثباتات المعرفة الصفرية (Zero-Knowledge Proofs) ولغة تم التحقق منها رسمياً مصممة لإثبات الصحة الرياضية لمنطق التطبيق والدوائر التشفيرية. تعمل كإطار عمل للتطبيقات الخاصة ومترجم لدوائر ZK الذي يحول الكود المصدري عالي المستوى إلى قيود منخفضة المستوى مطلوبة لإنشاء والتحقق من إثباتات المعرفة الصفرية. يوفر المشروع مجموعة أدوات لتطوير تطبيقات المعرفة الصفرية وهندسة دوائر ZK، مما يتيح إنشاء منطق عقود ذكية خاصة. ويسمح للمطورين بكتابة كود عالي المستوى يتم تجميعه في دوائر تشفيرية لإنشاء إثباتات حسابية خاصة وقابلة للتحقق. يتضمن إطار العمل قدرات للبرمجة التي تم التحقق منها رسمياً، مما يسمح للمستخدمين بتجميع الكود في دوائر، وتنفيذ برامج خاصة، والتحقق من دقة المنطق من خلال الاختبار.
Offers tools for developing and executing programs that validate outputs while keeping data private.
Rustcompilerleoprogramming-language
