Spec: https://github.com/logos-co/lambda-prize/blob/master/prizes/LP-0001.md
LP-0001 "Private NFT Ownership Proof" — a ZK set-membership primitive letting a user prove they own some NFT from a collection without disclosing which one, plus a nullifier/domain-separation scheme for replay resistance. Deliverables per the spec: a Risc0 circuit, a LEZ verifier program, a client-side proving SDK/CLI, an SPEL IDL, a Basecamp app GUI, and a reference token-gating integration.
The prize MD is merged but still marked [DRAFT] — Status: draft - pending NFT Program readiness. It is not open for submissions yet. This issue tracks moving it from draft to published.
Dependency: the NFT program itself (RD-nft-program in flywheels). The [RFP] NFT Program tracking issue (#191) is closed.
Readiness evidence: #232 is community dogfooding of NFTs on the Logos stack — a live private NFT collection on a testnet node, a forked LEZ wallet, and a PoC Basecamp app. It argues the substrate is ready and identifies the delta to LP-0001's goal as set-membership proof + nullifier on top of what is already proven. It also surfaces two gaps: the LEZ CLI wallet cannot display/create/print/trade NFTs (fixed only on an R&D fork, not upstreamed), and there is no official NFT documentation.
Open decisions:
Related to #232
Spec: https://github.com/logos-co/lambda-prize/blob/master/prizes/LP-0001.md
LP-0001 "Private NFT Ownership Proof" — a ZK set-membership primitive letting a user prove they own some NFT from a collection without disclosing which one, plus a nullifier/domain-separation scheme for replay resistance. Deliverables per the spec: a Risc0 circuit, a LEZ verifier program, a client-side proving SDK/CLI, an SPEL IDL, a Basecamp app GUI, and a reference token-gating integration.
The prize MD is merged but still marked
[DRAFT]—Status: draft - pending NFT Program readiness. It is not open for submissions yet. This issue tracks moving it from draft to published.Dependency: the NFT program itself (
RD-nft-programin flywheels). The[RFP] NFT Programtracking issue (#191) is closed.Readiness evidence: #232 is community dogfooding of NFTs on the Logos stack — a live private NFT collection on a testnet node, a forked LEZ wallet, and a PoC Basecamp app. It argues the substrate is ready and identifies the delta to LP-0001's goal as set-membership proof + nullifier on top of what is already proven. It also surfaces two gaps: the LEZ CLI wallet cannot display/create/print/trade NFTs (fixed only on an R&D fork, not upstreamed), and there is no official NFT documentation.
Open decisions:
Related to #232