This PR collects a series of minor modifications that I found to be needed while implementing Darlin in GingerLib.
Roughly they are:
Remove the MarlinConfig: add a zk flag only for the prover (verifier doesn't care) to decide among using zk or not, and not using PolyLCs at all;
Use segmentation: disable some checks and modify the universal_setup function to receive the segment size as input;
Separate Indexer Prover/Verifier Keys from Polynomial Commitment Prover/Verifier keys
Since these changes are made specific to support and simplify the Darlin development, we can also decide if to merge this branch in dev or keep it separated if we realize that the changes affect too much the generalization capabilities of this library
This PR collects a series of minor modifications that I found to be needed while implementing Darlin in GingerLib. Roughly they are:
Since these changes are made specific to support and simplify the Darlin development, we can also decide if to merge this branch in dev or keep it separated if we realize that the changes affect too much the generalization capabilities of this library