Brevis is a ZK “coprocessor” that enables smart contracts to utilize cross-chain data by proving results off-chain. The Jan.