Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 A seguir
135 Seguidores
89 Gostaram
7 Partilharam
Publicações
Tudo
Vídeos
Picus recebeu um pouco de amor na chamada Ethproofs #3 da @ethereum 👀 Obrigado @drakefjustin!
Quais são os dois bugs ZK mais frequentes que encontramos? E como evitá-los? @FormallyJon compartilha no podcast @HouseofZK
Quais partes de uma base de código são os principais alvos em auditorias de segurança ZK? @FormallyJon compartilha no podcast @HouseofZK.
Estamos felizes em anunciar nosso trabalho de auditoria de segurança com @Monero, um projeto de longa data no espaço da privacidade.
Além disso, queremos esclarecer e abordar algumas reivindicações e deturpações relacionadas ao nosso trabalho.
1/8
Além disso, queremos esclarecer e abordar algumas reivindicações e deturpações relacionadas ao nosso trabalho.
1/8
Curioso sobre os 3 principais hacks de blockchain das últimas 2 semanas? Aqui está:
A história continua abaixo 🧵
A história continua abaixo 🧵
Auditorias ZK ≠ auditorias de contratos inteligentes. O que as diferencia? @FormallyJon explica no podcast @HouseofZK.
Novo blog: Como você constrói uma aplicação zkVM segura—e como você audita uma? (Parte III da nossa série de segurança zkVM).
Nós percorremos um exemplo concreto usando @RiscZero e mostramos as considerações de segurança que importam no desenvolvimento de aplicativos ZK no mundo real.
Thread 🧵
1/6
Nós percorremos um exemplo concreto usando @RiscZero e mostramos as considerações de segurança que importam no desenvolvimento de aplicativos ZK no mundo real.
Thread 🧵
1/6
Quando começamos a trabalhar em ferramentas ZK, não havia nada disponível. @FormallyJon compartilha nossa jornada de ferramentas de conhecimento zero na entrevista @HouseofZK.
Quando começamos a trabalhar nas ferramentas ZK, não havia nada disponível. @FormallyJon compartilha nossa jornada de ferramentas de conhecimento zero.
O que nos levou a desenvolver o Vanguard, nosso analisador estático, e como o estendemos além do Solidity? @FormallyJon explica no podcast @HouseofZK.
Cannes, você foi incrível! Obrigado a todos que passaram pelo nosso estande e ao @EthCC por nos receber. Aqui está uma festa visual da semana 🌞
Mergulhe nas 3 principais histórias de segurança em blockchain das últimas duas semanas!
A história continua abaixo 🧵
A história continua abaixo 🧵
Perdeu a palestra de @KFerles no @EthCC, “determinismo zkVM que dura: de auditorias a verificação contínua”? Assista à apresentação completa aqui, tivemos uma sala cheia!
O Dia 1 no @EthCC terminou — e todo o brinde na foto? Acabou. O guaxinim foi o favorito da multidão 🦝
Ainda temos alguns sobrando, então passe por aqui amanhã se estiver por perto!
Ainda temos alguns sobrando, então passe por aqui amanhã se estiver por perto!
Saudações do @EthCC — Nosso CTO @KFerles está compartilhando como entregamos determinismo duradouro para zkVMs como @RiscZero
Novo post no blog! Identificando Vulnerabilidades Comuns em zkVMs
(esta é a Parte II da nossa Série de Segurança zkVM)
Embora os zkVMs ajudem a abstrair a complexidade do ZK, eles não eliminam todas as armadilhas 🧵
(esta é a Parte II da nossa Série de Segurança zkVM)
Embora os zkVMs ajudem a abstrair a complexidade do ZK, eles não eliminam todas as armadilhas 🧵
Obtenha uma visão geral das ferramentas ZK da Veridise e um vislumbre do que vem a seguir. @IsilDillig compartilha nossas direções futuras no evento @a16zcrypto.
Nossas ferramentas de detecção ZK anteriormente falharam em 30% dos circuitos ZK. Como resolvemos isso? @IsilDillig compartilha insights de nosso recente artigo de pesquisa.
Como mantemos os circuitos ZK sólidos e determinísticos durante as auditorias? Nosso cofundador @IsilDillig compartilha insights sobre como combinar análise estática e solucionadores SMT em nossas ferramentas ZK.
Os circuitos sobreconstruídos são um desafio em circuitos de conhecimento zero?
Qual representa uma ameaça maior: circuitos subconstruídos ou circuitos sobreconstruídos? @IsilDillig analisa isso.
Qual representa uma ameaça maior: circuitos subconstruídos ou circuitos sobreconstruídos? @IsilDillig analisa isso.
Inicia sessão para explorares mais conteúdos