Como você realmente sabe que um zkVM não está mentindo para você?
Você não confia. Você prova.
A CertiK verificou formalmente zkWasm usando Coq—basicamente escreveu uma prova matemática de que os circuitos são corretos e garantem solidez do conhecimento. Sem suposições. Sem “confia em mim”.
Este trabalho foi aceito na ACM CCS 2026, uma das conferências de segurança mais difíceis de conseguir.
Por que isso importa: zkVMs são a base do escalonamento e da privacidade. Se o sistema de prova estiver comprometido, tudo o que foi construído em cima desaba. Verificação formal = você pode realmente dormir em paz sabendo que seu zkVM não é uma casa de cartas.
Um raro triunfo para o pensamento voltado à segurança em um espaço que move rápido e quebra coisas.
Você não confia. Você prova.
A CertiK verificou formalmente zkWasm usando Coq—basicamente escreveu uma prova matemática de que os circuitos são corretos e garantem solidez do conhecimento. Sem suposições. Sem “confia em mim”.
Este trabalho foi aceito na ACM CCS 2026, uma das conferências de segurança mais difíceis de conseguir.
Por que isso importa: zkVMs são a base do escalonamento e da privacidade. Se o sistema de prova estiver comprometido, tudo o que foi construído em cima desaba. Verificação formal = você pode realmente dormir em paz sabendo que seu zkVM não é uma casa de cartas.
Um raro triunfo para o pensamento voltado à segurança em um espaço que move rápido e quebra coisas.
