feat: split `create_proof`

[guorong009]

Description

• Split the create_proof function into focused/stage functions

Related issues

• Resolve #247

Changes

• create new focused/stage functions in Prover struct, like gen_permuted_lookups, ...
• refactor the create_proof so that it uses the stage functions

[codecov-commenter]

:warning: Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 85.13%. Comparing base (553953d) to head (8e8d884).

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #365      +/-   ##
==========================================
+ Coverage   85.00%   85.13%   +0.12%     
==========================================
  Files          85       85              
  Lines       18711    18862     +151     
==========================================
+ Hits        15906    16058     +152     
+ Misses       2805     2804       -1     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.