Index/games
House · game designers, interactive artists, XR creators
🎮

Game Design & Interactive Media

100
Entries
5
Primitives

Showing 100 of 100 entries

interactive storytelling№ n-0

Age Confirmation

Age Confirmation proves a bound holds for interactive storytelling — the verifier sees the verdict, never the number.

Private Predicate→
guild access№ p-0

Proof of Membership

Proof of Membership binds a proof to a hidden artefact in guild access with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
game competitions№ s-0

Secret Audition Scores

Secret Audition Scores proves membership of a game competitions roster against a public Merkle root without revealing which member.

Set Membership→
game distribution№ e-0

Verified Age Gate

Verified Age Gate verifies the issuer's signature inside the circuit so game distribution can prove an attestation exists without showing it.

In-Circuit Signature→
guild verification№ f-0

Membership Proof

Membership Proof folds many private claims about guild verification into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
music composition№ y-0

Royalty Eligibility

Royalty Eligibility proves a bound holds for music composition — the verifier sees the verdict, never the number.

Private Predicate→
esports№ n-0

Score Verification

Score Verification binds a proof to a hidden artefact in esports with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
online multiplayer№ r-0

Hidden Guild Roster

Hidden Guild Roster proves membership of a online multiplayer roster against a public Merkle root without revealing which member.

Set Membership→
financial transparency№ f-0

Royalties Proof

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

In-Circuit Signature→
audition scoring№ s-0

Talent Show Scores

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

Recursive Aggregation→
multiplayer gaming№ k-0

Guild Membership Check

Guild Membership Check proves a bound holds for multiplayer gaming — the verifier sees the verdict, never the number.

Private Predicate→
collaborative projects№ t-0

Artistic Credit

Artistic Credit binds a proof to a hidden artefact in collaborative projects with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
educational games№ e-0

Age Verification Game

Age Verification Game proves membership of a educational games roster against a public Merkle root without revealing which member.

Set Membership→
community integrity№ k-1

Guild Membership Check

Guild Membership Check verifies the issuer's signature inside the circuit so community integrity can prove an attestation exists without showing it.

In-Circuit Signature→
content ratings№ n-0

Age Verification

Age Verification folds many private claims about content ratings into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
performing arts№ s-0

Audition Scores

Audition Scores proves a bound holds for performing arts — the verifier sees the verdict, never the number.

Private Predicate→
indie games№ e-0

Royalties Assurance

Royalties Assurance binds a proof to a hidden artefact in indie games with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
user testing№ p-0

Confidential Feedback Loop

Confidential Feedback Loop proves membership of a user testing roster against a public Merkle root without revealing which member.

Set Membership→
legal verification№ y-0

Contract Authenticity

Contract Authenticity verifies the issuer's signature inside the circuit so legal verification can prove an attestation exists without showing it.

In-Circuit Signature→
financial transparency№ s-0

Royalty Claims

Royalty Claims folds many private claims about financial transparency into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
indie publishing№ n-0

Contract Qualification

Contract Qualification proves a bound holds for indie publishing — the verifier sees the verdict, never the number.

Private Predicate→
youth access№ n-1

Age Verification

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

Commitment Binding→
collectible games№ s-0

Authentic Game Editions

Authentic Game Editions proves membership of a collectible games roster against a public Merkle root without revealing which member.

Set Membership→
competition integrity№ n-0

Score Validation

Score Validation verifies the issuer's signature inside the circuit so competition integrity can prove an attestation exists without showing it.

In-Circuit Signature→
intellectual property№ g-0

Asset Licensing

Asset Licensing folds many private claims about intellectual property into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
game development№ n-0

Content Rating Validation

Content Rating Validation proves a bound holds for game development — the verifier sees the verdict, never the number.

Private Predicate→
music integration№ e-0

Sample Clearance

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

Commitment Binding→
indie game publishing№ s-0

Private Royalty Claims

Private Royalty Claims proves membership of a indie game publishing roster against a public Merkle root without revealing which member.

Set Membership→
artistic authenticity№ f-0

Provenance Proof

Provenance Proof verifies the issuer's signature inside the circuit so artistic authenticity can prove an attestation exists without showing it.

In-Circuit Signature→
game critique№ y-0

Peer Review Privacy

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

Recursive Aggregation→
music production№ f-0

Sample Clearance Proof

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

Private Predicate→
game jams№ y-0

Competition Eligibility

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

Commitment Binding→
content creation№ n-0

Unreleased Work Validation

Unreleased Work Validation proves membership of a content creation roster against a public Merkle root without revealing which member.

Set Membership→
music licensing№ k-0

Sample Clearance Check

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

In-Circuit Signature→
contest entry№ y-1

Competition Eligibility

