Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

Conversation

@roynalnaruto
Copy link

Adding a BooleanAdvice wrapper that can be used as such:

let bool_advice = BooleanAdvice::construct(
    meta,
    |meta| meta.query_fixed(q_enable, Rotation::cur()),
);

The wrapper comes with a boolean constraint on the inner contained column, to avoid potential misses in boolean constraints leading to soundness bugs.

@roynalnaruto roynalnaruto requested a review from lispc May 26, 2024 00:14
@lispc lispc merged commit 191b61f into develop May 27, 2024
@lispc lispc deleted the fix/soundness-bool-advice branch May 27, 2024 02:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants