Index/theater
House · directors, playwrights, performers, lighting and stage designers
🎭

Theater & Live Performance

100
Entries
5
Primitives

Showing 100 of 100 entries

youth theater№ l-0

Age Verification Tool

Age Verification Tool proves a bound holds for youth theater — the verifier sees the verdict, never the number.

Private Predicate→
audition processes№ s-0

Competitive Audition Scores

Competitive Audition Scores binds a proof to a hidden artefact in audition processes with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
casting calls№ y-0

Audition Anonymity

Audition Anonymity proves membership of a casting calls roster against a public Merkle root without revealing which member.

Set Membership→
audition management№ r-0

Eligibility Validator

Eligibility Validator verifies the issuer's signature inside the circuit so audition management can prove an attestation exists without showing it.

In-Circuit Signature→
casting calls№ s-0

Audition Proofs

Audition Proofs folds many private claims about casting calls into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
playwright royalties№ r-0

Royalty Threshold Checker

Royalty Threshold Checker proves a bound holds for playwright royalties — the verifier sees the verdict, never the number.

Private Predicate→
royalties management№ r-0

Royalty Threshold Validator

Royalty Threshold Validator binds a proof to a hidden artefact in royalties management with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
playwright royalties№ s-0

Royalty Rights

Royalty Rights proves membership of a playwright royalties roster against a public Merkle root without revealing which member.

Set Membership→
royalty tracking№ r-0

Royalties Checker

Royalties Checker verifies the issuer's signature inside the circuit so royalty tracking can prove an attestation exists without showing it.

In-Circuit Signature→
playwright rights№ r-0

Royalty Calculator

Royalty Calculator folds many private claims about playwright rights into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
actor unions№ r-0

Guild Membership Validator

Guild Membership Validator proves a bound holds for actor unions — the verifier sees the verdict, never the number.

Private Predicate→
performer wellbeing№ s-0

Confidential Health Status

Confidential Health Status binds a proof to a hidden artefact in performer wellbeing with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
child performers№ s-0

Safeguarding Clearances

Safeguarding Clearances proves membership of a child performers roster against a public Merkle root without revealing which member.

Set Membership→
theater guilds№ f-0

Membership Proof

Membership Proof verifies the issuer's signature inside the circuit so theater guilds can prove an attestation exists without showing it.

In-Circuit Signature→
theater guilds№ r-0

Membership Validator

Membership Validator folds many private claims about theater guilds into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
production budgeting№ f-0

Performance Budget Proof

Performance Budget Proof proves a bound holds for production budgeting — the verifier sees the verdict, never the number.

Private Predicate→
theater guilds№ n-0

Membership Verification

Membership Verification binds a proof to a hidden artefact in theater guilds with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
live shows№ y-0

Performance Validity

Performance Validity proves membership of a live shows roster against a public Merkle root without revealing which member.

Set Membership→
playwright rights№ r-0

Attribution Verifier

Attribution Verifier verifies the issuer's signature inside the circuit so playwright rights can prove an attestation exists without showing it.

In-Circuit Signature→
playwriting№ y-0

Script Authenticity

Script Authenticity folds many private claims about playwriting into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
performer safety№ p-0

Injury Clearance App

Injury Clearance App proves a bound holds for performer safety — the verifier sees the verdict, never the number.

Private Predicate→
playwriting№ r-0

Script Authenticity Checker

Script Authenticity Checker binds a proof to a hidden artefact in playwriting with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
script feedback№ s-0

Anonymous Peer Reviews

Anonymous Peer Reviews proves membership of a script feedback roster against a public Merkle root without revealing which member.

Set Membership→
contract management№ m-0

Contract Confirm

Contract Confirm verifies the issuer's signature inside the circuit so contract management can prove an attestation exists without showing it.

In-Circuit Signature→
performance arts№ b-0

Audition Privacy Hub

Audition Privacy Hub folds many private claims about performance arts into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
music licensing№ r-0

Sample Clearance Verifier

Sample Clearance Verifier proves a bound holds for music licensing — the verifier sees the verdict, never the number.

Private Predicate→
sound design№ f-0

Sample Clearance Proof

Sample Clearance Proof binds a proof to a hidden artefact in sound design with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
online performances№ s-0

Streaming Analytics

Streaming Analytics proves membership of a online performances roster against a public Merkle root without revealing which member.

Set Membership→
audience metrics№ r-0

Streaming Count Validator

Streaming Count Validator verifies the issuer's signature inside the circuit so audience metrics can prove an attestation exists without showing it.

In-Circuit Signature→
theater safety№ e-0

Health Clearance

Health Clearance folds many private claims about theater safety into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
script evaluation№ w-0

Anonymous Peer Review

Anonymous Peer Review proves a bound holds for script evaluation — the verifier sees the verdict, never the number.

Private Predicate→
production finance№ n-0

Budget Band Confirmation

Budget Band Confirmation binds a proof to a hidden artefact in production finance with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
production budgets№ y-0

Budget Integrity

