Press n or j to go to the next uncovered block, b, p or k for the previous block.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 | 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 20x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 1x 18x 18x 18x 18x 18x 18x 18x 18x 18x 18x 18x 1x 1x 1x 1x | /**
* NFTProgram is a ZkProgram providing zero-knowledge proofs for updating NFT metadata.
* It includes methods for inserting metadata entries and merging proofs.
*
* @module NFTProgram
*/
import { ZkProgram, Field, Cache, SelfProof, Signature } from "o1js";
import { NFTState } from "../interfaces/types.js";
import { MetadataMap } from "../metadata/metadata.js";
export { NFTProgram };
/**
* Defines the NFTProgram ZkProgram with methods for updating NFT metadata.
*/
const NFTProgram = ZkProgram({
name: "NFTProgram",
publicInput: NFTState,
publicOutput: NFTState,
methods: {
/**
* Inserts a metadata key-value pair into the NFT's metadata map.
*
* @returns {Promise<{ publicOutput: NFTState; auxiliaryOutput: MetadataMap }>} A promise resolving to an object containing the updated NFT state and auxiliary output.
*
* @remarks
* This method verifies that the provided signature is valid and corresponds to the NFT owner.
* It then inserts the new key-value pair into the metadata map, ensuring that the key does not already exist.
* The method returns an updated NFT state with the new metadata root and increments the version.
*/
insertMetadata: {
privateInputs: [MetadataMap, Field, Field, Signature],
auxiliaryOutput: MetadataMap,
async method(
initialState: NFTState,
metadata: MetadataMap,
key: Field,
value: Field,
signature: Signature
): Promise<{ publicOutput: NFTState; auxiliaryOutput: MetadataMap }> {
signature
.verify(initialState.owner, [
...NFTState.toFields(initialState),
key,
value,
])
.assertTrue("Wrong owner signature");
metadata.insert(key, value); // Proves that key does not exist
return {
publicOutput: new NFTState({
immutableState: initialState.immutableState,
metadata: metadata.root,
owner: initialState.owner,
approved: initialState.approved,
name: initialState.name,
storage: initialState.storage,
isPaused: initialState.isPaused,
version: initialState.version.add(1),
metadataVerificationKeyHash:
initialState.metadataVerificationKeyHash,
creator: initialState.creator,
oracleAddress: initialState.oracleAddress,
context: initialState.context,
}),
auxiliaryOutput: metadata,
};
},
},
/**
* Merges two self-proofs to produce a new NFT state.
*
* @returns {Promise<{ publicOutput: NFTState }>} A promise resolving to an object containing the merged NFT state.
*
* @remarks
* This method verifies both proofs and asserts the consistency of their inputs and outputs.
* It ensures that the initial state matches the public input of the first proof,
* and that the public output of the first proof matches the public input of the second proof.
* The method returns the public output of the second proof as the new merged NFT state.
*/
merge: {
privateInputs: [SelfProof, SelfProof],
async method(
initialState: NFTState,
proof1: SelfProof<NFTState, NFTState>,
proof2: SelfProof<NFTState, NFTState>
) {
proof1.verify();
proof2.verify();
NFTState.assertEqual(initialState, proof1.publicInput);
NFTState.assertEqual(proof1.publicOutput, proof2.publicInput);
return {
publicOutput: proof2.publicOutput,
};
},
},
},
});
|