Brevis

A Smart ZK Coprocessor For Blockchains