Budget Integrity proves membership of a production budgets roster against a public Merkle root without revealing which member.

Set Membership→
safeguarding№ e-1

Health Clearance

Health Clearance verifies the issuer's signature inside the circuit so safeguarding can prove an attestation exists without showing it.

In-Circuit Signature→
funding proposals№ r-0

Budget Justifier

Budget Justifier folds many private claims about funding proposals into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
script confidentiality№ r-0

Non-disclosure Validator

Non-disclosure Validator proves a bound holds for script confidentiality — the verifier sees the verdict, never the number.

Private Predicate→
youth theater№ n-0

Age Certification

Age Certification binds a proof to a hidden artefact in youth theater with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
actor qualifications№ y-0

Casting Eligibility

Casting Eligibility proves membership of a actor qualifications roster against a public Merkle root without revealing which member.

Set Membership→
performance competitions№ f-0

Competition Score Proof

Competition Score Proof verifies the issuer's signature inside the circuit so performance competitions can prove an attestation exists without showing it.

In-Circuit Signature→
digital theater№ s-0

Streaming Metrics

Streaming Metrics folds many private claims about digital theater into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
collaborative productions№ f-0

Attribution Proof

Attribution Proof proves a bound holds for collaborative productions — the verifier sees the verdict, never the number.

Private Predicate→
performer health№ e-0

Injury Disclosure

Injury Disclosure binds a proof to a hidden artefact in performer health with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
production agreements№ n-0

Contract Validation

Contract Validation proves membership of a production agreements roster against a public Merkle root without revealing which member.

Set Membership→
music licensing№ n-0

Sample Permission

Sample Permission verifies the issuer's signature inside the circuit so music licensing can prove an attestation exists without showing it.

In-Circuit Signature→
education programs№ n-0

Workshop Verification

Workshop Verification folds many private claims about education programs into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
audition processes№ p-0

Competition Scoring App

Competition Scoring App proves a bound holds for audition processes — the verifier sees the verdict, never the number.

Private Predicate→
script evaluation№ s-1

Anonymous Peer Reviews

Anonymous Peer Reviews binds a proof to a hidden artefact in script evaluation with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
original works№ y-0

Show Authenticity

Show Authenticity proves membership of a original works roster against a public Merkle root without revealing which member.

Set Membership→
script authenticity№ r-0

Edition Validator

Edition Validator verifies the issuer's signature inside the circuit so script authenticity can prove an attestation exists without showing it.

In-Circuit Signature→
composers№ f-1

Sample Clearance Proof

Sample Clearance Proof folds many private claims about composers into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
performance analytics№ r-1

Streaming Count Validator

Streaming Count Validator proves a bound holds for performance analytics — the verifier sees the verdict, never the number.

Private Predicate→
stage contracts№ r-0

Fee Band Verifier

Fee Band Verifier binds a proof to a hidden artefact in stage contracts with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
performance safety№ s-0

Health Clearances

Health Clearances proves membership of a performance safety roster against a public Merkle root without revealing which member.

Set Membership→
production finance№ k-0

Budget Threshold Check

Budget Threshold Check verifies the issuer's signature inside the circuit so production finance can prove an attestation exists without showing it.

In-Circuit Signature→
critique systems№ r-0

Feedback Aggregator

Feedback Aggregator folds many private claims about critique systems into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
funding applications№ r-0

Budget Cap Assessor

Budget Cap Assessor proves a bound holds for funding applications — the verifier sees the verdict, never the number.

Private Predicate→
theater rights№ k-0

License Compliance Check

License Compliance Check binds a proof to a hidden artefact in theater rights with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
performing arts contests№ s-0

Competition Scores

Competition Scores proves membership of a performing arts contests roster against a public Merkle root without revealing which member.

Set Membership→
peer review№ r-0

Anonymous Reviewer

Anonymous Reviewer verifies the issuer's signature inside the circuit so peer review can prove an attestation exists without showing it.

In-Circuit Signature→
production rights№ r-0

License Validator

License Validator folds many private claims about production rights into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
original works№ r-1

Script Authenticity Checker

Script Authenticity Checker proves a bound holds for original works — the verifier sees the verdict, never the number.

Private Predicate→
theater safety№ f-0

Health Clearance Proof

Health Clearance Proof binds a proof to a hidden artefact in theater safety with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
theater unions№ f-0

Guild Membership Proof

Guild Membership Proof proves membership of a theater unions roster against a public Merkle root without revealing which member.

Set Membership→
casting process№ y-0

Performance Eligibility

Performance Eligibility verifies the issuer's signature inside the circuit so casting process can prove an attestation exists without showing it.

In-Circuit Signature→
creative teams№ f-0

Project Collaboration Proof

Project Collaboration Proof folds many private claims about creative teams into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
casting calls№ r-0

Role Eligibility Verifier

Role Eligibility Verifier proves a bound holds for casting calls — the verifier sees the verdict, never the number.

Private Predicate→
casting agencies№ n-0

Talent Roster Validation

Talent Roster Validation binds a proof to a hidden artefact in casting agencies with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
musical compositions№ s-0

