مارس فنانس کی خبر کے مطابق، ایتھریم انسٹی ٹیوشنل پرائیویسی ٹیکنالوجی ادارہ EthSystems نے اپنے پرائیویس پول کے لیے فارمل ویریفیکیشن مکمل کرنے کا اعلان کیا ہے، جس میں لکھی گئی اسپیفیکیشن سے لے کر Sepolia ٹیسٹ نیٹ پر چلنے والے بائٹ کوڈ تک شامل ہے۔ ویریفیکیشن کو لیئرز کے لحاظ سے مختلف ٹولز استعمال کرکے کیا گیا: ماڈل، سرکٹ اور ہیش کے لیے Lean، کنٹریکٹس کے لیے Halmos اور Kontrol، والٹ کے لیے Aeneas اور Verus، اور ویریفائر اور ڈپلومنٹ کو بائٹ فار بائٹ ریکنسٹرکشن سے چیک کیا گیا۔ ڈبل اسپینڈنگ اور ویلیو کنسرویشن کو Lean تھیورم ماشین نے ویریفائی کر لیا ہے۔ ویریفیکیشن کے دوران 6 مسائل دریافت ہوئے، جن میں سے 3 مسائل ویریفیکیشن ٹولز خود میں تھے۔ ٹیم نے اب بھی انحصار کرنے والے فرضیات بھی درج کر دیے ہیں: ہیش میں کوئی کولیژن نہ ہونا، ویریفائر جھوٹے ثبوت کو مسترد کر دے گا، اور کنٹریکٹ کا روئے عمل ماڈل کے مطابق ہوگا۔
ایتھسسٹمز نے پرائیویسی پول کی فارمل ویریفیکیشن مکمل کر لی ہے
MarsBitبانٹیں
خلاصہ
ایتھ سسٹمز، ایک ایتھریم خفیہ ٹیک فرم، نے اپنے خفیہ پول کی سرکاری تصدیق مکمل کر لی ہے، جس میں سیپولیا ٹیسٹ نیٹ پر سپیسیفکیشنز سے لے کر بائٹ کوڈ تک شامل ہیں۔ اس عمل میں مختلف لیورلز پر متعدد ٹولز استعمال کیے گئے: مدلز، سرکٹس اور ہیشز کے لیے لین؛ کنٹریکٹس کے لیے ہالموس اور کونٹرول؛ والٹس کے لیے اینیاس اور ویرس؛ اور بائٹ بائٹ چیکس کے ذریعے ویلیدیٹرز۔ لین تھیورم مشینوں نے ڈبل اسپینڈنگ اور ویلیو کنسرویشن کی تصدیق کی۔ ستہ مسائل دریافت ہوئے، جن میں سے تین ٹولز میں تھے۔ باقی فرضیات میں ہیش کالیژن رزسٹنس اور کنٹریکٹ کا مدلز کے ساتھ مطابقت شامل ہے۔ یہ کوشش پروف آف ورک (PoW) اور پروف آف اسٹیک (PoS) سکیورٹی ماڈلز کے درمیان جاری بحثوں کے ساتھ مماثل ہے۔
ذریعہ:اصل دکھائیں۔
اعلان دستبرداری: اس صفحہ پر معلومات تیسرے فریق سے حاصل کی گئی ہوں گی اور یہ ضروری نہیں کہ KuCoin کے خیالات یا خیالات کی عکاسی کرے۔ یہ مواد کسی بھی قسم کی نمائندگی یا وارنٹی کے بغیر صرف عام معلوماتی مقاصد کے لیے فراہم کیا گیا ہے، اور نہ ہی اسے مالی یا سرمایہ کاری کے مشورے کے طور پر سمجھا جائے گا۔ KuCoin کسی غلطی یا کوتاہی کے لیے، یا اس معلومات کے استعمال کے نتیجے میں کسی بھی نتائج کے لیے ذمہ دار نہیں ہوگا۔
ڈیجیٹل اثاثوں میں سرمایہ کاری خطرناک ہو سکتی ہے۔ براہ کرم اپنے مالی حالات کی بنیاد پر کسی پروڈکٹ کے خطرات اور اپنے خطرے کی برداشت کا بغور جائزہ لیں۔ مزید معلومات کے لیے، براہ کرم ہماری استعمال کی شرائط اور خطرے کا انکشاف دیکھیں۔