@nori-zk/mina-token-bridge
Version:
A Mina zk-program contract allowing users to mint tokens on Nori Bridge.
18 lines (17 loc) • 1.1 kB
TypeScript
import { Field, JsonProof, SmartContract } from 'o1js';
import { EthProof } from '@nori-zk/o1js-zk-utils';
import { ContractDepositAttestorProof } from '@nori-zk/o1js-zk-utils';
import { ProvableEcdsaSigPresentation } from '../../credentialAttestation.js';
import { EthDepositProgramProofType } from '../../e2ePrerequisites.js';
export declare class EthProofType extends EthProof {
}
export declare class ContractDepositAttestorProofType extends ContractDepositAttestorProof {
}
export declare class MockVerifier extends SmartContract {
verifyPresentation(e2eProof: EthDepositProgramProofType, presentation: ProvableEcdsaSigPresentation): Promise<Field>;
}
export declare class MockVerificationWorker {
compile(): Promise<void>;
computeE2EPrerequisites(credentialAttestationHashBigIntStr: string, ethVerifierProofJson: JsonProof, depositAttestationProofJson: JsonProof): Promise<JsonProof>;
verify(ethVerifierProofJson: JsonProof, depositAttestationProofJson: JsonProof, presentationJsonStr: string, senderPrivateKeyBase58: string, zkAppPrivateKeyBase58: string): Promise<void>;
}