pozk-2048

• PoZK testnet prover: 0x8aCF473885f975023e7A9B7C043Da53D690cbc6E
• PoZK mainnet prover: Coming soon

Serialize (ABI encode/decode)

• Inputs (bytes)

"[ uint256[7] ]" array size <= 3

uint256, // packed_board_1
uint256, // packed_board_2
uint256, // packed_dir
uint256, // address
uint256, // step
uint256, // step_after
uint256, // nonce

• Publics (bytes, equal to Inputs)

"[ uint256[7] ]" array size <= 3

uint256, // packed_board_1
uint256, // packed_board_2
uint256, // packed_dir
uint256, // address
uint256, // step
uint256, // step_after
uint256, // nonce

• Proof (bytes)

"uint256[2], uint256[2][2], uint256[2]"

uint256[2],    // proof.a
uint256[2][2], // proof.b
uint256[2],    // proof.c

e.g. Json

{
    "board": [
        [0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0],
        [0, 2, 4, 6, 0, 1, 2, 4, 0, 0, 0, 5, 0, 0, 1, 3]
    ],
    "packedBoard": ["35218731827200", "2515675923718842875939"],
    "packedDir": "311800516178808354245949615821275955",
    "direction": [0, 3, 3, 0, 0, 0, 3, 0, 3, 3, 0, 3, 3, 0, 3, 0, 2, 0, 3, 3, 0, 2, 0, 3, 0, 0, 3, 0, 2, 0, 3, 3, 0, 0, 3, 0, 3, 3, 0, 3, 3, 3, 3, 3, 0, 0, 3, 2, 3, 3, 0, 3, 3, 0, 0, 3, 0, 3, 0, 3],
    "address": "6789",
    "step": 0,
    "stepAfter": 60,
    "nonce": "456"
}

e.g. Hex (2-size)

inputs: 0x000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000200800000000000000000000000000000000000000000000000000000088600444000050002300000000000000000000000000000000003c0cf3cc8f230c8f0cf3ff0ef3c3330000000000000000000000000000000000000000000000000000000000001a850000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003c00000000000000000000000000000000000000000000000000000000000001c80000000000000000000000000000000000000000000000000000200800000000000000000000000000000000000000000000000000000088600444000050002300000000000000000000000000000000003c0cf3cc8f230c8f0cf3ff0ef3c3330000000000000000000000000000000000000000000000000000000000001a850000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003c00000000000000000000000000000000000000000000000000000000000001c8
publics: 0x000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000200800000000000000000000000000000000000000000000000000000088600444000050002300000000000000000000000000000000003c0cf3cc8f230c8f0cf3ff0ef3c3330000000000000000000000000000000000000000000000000000000000001a850000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003c00000000000000000000000000000000000000000000000000000000000001c80000000000000000000000000000000000000000000000000000200800000000000000000000000000000000000000000000000000000088600444000050002300000000000000000000000000000000003c0cf3cc8f230c8f0cf3ff0ef3c3330000000000000000000000000000000000000000000000000000000000001a850000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003c00000000000000000000000000000000000000000000000000000000000001c8