الوقت لإثبات صحة اختياري $GRAM