ข้ามไปยังเนื้อหา

บริการ

ตรวจสอบสมาร์ตคอนแทรกต์

คอมมิตที่ตรึงไว้ อ่านทีละบรรทัดโดยนักวิจัยอาวุโสหลังจากโมเดลของเราอ่านรอบแรก ราคาคงที่ รวมการตรวจการแก้ไข และรายงานสาธารณะหากคุณต้องการ

ขอใบเสนอราคา

การตรวจสอบสองแบบ

วิธีเดียวกัน นักวิจัยชุดเดียวกัน แบบขั้นสูงพิสูจน์บั๊กบนสถานะจริง

  • ซอร์สโค้ด

    ทุกบรรทัดอ่านโดยนักวิจัย 2 คน

    เริ่มต้น US$1,000

    • นักวิจัยอาวุโส 2 คน
    • AI เพนเทสต์ทุกบรรทัดด้วย nonce-sc-1
    • รายการตรวจสอบ 404 ข้อ ใน 10 เครือข่าย
    • การวิเคราะห์แบบสแตติกและฟัซซิงในแซนด์บ็อกซ์
    • ทุกข้อค้นพบยืนยันด้วยการรีวิว 3 ครั้ง
    • หลักฐานออฟไลน์สำหรับทุกระดับวิกฤตและสูง
    • รวมการตรวจการแก้ไข
    • PDF, markdown สำหรับเอเจนต์, พอร์ทัล
  • ขั้นสูง

    สำหรับโปรโตคอลที่ดีพลอยแล้ว

    พิสูจน์ช่องโหว่บนสถานะของเมนเน็ต

    เริ่มต้น US$2,000

    • ทุกอย่างในแบบซอร์สโค้ด
    • นักวิจัยอาวุโส 3 คน
    • nonce-sc-1 เพนเทสต์สัญญาที่ดีพลอยแล้ว
    • พิสูจน์ช่องโหว่ EVM บน fork ของ mainnet
    • จำลองการโจมตีออราเคิลและสภาพคล่อง
    • ฟัซซิง invariant บนสถานะของเมนเน็ต
    • ตรวจสคริปต์ deploy และคีย์แอดมิน
    • เทียบโค้ดที่ deploy แล้ว ตรวจซ้ำทุกวัน

ราคาสุดท้ายกำหนดจากจำนวนบรรทัดโค้ด เชน และกำหนดส่ง และส่งให้ภายใน 12 ชั่วโมง

สามขั้นตอน

  1. 1

    ส่งรีโป

    อีเมลหนึ่งฉบับกับลิงก์หนึ่งลิงก์

  2. 2

    รับราคาคงที่

    ภายใน 12 ชั่วโมง

  3. 3

    แก้ไขในพอร์ทัล

    เราตรวจทุกการแก้ไข

เครือข่ายที่เราตรวจสอบ

EVM9

  • EthereumSolidity, Vyper
  • ArbitrumSolidity, Vyper
  • OptimismSolidity, Vyper
  • BaseSolidity, Vyper
  • PolygonSolidity, Vyper
  • BNB ChainSolidity, Vyper
  • AvalancheSolidity, Vyper
  • LineaSolidity, Vyper
  • ScrollSolidity, Vyper

Solana1

  • SolanaRust, Anchor

Move2

  • SuiMove
  • AptosMove

ZK3

  • zkSyncSolidity, Vyper
  • StarknetCairo
  • Polygon zkEVMSolidity, Vyper
  • วงจรCircom, Noir

เชนอื่น ๆ3

  • CosmosCosmWasm, Rust
  • StellarSoroban, Rust
  • TONTact, FunC, Tolk

ก่อนตรึงโค้ด

รีวิวความปลอดภัยตรวจการออกแบบ สถาปัตยกรรม และเศรษฐศาสตร์ ขณะที่ยังแก้ไขได้ในราคาถูก

รีวิวความปลอดภัย