The LC inlining time seems to be taking a significant portion of the proof generation. Yet, we know that the result can be cached or included in the proving key with some care. In that case, we may allow the prover to finish the construction of the constraint system in a fast-track manner.
This is also important for hardware-software codesign.
Problem Definition
See if there is a systematic way to allow the prover to get some precomputation from the indexer, so it can save the time in constraint assembly and LC inlining.
Proposal
Make the LC result serializable. Think about a general-purpose framework for loading the prover parameters from files.
Summary
The LC inlining time seems to be taking a significant portion of the proof generation. Yet, we know that the result can be cached or included in the proving key with some care. In that case, we may allow the prover to finish the construction of the constraint system in a fast-track manner.
This is also important for hardware-software codesign.
Problem Definition
See if there is a systematic way to allow the prover to get some precomputation from the indexer, so it can save the time in constraint assembly and LC inlining.
Proposal
Make the LC result serializable. Think about a general-purpose framework for loading the prover parameters from files.
For Admin Use