pragma network é um oráculo nativo de zk rollup que aproveita a capacidade aumentada da computação zk para oferecer melhorias em verificabilidade, composibilidade e funcionalidade.