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

to_matrices is called before inline_all_lcs #41

Open
weikengchen opened this issue Nov 12, 2020 · 2 comments
Open

to_matrices is called before inline_all_lcs #41

weikengchen opened this issue Nov 12, 2020 · 2 comments

Comments

@weikengchen
Copy link
Member

weikengchen commented Nov 12, 2020

The current master branch may fail to index a circuit because the index function would call:

let matrices = cs.to_matrices().unwrap();

in make_matrices_square_for_indexer, before calling inline_all_lcs.

As a result, a developer would see "no symbolic LCs".


This problem is indeed fixed in the constraints PR #39 by removing a check in make_matrices_square_for_indexer.

See https://github.com/arkworks-rs/marlin/pull/39/files#diff-4a24591214fb91bafc31f147e9f82b39471e7a773de92a5a36f0776f434c6158R54

But I think we are not going to merge that PR soon, it may be worthwhile to fix this one sooner. (I will work to finish the constraints PR of poly-commit soon.)

@Pratyush
Copy link
Member

Adding a comment from #42:

Because outlining changes the dimensions of the matrices, we should probably be making the matrices square after outlining, no?

@Pratyush
Copy link
Member

Pratyush commented Sep 9, 2021

Is this issue closeable @weikengchen ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants