Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Siguiendo
135 Seguidores
89 Me gusta
7 compartieron
Publicaciones
Todo
Videos
Picus recibió un poco de amor en la llamada Ethproofs #3 de @ethereum 👀 ¡Gracias @drakefjustin!
¿Cuáles son los dos errores de ZK más frecuentes que encontramos? ¿Y cómo esquivarlos? @FormallyJon comparte en el podcast de @HouseofZK
¿Qué partes de una base de código son los principales objetivos en las auditorías de seguridad de ZK? @FormallyJon comparte en el podcast de @HouseofZK.
Nos complace anunciar nuestro trabajo de auditoría de seguridad con @Monero, un proyecto de larga data en el espacio de la privacidad.
Además, queremos aclarar y abordar algunas afirmaciones y tergiversaciones sobre nuestro trabajo.
1/8
Además, queremos aclarar y abordar algunas afirmaciones y tergiversaciones sobre nuestro trabajo.
1/8
¿Tienes curiosidad por los 3 principales hacks de blockchain de las últimas 2 semanas? Aquí tienes:
La historia continúa a continuación 🧵
La historia continúa a continuación 🧵
Las auditorías de ZK ≠ auditorías de contratos inteligentes. ¿Qué las distingue? @FormallyJon lo explica en el podcast de @HouseofZK.
Nuevo blog: ¿Cómo construyes una aplicación zkVM segura—y cómo auditas una? (Parte III de nuestra serie de seguridad zkVM).
Pasamos por un ejemplo concreto usando @RiscZero, y mostramos las consideraciones de seguridad que importan en el desarrollo real de aplicaciones ZK.
Hilo 🧵
1/6
Pasamos por un ejemplo concreto usando @RiscZero, y mostramos las consideraciones de seguridad que importan en el desarrollo real de aplicaciones ZK.
Hilo 🧵
1/6
Cuando comenzamos a trabajar en las herramientas de ZK, no había nada disponible. @FormallyJon comparte nuestro viaje de herramientas de conocimiento cero en la entrevista de @HouseofZK.
Cuando comenzamos a trabajar en las herramientas de ZK, no había nada disponible. @FormallyJon comparte nuestro viaje de herramientas de conocimiento cero.
Cannes, ¡fuiste increíble! Gracias a todos los que pasaron por nuestro stand y a @EthCC por acogernos. Aquí hay un festín visual de la semana 🌞
¡Sumérgete en las 3 principales historias de seguridad de blockchain de las últimas dos semanas!
La historia continúa a continuación 🧵
La historia continúa a continuación 🧵
¿Te perdiste la charla de @KFerles en @EthCC, “determinismo zkVM que dura: de auditorías a verificación continua”? Mira la presentación completa aquí, ¡teníamos una sala llena!
El Día 1 en @EthCC ha terminado — ¿y todos los regalos en la foto? Se han ido. El mapache fue el favorito de la multitud 🦝
Todavía nos quedan algunos, así que pásate mañana si estás por aquí!
Todavía nos quedan algunos, así que pásate mañana si estás por aquí!
Saludos desde @EthCC — Nuestro CTO @KFerles está compartiendo cómo ofrecemos un determinismo duradero para zkVMs como @RiscZero
¡Nueva publicación en el blog! Identificando vulnerabilidades comunes en zkVMs
(esta es la Parte II de nuestra serie de seguridad de zkVM)
Mientras que los zkVMs ayudan a abstraer la complejidad de ZK, no eliminan todas las trampas 🧵
(esta es la Parte II de nuestra serie de seguridad de zkVM)
Mientras que los zkVMs ayudan a abstraer la complejidad de ZK, no eliminan todas las trampas 🧵
Obtén una visión general de las herramientas ZK de Veridise y un vistazo a lo que viene. @IsilDillig comparte nuestras direcciones futuras en el evento @a16zcrypto.
Nuestras herramientas de detección ZK anteriormente se agotaron en el 30% de los circuitos ZK. ¿Cómo resolvimos esto? @IsilDillig comparte ideas de nuestro reciente artículo de investigación.
¿Cómo mantenemos los circuitos ZK sólidos y deterministas durante las auditorías? Nuestra cofundadora @IsilDillig comparte ideas sobre la combinación de análisis estático y solucionadores SMT en nuestras herramientas ZK.
¿Son los circuitos sobreconstruidos un desafío en los circuitos de conocimiento cero?
¿Cuál representa una mayor amenaza: los circuitos subconstruidos o los circuitos sobreconstruidos? @IsilDillig lo explica.
¿Cuál representa una mayor amenaza: los circuitos subconstruidos o los circuitos sobreconstruidos? @IsilDillig lo explica.
Inicia sesión para explorar más contenidos