Refactor the PIL2-proofman-js codebase to align with PIL2-proofman-rust

[xavi-pinsach]

[xavi-pinsach]

TODO List (add all tasks pending)

• Generate a STARK from PIL2 with one subproof and one air
• Make pil2 stark tests (simple+fibonacci) work in this repo
• Integrate PIL verify as a "debug" flag
• Integrate basic verifiers circom circuits in tests
• Generate a STARK from PIL2 with one subproof and multiple airs
• Generate a STARK from PIL2 with multiple subproofs and multiple air
• WIP Generate first VADCOP proof
• WIP Changing behaviour of the proof manager to adapt new requirements when calling executors

[xavi-pinsach]

✅ Done

• New Executor's communication architecture with threading
• Create and Verify a STARK proof with 1 subproof : 1 AIR using publics from hints
• Create a STARK proof(s) with N subproofs : M AIRs using publics from hints. NOTE: challenges synchronised from a binary tree (aggregated) root hash.
• Verify a STARK proof(s) with N subproofs : M AIRs using publics from hints

🏗️ In progress

• Add a layer to access memory from PIL2-proofman / PIl2 -stark (already done in PIL2-STARK, we integrate it this week)
• Generate documentation for currently developed code

🔜 Next

• Create and Verify a STARK proof with N subproofs : M AIRs aggregating AIRs

👀 In review

• Executors' communication architecture

[xavi-pinsach]

✅ Done
New Executor's communication architecture with threading
PIL2-Stark refactor to calculate expressions independently
🏗️ In progress
Integrating recursive aggregation circuits
New memory API management progress:
Implemented in JavaScript. Integration pending this week.
WIP in RUST (API management nearly complete, next step involves creating a prototype to simulate the communication architecture using threading with this API).
Generate documentation for currently developed code
🔜 Next
Create and Verify a STARK proof with N subproofs : M AIRs aggregating AIRs
📋 Backlog
Explore GKR to assess its potential impact on our prover