Skip to content

SimplicityHL better interface support #87

Open

Description

@Arvolear

Describe the feature

Simplex should support the new SimplicityHL interface witness generation once it's ready. The general idea is described here. This should significantly decrease boilerplate code writing.

Activity

  1. self-assigned this
    on Jun 4, 2026
  2. moved this to Q4 2026 🏜 in Smplx roadmapon Jun 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

roadmapThis item is on the roadmap

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions