Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
це було в недавньому приватному аудиті Cyfrin, чудові речі @alexzoid_eth !
28 серп. 2025 р.
У минулому приватному спілкуванні з аудиторами моя @CertoraInc Formal Verification дійсна державна власність була спіймана на CRIT при складанні складного протоколу кредитування, який був пропущений ручними перевірками.
Яскравий доказ цінності FV в доповненні фаззінгу та класичних аудитів.
2,82K
Найкращі
Рейтинг
Вибране