Index/dance
House · choreographers, dancers, dance teachers, movement directors
💃

Dance & Choreography

100
Entries
5
Primitives

Showing 100 of 100 entries

dance competitions№ l-0

Age Verification Tool

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

Private Predicate→
dance provenance№ y-0

Choreography Authenticity

Choreography Authenticity binds a proof to a hidden artefact in dance provenance with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
audition process№ s-0

Anonymous Audition Scores

Anonymous Audition Scores proves membership of a audition process roster against a public Merkle root without revealing which member.

Set Membership→
dance competitions№ r-0

Choreography Authenticator

Choreography Authenticator verifies the issuer's signature inside the circuit so dance competitions can prove an attestation exists without showing it.

In-Circuit Signature→
choreography verification№ s-0

Choreographer Credentials

Choreographer Credentials folds many private claims about choreography verification into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
choreography funding№ r-0

Royalty Threshold Checker

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

Private Predicate→
dance finance№ r-1

Royalty Threshold Checker

Royalty Threshold Checker binds a proof to a hidden artefact in dance finance with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
youth dance№ l-1

Age Verification Tool

Age Verification Tool proves membership of a youth dance roster against a public Merkle root without revealing which member.

Set Membership→
dance wellness№ r-0

Injury Clearance Validator

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

In-Circuit Signature→
audition scoring№ s-0

Private Performance Scores

Private Performance Scores folds many private claims about audition scoring into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
youth dance№ r-0

Safeguarding Validator

Safeguarding Validator proves a bound holds for youth dance — the verifier sees the verdict, never the number.

Private Predicate→
audition feedback№ y-0

Audition Score Secrecy

Audition Score Secrecy binds a proof to a hidden artefact in audition feedback with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
music licensing№ s-0

Confidential Royalty Claims

Confidential Royalty Claims proves membership of a music licensing roster against a public Merkle root without revealing which member.

Set Membership→
dance guilds№ r-0

Membership Validator

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

In-Circuit Signature→
collaboration agreements№ s-0

Collaborative Project Pools

Collaborative Project Pools folds many private claims about collaboration agreements into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
casting calls№ r-0

Audition Score Verifier

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

Private Predicate→
music integration№ f-0

Sample Clearance Proof

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

Commitment Binding→
dance documentation№ r-0

Choreography Credits Checker

Choreography Credits Checker proves membership of a dance documentation roster against a public Merkle root without revealing which member.

Set Membership→
youth dance№ r-0

Age Eligibility Checker

Age Eligibility Checker verifies the issuer's signature inside the circuit so youth dance can prove an attestation exists without showing it.

In-Circuit Signature→
peer review№ p-0

Anonymous Feedback Loop

Anonymous Feedback Loop folds many private claims about peer review into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
freelance contracts№ r-0

Contract Compliance Checker

Contract Compliance Checker proves a bound holds for freelance contracts — the verifier sees the verdict, never the number.

Private Predicate→
fitness safety№ r-0

Health Limit Verifier

Health Limit Verifier binds a proof to a hidden artefact in fitness safety with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
dance contests№ f-0

Competition Eligibility Proof

Competition Eligibility Proof proves membership of a dance contests roster against a public Merkle root without revealing which member.

Set Membership→
choreography rights№ r-0

Performance Rights Verifier

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

In-Circuit Signature→
royalty agreements№ s-0

Royalty Distribution Proofs

Royalty Distribution Proofs folds many private claims about royalty agreements into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
music for dance№ r-0

Sample Clearance Checker

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

Private Predicate→
studio management№ r-0

Rehearsal Attendance Tracker

Rehearsal Attendance Tracker binds a proof to a hidden artefact in studio management with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
music integration№ e-0

Safe Sample Clearance

Safe Sample Clearance proves membership of a music integration roster against a public Merkle root without revealing which member.

Set Membership→
project funding№ r-0

Budget Compliance Checker

Budget Compliance Checker verifies the issuer's signature inside the circuit so project funding can prove an attestation exists without showing it.

In-Circuit Signature→
licensing terms№ k-0

Licensing Compliance Check

Licensing Compliance Check folds many private claims about licensing terms into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance health№ r-0

Health Limit Validator

Health Limit Validator proves a bound holds for dance health — the verifier sees the verdict, never the number.

Private Predicate→
dance competitions№ k-0

Competition Eligibility Check

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

Commitment Binding→
dance performances№ y-0

Stream Count Privacy

Stream Count Privacy proves membership of a dance performances roster against a public Merkle root without revealing which member.

Set Membership→
dance education№ r-0

Anonymous Review Aggregator

Anonymous Review Aggregator verifies the issuer's signature inside the circuit so dance education can prove an attestation exists without showing it.

In-Circuit Signature→
health and safety№ g-0

Injury Status Log

Injury Status Log folds many private claims about health and safety into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance competitions№ r-0

Competition Eligibility Assessor

Competition Eligibility Assessor proves a bound holds for dance competitions — the verifier sees the verdict, never the number.

