Popularne tematy
#
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.
Certora
Zabezpieczanie DeFi poprzez audyty inteligentnych kontraktów, weryfikację formalną i przeglądy projektów protokołów. Zaufały nam Aave, Uniswap, Lido, EigenLayer, Solana i inne.
Wypłacalność nie jest domniemana. Jest udowodniona.
Właśnie formalnie zweryfikowaliśmy Earn Vaults @KaminoFinance, obejmujące depozyty, wypłaty, logikę opłat i zaokrąglanie do punktów stałych.
Dowiedz się więcej 👇
21 lip, 22:27
1/ Jesteśmy dumni, że możemy ogłosić, że Kamino Earn Vaults zostały formalnie zweryfikowane przez @CertoraInc — to ważny kamień milowy w zakresie bezpieczeństwa.
To potwierdza, że Kamino Earn spełnia najwyższe standardy bezpieczeństwa, co czyni go najbezpieczniejszym produktem yield na @solana.
W pełni otwarte źródło. 4-krotna audytacja. Formalna weryfikacja.
9,52K
Jeśli temat dotyczy bezpieczeństwa DeFi i rozmowa staje się gorąca, możesz na nas liczyć 🫡
Dzięki @aave za zaproszenie!
22 lip, 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol Dzień rozpoczął się od pikantnej dyskusji na temat bezpieczeństwa z @SagivMooly, @zkBri, @Sh4har i @Montyly.
3,8K
Użytkownik Certora udostępnił ponownie
Błędy w smart kontraktach są kosztowne i trudne do wykrycia:
🔍 Fuzzing pomija rzadkie dane wejściowe
📜 Weryfikacja formalna jest trudna w użyciu
Na @EthCC przedstawiłem, jak w @CertoraInc badamy Bounded Model Checking, praktyczne rozwiązanie, które znajduje rzeczywiste, powtarzalne błędy przy minimalnym przygotowaniu. 👇
3,37K
Użytkownik Certora udostępnił ponownie
Wyniki komponentu Formal Verification o wartości 20 000 USD w ramach audytu konkurencyjnego Blend V2 są już dostępne!
Wielkie podziękowania dla wszystkich, którzy wzięli udział, a ogromne gratulacje dla @alexzoid_eth za zdobycie pierwszego miejsca w pierwszym w historii konkursie formalnej weryfikacji w ekosystemie Stellar!
Duży szacunek dla @blend_capital i @StellarOrg za współpracę z C4 w celu zabezpieczenia Blend V2 i ekosystemu Stellar — oraz dla @CertoraInc za nadzorowanie i ocenianie segmentu formalnej weryfikacji w tej wspólnej rywalizacji.
Pełna lista zwycięzców👇
8,16K
Ogromne podziękowania dla wszystkich, którzy dołączyli do Certora Run w słonecznym Cannes! 🏃🏃🏻♀️
Gdzie powinniśmy ruszyć dalej? 👀
3 lip, 03:52
Cześć @raave’rs 👻
Impreza dzisiaj, Certora Run jutro. Kto jest chętny? 👀
2,13K
Cześć @raave’rs 👻
Impreza dzisiaj, Certora Run jutro. Kto jest chętny? 👀
25 cze 2025
Uwaga @EthCC uczestników! 🏃♂️🌊
Dołącz do nas na naszym popisowym biegu Certora 5K Run & Walk w pięknym Cannes!
Niezależnie od tego, czy jesteś biegaczem, czy spacerowiczem, każdy jest mile widziany.
📅 3 lipca
🕐 Poranny start
💥 Zarejestruj się teraz
3,32K
DeFi Summer Day od @aave zbliża się wielkimi krokami!
Jeśli się wybierasz, porozmawiaj o wszystkim, co związane z bezpieczeństwem, z zespołem Certora i dołącz do naszej dyskusji, aby dowiedzieć się, jak uczynić DeFi solidnym i odpornym.
Do zobaczenia! 👇
30 cze 2025
Kod to prawo. Co jeśli jest błędny?
Uczymy się, jak uczynić DeFi odpornym dzięki bezpieczeństwu z @SagivMooly, @zkBri, @Sh4har i @Montyly.
1,76K
Najlepsze
Ranking
Ulubione