Open morganthomas opened 2 years ago
We need the ability to split up the verification computation into n many pieces which each use a piece of the proof, as close as practical to k/n in size, where k is the proof size.
We need the ability to split up the verification computation into n many pieces which each use a piece of the proof, as close as practical to k/n in size, where k is the proof size.