NEBRA's Universal Proof Aggregation is looking to drive down the cost of validating computation-intensive ZK-proofs.