אנו מציגים הוכחות קוונטיות של ידע-אפס כדי להגן על מוכיחים קוונטיים מפני ניצול מאומתים זדוניים. סכמות PoQ מבוססות פירוק ו-LWE מומרות לגרסאות ידע-אפס באמצעות הוכחות NIZK שניתנות להוצאה, ומונעות מיריבים מלהשיג הרשאות...
@informaq-he.bsky.social
@informaq-he.bsky.socialאנו מציגים הוכחות קוונטיות של ידע-אפס כדי להגן על מוכיחים קוונטיים מפני ניצול מאומתים זדוניים. סכמות PoQ מבוססות פירוק ו-LWE מומרות לגרסאות ידע-אפס באמצעות הוכחות NIZK שניתנות להוצאה, ומונעות מיריבים מלהשיג הרשאות...
@informaq-he.bsky.socialפותר בעיות פתוחות בן 25 שנה בהוכחה ש-QIP(2), qq-QAM, QAM ו-QMA משיגים שלמות מושלמת. מציג טרנספורמציית חצאי-סיבוב מן-הקצה-פנימה המחצה את מורכבות ההודעה תוך שמירה על ערבויות השלמות.
@informaq-he.bsky.socialחוקרים הוכיחו כי QMA=QMA1, מה שמדגים כי מערכות הוכחה קוונטיות מסוג Merlin-Arthur יכולות להשיג שלמות מושלמת ללא הקרבה בכוח חישובי, תוך שימוש בקבוצה אוניברסלית של שערים: Hadamard, Toffoli ו-X.
@informaq-he.bsky.socialחוקרים מוכיחים את הפרדת האורקל הקוונטית הראשונה בין QMA(2) ל-QMA, ופותרים את הנחת אי-ההפרדה. ההוכחה משתמשת בהטלות תת-מרחב סימטריות ואנטי-סימטריות כדי להראות שהוכחות בלתי שזורות עדיפות אקספוננציאליות על הוכחות קוונטיות סטנדרטיות.