Brevis Network, sıfır‑bilgi (ZK) teknolojisini temel alan ve özellikle “off‑chain hesaplama + on‑chain doğrulama” paradigması