Index/music
House · musicians, producers, composers, sound designers
🎵

Music & Sound Design

100
Entries
5
Primitives

Showing 100 of 100 entries

songwritersk-0

Royalty Threshold Check

Royalty Threshold Check proves a bound holds for songwriters — the verifier sees the verdict, never the number.

Private Predicate
music publishingr-0

Royalty Threshold Validator

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

Commitment Binding
sample librariesr-0

Sample Clearance Checker

Sample Clearance Checker proves membership of a sample libraries roster against a public Merkle root without revealing which member.

Set Membership
session musiciansr-0

Credential Validator

Credential Validator verifies the issuer's signature inside the circuit so session musicians can prove an attestation exists without showing it.

In-Circuit Signature
music collaborations-0

Collaborative Compositions

Collaborative Compositions folds many private claims about music collaboration into one recursive proof a verifier checks in a single step.

Recursive Aggregation
sound librariesr-0

Sample Clearance Validator

Sample Clearance Validator proves a bound holds for sound libraries — the verifier sees the verdict, never the number.

Private Predicate
samplingr-1

Sample Clearance Checker

Sample Clearance Checker binds a proof to a hidden artefact in sampling with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
music publishingr-0

Royalty Threshold Verifier

Royalty Threshold Verifier proves membership of a music publishing roster against a public Merkle root without revealing which member.

Set Membership
sound designr-0

Sample License Checker

Sample License Checker verifies the issuer's signature inside the circuit so sound design can prove an attestation exists without showing it.

In-Circuit Signature
audition processess-0

Anonymous Audition Scores

Anonymous Audition Scores folds many private claims about audition processes into one recursive proof a verifier checks in a single step.

Recursive Aggregation
casting callsr-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 competitionsr-0

Competitor Score Anonymizer

Competitor Score Anonymizer binds a proof to a hidden artefact in music competitions with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
competitionsr-0

Audition Score Validator

Audition Score Validator proves membership of a competitions roster against a public Merkle root without revealing which member.

Set Membership
performance competitionss-0

Confidential Audition Scores

Confidential Audition Scores verifies the issuer's signature inside the circuit so performance competitions can prove an attestation exists without showing it.

In-Circuit Signature
sample clearancer-0

Sampling Rights Validator

Sampling Rights Validator folds many private claims about sample clearance into one recursive proof a verifier checks in a single step.

Recursive Aggregation
music licensingr-0

Licensing Terms Checker

Licensing Terms Checker proves a bound holds for music licensing — the verifier sees the verdict, never the number.

Private Predicate
limited editionsr-0

Edition Authenticity Verifier

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

Commitment Binding
music categoriesy-0

Music Genre Eligibility

Music Genre Eligibility proves membership of a music categories roster against a public Merkle root without revealing which member.

Set Membership
music publishingf-0

Royalties Claim Proof

Royalties Claim Proof verifies the issuer's signature inside the circuit so music publishing can prove an attestation exists without showing it.

In-Circuit Signature
creative guildsf-0

Guild Membership Proof

Guild Membership Proof folds many private claims about creative guilds into one recursive proof a verifier checks in a single step.

Recursive Aggregation
performersr-0

Health Status Validator

Health Status Validator proves a bound holds for performers — the verifier sees the verdict, never the number.

Private Predicate
audition processesf-0

Confidential Audition Proof

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

Commitment Binding
collaborative composingy-0

Song Attribution Privacy

Song Attribution Privacy proves membership of a collaborative composing roster against a public Merkle root without revealing which member.

Set Membership
collaborative projectsr-0

Music Collaboration Authenticator

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

In-Circuit Signature
artist collaborationst-0

Confidential Collaborator List

Confidential Collaborator List folds many private claims about artist collaborations into one recursive proof a verifier checks in a single step.

Recursive Aggregation
competitionsf-0

Composition Eligibility Proof

Composition Eligibility Proof proves a bound holds for competitions — the verifier sees the verdict, never the number.

