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

Lookup constraints satisfiability check upgrades #396

Open
Iluvmagick opened this issue Jun 10, 2024 · 0 comments
Open

Lookup constraints satisfiability check upgrades #396

Iluvmagick opened this issue Jun 10, 2024 · 0 comments
Assignees
@Iluvmagick

Comments

@Iluvmagick
Copy link
Contributor

  1. Current implementation is too slow
  2. Current implementation does not support dynamic lookup tables
@Iluvmagick Iluvmagick self-assigned this Jun 10, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Iluvmagick Iluvmagick

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

When branches are created from issues, their pull requests are automatically linked.

396-lookup-satisfiability-upgrades NilFoundation/zkllvm-blueprint
1 participant
@Iluvmagick