This repository has been archived by the owner on Feb 17, 2025. It is now read-only.

Add asserts for inappropriate arithmetization #318

Open

5 tasks

ETatuzova opened this issue Jan 10, 2024 · 0 comments

Contributor

ETatuzova commented Jan 10, 2024

We need asserts with readable error messages for:

not enough witness columns
not enough component constant columns
not enough lookup constant columns (maybe we should move this to assigner)
not enough component selector columns
not enough selectors for lookup tables (maybe we should move this to assigner)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.