Private Predicate→
dance partnerships№ y-0

Collaboration Credibility

Collaboration Credibility binds a proof to a hidden artefact in dance partnerships with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
health monitoring№ y-0

Dance Injury History

Dance Injury History proves membership of a health monitoring roster against a public Merkle root without revealing which member.

Set Membership→
dance auditions№ r-1

Audition Score Verifier

Audition Score Verifier verifies the issuer's signature inside the circuit so dance auditions can prove an attestation exists without showing it.

In-Circuit Signature→
work provenance№ k-0

Performance Authenticity Check

Performance Authenticity Check folds many private claims about work provenance into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance projects№ r-0

Budget Band Prover

Budget Band Prover proves a bound holds for dance projects — the verifier sees the verdict, never the number.

Private Predicate→
eco-friendly dance№ s-0

Sustainability Practices

Sustainability Practices binds a proof to a hidden artefact in eco-friendly dance with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
funding proposals№ r-1

Budget Compliance Checker

Budget Compliance Checker proves membership of a funding proposals roster against a public Merkle root without revealing which member.

Set Membership→
music for dance№ f-1

Sample Clearance Proof

Sample Clearance Proof verifies the issuer's signature inside the circuit so music for dance can prove an attestation exists without showing it.

In-Circuit Signature→
project finance№ b-0

Budget Validation Hub

Budget Validation Hub folds many private claims about project finance into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance education№ w-0

Anonymized Peer Review

Anonymized Peer Review proves a bound holds for dance education — the verifier sees the verdict, never the number.

Private Predicate→
dance education№ n-0

Safe Practice Verification

Safe Practice Verification binds a proof to a hidden artefact in dance education with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
youth safety№ f-0

Safeguarding Clearance Proof

Safeguarding Clearance Proof proves membership of a youth safety roster against a public Merkle root without revealing which member.

Set Membership→
dance studios№ r-0

Rehearsal Restrictions Verifier

Rehearsal Restrictions Verifier verifies the issuer's signature inside the circuit so dance studios can prove an attestation exists without showing it.

In-Circuit Signature→
music clearance№ r-0

Sample Clearance Tracker

Sample Clearance Tracker folds many private claims about music clearance into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
choreographic history№ k-0

Version Authenticity Check

Version Authenticity Check proves a bound holds for choreographic history — the verifier sees the verdict, never the number.

Private Predicate→
dance grants№ r-0

Funding Disclosure Simplifier

Funding Disclosure Simplifier binds a proof to a hidden artefact in dance grants with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
dance partnerships№ l-0

Conditional Collaboration Tool

Conditional Collaboration Tool proves membership of a dance partnerships roster against a public Merkle root without revealing which member.

Set Membership→
dance contracts№ r-0

Fee Band Confirmator

Fee Band Confirmator verifies the issuer's signature inside the circuit so dance contracts can prove an attestation exists without showing it.

In-Circuit Signature→
dance competitions№ r-0

Competition Criteria Validator

Competition Criteria Validator folds many private claims about dance competitions into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance streaming№ r-0

Streaming Count Validator

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

Private Predicate→
choreography styles№ r-0

Style Attribution Confirmer

Style Attribution Confirmer binds a proof to a hidden artefact in choreography styles with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
copyright compliance№ n-0

Performance Rights Validation

Performance Rights Validation proves membership of a copyright compliance roster against a public Merkle root without revealing which member.

Set Membership→
creative partnerships№ r-0

Collaboration Authenticator

Collaboration Authenticator verifies the issuer's signature inside the circuit so creative partnerships can prove an attestation exists without showing it.

In-Circuit Signature→
creative credits№ r-0

Choreography Contribution Ledger

Choreography Contribution Ledger folds many private claims about creative credits into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
collaborative projects№ l-0

Attribution Proof Tool

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

Private Predicate→
artistic development№ f-0

Choreographic Process Proof

Choreographic Process Proof binds a proof to a hidden artefact in artistic development with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
professional networks№ n-0

Guild Membership Verification

Guild Membership Verification proves membership of a professional networks roster against a public Merkle root without revealing which member.

Set Membership→
dance media№ r-0

Streaming Rights Validator

Streaming Rights Validator verifies the issuer's signature inside the circuit so dance media can prove an attestation exists without showing it.

In-Circuit Signature→
dance education№ s-0

Age Verification for Classes

Age Verification for Classes folds many private claims about dance education into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance mentorship№ l-0

Mentorship Eligibility Tool

Mentorship Eligibility Tool proves a bound holds for dance mentorship — the verifier sees the verdict, never the number.

Private Predicate→
youth dance№ l-2

Age Verification Tool

Age Verification Tool binds a proof to a hidden artefact in youth dance with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
reproductions№ f-0

Authentic Edition Proof

Authentic Edition Proof proves membership of a reproductions roster against a public Merkle root without revealing which member.

Set Membership→
choreography archives№ r-0

