Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 A seguir
130 Seguidores
63 Gostaram
6 Partilharam
Publicações
Vídeos
Ver original
Estamos de volta com as 3 principais notícias de segurança em blockchain das últimas 3 semanas:
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
Sintonize para uma conversa profunda ao lado da lareira com Rami Khalil (@hashcashier), Engenheiro de Protocolo Sênior na @RiscZero e @boundless_xyz, enquanto exploramos o espaço de design para construir aplicações no RISC Zero zkVM.
Hospedado por @FormallyJon da @VeridiseInc.
https://www.youtube.com/watch?v=fQ4T8D-YhbQ
Hospedado por @FormallyJon da @VeridiseInc.
https://www.youtube.com/watch?v=fQ4T8D-YhbQ
Ver original
🔍 Estamos contratando! Junte-se à Veridise como o Chefe de Marketing de Produto e lidere o marketing do AuditHub, nossa plataforma de auditoria em blockchain de próxima geração.
Adoraríamos ouvir de você → Encontre a descrição do trabalho em nossa página de carreiras!
Adoraríamos ouvir de você → Encontre a descrição do trabalho em nossa página de carreiras!
Ver original
Recentemente concluímos uma auditoria de segurança com @malda_xyz — um protocolo de empréstimo de liquidez unificado na Ethereum e L2s, construído sobre @RiscZero zkVM.
Obrigado, Malda, por confiar em nós para suas necessidades de segurança!
Obrigado, Malda, por confiar em nós para suas necessidades de segurança!
Ver original
Sua dose quinzenal das 3 principais notícias de segurança em blockchain está aqui!
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
Como se preparar para uma auditoria de segurança: Seleção de commits e congelamento de recursos.
É vital reservar um commit específico do seu código. Isso estabelece um ponto de referência estável e garante clareza durante todo o processo. Isso pode ser feito até o dia anterior ao início da auditoria.
1/3
É vital reservar um commit específico do seu código. Isso estabelece um ponto de referência estável e garante clareza durante todo o processo. Isso pode ser feito até o dia anterior ao início da auditoria.
1/3
Ver original
Definir o escopo da sua auditoria de segurança em blockchain não é apenas trabalho administrativo — é fundamental.
Identifique partes específicas do seu projeto de blockchain com o maior risco, como contratos inteligentes, serviços de back-end conectados ou circuitos ZK.
1/3
Identifique partes específicas do seu projeto de blockchain com o maior risco, como contratos inteligentes, serviços de back-end conectados ou circuitos ZK.
1/3
Ver original
Estamos de volta com as 3 principais notícias de segurança em blockchain das últimas duas semanas!
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
Construindo contratos inteligentes no Soroban da @StellarOrg? Este post no blog é uma leitura obrigatória.
Nosso analista de segurança Alberto compilou esta lista de verificação de segurança prática com base em problemas reais de nossas auditorias do Soroban. Vamos mergulhar 👇
1/7
Nosso analista de segurança Alberto compilou esta lista de verificação de segurança prática com base em problemas reais de nossas auditorias do Soroban. Vamos mergulhar 👇
1/7
Ver original
Quando as saídas da ferramenta de segurança carecem de contexto, elas se tornam um desperdício de tempo. As melhores ferramentas amplificam o julgamento humano—não o substituem. Estamos preparando recursos novos e empolgantes no AuditHub 👀
Ver original
Procurando sua dose semanal das principais notícias de segurança em blockchain? Aqui está!
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
🔐 Novo post no blog: Desde julho de 2024, trabalhamos em estreita colaboração com @RiscZero para elevar o padrão de segurança do zkVM.
O resultado? Garantias prováveis e verificação contínua automatizada — impulsionada pela nossa ferramenta ZK, Picus 🧵
1/7
O resultado? Garantias prováveis e verificação contínua automatizada — impulsionada pela nossa ferramenta ZK, Picus 🧵
1/7
Ver original
Estamos aqui com as 3 principais notícias de segurança em blockchain da semana!
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
Indo para Sofia para @zkproof ou @RealWorldCrypto?
Nossa Chefe de Ferramentas ZK @ShankaraPailoo2 e BD @kulm1nski estarão na cidade—vamos nos conectar e falar sobre tudo relacionado à segurança ZK!
Nossa Chefe de Ferramentas ZK @ShankaraPailoo2 e BD @kulm1nski estarão na cidade—vamos nos conectar e falar sobre tudo relacionado à segurança ZK!
Ver original
Pronto para as 3 principais notícias de segurança em blockchain da semana? Aqui está!
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
Estamos empolgados em anunciar que recebemos uma concessão da @ethereumfndn para construir uma Representação Intermediária (IR) de código aberto para linguagens de circuitos ZK. Nós chamamos isso de LLZK.
Thread (1/8) 🧵
Thread (1/8) 🧵
Ver original
Aqui está sua dose diária das principais notícias de segurança em blockchain!
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
Você está desenvolvendo aplicativos ZK-VM, como os da @RiscZero? Esta é uma palestra que você não pode perder.
Descobrindo Riscos de Segurança Ocultos em Aplicativos ZK-VM por @FormallyJon
https://www.youtube.com/watch?v=uzjZkyiujo8
Descobrindo Riscos de Segurança Ocultos em Aplicativos ZK-VM por @FormallyJon
https://www.youtube.com/watch?v=uzjZkyiujo8
Ver original
Estamos de volta com as 3 principais notícias de segurança em blockchain da semana!
A história continua abaixo 🧵
A história continua abaixo 🧵
Ver original
Painel sobre o Futuro de ZK e Serviços de Prova com @FormallyJon @vanishree_rao @DacEconomy @Shubhamb126 no @Zk_Hub_Global. Moderado de forma suave por @zkLumi!
Inicia sessão para explorares mais conteúdos