Brevis Network, a ZK coprocessor, raises $7.5 million in seed token round