ZK Coprocessor

A system enabling smart contracts to verifiably use results of heavy off-chain computation over historical chain data.