Argomenti di tendenza
#
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 nella progettazione di protocolli e infrastrutture cross-chain | Verifiche contabili | Validatore | Incubazione @cyclesmoney | Sostegno ai progetti in fase iniziale @informalvc
Informal Systems 🌱 ha ripubblicato
Gli utenti DeFi trascorrono troppo tempo a cercare rendimento, riequilibrando tra le piattaforme man mano che i tassi cambiano, trasferendo asset, impacchettando derivati, ecc.
Stiamo costruendo una soluzione che permetterà loro di depositare e ottenere i migliori rendimenti a basso rischio disponibili sul mercato in qualsiasi momento.
1,07K
Il rapporto di audit per la Fondazione @anoma sull'esecuzione end-to-end delle transazioni protette di @namada e sulla coerenza dei saldi degli utenti è ora disponibile.
Abbiamo condotto una revisione della sicurezza completa della sincronizzazione protetta, dei flussi di transazione e della logica di validazione.
756
Il nuovo consenso Alpenglow di Solana ha ora una specifica Quint.
Invece di spiegare il protocollo, ti diamo gli strumenti per comprenderlo da solo. Il post del blog ti introduce agli strumenti interattivi e ti sfida a costruire scenari in cui i nodi bizantini causano disaccordo.
Riesci a rompere il consenso? ⬇️
2,05K
.@josef_widder spiega perché la sicurezza inizia con il design, non solo con la revisione del codice, su @MacrocosmPod ↴
10 lug 2025
Progettazione del sistema, minacce alla sicurezza e audit con @informalinc 's @josef_widder
0:00 Introduzione e ruolo
1:26 Radici accademiche
4:19 Audit prima della crypto
7:07 Natura della sicurezza
9:22 Progettazione vs Costruzione
12:15 Limiti degli audit
14:51 Modellazione delle minacce
17:21 Sicurezza a lungo termine
20:13 Definizione degli audit
23:28 Rischio Full Stack
26:23 Consenso e SC
28:54 Ponti e Layer
31:00 Tendermint e Rust
35:01 Costruire protocolli
38:52 Specifiche formali
42:29 Pensieri su Anoma
43:29 Processo di audit
46:02 Scelte linguistiche
48:56 Coinvolgimento precoce
52:16 Costo e valore
817
Principali
Ranking
Preferiti