بينما كنت أستكشف @Starknet بشكل أعمق، وجدت مجالين يستحقان الانتباه: إثباتات STARK الأكثر كفاءة وعملها على الأمان ما بعد الكمي. كلا المجالين مرتبطان بشيء أعتبره مهمًا: القدرة على التكيف مع تطور التكنولوجيا التشفيرية. تعتمد إثباتات STARK على التشفير القائم على الدوال الهاش، بينما تجعل الحسابات القابلة للبرمجة من الممكن إدخال طرق جديدة للتحقق من التوقيعات دون الحاجة إلى ترقية شاملة للشبكة. هناك أيضًا أبحاث جارية للحد من عدد الفحوصات المطلوبة لهدف أمان 100 بت من 241 إلى 200، مع هدف التالي البالغ 150. يقوم الباحثون ووكلاء الذكاء الاصطناعي باستكشاف الرياضيات، مع مساعدة Lean في التحقق من الإثباتات. ما زال لدى Starknet عمل يجب إنجازه قبل المطالبة بأمان كمي كامل، خاصة فيما يتعلق بالحسابات الحالية والاعتماد على Ethereum. ما يثير اهتمامي أكثر هو التفكير طويل الأمد وراء هذا. ستتطور الافتراضات التشفيرية، وتحتاج البنية التحتية إلى مساحة للتطور معها. @Starknet @KaitoAI