Temas en tendencia
#
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 🌱 reposteó
Los usuarios de DeFi pasan demasiado tiempo buscando rendimiento, reequilibrando entre lugares a medida que cambian las tasas, puenteando activos, envolviendo derivados, etc.
Estamos construyendo una solución que les permitirá depositar y obtener los rendimientos de bajo riesgo más altos disponibles en el mercado en un momento dado.
1.14K
El informe de auditoría para la ejecución de extremo a extremo de la Fundación @anoma de transacciones blindadas y la consistencia del saldo del usuario de @namada ya está disponible.
Realizamos una revisión de seguridad exhaustiva de la sincronización blindada, los flujos de transacciones y la lógica de validación.
952
El nuevo consenso Alpenglow de Solana ahora tiene una especificación Quint.
En lugar de explicar el protocolo, le brindamos las herramientas para que lo comprenda usted mismo. La publicación del blog lo ayuda a comenzar con las herramientas interactivas y lo desafía a crear escenarios en los que los nodos bizantinos causan desacuerdo.
¿Puedes romper el consenso? ⬇️
2.25K
.@josef_widder explica por qué la seguridad comienza con el diseño, no solo con la revisión del código, en @MacrocosmPod ↴
10 jul 2025
Diseño de Sistemas, 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 las criptomonedas
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 Auditorías de alcance
23:28 Riesgo de pila completa
26:23 Consenso y SCs
28:54 Puentes y capas
31:00 Menta y óxido
35:01 Protocolos de construcción
38:52 Especificaciones formales
42:29 Pensamientos de Anoma
43:29 Proceso de auditoría
46:02 Opciones de idioma
48:56 Participación temprana
52:16 Costo y Valor
993
Populares
Ranking
Favoritas