Fast-track constraint system assembly for the prover

[weikengchen]

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

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned