ตรวจสอบแบบบูทีค.AI ช่วย มนุษย์ตรวจสอบ.
โมเดลของเราเองอ่านทุกบรรทัดก่อน นักวิจัยอาวุโสพิสูจน์และลงนามทุกข้อค้นพบ ราคาคงที่ภายใน 12 ชั่วโมง รายงานภายใน 3 วัน
ขอใบเสนอราคา
- ราคาคงที่
- รวมตรวจการแก้ไข
- ทำงาน 7 วันต่อสัปดาห์
ช่องโหว่จริงห้ากรณีเล่นซ้ำทีละกรณี: สัญญาแต่ละตัวพิมพ์ตัวเอง การสแกนชี้จุดบกพร่อง และบันทึกบอกความเสียหายและวิธีแก้
- The DAO, 2016-06-17: ถูกดูดไป 3.6 ล้าน ETH. splitDAO จ่ายรางวัลผ่านการเรียกภายนอกก่อนตั้งยอดคงเหลือเป็นศูนย์ ผู้โจมตีจึงเข้าซ้ำและแบ่งโทเคนชุดเดิมซ้ำแล้วซ้ำเล่า ตั้งยอดคงเหลือเป็นศูนย์ก่อนการเรียกภายนอกทุกครั้ง
- Parity Multisig, 2017-11-06: ถูกแช่แข็ง 513,774 ETH. ไลบรารีที่ใช้ร่วมกันไม่เคยถูกตั้งค่าเริ่มต้น ใครก็เรียก initWallet เพื่อเป็นเจ้าของแล้วทำลายด้วย kill ได้ ทุกวอลเล็ตที่พึ่งพามันจึงถูกแช่แข็ง ตั้งค่าไลบรารีตั้งแต่ตอน deploy และอย่าให้มันทำลายตัวเองได้
- Wormhole, 2022-02-02: 120,000 wETH ราว 325 ล้านดอลลาร์. verify_signatures อ่านผลตรวจลายเซ็นจากบัญชีที่ผู้เรียกเลือก และไม่เคยยืนยันว่าเป็น sysvar instructions บัญชีปลอมจึงผ่านเป็นการอนุมัติครบจาก guardian ใช้ load_instruction_at_checked ซึ่งตรวจที่อยู่ของ sysvar
- Nomad Bridge, 2022-08-01: ถูกดูดไปราว 190 ล้านดอลลาร์. การอัปเกรดตั้ง root ที่เชื่อถือเป็น 0x00 ข้อความที่ไม่มีหลักฐานให้ค่า 0x00 process จึงรับทุกข้อความ และผู้เลียนแบบหลายร้อยคนก็ทำซ้ำข้อความแรก ห้ามยืนยัน root ศูนย์ และปฏิเสธข้อความที่ไม่มีหลักฐาน
- Euler Finance, 2023-03-13: ถูกดูดไปราว 197 ล้านดอลลาร์. donateToReserves เผา eToken โดยไม่ตรวจว่าผู้บริจาคยังมีสภาพคล่อง ผู้โจมตีบริจาคจนเป็นหนี้เสีย แล้วชำระบัญชีตัวเองในราคาลด ตรวจสภาพคล่องหลังการบริจาค เหมือนการถอนอื่น ๆ
- งานตรวจสอบ
- 180
- ช่องโหว่ร้ายแรงที่พบ
- 63
- ได้ใบเสนอราคา
- 12 ชั่วโมง
- ได้รายงาน
- 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
สิ่งที่เราตรวจสอบ
- 19 // Burn DAO Tokens20 Transfer(msg.sender, 0, balances[msg.sender]);22 totalSupply -= balances[msg.sender];24 paidOut[msg.sender] = 0;25 return true;สูงH-01บันทึกยอดคงเหลือหลังการเรียกภายนอก
- EVM1-3 วัน
- Solana2-3 วัน
- Move1-3 วัน
- รับมือเหตุฉุกเฉินภายใน 2 ชั่วโมง
โมเดลของเราเอง
nonce-sc-1
เราไฟน์จูน DeepSeek-V4.1 ด้วยช่องโหว่จริง 2,140 รายการ และเพนเทสต์ของเราเอง 380 ครั้ง โมเดลอ่านทุกบรรทัดก่อนนักวิจัย และทุกข้อค้นพบที่โมเดลพบ นักวิจัยจะพิสูจน์และลงนาม
- โมเดลพื้นฐาน
- DeepSeek-V4.1
- ข้อมูลฝึก
- ช่องโหว่ 2,140 รายการและเพนเทสต์ 380 ครั้ง
- ในการตรวจสอบ
- โมเดลอ่านก่อน แล้วจึงเป็นมนุษย์
การตรวจสอบสองแบบ
วิธีเดียวกัน นักวิจัยชุดเดียวกัน แบบขั้นสูงพิสูจน์บั๊กบนสถานะจริง
ซอร์สโค้ด
ทุกบรรทัดอ่านโดยนักวิจัย 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
ส่งรีโป
อีเมลหนึ่งฉบับกับลิงก์หนึ่งลิงก์
- 2
รับราคาคงที่
ภายใน 12 ชั่วโมง
- 3
แก้ไขในพอร์ทัล
เราตรวจทุกการแก้ไข