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

Theater & Live Performance

100
Entries
5
Primitives

Showing 100 of 100 entries

youth theaterl-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 processess-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 callsy-0

Audition Anonymity

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

Set Membership
audition managementr-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 callss-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 royaltiesr-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 managementr-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 royaltiess-0

Royalty Rights

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

Set Membership
royalty trackingr-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 rightsr-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 unionsr-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 wellbeings-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 performerss-0

Safeguarding Clearances

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

Set Membership
theater guildsf-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 guildsr-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 budgetingf-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 guildsn-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 showsy-0

Performance Validity

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

Set Membership
playwright rightsr-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
playwritingy-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 safetyp-0

Injury Clearance App

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

Private Predicate
playwritingr-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 feedbacks-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 managementm-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 artsb-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 licensingr-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 designf-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 performancess-0

Streaming Analytics

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

Set Membership
audience metricsr-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 safetye-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 evaluationw-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 financen-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 budgetsy-0

Budget Integrity

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

Set Membership
safeguardinge-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 proposalsr-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 confidentialityr-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 theatern-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 qualificationsy-0

Casting Eligibility

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

Set Membership
performance competitionsf-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 theaters-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 productionsf-0

Attribution Proof

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

Private Predicate
performer healthe-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 agreementsn-0

Contract Validation

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

Set Membership
music licensingn-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 programsn-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 processesp-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 evaluations-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 worksy-0

Show Authenticity

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

Set Membership
script authenticityr-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
composersf-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 analyticsr-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 contractsr-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 safetys-0

Health Clearances

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

Set Membership
production financek-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 systemsr-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 applicationsr-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 rightsk-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 contestss-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 reviewr-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 rightsr-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 worksr-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 safetyf-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 unionsf-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 processy-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 teamsf-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 callsr-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 agenciesn-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 compositionss-0

Sample Clearances

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

Set Membership
performer safetye-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 artst-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 limitsf-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 profiless-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 restrictionsy-0

Audience Eligibility

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

Set Membership
union membershipf-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 designn-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 applicationsr-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 projectsn-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 releasese-0

Edition Provenance

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

Set Membership
creative paymentsy-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 contestsr-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 safetyr-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 performancef-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 responsesn-0

Feedback Validation

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

Set Membership
play licensingr-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 financesf-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 agreementsr-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 workse-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 rolesn-0

Role Authentication

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

Set Membership
audition analyticsn-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 validationf-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 agreementsr-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 contestsk-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 agreementsg-0

Settlement Tracking

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

Set Membership
artwork authenticityk-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 revisionsr-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 processesr-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 analysisn-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 countse-0

Performance Attendance

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

Set Membership
financial planningg-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
evaluationse-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