Brevis coChain introduces a new “propose-challenge” ZK Coprocessor model that blends Proof-of-Stake crypto-economics with Zero-Knowledge proofs. Instead of always generating expensive ZK proofs upfront (pure-ZK model), validators propose results via PoS, which can be challenged during a short window with ZK proofs. If challenged successfully, validators get slashed on Ethereum. This design: • Cuts costs & latency compared to pure-ZK. • Enables new features like proof of non-existence (previou...