افتراض البقايا المركبة للقرار

يُعدّ افتراض البقايا المركبة القرارية (DCRA) افتراضًا رياضيًا يُستخدم في علم التشفير . ويُستخدم هذا الافتراض تحديدًا في إثبات نظام التشفير Paillier .

بشكل غير رسمي، تنص DCRA على أنه بالنظر إلى مركب${\displaystyle n}$وعدد صحيح${\displaystyle z}$يصعب تحديد ما إذا${\displaystyle z}$هو${\displaystyle n}$-الباقي modulo${\displaystyle n^{2}}$أي ما إذا كان هناك${\displaystyle y}$بحيث

${\displaystyle z\equiv y^{n}{\pmod {n^{2}}}.\,}$

• مشكلة البقايا التربيعية
• مشكلة البقايا العالية

• P. Paillier, Public-Key Cryptosystems Based on Composite Degree Residuciosity Classs , Eurocrypt 1999.