A solução zkWASM é bastante elegante.
Os desenvolvedores podem escrever código em linguagens populares como Rust, C, C++ e AssemblyScript, que, após serem compiladas para o formato WASM, geram automaticamente provas de conhecimento zero. Tarefas intensivas em cálculos são executadas fora da cadeia, enviando apenas provas leves para validação na cadeia, reduzindo os custos em várias ordens de magnitude. O mesmo módulo WASM pode ser executado de forma eficiente fora da cadeia e também através de ZK.
Ver original