arkworks-rs/snark
این پروژه یک رابط برای تعریف روابط و ارائه‌دهنده‌های SNARK (اثبات‌های دانش صفر کوتاه و غیرتعاملی) برای این روابط است.
کاربرد:
این کتابخانه به توسعه‌دهندگان اجازه می‌دهد تا روابط محاسباتی را تعریف کنند و از SNARK برای اثبات صحت اجرای آن‌ها بدون افشای داده‌های حساس استفاده کنند.
در چه شرایطی بهتره استفاده شود؟
وقتی نیاز به اثبات صحت یک محاسبه بدون افشای ورودی‌ها داری، مثل سیستم‌های مبتنی بر حریم خصوصی، بلاکچین، یا احراز هویت بدون افشای اطلاعات.
چند مثال از موارد استفاده:
- اثبات صحت اجرای یک برنامه بدون نشان دادن ورودی‌ها
- ساخت تراکنش‌های مخفی در بلاکچین
- احراز هویت در سیستم‌های امنیتی بدون ارسال رمز عبور
- ##ZeroKnowledgeProofs
- ##SNARK
- ##Blockchain
- ##Privacy
- ##Rust
- ##Cryptography
- ##ZKProofs
- ##DecentralizedApps