Сооснователь NEAR: DeepSeek снизил стоимость верификации кода в 100–200 раз
- —Полосухин: затраты на верификацию упали с десятков тысяч долларов до сотен
- —Экономия в 100–200 раз относится к конкретному кейсу, а не к рынку аудитов
- —В обсуждении участвовали глава Aurora Labs Шевченко и CTO NEAR One Астафьев
- —NEAR с августа поддерживает ML-DSA для подписей аккаунтов по квантово-устойчивому плану
Почему важно: Если дешёвая формальная верификация масштабируется, аудит контрактов станет доступнее, но заявления пока не подтверждены раскрытыми данными.
Источник: TokenPost