Competition Eligibility folds many private claims about contest entry into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
game jams№ y-2

Competition Eligibility

Competition Eligibility proves a bound holds for game jams — the verifier sees the verdict, never the number.

Private Predicate→
project funding№ y-0

Budget Integrity

Budget Integrity binds a proof to a hidden artefact in project funding with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
music games№ f-1

Sample Clearance Proof

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

Set Membership→
project management№ n-0

Budget Range Verification

Budget Range Verification verifies the issuer's signature inside the circuit so project management can prove an attestation exists without showing it.

In-Circuit Signature→
edition verification№ y-0

Content Authenticity

Content Authenticity folds many private claims about edition verification into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
game funding№ s-0

Budget Thresholds

Budget Thresholds proves a bound holds for game funding — the verifier sees the verdict, never the number.

Private Predicate→
wellness tracking№ s-0

Health Limits

Health Limits binds a proof to a hidden artefact in wellness tracking with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
streaming analytics№ s-0

Anonymous Audience Metrics

Anonymous Audience Metrics proves membership of a streaming analytics roster against a public Merkle root without revealing which member.

Set Membership→
analytics integrity№ n-0

Streaming Count Verification

Streaming Count Verification verifies the issuer's signature inside the circuit so analytics integrity can prove an attestation exists without showing it.

In-Circuit Signature→
viewership analysis№ s-0

Streaming Metrics

Streaming Metrics folds many private claims about viewership analysis into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
peer review№ y-0

Feedback Anonymity

Feedback Anonymity proves a bound holds for peer review — the verifier sees the verdict, never the number.

Private Predicate→
content creation№ y-0

Streaming Accuracy

Streaming Accuracy binds a proof to a hidden artefact in content creation with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
fitness games№ f-0

Health Limit Proof

Health Limit Proof proves membership of a fitness games roster against a public Merkle root without revealing which member.

Set Membership→
safety compliance№ k-0

Health Clearance Check

Health Clearance Check verifies the issuer's signature inside the circuit so safety compliance can prove an attestation exists without showing it.

In-Circuit Signature→
player fitness№ e-0

Health Clearance

Health Clearance folds many private claims about player fitness into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
esports№ e-1

Health Clearance

Health Clearance proves a bound holds for esports — the verifier sees the verdict, never the number.

Private Predicate→
software release№ y-0

Version Authenticity

Version Authenticity binds a proof to a hidden artefact in software release with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
game development№ s-0

Secure Collaboration Rights

Secure Collaboration Rights proves membership of a game development roster against a public Merkle root without revealing which member.

Set Membership→
creative credits№ n-0

Attribution Verification

Attribution Verification verifies the issuer's signature inside the circuit so creative credits can prove an attestation exists without showing it.

In-Circuit Signature→
project funding№ y-0

Budget Transparency

Budget Transparency folds many private claims about project funding into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
tournament play№ n-1

Score Verification

Score Verification proves a bound holds for tournament play — the verifier sees the verdict, never the number.

Private Predicate→
user testing№ y-1

Feedback Anonymity

Feedback Anonymity binds a proof to a hidden artefact in user testing with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
esports№ n-0

Trustworthy Score Verification

Trustworthy Score Verification proves membership of a esports roster against a public Merkle root without revealing which member.

Set Membership→
legal compliance№ n-0

License Terms Validation

License Terms Validation verifies the issuer's signature inside the circuit so legal compliance can prove an attestation exists without showing it.

In-Circuit Signature→
player safety№ s-0

Injury Reports

Injury Reports folds many private claims about player safety into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
visual arts№ f-0

Edition Proof

Edition Proof proves a bound holds for visual arts — the verifier sees the verdict, never the number.

Private Predicate→
voice acting№ n-0

Talent Audition

Talent Audition binds a proof to a hidden artefact in voice acting with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
digital storytelling№ s-0

Private License Agreements

Private License Agreements proves membership of a digital storytelling roster against a public Merkle root without revealing which member.

Set Membership→
collectors market№ n-0

Edition Authentication

Edition Authentication verifies the issuer's signature inside the circuit so collectors market can prove an attestation exists without showing it.

In-Circuit Signature→
game testing№ n-0

Feedback Aggregation

Feedback Aggregation folds many private claims about game testing into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
virtual reality№ s-0

Age Gate Access

Age Gate Access proves a bound holds for virtual reality — the verifier sees the verdict, never the number.

Private Predicate→
leaderboard integrity№ y-0

Game Score Privacy

Game Score Privacy binds a proof to a hidden artefact in leaderboard integrity with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
game education№ s-0

Restricted Content Access

Restricted Content Access proves membership of a game education roster against a public Merkle root without revealing which member.

Set Membership→
game development№ w-0

Anonymous Peer Review