Private Predicate
music creditsr-0

Attribution Integrity Checker

Attribution Integrity Checker binds a proof to a hidden artefact in music credits with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
project fundingr-0

Budget Band Prover

Budget Band Prover proves membership of a project funding roster against a public Merkle root without revealing which member.

Set Membership
live performancer-0

Health Status Verifier

Health Status Verifier verifies the issuer's signature inside the circuit so live performance can prove an attestation exists without showing it.

In-Circuit Signature
music royaltiesn-0

Royalty Threshold Verification

Royalty Threshold Verification folds many private claims about music royalties into one recursive proof a verifier checks in a single step.

Recursive Aggregation
musician guildsk-0

Membership Status Check

Membership Status Check proves a bound holds for musician guilds — the verifier sees the verdict, never the number.

Private Predicate
artist welfarey-0

Health Status Privacy

Health Status Privacy binds a proof to a hidden artefact in artist welfare with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
performer safetyr-0

Health Limit Validator

Health Limit Validator proves membership of a performer safety roster against a public Merkle root without revealing which member.

Set Membership
recording artistsr-0

Exclusive Content Validator

Exclusive Content Validator verifies the issuer's signature inside the circuit so recording artists can prove an attestation exists without showing it.

In-Circuit Signature
music authenticityr-0

Work Provenance Checker

Work Provenance Checker folds many private claims about music authenticity into one recursive proof a verifier checks in a single step.

Recursive Aggregation
music productionn-0

Budget Band Assertion

Budget Band Assertion proves a bound holds for music production — the verifier sees the verdict, never the number.

Private Predicate
project financingn-0

Budget Band Verification

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

Commitment Binding
music contestsr-0

Competition Entry Checker

Competition Entry Checker proves membership of a music contests roster against a public Merkle root without revealing which member.

Set Membership
music competitionsf-0

Competition Eligibility Proof

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

In-Circuit Signature
artist healthe-0

Health Limits Disclosure

Health Limits Disclosure folds many private claims about artist health into one recursive proof a verifier checks in a single step.

Recursive Aggregation
music publishingf-0

Song Release Date Proof

Song Release Date Proof proves a bound holds for music publishing — the verifier sees the verdict, never the number.

Private Predicate
music analyticsr-0

Streaming Count Enhancer

Streaming Count Enhancer binds a proof to a hidden artefact in music analytics with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
music archivese-0

Unreleased Work Provenance

Unreleased Work Provenance proves membership of a music archives roster against a public Merkle root without revealing which member.

Set Membership
musician communitiesr-0

Guild Membership Checker

Guild Membership Checker verifies the issuer's signature inside the circuit so musician communities can prove an attestation exists without showing it.

In-Circuit Signature
music competitionsf-1

Competition Eligibility Proof

Competition Eligibility Proof folds many private claims about music competitions into one recursive proof a verifier checks in a single step.

Recursive Aggregation
session musiciansr-0

Collaboration Agreement Validator

Collaboration Agreement Validator proves a bound holds for session musicians — the verifier sees the verdict, never the number.

Private Predicate
creative guildsf-1

Guild Membership Proof

Guild Membership Proof binds a proof to a hidden artefact in creative guilds with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
musicians guildsr-0

Guild Membership Validator

Guild Membership Validator proves membership of a musicians guilds roster against a public Merkle root without revealing which member.

Set Membership
music productiony-0

Production Budget Authenticity

Production Budget Authenticity verifies the issuer's signature inside the circuit so music production can prove an attestation exists without showing it.

In-Circuit Signature
music licensingr-0

License Compliance Checker

License Compliance Checker folds many private claims about music licensing into one recursive proof a verifier checks in a single step.

Recursive Aggregation
distributionn-0

Streaming Count Confirmation

Streaming Count Confirmation proves a bound holds for distribution — the verifier sees the verdict, never the number.

