Skip to content
This repository has been archived by the owner on Apr 9, 2024. It is now read-only.

Pass to replace all witness constants with constants #48

Closed
kevaundray opened this issue Jan 11, 2023 · 1 comment · Fixed by #151
Closed

Pass to replace all witness constants with constants #48

kevaundray opened this issue Jan 11, 2023 · 1 comment · Fixed by #151
Labels
enhancement New feature or request

Comments

@kevaundray
Copy link
Contributor

Description

It is possible to get an expre such as q_L * w_L + t = 0

Since q_L and t are constants, w_L can be solved and we can replace all instances of w_L with -t/q_L

Note

In Barretenberg, put_constant is used to deliberately set some wires to be constants. We should figure out the usecases as to why this is being done.
@kevaundray kevaundray added the enhancement New feature or request label Jan 11, 2023
@guipublic
Copy link
Contributor

This is done by the simplification PR

@TomAFrench TomAFrench linked a pull request Apr 7, 2023 that will close this issue
feat(acvm)!: Simplification pass for ACIR #151
Merged
5 tasks
kobyhallx pushed a commit that referenced this issue Jul 26, 2023
@TomAFrench
feat: update to target ACVM 0.15.0 (#48)
1aaf057
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat(acvm)!: Simplification pass for ACIR noir-lang/acvm
2 participants
@kevaundray @guipublic