Tendencias del momento
#
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 🌱
Socio Premier en Diseño de Protocolos e Infraestructura de Cadena Cruzada | Auditorías | Validador | Incubación @cyclesmoney | Apoyo a proyectos en fase inicial @informalvc
Informal Systems 🌱 republicó
Los usuarios de DeFi pasan demasiado tiempo buscando rendimiento, reequilibrando entre plataformas a medida que las tasas cambian, puentando activos, envolviendo derivados, etc.
Estamos construyendo una solución que les permitirá depositar y obtener los mayores rendimientos de bajo riesgo disponibles en el mercado en cualquier momento.
1,07K
El informe de auditoría para la Fundación @anoma sobre la ejecución de transacciones protegidas y la consistencia del saldo de usuarios de @namada está ahora disponible.
Realizamos una revisión de seguridad integral de la sincronización protegida, los flujos de transacciones y la lógica de validación.
774
El nuevo consenso Alpenglow de Solana ahora tiene una especificación Quint.
En lugar de explicar el protocolo, te estamos dando las herramientas para que lo entiendas por ti mismo. La publicación del blog te inicia con las herramientas interactivas y te desafía a construir escenarios donde los nodos bizantinos causen desacuerdo.
¿Puedes romper el consenso? ⬇️
2,07K
.@josef_widder explica por qué la seguridad comienza con el diseño, no solo con la revisión de código, en @MacrocosmPod ↴
10 jul 2025
Diseño del sistema, amenazas de seguridad y auditorías con @informalinc 's @josef_widder
0:00 Introducción y rol
1:26 Raíces académicas
4:19 Auditorías antes de Crypto
7:07 Naturaleza de la seguridad
9:22 Diseño vs Construcción
12:15 Límites de las auditorías
14:51 Modelado de amenazas
17:21 Seguridad a largo plazo
20:13 Alcance de las auditorías
23:28 Riesgo de pila completa
26:23 Consenso y SCs
28:54 Puentes y capas
31:00 Tendermint y Rust
35:01 Construyendo protocolos
38:52 Especificaciones formales
42:29 Pensamientos sobre Anoma
43:29 Proceso de auditoría
46:02 Elecciones de lenguaje
48:56 Participación temprana
52:16 Costo y valor
833
Parte superior
Clasificación
Favoritos