Rubriques tendance
#
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 🌱
Partenaire Premier dans la conception de protocoles et l’infrastructure inter-chaînes | Audits | Validateur | Incubation @cyclesmoney | Soutenir les projets en phase de démarrage @informalvc
Pouvez-vous décrire précisément ce qu'est un "état correct" de votre système ? Si oui, vous avez un invariant inductif. Cela signifie que votre système est moins susceptible de faire de mauvaises choses ET que vous êtes plus proche de le prouver.
Nous avons écrit un guide sur la façon d'y parvenir ⬇️
668
Informal Systems 🌱 a reposté
Les utilisateurs de la DeFi passent beaucoup trop de temps à chercher du rendement, à rééquilibrer les sites à mesure que les taux évoluent, à faire le lien entre les actifs, à encapsuler les produits dérivés, etc.
Nous construisons une solution qui leur permettra de déposer et d’obtenir les rendements à faible risque les plus élevés disponibles sur le marché à un moment donné.
1,1K
Le rapport d’audit de l’exécution de bout en bout des transactions protégées et de la cohérence du solde utilisateur de la @anoma Foundation of @namada est maintenant en ligne.
Nous avons effectué un examen complet de la sécurité de la synchronisation protégée, des flux de transactions et de la logique de validation.
829
Le nouveau consensus Alpenglow de Solana a maintenant une spécification Quint.
Au lieu d'expliquer le protocole, nous vous donnons les outils pour le comprendre par vous-même. L'article de blog vous aide à démarrer avec les outils interactifs et vous met au défi de construire des scénarios où des nœuds byzantins provoquent des désaccords.
Pouvez-vous briser le consensus ? ⬇️
2,13K
.@josef_widder explique pourquoi la sécurité commence par la conception, pas seulement par la révision du code, sur @MacrocosmPod ↴
10 juil. 2025
Conception de systèmes, menaces de sécurité et audits avec @informalinc 's @josef_widder
0:00 Introduction & Rôle
1:26 Racines académiques
4:19 Audits avant la crypto
7:07 Nature de la sécurité
9:22 Conception vs Construction
12:15 Limites des audits
14:51 Modélisation des menaces
17:21 Sécurité à long terme
20:13 Définition des audits
23:28 Risque Full Stack
26:23 Consensus & SCs
28:54 Ponts & Couches
31:00 Tendermint & Rust
35:01 Construction de protocoles
38:52 Spécifications formelles
42:29 Pensées sur Anoma
43:29 Processus d'audit
46:02 Choix de langage
48:56 Implication précoce
52:16 Coût & Valeur
889
Meilleurs
Classement
Favoris