Private Predicate
royalties managementr-0

Payout Eligibility Checker

Payout Eligibility Checker binds a proof to a hidden artefact in royalties management with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
music licensingr-1

Licensing Terms Checker

Licensing Terms Checker proves membership of a music licensing roster against a public Merkle root without revealing which member.

Set Membership
royalty distributionr-0

Payout Threshold Validator

Payout Threshold Validator verifies the issuer's signature inside the circuit so royalty distribution can prove an attestation exists without showing it.

In-Circuit Signature
music creditsl-0

Attribution Assurance Tool

Attribution Assurance Tool folds many private claims about music credits into one recursive proof a verifier checks in a single step.

Recursive Aggregation
vinyl pressingsk-0

Edition Authenticity Check

Edition Authenticity Check proves a bound holds for vinyl pressings — the verifier sees the verdict, never the number.

Private Predicate
collaborationr-0

Collaborative Clearance Verifier

Collaborative Clearance Verifier binds a proof to a hidden artefact in collaboration with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
music analyticsf-0

Streaming Count Proof

Streaming Count Proof proves membership of a music analytics roster against a public Merkle root without revealing which member.

Set Membership
artist managementr-0

Contract Terms Authenticator

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

In-Circuit Signature
music metricsn-1

Streaming Count Confirmation

Streaming Count Confirmation folds many private claims about music metrics into one recursive proof a verifier checks in a single step.

Recursive Aggregation
music creditsr-0

Attribution Compliance Validator

Attribution Compliance Validator proves a bound holds for music credits — the verifier sees the verdict, never the number.

Private Predicate
music cataloginge-1

Unreleased Work Provenance

Unreleased Work Provenance binds a proof to a hidden artefact in music cataloging with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
live eventsr-0

Performance Rights Validator

Performance Rights Validator proves membership of a live events roster against a public Merkle root without revealing which member.

Set Membership
live eventsf-0

Stage Clearance Proof

Stage Clearance Proof verifies the issuer's signature inside the circuit so live events can prove an attestation exists without showing it.

In-Circuit Signature
project budgetingr-0

Budget Conformance Checker

Budget Conformance Checker folds many private claims about project budgeting into one recursive proof a verifier checks in a single step.

Recursive Aggregation
compositionf-0

Work-in-Progress Secured Proof

Work-in-Progress Secured Proof proves a bound holds for composition — the verifier sees the verdict, never the number.

Private Predicate
licensingr-0

Licensing Terms Validator

Licensing Terms Validator binds a proof to a hidden artefact in licensing with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
audio productiony-0

Sound Design Credit Privacy

Sound Design Credit Privacy proves membership of a audio production roster against a public Merkle root without revealing which member.

Set Membership
music critiquer-0

Anonymous Review Verifier

Anonymous Review Verifier verifies the issuer's signature inside the circuit so music critique can prove an attestation exists without showing it.

In-Circuit Signature
music critiquey-0

Peer Review Anonymity

Peer Review Anonymity folds many private claims about music critique into one recursive proof a verifier checks in a single step.

Recursive Aggregation
live showsk-0

Performance Injury Status Check

Performance Injury Status Check proves a bound holds for live shows — the verifier sees the verdict, never the number.

Private Predicate
music scoringr-0

Scoring Anonymity Keeper

Scoring Anonymity Keeper binds a proof to a hidden artefact in music scoring with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
music editionsr-0

Edition Authenticity Checker

Edition Authenticity Checker proves membership of a music editions roster against a public Merkle root without revealing which member.

Set Membership
music distributiony-0

Digital Release Integrity

Digital Release Integrity verifies the issuer's signature inside the circuit so music distribution can prove an attestation exists without showing it.

In-Circuit Signature
music editionsr-0

Edition Authenticity Tracker

Edition Authenticity Tracker folds many private claims about music editions into one recursive proof a verifier checks in a single step.

Recursive Aggregation
musical contestsn-0

