Populaire onderwerpen
#
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 🌱
Premier Partner in Protocol Design & Cross-Chain Infrastructure | Accountantscontrole | Validator | Incubatie @cyclesmoney | Ondersteuning van projecten in een vroeg stadium @informalvc
Kun je precies beschrijven wat een "juiste staat" van jouw systeem is? Zo ja, dan heb je een inductieve invariant. Dat betekent dat jouw systeem minder waarschijnlijk slechte dingen zal doen EN dat je dichter bij het bewijzen ervan bent.
We hebben een gids geschreven over hoe je daar kunt komen ⬇️
617
Informal Systems 🌱 heeft opnieuw gepost
DeFi-gebruikers besteden veel te veel tijd aan het zoeken naar rendement, het herbouwen van hun posities over verschillende platforms naarmate de tarieven verschuiven, het bruggen van activa, het verpakken van derivaten, enz.
We bouwen een oplossing die hen in staat stelt om te storten en de hoogste laag-risico rendementen te krijgen die op de markt beschikbaar zijn op elk gegeven moment.
1,07K
De nieuwe Alpenglow-consensus van Solana heeft nu een Quint-specificatie.
In plaats van het protocol uit te leggen, geven we je de tools om het zelf te begrijpen. De blogpost helpt je op weg met de interactieve tools en daagt je uit om scenario's te bouwen waarin Byzantijnse knooppunten onenigheid veroorzaken.
Kun jij de consensus breken? ⬇️
2,07K
.@josef_widder legt uit waarom beveiliging begint met ontwerp, niet alleen met codebeoordeling, op @MacrocosmPod ↴
10 jul 2025
Systeemontwerp, Beveiligingsbedreigingen & Audits met @informalinc 's @josef_widder
0:00 Intro & Rol
1:26 Academische Wortels
4:19 Audits Voor Crypto
7:07 Natuur van Beveiliging
9:22 Ontwerp vs Bouw
12:15 Grenzen van Audits
14:51 Bedreigingsmodellering
17:21 Langdurige Beveiliging
20:13 Afbakening van Audits
23:28 Volledige Stack Risico
26:23 Consensus & SC's
28:54 Bruggen & Laag
31:00 Tendermint & Rust
35:01 Protocollen Bouwen
38:52 Formele Specificaties
42:29 Anoma Gedachten
43:29 Auditproces
46:02 Taalkeuzes
48:56 Vroeg Betrokken
52:16 Kosten & Waarde
832
Boven
Positie
Favorieten