anoma/vamp-ir
این زبان برای نوشتن مدارهای حسابی به‌صورتی طراحی شده که به هیچ سیستم اثبات خاصی وابسته نیست.
کاربرد:
برای توسعه‌دهندگانی که می‌خوان مدارهای پیچیده ریاضی بنویسن و اون‌ها رو با چندین سیستم اثبات (مثل zk-SNARKs یا STARKs) استفاده کنن، بسیار مفیده.
در چه شرایطی بهتره استفاده شود؟
وقتی نیاز داری کد مدارت رو مستقل از زیرساخت اثبات نگه داری و بعدش به راحتی اون رو با چندین سیستم مختلف اجرا کنی، این زبان گزینه‌ی عالی‌ایه.
چند مثال از موارد استفاده
نوشتن مدارهای مالی برای تراکنش‌های ناشناس
پیاده‌سازی تایید هویت بدون افشای اطلاعات
استفاده در پروژه‌های بلاکچین برای افزایش حریم خصوصی
- ##arithmetic
- ##zero
- ##zkSNARK
- ##STARK
- ##privacy
- ##blockchain
- ##cryptography
- ##proving
- ##anoma
- ##vamp