Canton's Defences کو Certora's Enhanced Protection Suite کے ذریعے تقویت ملی
Web3 سیکیورٹی کو ایک اہم فروغ دینے کے لیے، کینٹون فاؤنڈیشن کی جانب سے، سمارٹ کنٹریکٹ کی تصدیق کے ایک مشہور ماہر، Certora کو 2.01 ملین کینٹن کوائنز کی کافی گرانٹ سے نوازا گیا ہے، جس کی قیمت تقریباً $300,000 ہے۔ اس فنڈنگ کا استعمال ایک اختراعی، اوپن سورس حل تیار کرنے کے لیے کیا جائے گا جو Daml پروجیکٹس کے لیے تیار کیا گیا ہے، خاص طور پر کینٹن نیٹ ورک پر کام کرنے والے پیچیدہ، کثیر فریقی سمارٹ کنٹریکٹ ایکو سسٹم کے اندر شفافیت کو بڑھانے کے لیے ڈیزائن کیا گیا ہے۔
آنے والا ٹول مرتب شدہ .dar فائلوں کی چھان بین کرے گا، جو دمل میں لکھے گئے سمارٹ معاہدوں کو سمیٹتے ہیں، اور مختلف کنٹریکٹ پیکجوں کے درمیان تعاملات کی باریک بینی سے شناخت کرتے ہیں۔ مزید برآں، یہ ان اجازتوں کے بارے میں تفصیلی بصیرت فراہم کرے گا جو ان پیکجوں کے درمیان تعامل کو کنٹرول کرتی ہیں، بشمول فائل کے درست مقامات اور لائن نمبر۔ ایسا کرنے سے، یہ ٹول بلاک چین سیکیورٹی میں ایک دیرینہ چیلنج کو حل کرتا ہے، جہاں معاہدوں اور تفویض کردہ اجازتوں کے درمیان پیچیدہ تعلقات دستی طور پر، خاص طور پر بڑے پیمانے پر، کثیر فریقی نظاموں میں ٹریک کرنے کے لیے تیزی سے بوجھل ہو سکتے ہیں۔
یہ مسئلہ ڈویلپرز، آڈیٹرز، اور تعمیل کرنے والی ٹیموں کے لیے اہم رکاوٹوں کا باعث بنتا ہے، جنہیں تعیناتی سے قبل درخواست کے رویے کی جامع تفہیم کی ضرورت ہوتی ہے۔ Certora کے حل کا مقصد عمل کو خودکار بنا کر اس بوجھ کو کم کرنا ہے، اس طرح سیکورٹی کے جائزوں کو ہموار کرنا اور متعلقہ کام کے بوجھ کو کم کرنا ہے۔ تکمیل کے بعد، کمپنی اپاچی 2.0 اوپن سورس لائسنس کے تحت سافٹ ویئر جاری کرنے کا ارادہ رکھتی ہے، جس سے وسیع رسائی اور ڈی پی ایم کے ساتھ انضمام کو یقینی بنایا جائے گا، کینٹن کا کمانڈ لائن انٹرفیس ایپلی کیشنز بنانے اور اس پر عمل درآمد کرنے کے لیے۔
اس ٹول کی ترقی خاص طور پر ان مالیاتی اداروں کے لیے موزوں ہے جو تقسیم شدہ لیجر سسٹم کی صلاحیت کو تلاش کر رہے ہیں۔ بلاک چین ایپلی کیشنز کو پیداواری ماحول میں تعینات کرنے سے پہلے، بینکوں اور بنیادی ڈھانچے کے فراہم کنندگان کو اکثر معاہدے کے رویے کے مکمل تجزیے کی ضرورت ہوتی ہے، ایک ایسی ضرورت جسے پورا کرنے کے لیے Certora کا حل اچھی طرح سے موجود ہے۔ کثیر فریقی سمارٹ کنٹریکٹ سسٹمز کی حفاظت اور شفافیت کو بڑھا کر، یہ اختراع مالیاتی شعبے میں بلاک چین ٹیکنالوجی کو وسیع تر اپنانے میں سہولت فراہم کرنے کی صلاحیت رکھتی ہے۔