TL;DR
- مشاهده PDF HTML (تجربی) چکیده:.
- سیستمهای مبتنی بر مکان که جستجوی جغرافیایی رمزگذاریشده را با مدارک مجاورت با دانش صفر ترکیب میکنند،.
- معمولاً این دو مرحله را مستقل تلقی میکنند.
چه اتفاقی افتاد
مشاهده PDF HTML (تجربی) چکیده:. سیستمهای مبتنی بر مکان که جستجوی جغرافیایی رمزگذاریشده را با مدارک مجاورت با دانش صفر ترکیب میکنند،.
معمولاً این دو مرحله را مستقل تلقی میکنند. تحت یک سرور صادق اما کنجکاو،.
این یک شکاف منشأ مجوز باقی میگذارد:. هنگامی که حالت جلسه پاک میشود،.
هیچ روش پزشکی قانونی نمیتواند مدرکی را به جلسه جستجوی اصلی آن نسبت دهد،. زیرا ورودیهای عمومی مدرک هیچ اطلاعات شناسایی جلسه را رمزگذاری نمیکند.
ما این شکاف را بهعنوان مفهوم امنیتی اثبات مجاز جستجو (SAP) رسمیت میدهیم و از طریق یک حمله. ارتباط مجدد حسابرسی مشخص نشان میدهیم که مکانیسمهای اثبات خارجی،.
که در آن شواهد مجوز خارج از مدرک باقی میمانند،. نمیتوانند از تخصیص نادرست پزشکی قانونی در زمانی که پارامترهای افت یکسان در طول جلسات تکرار میشوند،.
جلوگیری کنند. اثبات مجاورت محدود به جستجو (SBPP) الزامات SAP را بدون تغییر مدار ZKP درک میکند:.
جلسه غیرمنتظره،. مجموعه نتایج Merkle-root تعهد،.
و رسید امضا شده به اجزای مستقل قابل حسابرسی تجزیه می شوند،. که امکان جداسازی خطا در سطح دارایی را در حسابرسی آفلاین فراهم می کند.
آزمایشها روی دادههای مصنوعی و دنیای واقعی (110776 POI OpenStreetMap) سربار مطلق زیر میلیثانیهای را در خط پایه. 125 میلیثانیه Groth16 نشان میدهند.
نظرات: 11 صفحه، 1 شکل، 5 جدول. نسخه پیش چاپ؛
به IEEE Transactions on Information Forensics and Security ارسال شد موضوعات:. رمزنگاری و امنیت (cs.CR)؛
شبکه و معماری اینترنت (cs.NI) استناد به عنوان:. arXiv:.
2604.03902 [cs.CR] (یا arXiv:. 2604.03902v1 [cs.CR] برای این نسخه) https:.
//doi.org/10.48550/arXiv.2604.03902 DOI صادر شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:. Yoshiyuki Ootani [مشاهده ایمیل] [v1] یکشنبه،.
5 آوریل 2026،. 00:.
14:. 00 UTC (91 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.