@netzero/contracts/build/polVerifier.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, PublicKey, SmartContract, State, state } from "o1js";
import { InclusionProof } from "@netzero/circuits";
export class NetZeroLiabilitiesVerifier extends SmartContract {
    constructor() {
        super(...arguments);
        // The root hash of the liabilites tree
        this.rootHash = State();
        // the root commitment for the liabilites tree
        this.rootCommitment = State();
        // Public paramter for derivation of bliding factors and user secret 
        this.saltS = State();
        this.saltB = State();
        // The admin of that is allowed to update the public parameters
        this.admin = State();
        // Number of verified proofs
        this.verifiedProofs = State();
    }
    init() {
        super.init();
        this.rootHash.set(Field(0));
        this.saltB.set(Field(0));
        this.saltS.set(Field(0));
        this.admin.set(this.sender.getAndRequireSignature());
    }
    async setAdmin(admin) {
        this.sender.getAndRequireSignature().assertEquals(this.admin.getAndRequireEquals());
        this.admin.set(admin);
    }
    async setPublicParameters(saltS, saltB) {
        this.sender.getAndRequireSignature().assertEquals(this.admin.getAndRequireEquals());
        this.saltB.set(saltB);
        this.saltS.set(saltS);
    }
    async setRootAndParams(rootHash, rootCommitment, saltS, saltB) {
        this.sender.getAndRequireSignature().assertEquals(this.admin.getAndRequireEquals());
        this.rootHash.set(rootHash);
        this.rootCommitment.set(rootCommitment);
        this.saltB.set(saltB);
        this.saltS.set(saltS);
    }
    async setRoot(rootHash, rootCommitment) {
        this.sender.getAndRequireSignature().assertEquals(this.admin.getAndRequireEquals());
        this.rootHash.set(rootHash);
        this.rootCommitment.set(rootCommitment);
    }
    async verifyInclusion(proof) {
        proof.verify();
        const computedRoot = proof.publicOutput;
        computedRoot.hash.assertEquals(this.rootHash.getAndRequireEquals());
        computedRoot.commitment.assertEquals(this.rootCommitment.getAndRequireEquals());
        // increment the verified proofs
        const verifiedProofs = this.verifiedProofs.getAndRequireEquals();
        this.verifiedProofs.set(verifiedProofs.add(1));
    }
}
__decorate([
    state(Field),
    __metadata("design:type", Object)
], NetZeroLiabilitiesVerifier.prototype, "rootHash", void 0);
__decorate([
    state(Group),
    __metadata("design:type", Object)
], NetZeroLiabilitiesVerifier.prototype, "rootCommitment", void 0);
__decorate([
    state(Field),
    __metadata("design:type", Object)
], NetZeroLiabilitiesVerifier.prototype, "saltS", void 0);
__decorate([
    state(Field),
    __metadata("design:type", Object)
], NetZeroLiabilitiesVerifier.prototype, "saltB", void 0);
__decorate([
    state(PublicKey),
    __metadata("design:type", Object)
], NetZeroLiabilitiesVerifier.prototype, "admin", void 0);
__decorate([
    state(Field),
    __metadata("design:type", Object)
], NetZeroLiabilitiesVerifier.prototype, "verifiedProofs", void 0);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [PublicKey]),
    __metadata("design:returntype", Promise)
], NetZeroLiabilitiesVerifier.prototype, "setAdmin", null);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [Field, Field]),
    __metadata("design:returntype", Promise)
], NetZeroLiabilitiesVerifier.prototype, "setPublicParameters", null);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [Field, Group, Field, Field]),
    __metadata("design:returntype", Promise)
], NetZeroLiabilitiesVerifier.prototype, "setRootAndParams", null);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [Field, Group]),
    __metadata("design:returntype", Promise)
], NetZeroLiabilitiesVerifier.prototype, "setRoot", null);
__decorate([
    method,
    __metadata("design:type", Function),
    __metadata("design:paramtypes", [InclusionProof]),
    __metadata("design:returntype", Promise)
], NetZeroLiabilitiesVerifier.prototype, "verifyInclusion", null);
//# sourceMappingURL=polVerifier.js.map