Populární témata
#
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.
Informal Systems 🌱
Prémiový partner v oblasti návrhu protokolů a cross-chain infrastruktury | Audity | Validátor | Inkubační @cyclesmoney | Podpora projektů v rané fázi @informalvc
Informal Systems 🌱 repostoval/a
Uživatelé DeFi tráví příliš mnoho času hledáním výnosů, rebalancováním mezi místy podle toho, jak se mění sazby, překlenovacím aktivem, balením derivátů atd.
Budujeme řešení, které jim umožní vkládat a získat nejvyšší výnosy s nízkým rizikem, které jsou na trhu v daném okamžiku k dispozici.
1,07K
Nový konsensus Solana Alpenglow má nyní specifikaci Quint.
Místo vysvětlování protokolu vám dáváme nástroje, abyste mu porozuměli sami. Příspěvek na blogu vás seznámí s interaktivními nástroji a vyzve vás k vytvoření scénářů, ve kterých byzantské uzly způsobují neshody.
Můžete rozbít konsensus? ⬇️
2,07K
.@josef_widder rozebírá, proč bezpečnost začíná návrhem, nejen kontrolou kódu, na @MacrocosmPod ↴
10. 7. 2025
Systémový návrh, bezpečnostní hrozby a audity s @informalinc @josef_widder
0:00 Intro & Role
1:26 Akademické kořeny
4:19 Audity před kryptografií
7:07 Povaha bezpečnosti
9:22 Design vs Build
12:15 Limity auditů
14:51 Modelování hrozeb
17:21 Dlouhodobá bezpečnost
20:13 Audity rozsahu
23:28 Riziko plného zásobníku
26:23 Konsensus a SC
28:54 Mosty a vrstvy
31:00 Máta a rez
35:01 Tvorba protokolů
38:52 Formální specifikace
42:29 Myšlenky
43:29 Proces auditu
46:02 Volby jazyka
48:56 Brzké zapojení
52:16 Náklady a hodnota
834
Top
Hodnocení
Oblíbené