บริการ
ตรวจสอบสมาร์ตคอนแทรกต์
คอมมิตที่ตรึงไว้ อ่านทีละบรรทัดโดยนักวิจัยอาวุโสหลังจากโมเดลของเราอ่านรอบแรก ราคาคงที่ รวมการตรวจการแก้ไข และรายงานสาธารณะหากคุณต้องการ
ขอใบเสนอราคาการตรวจสอบสองแบบ
วิธีเดียวกัน นักวิจัยชุดเดียวกัน แบบขั้นสูงพิสูจน์บั๊กบนสถานะจริง
ซอร์สโค้ด
ทุกบรรทัดอ่านโดยนักวิจัย 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
แก้ไขในพอร์ทัล
เราตรวจทุกการแก้ไข
เครือข่ายที่เราตรวจสอบ
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
ก่อนตรึงโค้ด
รีวิวความปลอดภัยตรวจการออกแบบ สถาปัตยกรรม และเศรษฐศาสตร์ ขณะที่ยังแก้ไขได้ในราคาถูก