מוכיח חסמים מפורשים סופיים-n על קבוצות של מערכות ריבועיות בעלות אפס או בדיוק פתרון אחד, ויוצר מגבלות יסודיות הקשורות להנחות קשיות קריפטוגרפית לאחר הקוונטום.

מוכיח חסמים מפורשים סופיים-n על קבוצות של מערכות ריבועיות בעלות אפס או בדיוק פתרון אחד, ויוצר מגבלות יסודיות הקשורות להנחות קשיות קריפטוגרפית לאחר הקוונטום.