🧵 Nos últimos meses, publicámos uma série de posts no blog explorando os desafios técnicos e as ideias que moldam as provas de conhecimento nulo, a criptografia e a segurança. Este tópico reúne o mais recente, desde a deteção de bugs usando IA até SNARKs pós-quânticos 👇