تخيل معلمًا يستطيع تصحيح امتحان كامل بمراجعة بعض الإجابات العشوائية فقط، ولا يزال متأكدًا تمامًا. هذا تقريبًا كيف يعمل إثبات ستارك: • يتم تنفيذ دفعة كبيرة من المعاملات خارج السلسلة • يُنشأ إثبات قصير يُظهر أن كل شيء تم تنفيذه بشكل صحيح • تتحقق إيثريوم من الإثبات بدلاً من إعادة تنفيذ كل معاملة، مما يتيح تقاسم التكلفة عبر الدفعة بأكملها • كلما قل عدد التحققات التي يحتاجها الإثبات، أصبح أصغر وأقل تكلفة للتحقق منه • فتح @Starknet تحديًا لاكتشاف رياضيات تحافظ على نفس مستوى الأمان مع عدد أقل من التحققات، وكل اكتشاف يُمنح اعتمادًا إثباتات أصغر، تحقق أرخص، مساحة أكبر للتوسع