Pragma Network 是一个 zk rollup 原生的预言机，它利用 zk 计算的增加容量来提供可验证性、可组合性和功能方面的改进。