Edition Authenticity Checker

Edition Authenticity Checker verifies the issuer's signature inside the circuit so choreography archives can prove an attestation exists without showing it.

In-Circuit Signature→
digital performance№ n-0

Streaming Rights Verification

Streaming Rights Verification folds many private claims about digital performance into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance studios№ r-0

Dance Studio Membership Validator

Dance Studio Membership Validator proves a bound holds for dance studios — the verifier sees the verdict, never the number.

Private Predicate→
peer reviews№ r-0

Private Feedback Validator

Private Feedback Validator binds a proof to a hidden artefact in peer reviews with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
dance education№ s-0

Anonymized Peer Reviews

Anonymized Peer Reviews proves membership of a dance education roster against a public Merkle root without revealing which member.

Set Membership→
dance production№ r-0

Credit Attribution Verifier

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

In-Circuit Signature→
audience engagement№ n-0

Choreography Feedback Collection

Choreography Feedback Collection folds many private claims about audience engagement into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance safety№ k-0

Performance Injury Check

Performance Injury Check proves a bound holds for dance safety — the verifier sees the verdict, never the number.

Private Predicate→
production finance№ n-0

Budget Band Verification

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

Commitment Binding→
studio management№ f-0

Dance Class Enrollment Proof

Dance Class Enrollment Proof proves membership of a studio management roster against a public Merkle root without revealing which member.

Set Membership→
dance festivals№ f-0

Competition Entry Proof

Competition Entry Proof verifies the issuer's signature inside the circuit so dance festivals can prove an attestation exists without showing it.

In-Circuit Signature→
guild membership№ p-0

Dancer Group Membership

Dancer Group Membership folds many private claims about guild membership into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance education№ s-0

Online Class Access Pass

Online Class Access Pass proves a bound holds for dance education — the verifier sees the verdict, never the number.

Private Predicate→
performing arts health№ r-0

Injury History Validator

Injury History Validator binds a proof to a hidden artefact in performing arts health with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
audience engagement№ y-0

Performance Feedback Privacy

Performance Feedback Privacy proves membership of a audience engagement roster against a public Merkle root without revealing which member.

Set Membership→
dance finance№ r-0

Royalty Threshold Validator

Royalty Threshold Validator verifies the issuer's signature inside the circuit so dance finance can prove an attestation exists without showing it.

In-Circuit Signature→
education resources№ n-0

Dance Lesson Validation

Dance Lesson Validation folds many private claims about education resources into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance workshops№ r-0

Choreography Feedback Validator

Choreography Feedback Validator proves a bound holds for dance workshops — the verifier sees the verdict, never the number.

Private Predicate→
dance contracts№ f-0

Licensing Agreement Proof

Licensing Agreement Proof binds a proof to a hidden artefact in dance contracts with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
creative agreements№ s-0

Secure Collaboration Terms

Secure Collaboration Terms proves membership of a creative agreements roster against a public Merkle root without revealing which member.

Set Membership→
children's dance№ r-0

Safeguarding Clearance Checker

Safeguarding Clearance Checker verifies the issuer's signature inside the circuit so children's dance can prove an attestation exists without showing it.

In-Circuit Signature→
partnership records№ y-0

Work Collaboration History

Work Collaboration History folds many private claims about partnership records into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
dance festivals№ r-0

Work Submission Validator

Work Submission Validator proves a bound holds for dance festivals — the verifier sees the verdict, never the number.

Private Predicate→
choreographic editions№ r-1

Edition Authenticity Checker

Edition Authenticity Checker binds a proof to a hidden artefact in choreographic editions with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
health requirements№ f-0

Dance Injury Limitation Proof

Dance Injury Limitation Proof proves membership of a health requirements roster against a public Merkle root without revealing which member.

Set Membership→
dance training№ r-0

Choreographer Credentials Validator

Choreographer Credentials Validator verifies the issuer's signature inside the circuit so dance training can prove an attestation exists without showing it.

In-Circuit Signature→
dance evaluation№ y-0

Competitive Scoring Summary

Competitive Scoring Summary folds many private claims about dance evaluation into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
freelance dance№ r-0

Payment Milestone Validator

Payment Milestone Validator proves a bound holds for freelance dance — the verifier sees the verdict, never the number.

Private Predicate→
creative critique№ k-0

Confidential Choreography Feedback

Confidential Choreography Feedback binds a proof to a hidden artefact in creative critique with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
performance licensing№ e-0

Streamlined Tariff Compliance

Streamlined Tariff Compliance proves membership of a performance licensing roster against a public Merkle root without revealing which member.

Set Membership→
dance archives№ n-0

Repertoire Authentication

Repertoire Authentication verifies the issuer's signature inside the circuit so dance archives can prove an attestation exists without showing it.

In-Circuit Signature→
creative integrity№ s-0

Audit Trail of Creations

Audit Trail of Creations folds many private claims about creative integrity into one recursive proof a verifier checks in a single step.

Recursive Aggregation→