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 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 | 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 1x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 3x 3x 3x 3x 3x 3x 3x 3x 3x 3x 3x 3x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 9x 1x 1x 1x 1x 1x 1x 6x 6x 6x 6x 6x 6x 6x 6x 6x 6x 6x 1x 1x 1x 1x | /**
* NFTMatchProgram is a ZkProgram providing zero-knowledge proofs for matching NFT metadata to Smart Contract state.
*
* @module NFTMatchProgram
*/
import { ZkProgram, Field, Cache, PublicKey, SelfProof, Provable } from "o1js";
import { NFTState } from "../interfaces/types.js";
import { Metadata, MetadataMap, MetadataValue } from "../metadata/metadata.js";
import { fieldFromString } from "../interfaces/encoding.js";
import { createIpfsURL, Storage } from "@silvana-one/storage";
export { NFTGameProgram };
/**
* Defines the NFTProgram ZkProgram with methods for updating NFT metadata.
*/
const NFTGameProgram = ZkProgram({
name: "NFTGameProgram",
publicInput: NFTState,
publicOutput: NFTState,
methods: {
/**
* Updates the NFT's metadata map with a new key-value pairs.
*
* @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.
*/
updateMetadataAndOwner: {
privateInputs: [MetadataMap, PublicKey, Field, Field, Storage, PublicKey],
auxiliaryOutput: MetadataMap,
async method(
initialState: NFTState,
metadata: MetadataMap,
contract: PublicKey,
score: Field,
color: Field,
storage: Storage,
owner: PublicKey
): Promise<{ publicOutput: NFTState; auxiliaryOutput: MetadataMap }> {
metadata.root.assertEquals(initialState.metadata);
metadata.set(
fieldFromString("color"),
MetadataValue.new({ value: color, type: "field" }).hash()
);
metadata.set(
fieldFromString("score"),
MetadataValue.new({ value: score, type: "field" }).hash()
);
initialState.oracleAddress.assertEquals(contract);
initialState.context.custom[0].assertEquals(score);
initialState.context.custom[1].assertEquals(color);
MetadataValue.new({ value: contract.x, type: "field" })
.hash()
.assertEquals(metadata.get(fieldFromString("contractX")));
MetadataValue.new({
value: contract.isOdd.toField(),
type: "field",
})
.hash()
.assertEquals(metadata.get(fieldFromString("contractIsOdd")));
contract.assertEquals(initialState.oracleAddress);
// This code does NOT create a constraint on the storage as we use IPFS.
// It is used to verify that the storage that will be used is valid.
// After Project Untitled will be released, this code should be changed
// to create a constraint on the storage using Project Untitled.
const metadataRoot = await Provable.witnessAsync(Field, async () => {
const fetchResult = await fetch(
createIpfsURL({ hash: storage.toString() })
);
if (!fetchResult.ok) {
throw new Error("Failed to fetch metadata");
}
const json = await fetchResult.json();
if (!json) {
throw new Error("Failed to fetch metadata");
}
const metadata = Metadata.fromJSON({
json,
checkRoot: true,
});
return metadata.map.root;
});
metadataRoot.assertEquals(metadata.root);
// Owner can be updated only in case of a maximum score - 7 when the winner gets the NFT
owner
.equals(initialState.owner)
.or(score.equals(Field(7)))
.assertTrue();
return {
publicOutput: new NFTState({
metadata: metadata.root,
owner,
storage,
immutableState: initialState.immutableState,
approved: initialState.approved,
name: initialState.name,
isPaused: initialState.isPaused,
version: initialState.version.add(1),
metadataVerificationKeyHash:
initialState.metadataVerificationKeyHash,
creator: initialState.creator,
oracleAddress: initialState.oracleAddress,
context: initialState.context,
}),
auxiliaryOutput: metadata,
};
},
},
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,
};
},
},
},
});
|