Sample Clearances

Sample Clearances proves membership of a musical compositions roster against a public Merkle root without revealing which member.

Set Membership→
performer safety№ e-0

Injury Clearance

Injury Clearance verifies the issuer's signature inside the circuit so performer safety can prove an attestation exists without showing it.

In-Circuit Signature→
performing arts№ t-0

Injury Assessment

Injury Assessment folds many private claims about performing arts into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
casting limits№ f-0

Audition Limit Proof

Audition Limit Proof proves a bound holds for casting limits — the verifier sees the verdict, never the number.

Private Predicate→
actor profiles№ s-0

Confidential Career Milestones

Confidential Career Milestones binds a proof to a hidden artefact in actor profiles with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
age restrictions№ y-0

Audience Eligibility

Audience Eligibility proves membership of a age restrictions roster against a public Merkle root without revealing which member.

Set Membership→
union membership№ f-0

Guild Affiliation Proof

Guild Affiliation Proof verifies the issuer's signature inside the circuit so union membership can prove an attestation exists without showing it.

In-Circuit Signature→
set design№ n-0

Attribution Confirmation

Attribution Confirmation folds many private claims about set design into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
grant applications№ r-0

Funding Threshold Validator

Funding Threshold Validator proves a bound holds for grant applications — the verifier sees the verdict, never the number.

Private Predicate→
collaborative projects№ n-0

Attribution Authentication

Attribution Authentication binds a proof to a hidden artefact in collaborative projects with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
limited releases№ e-0

Edition Provenance

Edition Provenance proves membership of a limited releases roster against a public Merkle root without revealing which member.

Set Membership→
creative payments№ y-0

Payout Eligibility

Payout Eligibility verifies the issuer's signature inside the circuit so creative payments can prove an attestation exists without showing it.

In-Circuit Signature→
performance contests№ r-0

Competition Scorekeeper

Competition Scorekeeper folds many private claims about performance contests into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
stage safety№ r-0

Safety Clearance Checker

Safety Clearance Checker proves a bound holds for stage safety — the verifier sees the verdict, never the number.

Private Predicate→
digital performance№ f-0

Streaming Metrics Proof

Streaming Metrics Proof binds a proof to a hidden artefact in digital performance with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
audience responses№ n-0

Feedback Validation

Feedback Validation proves membership of a audience responses roster against a public Merkle root without revealing which member.

Set Membership→
play licensing№ r-0

Licensing Terms Verifier

Licensing Terms Verifier verifies the issuer's signature inside the circuit so play licensing can prove an attestation exists without showing it.

In-Circuit Signature→
theater finances№ f-0

Payout Eligibility Proof

Payout Eligibility Proof folds many private claims about theater finances into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
producer agreements№ r-0

Contract Compliance Validator

Contract Compliance Validator proves a bound holds for producer agreements — the verifier sees the verdict, never the number.

Private Predicate→
original works№ e-0

Creative Work Provenance

Creative Work Provenance binds a proof to a hidden artefact in original works with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
actor roles№ n-0

Role Authentication

Role Authentication proves membership of a actor roles roster against a public Merkle root without revealing which member.

Set Membership→
audition analytics№ n-0

Casting Score Validation

Casting Score Validation verifies the issuer's signature inside the circuit so audition analytics can prove an attestation exists without showing it.

In-Circuit Signature→
credits validation№ f-0

Production Credit Proof

Production Credit Proof folds many private claims about credits validation into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
licensing agreements№ r-0

Performance Rights Validator

Performance Rights Validator proves a bound holds for licensing agreements — the verifier sees the verdict, never the number.

Private Predicate→
theater contests№ k-0

Competition Eligibility Check

Competition Eligibility Check binds a proof to a hidden artefact in theater contests with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
financial agreements№ g-0

Settlement Tracking

Settlement Tracking proves membership of a financial agreements roster against a public Merkle root without revealing which member.

Set Membership→
artwork authenticity№ k-0

Provenance Check

Provenance Check verifies the issuer's signature inside the circuit so artwork authenticity can prove an attestation exists without showing it.

In-Circuit Signature→
script revisions№ r-0

Version Control Validator

Version Control Validator folds many private claims about script revisions into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
editing processes№ r-0

Production Edit Validator

Production Edit Validator proves a bound holds for editing processes — the verifier sees the verdict, never the number.

Private Predicate→
production analysis№ n-0

Event Impact Verification

Event Impact Verification binds a proof to a hidden artefact in production analysis with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
audience counts№ e-0

Performance Attendance

Performance Attendance proves membership of a audience counts roster against a public Merkle root without revealing which member.

Set Membership→
financial planning№ g-0

Budget Banding

Budget Banding verifies the issuer's signature inside the circuit so financial planning can prove an attestation exists without showing it.

In-Circuit Signature→
evaluations№ e-0

Audition Performance Evidence

Audition Performance Evidence folds many private claims about evaluations into one recursive proof a verifier checks in a single step.

Recursive Aggregation→