MasteringCrypto

@SuccinctLabs Labs في مهمة "$PROVE برنامج العالم" - جعل إثباتات المعرفة الصفرية (ZKPs) ليست مجرد تخصص لمشفرين، بل أداة عملية وسهلة الاستخدام للمطورين للتطبيقات اليومية.
يحققون ذلك من خلال ابتكاريْن رائدين:
1. SP1 (معالج مختصر 1): آلة افتراضية zk عالية الأداء
SP1 هو آلة افتراضية مفتوحة المصدر وعامة الغرض قائمة على عدم المعرفة (zkVM) التي تقوم بترجمة الشيفرة من لغات شائعة مثل Rust أو أي لغة متوافقة مع LLVM إلى براهين يمكن التحقق منها.
لأنها تلغي تصميم الدوائر والألعاب الرياضية التشفيرية المتخصصة، يمكن للمطورين كتابة كود عادي - ثم تجميعه وإثباته والتحقق منه دون الحاجة لتعلم صياغة ZK المخصصة.
من ح
شاهد النسخة الأصليةيحققون ذلك من خلال ابتكاريْن رائدين:
1. SP1 (معالج مختصر 1): آلة افتراضية zk عالية الأداء
SP1 هو آلة افتراضية مفتوحة المصدر وعامة الغرض قائمة على عدم المعرفة (zkVM) التي تقوم بترجمة الشيفرة من لغات شائعة مثل Rust أو أي لغة متوافقة مع LLVM إلى براهين يمكن التحقق منها.
لأنها تلغي تصميم الدوائر والألعاب الرياضية التشفيرية المتخصصة، يمكن للمطورين كتابة كود عادي - ثم تجميعه وإثباته والتحقق منه دون الحاجة لتعلم صياغة ZK المخصصة.
من ح