نحو تحقق من تعقيد كريلوف | Synapse