Как Move Prover от Aptos может изменить безопасность смарт‑контрактов
20 источники626K35KAptos продвигает Move Prover — систему формальной верификации, которая математически проверяет корректность смарт‑контрактов до их развертывания в сети.
Обновление Solana P‑Token (SIMD‑0266): как сокращение вычислений на 96% освобождает больше места в блоках
17 источники605K28KОбновление SIMD‑0266 внедряет оптимизированную программу P‑Token, снижая вычислительные затраты токен‑операций примерно на 95–98%.