Skip to content

Shankara/picus frontend updates#497

Merged
eigmax merged 31 commits intoProjectZKM:pre-release-v1.2.6from
Veridise:shankara/picus-frontend-updates
Apr 17, 2026
Merged

Shankara/picus frontend updates#497
eigmax merged 31 commits intoProjectZKM:pre-release-v1.2.6from
Veridise:shankara/picus-frontend-updates

Conversation

@shankarapailoor
Copy link
Copy Markdown
Contributor

This PR makes a few updates to the Picus frontend:

  • Add summaries for IsZero, IsZeroWord
  • Give readable names for extracted variables
  • Have a more principled translation of circuits with transition constraints using phases.

@eigmax eigmax changed the base branch from pre-release-v1.2.5 to pre-release-v1.2.6 April 17, 2026 00:58
@eigmax eigmax merged commit 13378db into ProjectZKM:pre-release-v1.2.6 Apr 17, 2026
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

Successfully merging this pull request may close these issues.

2 participants