Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

PIL2-proofman in RUST. New PIL2 generic and versatile proof manager #1

Open
xavi-pinsach opened this issue Nov 29, 2023 · 1 comment
Open

PIL2-proofman in RUST. New PIL2 generic and versatile proof manager #1

xavi-pinsach opened this issue Nov 29, 2023 · 1 comment
Assignees
@xavi-pinsach
Labels
zkevm-zkprover

Comments

@xavi-pinsach
Copy link
Member

No description provided.

@xavi-pinsach xavi-pinsach self-assigned this Nov 29, 2023
@xavi-pinsach xavi-pinsach changed the title PIL2-proofman. New PIL2 generic and versatile proof manager PIL2-proofman in RUST. New PIL2 generic and versatile proof manager Nov 29, 2023
@xavi-pinsach
Copy link
Member Author

xavi-pinsach commented Feb 8, 2024 •
edited
Loading

Witness computation:

  • 🏗 Prepare secondary SM in RUST to be called from Proofman
  • 🔜 Rewrite zkEVM PIL to leverage the new features of PIL2
  • 🔜 Move main state machine and all involved staff to PIL2 (RUST?)
  • 🔜 Move state machines to PIL2&RUST

Proofman

  • ✅ Proofman coordinating the proof generation process as is currently
  • ✅ Use the new STARK generalization function calls
  • 🏗 Enhance Proofman to fully support VADCOPS (Expressions + Hints)

Stark Prover

  • ✅ Modify the C++ prover to decouple and generalize function calls.
  • 🏗 Enhance eStark prover to fully support VADCOPS (Expressions + Hints)
  • ✅ Expressions (Rick & Roger)
    • ✅ Refactor Parser generation and Goldilocks implementation
    • ✅ Generic parser with only 55 optcodes working with slightly better performance than current one
    • ✅ Final improvements ongoing - currently 20% faster than current implementation (end of this week)

Others

  • 📋 Implementation & Integration
  • 📋 Audit
  • 📋 Goldilocks AVX performance comparison tests pending

Concurrent tasks

  • ♻️ QA, testing
  • ♻️ Documentation

sam0x17 pushed a commit that referenced this issue Oct 3, 2024
@RogerTaule @xavi-pinsach
Hints multiarray (#1)
6d03bca 
* Adding support to expressions hints multiarray

* Minor fixes

* Fixing hints strings

* Adding logger improvements

* Importing logger.hpp in utils

* Moving some logs to debug mode

* Fix typo

* Fixing calculate_xdivxsub method

* Modify Makefile for bctree

* align console output to pil2-proofman output

* align console output to pil2-proofman output

* Fixing joinrecursive2

---------

Co-authored-by: Xavier Pinsach <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@xavi-pinsach xavi-pinsach

Labels
zkevm-zkprover
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@xavi-pinsach