app.title
app.subtitle
wallet.title
Initializing wallet connection...
register.title
register.create_melody (0/8 register.notes)
How it works:
- about.step1
- about.step2
- about.step3
- about.step4
melodies.title
melodies.loading
verify.title
verify.select_melody
register.create_melody (0/8 register.notes)
register.selected_notes: register.none (0/8)
verify.process_log
0 verify.entries
verify.no_logs
about.title
about.description
about.how_it_works
- about.step1
- about.step2
- about.step3
- about.step4
about.benefits
- about.benefit1
- about.benefit2
- about.benefit3
about.tech
How Zero-Knowledge Proofs Work
System Basics
Our system allows musicians to prove they own a melody without ever revealing the actual notes. It's like proving you know a password without ever saying it out loud.
The technology that makes this possible is called a "zero-knowledge proof" (ZKP), an advanced cryptographic concept that forms the foundation of many modern blockchains.
Process Flow
- You create a melody using the virtual piano
- The notes are converted to MIDI values (e.g., C4 → 60)
- A random "salt" is generated to ensure uniqueness
- The system calculates a cryptographic hash using the Poseidon function
- A mathematical proof is generated that shows you know the notes that produce this hash
- The proof is verified on the blockchain, but the actual notes are never shared
The Math Behind It
From a mathematical perspective, our system uses:
- Poseidon hash algorithm: optimized for ZKPs on blockchains
- Groth16 proofs: an efficient and compact proving system
- Circom circuits: a language that defines the mathematical relationships our proofs must satisfy
// Simplified mathematical formulation
hash = Poseidon([notes_midi, random_salt])
proof = Groth16.Prove(circuit, [notes_midi, random_salt], hash)
verification = Groth16.Verify(proof, hash) // Returns true if valid
Essential ZKP Properties
- Completeness: If you truly know the melody, you can always generate a valid proof
- Soundness: If you don't know the melody, you cannot create a valid proof
- Zero-knowledge: The proof reveals no information about the melody itself
Practical Applications
This system can be used for:
- Establishing ownership of melodies without risk of theft
- Proving prior art in copyright disputes
- Sharing ownership proofs with record labels or publishers
- Creating a verifiable registry of timestamped musical creations