به گزارش کارگروه بین‌الملل سایبربان؛ «QEDIT»، ارائه دهنده اسرائیلی فناوری افزایش حریم خصوصی از مشارکت در یک پروژه 12.6 میلیون دلاری به پشتیبانی مالی دارپا، آژانس پروژه‌های تحقیقاتی پیشرفته دفاعی ایالات متحده، خبر داد. این پروژه تحقیقاتی در جهت مهار رمزنگاری پیشرفته با هدف حفظ یکپارچگی برنامه‌های نرم‌افزاری پیچیده است.
قرارداد «Project Fromager» به گالویس (Galois)، شرکت متخصص تحقیق و توسعه اعطا شد و QEDIT مبلغ 2 میلیون دلار از اعتبارات مالی را دریافت کرد. این پروژه یکی از 12 پروژه مرتبط با برنامه امنیت اطلاعات دارپا برای برنامه ارزیابی و تأیید رمزگذاری (SIEVE) با هدف استفاده از مدارک دانش صفر (ZKPs) برای فراهم کردن امکان تأیید قابلیت‌های مربوط به وزارت دفاع آمریکا بدون آشکار کردن جزئیات حساس مرتبط با این قابلیت‌ها است.
انتظار می‌رود Project Fromager تا سال 2024 اجرا شود و هدف آن استفاده از مدارک دانش صفر برای آزمایش سریع یکپارچگی برنامه‌های نرم‌افزاری پیچیده است تا اطمینان حاصل شود که کد به خطر نیفتاده است. این کار با هدایت گالویس انجام و همچنین از منابع آکادمیک دانشگاه آرهوس (Aarhus) دانمارک، دانشگاه کلمبیای نیویورک و دانشگاه لوون کو (Ku Leuven) بلژیک استفاده خواهد شد.
الکس مالوزموف (Alex Malozemoff)، محقق اصلی گالویس در این زمینه اعلام کرد :
«ما در گالویس دائما در تلاش هستیم که شکاف بین تحقیقات و استقرار در دنیای واقعی را برطرف کنیم. وضعیت فعلی فناوری اثبات دانش صفر در این مرحله مناسب است. در حالیکه اثبات دانش صفر شاهد استقرار گسترده‌ای در ارزهای مجازی بوده است، اکنون رویکردهای کلی‌تر در زمینه‌های تجاری و دولتی به‌صورت پایدار شناخته می‌شوند.»
مالوزموف خاطرنشان کرد :
«ما از همکاری با QEDIT هیجان زده هستیم : تجربه صنعت آنها، در کنار پیشگام بودن به منظور استانداردسازی دانش صفر، برای تکامل این فناوریها بسیار ارزشمند است.»
