Cargando...

Why Formal Verification Catches Everything

Próximo

Autor: Jack DunhamPublicado:

Certora CEO Mooly joined us to talk about auditing the Solana Staking pool and providing formal verification.

Suscríbete al canal oficial de YouTube de SolanaFloor

Latest News

Hastra lanza $AUTO y lleva el mercado del crédito para la compra de automóviles, valorado en 1,68 billones de dólares, a la DeFi de Solana
$AUTO llega tras el gran éxito del lanzamiento de $PRIME de Hastra, que alcanzó un TVL máximo de 363 millones ...
RWAs
Finn Miller
El lanzamiento de PayBox de MoonPay se hizo viral después de que las recompensas gratuitas en $USDC atrajeran a miles de nuevos usuarios
La cartera de IA sin custodia permite a los usuarios de ChatGPT y Claude operar con criptomonedas a través de ...
AI
Pablo
Las posibilidades de que se apruebe la Ley CLARITY se desploman hasta el 27 % mientras la atención del Senado se centra en otros asuntos
El aplazamiento de una votación en el Senado ha suscitado nuevas dudas sobre si el Congreso podrá aprobar este...

Regulatorio
Pablo
El ETF $MSOL de Morgan Stanley debuta con un volumen de negociación de 19 millones de dólares, mientras se recrudece la guerra de comisiones entre los ETF de Solana
El nuevo ETF de staking de Solana se ha lanzado con una comisión del 0,14 %, un 95 % de recompensas de staking...
Solana ETF
Pablo