Anonymous Peer Review verifies the issuer's signature inside the circuit so game development can prove an attestation exists without showing it.

In-Circuit Signature→
music licensing№ e-1

Sample Clearance

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

Recursive Aggregation→
game art№ n-0

Asset Attribution

Asset Attribution proves a bound holds for game art — the verifier sees the verdict, never the number.

Private Predicate→
freelance agreements№ n-0

Contract Terms Validation

Contract Terms Validation binds a proof to a hidden artefact in freelance agreements with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
game jams№ n-0

Competition Entry Validation

Competition Entry Validation proves membership of a game jams roster against a public Merkle root without revealing which member.

Set Membership→
event management№ n-0

Competition Entry Verification

Competition Entry Verification verifies the issuer's signature inside the circuit so event management can prove an attestation exists without showing it.

In-Circuit Signature→
development agreements№ e-0

Contract Adherence

Contract Adherence folds many private claims about development agreements into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
interactive design№ e-0

Game Feature Disclosure

Game Feature Disclosure proves a bound holds for interactive design — the verifier sees the verdict, never the number.

Private Predicate→
provenance№ f-0

Unrevealed Work Proof

Unrevealed Work Proof binds a proof to a hidden artefact in provenance with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
game design teams№ s-0

Hidden Contribution Metrics

Hidden Contribution Metrics proves membership of a game design teams roster against a public Merkle root without revealing which member.

Set Membership→
asset management№ k-0

Sourcing Rights Check

Sourcing Rights Check verifies the issuer's signature inside the circuit so asset management can prove an attestation exists without showing it.

In-Circuit Signature→
game testing№ s-0

Beta Access

Beta Access folds many private claims about game testing into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
live events№ g-0

Performance Scheduling

Performance Scheduling proves a bound holds for live events — the verifier sees the verdict, never the number.

Private Predicate→
art assets№ s-0

Content Usage Rights

Content Usage Rights binds a proof to a hidden artefact in art assets with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
market research№ s-0

Confidential User Surveys

Confidential User Surveys proves membership of a market research roster against a public Merkle root without revealing which member.

Set Membership→
financial governance№ n-0

Payout Threshold Validation

Payout Threshold Validation verifies the issuer's signature inside the circuit so financial governance can prove an attestation exists without showing it.

In-Circuit Signature→
fundraising№ s-0

Crowdfunding Milestones

Crowdfunding Milestones folds many private claims about fundraising into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
narrative games№ s-0

Character Customization Limits

Character Customization Limits proves a bound holds for narrative games — the verifier sees the verdict, never the number.

Private Predicate→
development cycles№ n-0

Game Design Iteration

Game Design Iteration binds a proof to a hidden artefact in development cycles with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
game testing№ s-0

Secure Playtesting Results

Secure Playtesting Results proves membership of a game testing roster against a public Merkle root without revealing which member.

Set Membership→
music production№ s-0

Music Audition Credentials

Music Audition Credentials verifies the issuer's signature inside the circuit so music production can prove an attestation exists without showing it.

In-Circuit Signature→
team dynamics№ n-0

Project Collaboration

Project Collaboration folds many private claims about team dynamics into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
in-game purchases№ s-0

Payout Thresholds

Payout Thresholds proves a bound holds for in-game purchases — the verifier sees the verdict, never the number.

Private Predicate→
market research№ t-0

Competitor Assessment

Competitor Assessment binds a proof to a hidden artefact in market research with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
player analytics№ s-0

Private Gameplay Stats

Private Gameplay Stats proves membership of a player analytics roster against a public Merkle root without revealing which member.

Set Membership→
development process№ n-0

Prototype Authorization

Prototype Authorization verifies the issuer's signature inside the circuit so development process can prove an attestation exists without showing it.

In-Circuit Signature→
tournament play№ n-1

Score Validation

Score Validation folds many private claims about tournament play into one recursive proof a verifier checks in a single step.

Recursive Aggregation→
content creation№ e-0

Streaming Compliance

Streaming Compliance proves a bound holds for content creation — the verifier sees the verdict, never the number.

Private Predicate→
educational events№ e-0

Workshop Attendance

Workshop Attendance binds a proof to a hidden artefact in educational events with a Pedersen commitment anyone can recognise but nobody can open.

Commitment Binding→
game critique№ w-1

Anonymous Peer Review

Anonymous Peer Review proves membership of a game critique roster against a public Merkle root without revealing which member.

Set Membership→
age eligibility№ e-0

Ledger Age

Ledger Age verifies the issuer's signature inside the circuit so age eligibility can prove an attestation exists without showing it.

In-Circuit Signature→
development history№ l-0

Audit Trail

Audit Trail folds many private claims about development history into one recursive proof a verifier checks in a single step.

Recursive Aggregation→