Skip to content

Plonk : reduce the number of Domain.build

Anne-Laure requested to merge al@domain into master

When looking at perf on the aggregation of a large number of proof, a high stack appears because Domain.build is called in compute_PI. This MR uses the fact that the domain is already in evaluations to avoid using Domain.build.

Plus it removes a useless function from evaluations.ml.

Merge request reports