issues Search Results · repo:quantstamp/halo2-analyzer language:Rust

Filter by

• • Code... (...)results
  • Issues7 (7)results
  • Pull requests57 (57)results
  • Discussions0 (0)results
  • Commits0 (0)results
  • Packages0 (0)results
  • Wikis0 (0)results

• State

  • Open
  • Closed

• Advanced

  • Owner
  • State
  • Close reason
  • Has linked pull request
  • Author
  • Assignee
  • Mentioned user
  • Mentioned team
  • Commenter
  • Involved user
  • Label
  • Milestone
  • Number of comments
  • Number of interactions
• Advanced search

Issues7 (7)

7 results

 (74 ms)

7 results

inquantstamp/halo2-analyzer (press backspace or delete to remove)

Sort by: Best match

Filter

quantstamp/halo2-analyzer

How to test any .rs file

A bug report reported a bug (ModGadget is underconstrained) in modulo.rs, and I want to test whether halo2-analyzer can detect this bug. I don t know how to test modulo.rs because the circuit variable ...

• Subway2023
·
• Opened 
  on Oct 14, 2024
·
• #63

quantstamp/halo2-analyzer

run problem

How to analyze a given program? I have some Halo2 programs and want to use halo2-analyse for the analysis.

• Subway2023
·
• 1
·
• Opened 
  on Oct 14, 2024
·
• #62

quantstamp/halo2-analyzer

docker help

Do you have Docker to run halo-analyzer? I keep getting errors when setting up the environment.

• Subway2023
·
• Opened 
  on Oct 13, 2024
·
• #61

quantstamp/halo2-analyzer

Build failures

Thank you for the tool! I would like to note some issues that I encountered when trying to use the tool. Problem with #![feature] All commands failed with: ... Compiling halo2_proofs v0.3.0 (https://github.com/Analyzable-Halo2/pse-halo2.git#d271fafe) ...

• sorawee
·
• Opened 
  on Mar 31, 2024
·
• #37

quantstamp/halo2-analyzer

Update to latest Halo2-PSE && halo2curves versions

Would this be interesting? We could try to upstream some of the changes you ve done in order to adapt this or, if we make this a lib, re-export as a usable layouter. WDYT?

• CPerezz
·
• 3
·
• Opened 
  on Sep 23, 2023
·
• #28

quantstamp/halo2-analyzer

Rust Rust Suggestions Take 2

- [x] I m not sure what you guys have modified under research-zk-fm/halo2 repo but I would recommend adding eye-catchers if you haven t done so already. Since this repo doesn t belong to us and I ...

• bragaigor
·
• 2
·
• Opened 
  on Jun 3, 2023
·
• #10

quantstamp/halo2-analyzer

Rusty Rust Sugestions

Organizational - [x] When I open src folder I see a lot of files there, it s good practice to only have main there and the other files in sub-folders. Similar to what you did with src/sample_circuits/ ...

• bragaigor
·
• Opened 
  on May 16, 2023
·
• #7

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Press the

/

key to activate the search input again and adjust your query.

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Press the

/

key to activate the search input again and adjust your query.