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.

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

Improve build times #278

Open
3 tasks
aszepieniec opened this issue May 7, 2024 · 0 comments
Open
3 tasks

Improve build times #278

aszepieniec opened this issue May 7, 2024 · 0 comments
Labels
🤖 code Changes the implementation 🧑‍💻 dx/ux Developer experience & user experience ✨ enhancement Improvement or new feature 🟡 prio: medium Not super urgent ⏩ speedup Makes stuff go faster. 🛠️ tooling Developer tools

Comments

@aszepieniec
Copy link
Collaborator

aszepieniec commented May 7, 2024

The biggest contributor to Triton VM's build times is the build script build.rs, of which (presumably) the biggest culprit is automatic degree lowering. This step is currently purely sequential. There are probably ways to parallelize (at least parts of) it, and possibly other ways to speed this step up.

Additionally, the build script generates code. This step might be another candidate for performance optimization.

  • Benchmark build.rs step's performances
  • Identify ways to improve performance of the slow steps
  • Make the to-dos on this list more concrete

It might be beneficial (or even necessary) to overhaul the member crate triton-constraint-circuit to achieve these goals.

@aszepieniec aszepieniec added 🛠️ tooling Developer tools ✨ enhancement Improvement or new feature 🟢 prio: low Not at all urgent 🤖 code Changes the implementation ⏩ speedup Makes stuff go faster. 🧑‍💻 dx/ux Developer experience & user experience labels May 7, 2024
@aszepieniec aszepieniec reopened this Jun 11, 2024
@jan-ferdinand jan-ferdinand added 🟡 prio: medium Not super urgent and removed 🟢 prio: low Not at all urgent labels Sep 12, 2024
@jan-ferdinand jan-ferdinand changed the title Parallelize Constraints Generation Improve build times Sep 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🤖 code Changes the implementation 🧑‍💻 dx/ux Developer experience & user experience ✨ enhancement Improvement or new feature 🟡 prio: medium Not super urgent ⏩ speedup Makes stuff go faster. 🛠️ tooling Developer tools
Projects
None yet
Development

No branches or pull requests

2 participants