Constant-Size zk-SNARKs in ROM from Falsifiable Assumptions