Skip to content

Circuit: Add constraints#77

Merged
ConstanceBeguier merged 8 commits intozsa1from
add_constraints
Jun 29, 2023
Merged

Circuit: Add constraints#77
ConstanceBeguier merged 8 commits intozsa1from
add_constraints

Conversation

@ConstanceBeguier
Copy link
Collaborator

@ConstanceBeguier ConstanceBeguier commented Jun 26, 2023

Add the constraint: (split_flag=1) => (is_native_asset=0)

Replace the constraint: (v_old=0) or (root=anchor)
by the constraint: (v_old=0 and split_flag=0) or (root=anchor)

Limit the version of half (< 2.3) because recent half versions required at least rust version 1.70.

@QED-it QED-it deleted a comment from what-the-diff bot Jun 26, 2023
Copy link
Collaborator

@PaulLaux PaulLaux left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added some minor comments

@ConstanceBeguier ConstanceBeguier merged commit ff2ac96 into zsa1 Jun 29, 2023
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