@netzero/contracts/build/poaVerifier.js

This template uses TypeScript.

var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
    return c > 3 && r && Object.defineProperty(target, key, r), r;
};
var __metadata = (this && this.__metadata) || function (k, v) {
    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
};
import { Field, Group, method, Poseidon, PublicKey, SmartContract, state, State } from "o1js";
import { ProofOfAsset, SelectorArrayProof } from "@netzero/por_circuits";
export class NetZeroAssetVerifier extends SmartContract {
    constructor() {
        super(...arguments);
        // The selector array commitment
        this.selectorArrayCommitment = State();
        // The asset balance commitment
        this.assetCommitment = State();
        // The public addresses commitment
        this.publicAddressesCommitment = State();
        // The public balances commmitment
        this.publicBalancesCommitment = State();
        // The admin that is allowed to update the public parameters
        this.admin = State();
    }
    init() {
        super.init();
        this.selectorArrayCommitment.set(Group.zero);
        this.assetCommitment.set(Group.zero);
        this.admin.set(this.sender.getAndRequireSignature());
    }
    async setAdmin(admin) {
        this.sender.getAndRequireSignature().assertEquals(this.admin.getAndRequireEquals());
        this.admin.set(admin);
    }
    async verifyAndSetSelectorCommitment(selectorArrayProof) {
        this.sender.getAndRequireSignature().assertEquals(this.admin.getAndRequireEquals());
        // verify the proof
        selectorArrayProof.verify();
        // set the commitment
        this.selectorArrayCommitment.set(selectorArrayProof.publicOutput);
    }
    async verifyProofOfAssetAndUpdateCommitment(proof) {
        // verify the proof
        proof.verify();
        // verify that the proof was calculated with the commited selector array and public parameters
        proof.publicInput.selectorArrayCommitment.assertEquals(this.selectorArrayCommitment.getAndRequireEquals());
        this.publicAddressesCommitment.set(Poseidon.hash(proof.publicInput.address.addresses.flatMap((pk) => pk.toFields())));
        this.publicBalancesCommitment.set(Poseidon.hash(proof.publicInput.balances.flat()));
        // update the asset commitment
        this.assetCommitment.set(proof.publicOutput);
    }
}
__decorate([
    state(Group),
    __metadata("design:type", Object)
], NetZeroAssetVerifier.prototype, "selectorArrayCommitment", void 0);
__decorate([
    state(Group),
    __metadata("design:type", Object)
], NetZeroAssetVerifier.prototype, "assetCommitment", void 0);
__decorate([
    state(Field),
    __metadata("design:type", Object)
], NetZeroAssetVerifier.prototype, "publicAddressesCommitment", void 0);
__decorate([
    state(Field),
    __metadata("design:type", Object)
], NetZeroAssetVerifier.prototype, "publicBalancesCommitment", void 0);
__decorate([
    state(PublicKey),
    __metadata("design:type", Object)
], NetZeroAssetVerifier.prototype, "admin", void 0);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [PublicKey]),
    __metadata("design:returntype", Promise)
], NetZeroAssetVerifier.prototype, "setAdmin", null);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [SelectorArrayProof]),
    __metadata("design:returntype", Promise)
], NetZeroAssetVerifier.prototype, "verifyAndSetSelectorCommitment", null);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [ProofOfAsset]),
    __metadata("design:returntype", Promise)
], NetZeroAssetVerifier.prototype, "verifyProofOfAssetAndUpdateCommitment", null);
//# sourceMappingURL=poaVerifier.js.map