Today let's talk about one of our core technologies, the ZK Coprocessor. The name goes back to 1980. ๐งฎ
Processors back then couldn't do floating-point math at any useful speed, so anything with decimals, square roots or trigonometry in it got worked out slowly in software. Intel's fix was the 8087, a separate chip that did nothing but that kind of math. IBM put a socket for it on the 1981 PC motherboard and left it empty, so you could buy the chip later if your work needed it.
The setup was simple. The main processor would hit something expensive, hand it to the chip built for that job, and carry on with the rest, with gains that ran from marginal to more than fivefold depending on the workload. By 1989 the math had been built into the processor itself and the separate chip went away. However, the word stuck around, because the same problem keeps showing up.
โ๏ธ A smart contract has a harsher version of it. Anything computationally heavy is unaffordable on-chain, so the work has to happen elsewhere, and there's no empty socket two inches away on the same board.
That distance is very important.
The 8087 sat on the same board, so the processor could just believe whatever came back. A coprocessor running on separate hardware has to send back something that proves the answer.
โ That's what the Brevis ZK Coprocessor does. It reads years of on-chain history for example, runs whatever computation you need across it, and returns the result with a zero-knowledge proof, so a contract gets an answer it could never have afforded to work out itself, and can check that answer in one cheap step.