Esta conversa entre a ZKM Education Lead @alicelingl e Jon Stephens da @VeridiseInc sobre a aplicação de métodos formais de segurança é imperdível para quem está construindo infraestrutura ZK 🤝

House of ZK Radio #49: Jon Stephens, CEO da Veridise - já disponível no Spotify e no YouTube 🔲🔳

Neste episódio, conversamos com @FormallyJon, cofundador e CEO da @VeridiseInc, para explorar o estado da segurança em sistemas de zero-knowledge.

Desde auditorias de smart contracts até a verificação formal de circuitos ZK e ZKVMs, Jon explica onde as coisas dão errado, como a Veridise constrói ferramentas internas como Vanguard e Picasso, e o que os desenvolvedores devem saber ao construir aplicações verificáveis.

Conteúdo essencial para quem leva a sério a segurança ZK 🤝

Spotify: https://t.co/PPUMHyf4sj

YouTube: https://t.co/FbkbRCLq7L