A Hastra lança o $AUTO, trazendo o mercado de crédito automóvel de 1,68 biliões de dólares para a DeFi da Solana
O $AUTO surge na sequência do lançamento do $PRIME da Hastra, que obteve um enorme sucesso e atingiu um TVL de...
Why Formal Verification Catches Everything
Em seguida
Autor: Jack DunhamPublicado:
Certora CEO Mooly joined us to talk about auditing the Solana Staking pool and providing formal verification.
Latest News
O lançamento do PayBox da MoonPay tornou-se viral depois de as recompensas gratuitas em $USDC terem atraído milhares de novos utilizadores
A carteira de IA sem custódia permite que os utilizadores do ChatGPT e do Claude negociem criptomoedas através...
As probabilidades de aprovação da Lei CLARITY caem para 27%, à medida que a atenção do Senado se volta para outros assuntos
A adiamento de uma votação no Senado suscitou novas dúvidas sobre se o Congresso conseguirá aprovar, este ano,...
O $MSOL do Morgan Stanley estreia-se com um volume de negociação de 19 milhões de dólares, à medida que a guerra das comissões dos ETF da Solana se intensifica
O novo ETF de staking da Solana foi lançado com uma comissão de 0,14%, 95% de recompensas de staking para os i...