Competitor Score Comparison

Competitor Score Comparison proves a bound holds for musical contests — the verifier sees the verdict, never the number.

Private Predicate
music productionr-0

Safe Sampling Validator

Safe Sampling Validator binds a proof to a hidden artefact in music production with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
composition feedbackw-0

Private Peer Review

Private Peer Review proves membership of a composition feedback roster against a public Merkle root without revealing which member.

Set Membership
audio samplingn-0

Sample Use Confirmation

Sample Use Confirmation verifies the issuer's signature inside the circuit so audio sampling can prove an attestation exists without showing it.

In-Circuit Signature
songwritingf-0

Contribution History Proof

Contribution History Proof folds many private claims about songwriting into one recursive proof a verifier checks in a single step.

Recursive Aggregation
music projectsf-0

Crowdfunding Eligibility Proof

Crowdfunding Eligibility Proof proves a bound holds for music projects — the verifier sees the verdict, never the number.

Private Predicate
legal agreementsf-0

Contract Compliance Proof

Contract Compliance Proof binds a proof to a hidden artefact in legal agreements with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
funding opportunitiesy-0

Music Grant Eligibility

Music Grant Eligibility proves membership of a funding opportunities roster against a public Merkle root without revealing which member.

Set Membership
music educationl-0

Alumni Verification Tool

Alumni Verification Tool verifies the issuer's signature inside the circuit so music education can prove an attestation exists without showing it.

In-Circuit Signature
music licensings-0

Custom License Generators

Custom License Generators folds many private claims about music licensing into one recursive proof a verifier checks in a single step.

Recursive Aggregation
music samplesk-0

Sample Usage Approval Check

Sample Usage Approval Check proves a bound holds for music samples — the verifier sees the verdict, never the number.

Private Predicate
anonymous reviewsr-0

Peer Review Ensurer

Peer Review Ensurer binds a proof to a hidden artefact in anonymous reviews with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
team compositionr-0

Collaborative Project Validator

Collaborative Project Validator proves membership of a team composition roster against a public Merkle root without revealing which member.

Set Membership
music productionr-0

Track Authenticity Verifier

Track Authenticity Verifier verifies the issuer's signature inside the circuit so music production can prove an attestation exists without showing it.

In-Circuit Signature
audience engagementn-0

Crowdsourced Feedback Validation

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

Recursive Aggregation
indie projectsn-0

Budget Compliance Assertion

Budget Compliance Assertion proves a bound holds for indie projects — the verifier sees the verdict, never the number.

Private Predicate
competitionsf-2

Competition Eligibility Proof

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

Commitment Binding
sound licensingr-0

Sample Licensing Validator

Sample Licensing Validator proves membership of a sound licensing roster against a public Merkle root without revealing which member.

Set Membership
songwriting partnershipsr-0

Collaboration Sign-off Checker

Collaboration Sign-off Checker verifies the issuer's signature inside the circuit so songwriting partnerships can prove an attestation exists without showing it.

In-Circuit Signature
music historyf-0

Historical Attribution Proof

Historical Attribution Proof folds many private claims about music history into one recursive proof a verifier checks in a single step.

Recursive Aggregation
composition critiquesr-0

Peer Review Anonymity Checker

Peer Review Anonymity Checker proves a bound holds for composition critiques — the verifier sees the verdict, never the number.

Private Predicate
rehearsalsr-0

Rehearsal Attendance Verifier

Rehearsal Attendance Verifier binds a proof to a hidden artefact in rehearsals with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding
co-writingl-0

Music Collaboration Credential

Music Collaboration Credential proves membership of a co-writing roster against a public Merkle root without revealing which member.

Set Membership
live performancer-0

Health Clearance Validator

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

In-Circuit Signature
performance safetyf-0

Live Performance Limits Proof

Live Performance Limits Proof folds many private claims about performance safety into one recursive proof a verifier checks in a single step.

Recursive Aggregation