@netzero/contracts
Version:
This template uses TypeScript.
15 lines (14 loc) • 805 B
TypeScript
import { ProofOfSolvency } from "@netzero/por_circuits";
import { PublicKey, SmartContract, State } from "o1js";
export declare class ProofOfSolvencyVerifier extends SmartContract {
proofOfAssetsVerifier: State<PublicKey>;
proofOfLiabilitiesVerifier: State<PublicKey>;
admin: State<PublicKey>;
verifiedProofs: State<import("o1js/dist/node/lib/provable/field.js").Field>;
init(): void;
changeAdmin(admin: PublicKey): Promise<void>;
setProofOfAssetsVerifier(proofOfAssetsVerifier: PublicKey): Promise<void>;
setProofOfLiabilitiesVerifier(proofOfLiabilitiesVerifier: PublicKey): Promise<void>;
setContractAddresses(proofOfAssetsVerifier: PublicKey, proofOfLiabilitiesVerifier: PublicKey): Promise<void>;
verifyProofOfSolvency(proof: ProofOfSolvency): Promise<void>;
}