Feature: composite eligibility circuit — prove a boolean formula over multiple attributes

[Psalmuel01]

Real gates are often boolean combinations (accredited OR income>=X) AND jurisdiction-eligible. Today these require multiple separate proofs. A composite circuit could prove a small policy formula in one proof.

Scope

• Design a circuit that evaluates a fixed-shape boolean policy over several committed attributes (AND/OR of threshold and membership checks) and outputs a single pass/fail, revealing only the result.
• Keep it bounded (a small max number of terms) for provability; document the policy encoding.
• Wire through witness/SDK; fixtures + tests.

Value

Single-proof complex eligibility, far better UX than chaining proofs.

Acceptance

• A bounded boolean policy over multiple attributes is provable in one proof; documented; tested.

[Ade-Pheebs]

@Ade-Pheebs has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

good day maintainer, please kindly assign me to this issue please. i would be sure to implement changes as described. Thank you.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Ade-Pheebs to this issue.

[Anadudev]

@Anadudev has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

Hi Maintainer, I would like to work on this issue

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Anadudev to this issue.

[Miss-shelby]

@Miss-shelby has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

Hi Maintainer, I'd like to work on this issue.
I've traced the relevant code and know where the fix needs to go, I'll scope it to the root cause (not a surface patch) and add a test to lock in the behaviour. I'm comfortable with the stack and can iterate quickly on review feedback. Could you assign it to me?

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Miss-shelby to this issue.

[solidsole]

@solidsole has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

PLEASE maintainer... assign this issue to me ... I'm begging....

ℹ️ Repo Maintainers: To accept this application, review their application or assign @solidsole to this issue.

[ugoocreates-pixel]

@ugoocreates-pixel has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

i would like to work on this issue because am software engineer and am capable of completing this task effectively.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @ugoocreates-pixel to this issue.

[felladaniel36-hash]

@felladaniel36-hash has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

let me work on this

ℹ️ Repo Maintainers: To accept this application, review their application or assign @felladaniel36-hash to this issue.

[starboytiimz]

@starboytiimz has applied to work on this issue as part of the Stellar Wave Program's 8th wave.

Hi maintainer, pleace can i be assigned this issue pleasee?

ℹ️ Repo Maintainers: To accept this application, review their application or assign @starboytiimz to this issue.

[drips-wave]

Congratulations, @starboytiimz! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on August 31, 2026.

🧑‍💻 @starboytiimz: Please resolve the issue such that the repo's maintainers have enough time to review your contribution before the due date. You'll earn Points for completing the issue on-time, which will make you eligible for a share of the Stellar Wave Program's reward pool.

Warning

When opening a PR, please link it to this issue to ensure it gets tracked accurately. Points are awarded when this issue is marked as completed by the maintainer.

🤠 Repo maintainers: Please keep an eye on the contributor's progress and review their work before the due date. You can manage this issue, including adjusting its complexity and points, here.

🌊 Happy Wave 🌊