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

Music & Sound Design

100
Entries
5
Primitives

Showing 100 of 100 entries

songwriters№ k-0

Royalty Threshold Check

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

Private Predicate→
music publishing№ r-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 libraries№ r-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 musicians№ r-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 collaboration№ s-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 libraries№ r-0

Sample Clearance Validator

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

Private Predicate→
sampling№ r-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 publishing№ r-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 design№ r-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 processes№ s-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 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 competitions№ r-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→
competitions№ r-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 competitions№ s-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 clearance№ r-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 licensing№ r-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 editions№ r-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 categories№ y-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 publishing№ f-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 guilds№ f-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→
performers№ r-0

Health Status Validator

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

Private Predicate→
audition processes№ f-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 composing№ y-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 projects№ r-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 collaborations№ t-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→
competitions№ f-0

Composition Eligibility Proof

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

Private Predicate→
music credits№ r-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 funding№ r-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 performance№ r-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 royalties№ n-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 guilds№ k-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 welfare№ y-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 safety№ r-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 artists№ r-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 authenticity№ r-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 production№ n-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 financing№ n-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 contests№ r-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 competitions№ f-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 health№ e-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 publishing№ f-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 analytics№ r-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 archives№ e-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 communities№ r-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 competitions№ f-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 musicians№ r-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 guilds№ f-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 guilds№ r-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 production№ y-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 licensing№ r-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→
distribution№ n-0

Streaming Count Confirmation

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

Private Predicate→
royalties management№ r-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 licensing№ r-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 distribution№ r-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 credits№ l-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 pressings№ k-0

Edition Authenticity Check

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

Private Predicate→
collaboration№ r-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 analytics№ f-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 management№ r-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 metrics№ n-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 credits№ r-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 cataloging№ e-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 events№ r-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 events№ f-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 budgeting№ r-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→
composition№ f-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→
licensing№ r-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 production№ y-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 critique№ r-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 critique№ y-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 shows№ k-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 scoring№ r-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 editions№ r-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 distribution№ y-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 editions№ r-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 contests№ n-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 production№ r-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 feedback№ w-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 sampling№ n-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→
songwriting№ f-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 projects№ f-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 agreements№ f-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 opportunities№ y-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 education№ l-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 licensing№ s-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 samples№ k-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 reviews№ r-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 composition№ r-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 production№ r-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 engagement№ n-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 projects№ n-0

Budget Compliance Assertion

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

Private Predicate→
competitions№ f-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 licensing№ r-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 partnerships№ r-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 history№ f-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 critiques№ r-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→
rehearsals№ r-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-writing№ l-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 performance№ r-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 safety№ f-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→