github/ZheroTag
1
1
Fork 0
mirror of https://github.com/kilyig/ZheroTag.git synced 2026-01-10 05:47:58 -05:00
Code Issues Packages Projects Releases Wiki Activity

some cleaning

Browse Source
This commit is contained in:
kilyig
2023-03-20 05:36:25 -04:00
parent b4617aec46
commit 9b3185247d
2 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
test/utils/math-utils.ts
View File

@@ -17,6 +17,10 @@ export function randomExponent() {
return BigNumber.from(randomHex).toBigInt();
}
export function randomSalt() {
return randomExponent();
}
export function randMove(xOld: number, yOld: number, xOpponent: number, yOpponent: number) {
function checkBounds(delta: any, xOld: number, yOld: number) {
const xNew = xOld + delta[0];

8
test/utils/zherotag-utils.ts
View File

@@ -1,7 +1,7 @@
import { groth16 } from "snarkjs";
import fs from "fs";
import { generateProof } from "./snark-utils";
import { randomExponent, allMoveDeltas } from "./math-utils";
import { randomExponent, randomSalt, allMoveDeltas } from "./math-utils";
const MOVE_WASM_FILE_PATH = "circuits/move.wasm";
const MOVE_ZKEY_FILE_PATH = "circuits/move.zkey";
@@ -19,7 +19,7 @@ const PSI3_WASM_FILE_PATH = "circuits/psi3.wasm";
const PSI3_ZKEY_FILE_PATH = "circuits/psi3.zkey";
const PSI3_VKEY_FILE_PATH = "circuits/psi3.vkey.json";
const UNDEFINED_PSI_RETURN_VALUE = '2';
const UNDEFINED_PSI_RETURN_VALUE = undefined;
/* inclusive boundaries:
* psi1PublicSignals[0 - 7]: set1_alpha
@@ -67,7 +67,7 @@ export async function moveAndUpdateBoards(
// player 2 verifies that player 1's move was valid
if (await verifyMoveProof(moveProof, movePublicSignals, gameStateOpponent) === false) {
return [false, UNDEFINED_PSI_RETURN_VALUE];
return [[false, UNDEFINED_PSI_RETURN_VALUE], [false, UNDEFINED_PSI_RETURN_VALUE]];
}
// player 2 updates its "posHashOpponent"
@@ -140,7 +140,7 @@ async function move(
xNew: number,
yNew: number
) {
const saltNew = randomExponent();
const saltNew = randomSalt();
const [moveProof, movePublicSignals] = await prepareMoveProof(
gameState,