Skip to content

zk/qndleq: document Qn membership precondition - #675

Merged
bwesterb merged 1 commit into
mainfrom
bas/zk3
Jul 31, 2026
Merged

zk/qndleq: document Qn membership precondition#675
bwesterb merged 1 commit into
mainfrom
bas/zk3

Conversation

@bwesterb

@bwesterb bwesterb commented Jul 31, 2026

Copy link
Copy Markdown
Member

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no potential bugs to report.

View in Devin Review to see 1 additional finding.

Open in Devin Review

@bwesterb
bwesterb merged commit a6e264c into main Jul 31, 2026
14 checks passed
@bwesterb
bwesterb deleted the bas/zk3 branch July 31, 2026 20:54
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