Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: constraining note owner #1896

Merged
merged 12 commits into from
Sep 15, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -111,7 +111,7 @@ export class ClientTxExecutionContext {
contractAddress,
new Point(fromACVMField(ownerX), fromACVMField(ownerY)),
);
return [toACVMField(secretKey.high), toACVMField(secretKey.low)];
return [toACVMField(secretKey.low), toACVMField(secretKey.high)];
}

/**
Expand Down
59 changes: 23 additions & 36 deletions yarn-project/acir-simulator/src/client/private_execution.test.ts
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ import {
MAX_NEW_COMMITMENTS_PER_CALL,
PRIVATE_DATA_TREE_HEIGHT,
PublicCallRequest,
PublicKey,
TxContext,
} from '@aztec/circuits.js';
import {
Expand Down Expand Up @@ -66,6 +67,11 @@ describe('Private Execution test suite', () => {

const defaultContractAddress = AztecAddress.random();
const ownerPk = GrumpkinScalar.fromString('2dcc5485a58316776299be08c78fa3788a1a7961ae30dc747fb1be17692a8d32');
const recipientPk = GrumpkinScalar.fromString('0c9ed344548e8f9ba8aa3c9f8651eaa2853130f6c1e9c050ccf198f7ea18a7ec');
let owner: AztecAddress;
let recipient: AztecAddress;
let ownerCompleteAddress: CompleteAddress;
let recipientCompleteAddress: CompleteAddress;

const treeHeights: { [name: string]: number } = {
privateData: PRIVATE_DATA_TREE_HEIGHT,
Expand Down Expand Up @@ -142,11 +148,21 @@ describe('Private Execution test suite', () => {
beforeAll(async () => {
circuitsWasm = await CircuitsWasm.get();
logger = createDebugLogger('aztec:test:private_execution');

ownerCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(ownerPk, Fr.random());
recipientCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(recipientPk, Fr.random());

owner = ownerCompleteAddress.address;
recipient = recipientCompleteAddress.address;
});

beforeEach(() => {
oracle = mock<DBOracle>();
oracle.getSecretKey.mockResolvedValue(ownerPk);
oracle.getSecretKey.mockImplementation((contractAddress: AztecAddress, pubKey: PublicKey) => {
if (pubKey.equals(ownerCompleteAddress.publicKey)) return Promise.resolve(ownerPk);
if (pubKey.equals(recipientCompleteAddress.publicKey)) return Promise.resolve(recipientPk);
throw new Error(`Unknown address ${pubKey}`);
});
oracle.getHistoricBlockData.mockResolvedValue(blockData);

acirSimulator = new AcirSimulator(oracle);
Expand All @@ -167,10 +183,7 @@ describe('Private Execution test suite', () => {

describe('private token airdrop contract', () => {
const contractAddress = defaultContractAddress;
const recipientPk = GrumpkinScalar.fromString('0c9ed344548e8f9ba8aa3c9f8651eaa2853130f6c1e9c050ccf198f7ea18a7ec');
const mockFirstNullifier = new Fr(1111);
let owner: AztecAddress;
let recipient: AztecAddress;
let currentNoteIndex = 0n;

const buildNote = (amount: bigint, owner: AztecAddress, storageSlot = Fr.random()) => {
Expand All @@ -197,13 +210,7 @@ describe('Private Execution test suite', () => {
};
};

beforeEach(async () => {
const ownerCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(ownerPk, Fr.random());
const recipientCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(recipientPk, Fr.random());

owner = ownerCompleteAddress.address;
recipient = recipientCompleteAddress.address;

beforeEach(() => {
oracle.getCompleteAddress.mockImplementation((address: AztecAddress) => {
if (address.equals(owner)) return Promise.resolve(ownerCompleteAddress);
if (address.equals(recipient)) return Promise.resolve(recipientCompleteAddress);
Expand Down Expand Up @@ -236,8 +243,8 @@ describe('Private Execution test suite', () => {
const innerNullifier = Fr.fromBuffer(
pedersenPlookupCommitInputs(circuitsWasm, [
uniqueSiloedNoteHash.toBuffer(),
ownerPk.high.toBuffer(),
ownerPk.low.toBuffer(),
ownerPk.high.toBuffer(),
]),
);

Expand Down Expand Up @@ -395,10 +402,7 @@ describe('Private Execution test suite', () => {

describe('private token contract', () => {
const contractAddress = defaultContractAddress;
const recipientPk = GrumpkinScalar.fromString('0c9ed344548e8f9ba8aa3c9f8651eaa2853130f6c1e9c050ccf198f7ea18a7ec');
const mockFirstNullifier = new Fr(1111);
let owner: AztecAddress;
let recipient: AztecAddress;
let currentNoteIndex = 0n;

const buildNote = (amount: bigint, owner: AztecAddress, storageSlot = Fr.random()) => {
Expand All @@ -425,13 +429,7 @@ describe('Private Execution test suite', () => {
};
};

beforeEach(async () => {
const ownerCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(ownerPk, Fr.random());
const recipientCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(recipientPk, Fr.random());

owner = ownerCompleteAddress.address;
recipient = recipientCompleteAddress.address;

beforeEach(() => {
oracle.getCompleteAddress.mockImplementation((address: AztecAddress) => {
if (address.equals(owner)) return Promise.resolve(ownerCompleteAddress);
if (address.equals(recipient)) return Promise.resolve(recipientCompleteAddress);
Expand Down Expand Up @@ -464,8 +462,8 @@ describe('Private Execution test suite', () => {
const innerNullifier = Fr.fromBuffer(
pedersenPlookupCommitInputs(circuitsWasm, [
uniqueSiloedNoteHash.toBuffer(),
ownerPk.high.toBuffer(),
ownerPk.low.toBuffer(),
ownerPk.high.toBuffer(),
]),
);

Expand Down Expand Up @@ -681,13 +679,8 @@ describe('Private Execution test suite', () => {

describe('consuming messages', () => {
const contractAddress = defaultContractAddress;
const recipientPk = GrumpkinScalar.fromString('0c9ed344548e8f9ba8aa3c9f8651eaa2853130f6c1e9c050ccf198f7ea18a7ec');

let recipient: AztecAddress;

beforeEach(async () => {
const recipientCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(recipientPk, Fr.random());
recipient = recipientCompleteAddress.address;
beforeEach(() => {
oracle.getCompleteAddress.mockImplementation((address: AztecAddress) => {
if (address.equals(recipient)) return Promise.resolve(recipientCompleteAddress);
throw new Error(`Unknown address ${address}`);
Expand Down Expand Up @@ -809,13 +802,7 @@ describe('Private Execution test suite', () => {
});

describe('pending commitments contract', () => {
let owner: AztecAddress;

beforeEach(async () => {
const ownerCompleteAddress = await CompleteAddress.fromPrivateKeyAndPartialAddress(ownerPk, Fr.random());

owner = ownerCompleteAddress.address;

beforeEach(() => {
oracle.getCompleteAddress.mockImplementation((address: AztecAddress) => {
if (address.equals(owner)) return Promise.resolve(ownerCompleteAddress);
throw new Error(`Unknown address ${address}`);
Expand Down
4 changes: 3 additions & 1 deletion yarn-project/acir-simulator/src/client/simulator.ts
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,9 @@ export class AcirSimulator {
}

if (request.origin !== contractAddress) {
this.log.warn('Request origin does not match contract address in simulation');
this.log.warn(
`Request origin does not match contract address in simulation. Request origin: ${request.origin}, contract address: ${contractAddress}`,
);
}

const curve = await Grumpkin.new();
Expand Down
34 changes: 21 additions & 13 deletions yarn-project/aztec-nr/aztec/src/oracle/get_secret_key.nr
Original file line number Diff line number Diff line change
@@ -1,17 +1,25 @@
use crate::types::{
point::Point,
grumpkin_scalar::{
GRUMPKIN_SCALAR_SERIALISED_LEN,
GrumpkinScalar,
deserialise_grumpkin_scalar,
},
};
use crate::oracle::get_public_key::get_public_key;
use crate::types::point::Point;

#[oracle(getSecretKey)]
fn get_secret_key_oracle(_owner: Point) -> [Field; GRUMPKIN_SCALAR_SERIALISED_LEN] {}
fn get_secret_key_oracle(
_owner: Point,
) -> [Field; dep::std::grumpkin_scalar::GRUMPKIN_SCALAR_SERIALIZED_LEN] {
}

unconstrained fn get_secret_key(owner: Field) -> GrumpkinScalar {
let owner_nullifying_public_key = get_public_key(owner);
deserialise_grumpkin_scalar(get_secret_key_oracle(owner_nullifying_public_key))
}
unconstrained fn get_secret_key_internal(owner_public_key: Point) -> dep::std::grumpkin_scalar::GrumpkinScalar {
dep::std::grumpkin_scalar::deserialize_grumpkin_scalar(get_secret_key_oracle(owner_public_key))
}

fn get_secret_key(owner: Field) -> dep::std::grumpkin_scalar::GrumpkinScalar {
let owner_public_key = get_public_key(owner);
let secret = get_secret_key_internal(owner_public_key);

// Constrain the owner - Nullifier secret key is currently just the encryption private key so we can constrain
// the owner by deriving the public key from the secret key and checking the result.
let computed_public_key = dep::std::grumpkin_scalar_mul::grumpkin_fixed_base(secret);
assert(owner_public_key.x == computed_public_key[0]);
assert(owner_public_key.y == computed_public_key[1]);

secret
}
1 change: 0 additions & 1 deletion yarn-project/aztec-nr/aztec/src/types.nr
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
mod grumpkin_scalar;
mod point;
mod vec; // This can/should be moved out into an official noir library
mod type_serialisation;
31 changes: 0 additions & 31 deletions yarn-project/aztec-nr/aztec/src/types/grumpkin_scalar.nr

This file was deleted.

2 changes: 1 addition & 1 deletion yarn-project/aztec-nr/value-note/src/value_note.nr
Original file line number Diff line number Diff line change
Expand Up @@ -61,8 +61,8 @@ impl ValueNote {
// TODO(#1205) Should use a non-zero generator index.
dep::std::hash::pedersen([
note_hash_for_nullify,
secret.high,
secret.low,
secret.high,
])[0]
}

Expand Down
2 changes: 1 addition & 1 deletion yarn-project/aztec.js/src/abis/ecdsa_account_contract.json

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@
}
}
],
"bytecode": "H4sIAAAAAAAA/+3d13LbSBYGYIhRIETZVnTO2bJNiZJzoHOQg5zGnuSxLWtcW7VXu7MXezUPtG+wd/tm6+7Fb/1qczFUzenBz6rpKhUBguzzndNAA6QlI0uSZCT5X6t+/qklXzds7+WPnd/X5kfs+urEdFaGxFk1dI7k+0FMby1CXa2N9SEwNozHHUbMAc3PP6Off9LPP61kvf0n30Hc8/X8OewzKb2/Qs9VgxqktB2tQcs9m7y6Dfu6d+q5P6FHznc8z6VpG3eea1RLNo4TxgDb2/Tonhu1tSykycbxSqjO4RgmFN+9p2Vr6abBOPyWpUWWzNbScX2OGffp+miTH7lm9IjtY5Rb29bhz9tZsrGmWG9T3D/zN407VPmn9FyjZEtGhjSepZslf8x+wLVF3+4cMEcxx41zc31uM87Djd2WZL39Snlto1xixN0axB0P4o4EY/grWfHeKr3mVXV9HBbz51pBHniMMS9MJusNMcfIMZEvT5IjxnXJVB9HkxyIP0WOaVvHgutjpo9jmhyIP0OOWWNHGjhcK7oemSXLjgiW7Zuw7CDLrgiWnZuw7CLLngiW3Zuw7CHLvgiWvZuw7CPLgQiW/ZuwIL5738F8mY+tQ7Y+f94/GFiwjlgZGSYiWrI+sbkO2wXqAMNkiXXYKVAHGKZKrMNugTrAUCmxDnsF6gBDtcQ67BeoAwy1P7gOEeJ00yBn14rOXWw5bGvx1+ZHKBZch6n22M7nqCPGtR+hmOgX6+wb1Do5RNapkq0x9ivX51HbPv01H9fUtaLj5ijld8zW0nWfXd3nRowr+g9ry+evGJ+rT1C+iMmfq4/nyyfIcdLW4ceFHa4VjctJspyytfiazFEsuBAno+18Lpmzdfjj7lSQP9bZN6j1eMnWWHOEcS5+X+RcXCvaFzm/08YWzBEYV/SPOsIZe444S/kiJs8RZ/Lls+ToGNciDRyuFY1Lhyzzthbf9QLFggtxMtrOY7Ng6/DH3XyQP9bZN6j1TMnWCGO16Prs2vbp90WuqWtF+2KX8ls0tmCOwLii/7C2seeIc5QvYvIcsZQvnyPHeeNapIHDtaJxOU+WC7YWX5OLFAsuxMloO382v2jr8MfdhSB/rLNvUOtSydYIY+X/7e+SbZ9+X+Saula0L16i/C4bWzBHYFzRf1jb2HPEVcoXMXmOuJIvXyXHNVuH/+6EHa4Vjcs1sly3tXTCWHAhTkbb+buTnq3DH3fXg/zDXDdjnRwi61TJ1lifi4xz8fMZ5+Ja0XHD+d2wtXz57gTjiv5RRzhjz2e3KF/E5PnsZr58ixy3bR1+XNjhWtG43CbLHVuLr8ldigUX4mS0nb87uWvr8MfdnSB/rLNvUOvNkq2x5gjjXPy+yLm4VrQvcn73jC2YIzCu6B91hDP2HPGA8kVMniPu58sPyPHQuBZp4HCtaFwekmXZ1uJr8ohiwYU4GW3nsXlk6/DH3XKQP9bZN6j1fsnWWN+dGOfi90XOxbWifZHze2xswRyBcUX/qCOcseeIp5QvYvIc8SRffkqOFeNapIHDtaJxWSHLM1uLr8lzigUX4mS0nb87eW7r8MfdsyB/rLNvUOuTkq2xvjsxzsXvi5yLa0X7Iuf3wtiCOQLjiv5RRzhjzxGvKF/E5DniZb6M1/HfDLDtla1tvmhc+lmqQpaakKUuZGkIWZpCllEhSypkaQlZMiHLmJClLWQZF7JsEbJsFbJsE7JMCFkmhSxTQpZpIcuMkGVWyLJdyLJDyLJTyLJLyLJbyLJHyLJXyLJPyLJfyHJAyHJQyHJIyHJYyHJEyHJUyHJMyHJcyHJCyHJSyHJKyDInZDktZDkjZDkrZOkIWeaFLAtClq6QZVHIsiRkOSdkOS9kuSBkuShkuSRkuSxkuSJkuSpkuSZkuS5k6QlZbghZbgpZbglZbgtZ7ghZ7gpZ7glZ7gtZHghZHgpZloUsj4Qsj4UsT4QsT4UsK0KWZ0KW50KWF0KWl0KWkZItafL178intH2KnqsE73W/e/x3utfJ6/z5Cr3nTb5c7dP3a3rum3z5TZ/3co1eB7l0fl/zNeI4PVpHrBYZ3ghYXgpZXghZngtZnglZVoQsT4UsT4Qsj4Usj4Qsy0KWh0KWB0KW+0KWe0KWu0KWO0KW20KWW0KWm0KWG0KWnpDlupDlmpDlqpDlipDlspDlkpDlopDlgpDlvJDlnJBlSciyKGTpClkWhCzzQpaOkOWskOWMkOW0kGVOyHJKyHJSyHJCyHJcyHJMyHJUyHJEyHJYyHJIyHJQyHJAyLJfyLJPyLJXyLJHyLJbyLJLyLJTyLJDyLJdyDIrZJkRskwLWaaELJNClgkhyzYhy1YhyxYhy7iQpS1kGROyZEKWlpAlFbKMClmaQpaGkKUuZKkJWapClkofy7e2li7/nnpCJm49Wv6WLN/ZWvw/C31PseBCnIy2898sfG/r8OPzXZA/1tk3qPXVEFm/Kdnq4sa4R5NxLv7eCpyLa0XHDef3g63ly33cMK7oH3WEs0KGGPdWeEv5IibfW+HHfPktOX6ydSymgcO1onH5iSzvbC2+Ju8pFlyIk9F2/r+k3ts6/HH3Lsgf6+wb1Lo0RNYrQ2T9sWRrSs+9pecqgdnNNS1ab1C/H2i5Tjkm+XveB69z7121zdVf07DDtaI5YJUsa7aWjov7M/Xfoxgc95Nt3HmOO5L/IAaer9LyJ1z40utce5c/wuzG8GOf1/Hyh+A9GW3/GDnnNXL0aB2x3GeNHyjXj33cGT1i+3tyN43dro9VciA+4qRB3fBovK/6+n0M6od1HstGUK8Ilm7WJ3aarNcG9XLjOUc2NL7WqUaoUxLUCa3axzJSsuX//U1zNagVz/XY5ubwf9PfNNf6vAevrSVfv45zr0fIneP0aB2x+G+VawKWSh9Lw9birzsxdyTJxnuFwQET3xdq1Lgmro+0j2OUHDzHwdGydfhfw+1377QWPSI+3/fI+DNSNw0crhUdv3zfo7atxe8j4xQLrjatYzvfU23c1uGPm3aQP9bZN6i1OUTWtGRrhP3qZ9fnFts+/XctXFPXio4bvhfVVlvLl+9aMK7oP6wtX3/EmN8n1tPdMJ6u8b838+uwXKPtfL7H9n9V13NyfU7a+v14ssu1ovFEfHfewJz4ae2XF2urf1v7ZXntnyPUx0SQV4X6qdMyzxMxxmeaYvF9t1zj39mYpm0xzr8zfRx8/kV8vC6lZf6/bmYDL18r8ntxbsXrm3luNdvcuhwLrWgfqlHutA+t/OPDX/+yGuxD6Lfap1++7q0Hr+Oa8PVV6DIb4AYBKzmklgdv9Em+mRfAQVu0/b82PdKy1bEAAA==",
"bytecode": "H4sIAAAAAAAA/+3dV1cbSRYH8Fam1YBNzsEYMMkgIbIJMskkEx3A2cZMHs/Yxrtnn+aT7NN+pH3b9/0A+7aP46rpa/4u5B5xpnr055ypczjqINX93VvdpQCoPcdxIs5vLfbxJ+6cb7I/799m/ljLRuz1lQnTGb0kzphFZ8Q/DsL0xkOoq21j4hIYk5bHXYwyB6Q+/pR9/HE//qSds5ZK/nartif8bXLMuPD4KGyLGTVwYb+0JCzn7eSVS9qveybh+x24xXwr/VxSduNmsUZx5/NxkjGQ/RVwq7aV2bWMus7n4+VAnc0xdCC+ekzariXnGuPwe5Y0WDy7lozqs9xyn6qPCvBLrh7cyv5yyK3CrkM/b3vO5zWV9QqI+1f+VuNeqvxd2JYsscUDgxueJec5f85xgLWVvtVzwBDErLScm+qzynIeauyuOGftF8irCnIJI+5VI26lETdijOEvYJXHxuA+/06cjcOYvy1t5CG3YcwLNc5Zk5jl4Kj2l2vAEcbrktoCjhQ4JH4tOOrsOkZVH/UFHHXgkPj14Giw7HANh2pBr0cawNIUgqXxApYmsLSEYGm+gKUFLG0hWFovYGkDS0cIlvYLWDrAci0ES+cFLBJfPa7LX8Zz67pdn37e7zIssi6xPDBUh2jxCsTGOjQS1EEMNSWsQzNBHcRQW8I6tBLUQQzREtahnaAOYoiVsA6dBHUQQ/xPrkMIcXKukbNqQc9daOm2a9GvzXsglri6ofayH5+jeizXPgIxpV9ZR1+x1ppLZK0tsTWM40r12Wu3T/2aD2uqWtB50wv53bBryan3rup9o4yr9G/WFp+/wnhf3Q/5Skx8X93nL/eDY8CuQ48LOlQLGpcBsAzateiaDEEscUkcD/bjc8mQXYc+7waN/GUdfcVa+0psDWuOsJyLPhYxF9WCjkXM76Zli8wRMq7Sv9RRnGHPESOQr8TEOWLYXx4BR8ZyLVzDoVrQuGTAkrVr0V2PQixxSRwP9uPYjNp16PMua+Qv6+gr1jpcYmsIYzWm+szZ7VMfi1hT1YKOxRzkN2bZInOEjKv0b9Y27DliAvKVmDhHjPvLE+CYtFwL13CoFjQuk2CZsmvRNZmGWOKSOB7sx/fm03Yd+rybMvKXdfQVax0vsTWEsdK/+5ux26c+FrGmqgUdizOQ3y3LFpkjZFylf7O2Yc8Rc5CvxMQ5YtZfngPHvF2H/uwEHaoFjcs8WBbsWjJmLHFJHA/242cnebsOfd4tGPmbuV7EWnOJrLUltob1vshyLno+w1xUCzpvML/bdi2fPjuRcZX+pY7iDHs+W4J8JSbOZ4v+8hI4lu069LigQ7WgcVkGy4pdi67JKsQSl8TxYD9+drJq16HPuxUjf1lHX7HWxRJbw5ojLOeij0XMRbWgYxHzu2PZInOEjKv0L3UUZ9hzxDrkKzFxjljzl9fBsWG5Fq7hUC1oXDbAsmnXomuyBbHEJXE82I9js2XXoc+7TSN/WUdfsda1ElvD+uzEci76WMRcVAs6FjG/u5YtMkfIuEr/Ukdxhj1H7EC+EhPniG1/eQccu5Zr4RoO1YLGZRcse3Ytuib7EEtcEseD/fjZyb5dhz7v9oz8ZR19xVq3S2wN67MTy7noYxFzUS3oWMT8DixbZI6QcZX+pY7iDHuOuA/5SkycI+75y3I//J8BtN23a8sGjUshS4zIEieyJIgsSSJLishSRmRxiSxpIotHZCknslQQWSqJLFeILFeJLFVElmoiSw2RpZbIUkdkqSeyNBBZGoksTUSWZiJLC5GllcjSRmRpJ7J0EFk6iSzXiCxdRJbrRJZuIksPkaWXyHKDyNJHZOknsgwQWQaJLENElptElmEiywiRJUNkyRJZRoksOSLLGJFlnMgyQWSZJLJMEVmmiSwzRJZbRJZZIssckWWeyLJAZMkTWW4TWRaJLEtElmUiywqRZZXIcofIskZkWSeybBBZNoksW0SWu0SWbSLLDpFll8iyR2TZJ7IcEFnuEVkiJba4zvm/kXdhfy1sixqPVX97/L/E2f4H/vZogX4eOOfvh7k/DCF3jJOHdYmVBsMDAss9IssBkWWfyLJHZNklsuwQWbaJLHeJLFtElk0iywaRZZ3IskZkuUNkWSWyrBBZloksS0SWRSLLbSJLnsiyQGSZJ7LMEVlmiSy3iCwzRJZpIssUkWWSyDJBZBknsowRWXJEllEiS5bIkiGyjBBZhoksN4ksQ0SWQSLLAJGln8jSR2S5QWTpJbL0EFm6iSzXiSxdRJZrRJZOIksHkaWdyNJGZGklsrQQWZqJLE1ElkYiSwORpZ7IUkdkqSWy1BBZqoksVUSWq0SWK0SWSiJLBZGlnMjiEVnSRBaXyFJGZEkRWZJElgSRJU5kiRFZogUsYXzX+aFz1uTvzvG7zsV0CI6U5ZqoPo4KOFLgkPhH4Kiz69C/sntUwFEHDon/CByP7Tr0dfPQoVrEWM/D8mOwPLFr0cfIU4glLonjwf6H4Hhq16HPmydG/rKOvmKth5fIelRiawjH1Veqz2d2+9TXssCaqhZ03jyD/J7btXy6bp6Mq/Rv1jYKhjDm95eQr8TE+f2Fv4z3k+U47JfPGWKwf81/wlTvV750DYyXdnMK/P8sifWla2CU2hInsiSILEkiS4rIUkZkcYksaSKLR2QpJ7JUEFkqiSxXiCxXiSxVRJZqIksNkaWWyFJHZKknsjQQWRqJLE1ElmYiSwuRpZXI0kZkaSeydBBZOoks14gsXUSW60SWbiJLD5Gll8hyg8jSR2TpJ7IMEFkGiSxDRJabRJZhIssIkSVDZMkSWUaJLDkiyxiRZZzIMkFkmSSyTBFZpoksM0SWW0SWWSLLHJFlnsiyQGTJE1luE1kWiSxLRJZlIssKkWWVyHKHyLJGZFknsmwQWTaJLFtElrtElm0iyw6RZZfIskdk2SeyHBBZ7hFZ7hNZHhBZHhJZDoksR0SWR0SWx0SWJ0SWp0SWZ0SW50SWF0SWSIktX7omk+x/CNte+cuHsC1aoD/53yG5v/qfmf/DtZuO/e1ReMxrfzlWIN5xAdfrAo/FWspj8v5t5o81XUuMk4d1iYXXeHpNYHlBZHlOZHlGZHlKZHlCZHlMZHlEZDkishwSWR4SWR4QWe4TWe4RWQ6ILPtElj0iyy6RZYfIsk1kuUtk2SKybBJZNogs60SWNSLLHSLLKpFlhciyTGRZIrIsElluE1nyRJYFIss8kWWOyDJLZLlFZJkhskwTWaaILJNElgkiyziRZYzIkiOyjBJZskSWDJFlhMgyTGS5SWQZIrIMElkGiCz9RJY+IssNIksvkaWHyNJNZLlOZOkislwjsnQSWTqILO1EljYiSyuRpYXI0kxkaSKyNBJZGogs9USWOiJLLZGlhshSTWSpIrLI90wzWK4QWSqJLBVElnIii0dkSRNZXCJLGZElRWRJElkSRJY4kSVGZIkWsJzYtYzi/005YMKWh2WJr54T1Hn+yl9/afijYA7jOlpfg+kYTFK7r/xlvJ8sq+NN/q5f7heD/f/0T44K3x/G9RW/KeDH6yuKBe/3DfgPjZxisP9fhv9bu359PUR0qRZ0zEh8ZfnOrkUfC98752skcTzYj98X8L1dhz6nvzPyl3X0FWt9dYmsL0tsVXG77cbNhJCLnmsxF9WCzhvM7we7lk/XQ5Rxlf6ljuIMex5/A/lKTJzHf/SX34DjJ7uOMddwqBY0Lj+B5We7Fl2TtxBLXBLHg/34Pc5v7Tr0efezkb+so69Y6/glss5eIuuPJba6sO0NbIsaZjXXpGE9Cf2+g+UE5Oj4j3lr3E899r3dXPVrGnSoFjQHvAfLB7uWjIr7N+g/DzEw7t/txs1i3Ij/IzFkewyW/yuDBfdTTcZYzGoMTwvcD5ffGY/xYP9pyDl/AEce1iWWer39H8j1tIDbg1vZ/xbcYbyHeA8OiS9xXKNucmv5WNX1OzXqJ+s4lkmjXiFYcl6B2K5zVhuplxpPvDZE3LIDv6tEWtBcIvHV+2l57fP1yenuh1c/fHu8efKPCPQh/cYK9BuFnBPG/XBOln0pP/+E3fz169y4U3z+icL5H5wcvzs5NfKPG7lGnfP5Y94hnHsZsUqLQz1Vw8/68JrBrl1HVmKZDhccZbAs+9Jgkm2e4cXjBR8rdcX5xhxbawkKMOJjYn6SCefzFxA4AGVGkqr9CsIRdzkBGwEA",
"verificationKey": "0000000200000800000000740000000f00000003515f3109623eb3c25aa5b16a1a79fd558bac7a7ce62c4560a8c537c77ce80dd339128d1d37b6582ee9e6df9567efb64313471dfa18f520f9ce53161b50dbf7731bc5f900000003515f322bc4cce83a486a92c92fd59bd84e0f92595baa639fc2ed86b00ffa0dfded2a092a669a3bdb7a273a015eda494457cc7ed5236f26cee330c290d45a33b9daa94800000003515f332729426c008c085a81bd34d8ef12dd31e80130339ef99d50013a89e4558eee6d0fa4ffe2ee7b7b62eb92608b2251ac31396a718f9b34978888789042b790a30100000003515f342be6b6824a913eb7a57b03cb1ee7bfb4de02f2f65fe8a4e97baa7766ddb353a82a8a25c49dc63778cd9fe96173f12a2bc77f3682f4c4448f98f1df82c75234a100000003515f351f85760d6ab567465aadc2f180af9eae3800e6958fec96aef53fd8a7b195d7c000c6267a0dd5cfc22b3fe804f53e266069c0e36f51885baec1e7e67650c62e170000000c515f41524954484d455449430d9d0f8ece2aa12012fa21e6e5c859e97bd5704e5c122064a66051294bc5e04213f61f54a0ebdf6fee4d4a6ecf693478191de0c2899bcd8e86a636c8d3eff43400000003515f43224a99d02c86336737c8dd5b746c40d2be6aead8393889a76a18d664029096e90f7fe81adcc92a74350eada9622ac453f49ebac24a066a1f83b394df54dfa0130000000c515f46495845445f42415345060e8a013ed289c2f9fd7473b04f6594b138ddb4b4cf6b901622a14088f04b8d2c83ff74fce56e3d5573b99c7b26d85d5046ce0c6559506acb7a675e7713eb3a00000007515f4c4f4749430721a91cb8da4b917e054f72147e1760cfe0ef3d45090ac0f4961d84ec1996961a25e787b26bd8b50b1a99450f77a424a83513c2b33af268cd253b0587ff50c700000003515f4d05dbd8623b8652511e1eb38d38887a69eceb082f807514f09e127237c5213b401b9325b48c6c225968002318095f89d0ef9cf629b2b7f0172e03bc39aacf6ed800000007515f52414e474504b57a3805e41df328f5ca9aefa40fad5917391543b7b65c6476e60b8f72e9ad07c92f3b3e11c8feae96dedc4b14a6226ef3201244f37cfc1ee5b96781f48d2b000000075349474d415f3125001d1954a18571eaa007144c5a567bb0d2be4def08a8be918b8c05e3b27d312c59ed41e09e144eab5de77ca89a2fd783be702a47c951d3112e3de02ce6e47c000000075349474d415f3223994e6a23618e60fa01c449a7ab88378709197e186d48d604bfb6931ffb15ad11c5ec7a0700570f80088fd5198ab5d5c227f2ad2a455a6edeec024156bb7beb000000075349474d415f3300cda5845f23468a13275d18bddae27c6bb189cf9aa95b6a03a0cb6688c7e8d829639b45cf8607c525cc400b55ebf90205f2f378626dc3406cc59b2d1b474fba000000075349474d415f342d299e7928496ea2d37f10b43afd6a80c90a33b483090d18069ffa275eedb2fc2f82121e8de43dc036d99b478b6227ceef34248939987a19011f065d8b5cef5c0000000010000000000000000100000002000000030000000400000005000000060000000700000008000000090000000a0000000b0000000c0000000d0000000e0000000f"
},
{
Expand Down
Loading