مواد پر جائیں

مقررہ قیمت sprint

سمارٹ کنٹریکٹ آڈٹ کی تیاری جو آڈٹ کو چھوٹا اور کم لاگت بنائے۔

آڈیٹرز وقت کے حساب سے بل کرتے ہیں۔ ایک سے دو ہفتوں میں ہم آپ کے Solidity کوڈ، ٹیسٹس اور دستاویزات کو اس حالت میں لے آتے ہیں کہ وہ اپنا وقت آپ کی منطق پر لگائیں، نہ کہ غائب ٹیسٹس اور کھلے سوالات پر۔

آڈٹ ریڈینس Sprint

مقررہ دائرۂ کار، مقررہ قیمت

آڈٹ ریڈینس Sprint

اپنے سمارٹ کنٹریکٹس بیرونی آڈٹ کے لیے تیار کریں۔

مقررہ قیمت

€4,100 – €8,0001–2 ہفتے

~1,000 nSLOC تک کے لیے 1 ہفتہ، ~2,500 nSLOC تک کے لیے 2 ہفتے۔ بڑے کوڈ بیسز کی انفرادی قیمت دی جاتی ہے۔

کیا شامل ہے

  • Threat ماڈل: actor، privileged ادوار، اعتماد کے مفروضات اور attack surfaces
  • لائن اور برانچ کوریج رپورٹ کے ساتھ ٹیسٹ سویٹ گیپ تجزیہ
  • اہم راستوں کے لیے fuzz اور stateful invariant ٹیسٹس (Foundry)
  • ہر نتیجے کی triage کے ساتھ Slither رن
  • ٹھوس تجاویز کے ساتھ ترجیحی اصلاحات کی فہرست

آپ کو ملتا ہے

ایک آڈٹ handoff پیک (منجمد دائرۂ کار اور commit، آرکیٹیکچر نوٹس، invariants، معلوم مسائل اور ٹیسٹ ہدایات) — تاکہ آڈیٹرز اپنا وقت آپ کی منطق پر لگائیں۔

آپ کے کوڈ کو بیرونی آڈٹ کے لیے تیار کرتا ہے؛ اس کا متبادل نہیں۔

یہ sprint مانگیں

یہ کس کے لیے ہے

  • آپ کا بیرونی آڈٹ بک یا قیمت طلب ہے، اور ٹیسٹ سویٹ میں خلا ہے۔
  • کوئی انویسٹر، launchpad یا exchange کوریج کے اعداد اور threat ماڈل مانگتا ہے۔
  • آپ کو وراثت میں کنٹریکٹس ملے ہیں اور آپ جاننا چاہتے ہیں کہ وہ واقعی کس حالت میں ہیں۔

مفت چیک لسٹ

سمارٹ کنٹریکٹ آڈٹ کی تیاری کی چیک لسٹ

دائرۂ کار، دستاویزات، ٹیسٹس، fuzzing، static analysis اور آڈٹ لوجسٹکس: بیرونی آڈٹ کے لیے پیسے دینے سے پہلے کیا تیار کریں۔

آن لائن پڑھیں

براہِ راست PDF ڈاؤن لوڈ، ای میل درکار نہیں۔

مقررہ قیمتیں VAT کے بغیر۔ sprint شروع ہونے سے پہلے ہم ایک مختصر کال میں دائرۂ کار کی تصدیق کرتے ہیں؛ اگر یہ sprint میں فٹ نہ ہو تو ہم بتا دیتے ہیں اور انفرادی قیمت دیتے ہیں۔

sprint کیسے چلتا ہے

  1. 01

    اسکوپنگ کال

    ہم حجم (nSLOC)، چینز، ڈیپینڈنسیز اور آڈٹ کی تاریخ کی تصدیق کرتے ہیں۔ اگر یہ sprint میں فٹ نہ ہو تو ہم بتا دیتے ہیں اور انفرادی قیمت دیتے ہیں۔

  2. 02

    منجمد کریں اور پڑھیں

    آپ ایک commit منجمد کرتے ہیں۔ ہم کوڈ پڑھتے ہیں، actors، ادوار اور اعتماد کے مفروضات کا نقشہ بناتے ہیں اور threat ماڈل لکھتے ہیں۔

  3. 03

    ٹیسٹ اور تجزیہ

    کوریج گیپ تجزیہ، Foundry میں اہم راستوں کے لیے fuzz اور stateful invariant ٹیسٹس، ہر نتیجے کی triage کے ساتھ Slither رن۔

  4. 04

    Handoff پیک

    ترجیحی اصلاحات کی فہرست اور آڈٹ handoff پیک: دائرۂ کار، commit، آرکیٹیکچر نوٹس، invariants، معلوم مسائل، ٹیسٹ ہدایات۔

sprint کے بارے میں سوالات

سمارٹ کنٹریکٹ آڈٹ کی لاگت کتنی ہے، اور تیاری کیا بدلتی ہے؟

آڈٹ فرمز کوڈ کے حجم، پیچیدگی اور آڈیٹر وقت کے حساب سے قیمت لگاتی ہیں؛ شائع شدہ مارکیٹ حوالے سادہ ٹوکن آڈٹس کو کم پانچ ہندسوں (USD) میں اور DeFi پروٹوکولز کو اس سے کہیں زیادہ دکھاتے ہیں۔ تیاری آڈٹ کی جگہ نہیں لیتی۔ یہ بل کا وہ قابلِ اجتناب حصہ ختم کرتی ہے: وہ وقت جو آڈیٹرز غائب ٹیسٹس، غیر واضح دائرۂ کار اور غیر دستاویزی مفروضات پر لگاتے ہیں۔

کیا یہ آڈٹ ہے؟

نہیں۔ یہ sprint آپ کے کوڈ کو ایک آزاد فرم کے بیرونی آڈٹ کے لیے تیار کرتا ہے؛ اس کا متبادل نہیں، اور ہم یہ رپورٹ میں بھی کہتے ہیں۔

آپ کن اسٹیکس کا احاطہ کرتے ہیں؟

Foundry یا Hardhat پروجیکٹس کے ساتھ EVM چینز (Ethereum، Base، Polygon، Arbitrum، BNB Chain) پر Solidity۔ دیگر زبانوں کی انفرادی قیمت دی جاتی ہے۔

کیا آپ نتائج کی اصلاح بھی کرتے ہیں؟

sprint ٹھوس تجاویز کے ساتھ ترجیحی اصلاحات کی فہرست پر ختم ہوتا ہے۔ اصلاحات کا نفاذ گھنٹہ وار ریٹ یا مقررہ قیمت پیکج کے طور پر ممکن ہے۔

تمام Blockchain اور Web3 خدمات

کوئی پروجیکٹ ذہن میں ہے؟

ہمیں بتائیں کہ آپ کیا بنا رہے ہیں۔ کام کے دنوں میں ایک سینئر انجینئر ایک گھنٹے کے اندر جواب دیتا ہے — پھر آپ کو دیانتدارانہ جائزہ، واضح دائرۂ کار اور مقررہ قیمت یا سنگ میل پر مبنی تجویز ملتی ہے، عام طور پر چند کام کے دنوں میں۔

پہلے لکھنا پسند کریں گے؟ ہمیں لکھیں

آپ براہِ راست Ing. Ismet Mesic، ٹیک لیڈ سے بات کریں گے۔