Pragma Network 是一個 zk rollup 原生的預言機，它利用 zk 計算的增加容量來提供可驗證性、可組合性和功能方面的改進。