A execução e verificação nativa de ZK do Avail adiciona:

- Implementações de token nativo

- Contratos inteligentes

- Atestações de TEE, e mais

Tudo verificado na camada base do Avail com provas de conhecimento zero.