Trend-Themen
#
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 🌱
Führender Partner für Protokolldesign und Cross-Chain-Infrastruktur | Wirtschaftsprüfungen | Validator | Inkubation @cyclesmoney | Unterstützung von Projekten in der Frühphase @informalvc
Können Sie genau beschreiben, was ein "korrekter Zustand" Ihres Systems ist? Wenn ja, haben Sie ein induktives Invarianz. Das bedeutet, dass Ihr System weniger wahrscheinlich schlechte Dinge tut UND Sie näher daran sind, es zu beweisen.
Wir haben einen Leitfaden geschrieben, wie Sie dorthin gelangen ⬇️
645
Informal Systems 🌱 erneut gepostet
DeFi-Nutzer verbringen viel zu viel Zeit damit, nach Renditen zu suchen, sich über verschiedene Plattformen hinweg neu zu balancieren, während sich die Zinssätze ändern, Vermögenswerte zu überbrücken, Derivate zu verpacken usw.
Wir entwickeln eine Lösung, die es ihnen ermöglicht, einzuzahlen und die höchsten verfügbaren risikoarmen Renditen auf dem Markt zu erhalten.
1,09K
Der Prüfbericht für die @anoma-Stiftung über die End-to-End-Ausführung von geschützten Transaktionen und die Konsistenz der Benutzerkonten von @namada ist jetzt verfügbar.
Wir haben eine umfassende Sicherheitsüberprüfung der geschützten Synchronisation, der Transaktionsabläufe und der Validierungslogik durchgeführt.
808
Solanas neuer Alpenglow-Konsens hat jetzt eine Quint-Spezifikation.
Anstatt das Protokoll zu erklären, geben wir dir die Werkzeuge, um es selbst zu verstehen. Der Blogbeitrag bringt dich mit den interaktiven Werkzeugen auf den richtigen Weg und fordert dich heraus, Szenarien zu erstellen, in denen byzantinische Knoten Meinungsverschiedenheiten verursachen.
Kannst du den Konsens brechen? ⬇️
2,1K
.@josef_widder erklärt, warum Sicherheit mit dem Design beginnt und nicht nur mit der Code-Überprüfung, auf @MacrocosmPod ↴
10. Juli 2025
Systemdesign, Sicherheitsbedrohungen & Audits mit @informalinc 's @josef_widder
0:00 Einführung & Rolle
1:26 Akademische Wurzeln
4:19 Audits vor Krypto
7:07 Natur der Sicherheit
9:22 Design vs. Bau
12:15 Grenzen von Audits
14:51 Bedrohungsmodellierung
17:21 Langfristige Sicherheit
20:13 Umfang von Audits
23:28 Vollständiges Risiko
26:23 Konsens & SCs
28:54 Brücken & Schichten
31:00 Tendermint & Rust
35:01 Protokolle erstellen
38:52 Formale Spezifikationen
42:29 Anoma Gedanken
43:29 Auditprozess
46:02 Sprachwahl
48:56 Frühe Einbindung
52:16 Kosten & Wert
866
Top
Ranking
Favoriten