تم فتح معلم جديد! لقد قمنا بتنفيذ مدقق STARK ل @StarkWareLtd 's Stwo prover في البساطة بواسطة @blksresearch لم يعد هذا تمرينا لعبة بعد الآن - إنه نظام إثبات حديث حقيقي. المزيد عن النتائج والتحديات 🧵👇