NEAR co-founder says DeepSeek cut code verification costs 100–200x
- —Polosukhin put verification costs at hundreds of dollars versus tens of thousands before
- —The 100–200x figure covers one case, not the broader audit market
- —Aurora Labs CEO Alex Shevchenko and NEAR One CTO Anton Astafiev joined the discussion
- —NEAR has supported ML-DSA account signatures since its August quantum-resistance roadmap
Why it matters: Cheaper formal verification could widen access to contract auditing, though the claim remains unverified without disclosed data.
Source: TokenPost